par Ben314 » 28 Mai 2010, 12:59
Salut, je ne sais pas comment tu obtient que f est bijective, mais c'est douteux (ce n'est évidement pas faux, car, vu qu'une telle fonction n'existe pas, la proposition "toute fonction vérifiant f(f(x))=1997+x est bijective" est vrai, mais la proposition "toute fonction vérifiant f(f(x))=1997+x est constante" est aussi vrai)
Bon, sinon, en supposant que pour tout x, f(f(x))=x+n (n=1997), ce qui me vient à l'esprit est :
1) f est injective.
2) Pour tout x f(x+n)=f(x)+n donc, pour tout k, f(x+nk)=f(x)+nk et f définie une fonction F de Z/nZ dans Z/nZ.
3) F est encore injective (donc bijective).
4) On peut partitionner Z/nZ en ensembles de la forme {a,F(a)} où F(a) est différent de a et de la forme {b} où F(b)=b.
5) Si n est impair, il existe donc forcément un b de Z/nZ tel que F(b)=b, c'est à dire un x de {0..n-1} tel que ...
6) Contradiction.
Edit : Evidement, si n est pair, la fonction f(x)=x+n/2 convient (et tu remarque qu'elle n'est pas bijective)
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius