et
alors
et on a
donc
absurde
(car
premier).
=>
=>![s\equiv 1[n] s\equiv 1[n]](http://www.maths-forum.com/images/latex/6f1044a4f3d33629d2502b76bd302896.gif)
,alors
=>
absurde
qui un carré parfait.
|
Posté par (*)
si
alors l'application est injective.autrement dit (*) |

=> => => => et par la suite
|

![\exist u\in \{1,2,3,...,p-1\}\ tel\ que\ ua\equiv 1[p] \exist u\in \{1,2,3,...,p-1\}\ tel\ que\ ua\equiv 1[p]](http://www.maths-forum.com/images/latex/76c35e22485729100761bc1e6c25ecb0.gif)

![a^3\equiv b^3[p] a^3\equiv b^3[p]](http://www.maths-forum.com/images/latex/cb9f5d4526683aafac52f2a7d5c5fd3d.gif)
![(ub)^3\equiv (ua)^3[p]\equiv 1[p] (ub)^3\equiv (ua)^3[p]\equiv 1[p]](http://www.maths-forum.com/images/latex/1fac8d9744130d62f67eb64e61190406.gif)
![(ub)^{p-2}\equiv ((ub)^3)^{\frac{p-2}{3}}[p]\equiv 1[p] (ub)^{p-2}\equiv ((ub)^3)^{\frac{p-2}{3}}[p]\equiv 1[p]](http://www.maths-forum.com/images/latex/739591b809dbb386ceaee39312add41e.gif)
![(ub)^{p-1}\equiv ub[p] (ub)^{p-1}\equiv ub[p]](http://www.maths-forum.com/images/latex/a856497aaa1c89b4a02771eb883e4c6b.gif)
![ub\equiv 1[p]\equiv ua[p] ub\equiv 1[p]\equiv ua[p]](http://www.maths-forum.com/images/latex/62b5e71a236b9b685026f2b416090edf.gif)
![a\equiv b[p] a\equiv b[p]](http://www.maths-forum.com/images/latex/96c65f32a2a5d955d5a3e7e2939052db.gif)
![3a^2\equiv a^2+ab+b^2[p]\equiv 0[p] 3a^2\equiv a^2+ab+b^2[p]\equiv 0[p]](http://www.maths-forum.com/images/latex/cecabff7007b8a6b9ed2ede679e360c8.gif)
![a\equiv 0[p] a\equiv 0[p]](http://www.maths-forum.com/images/latex/3965be00accbcc098cc7b0a578e80bf0.gif)

un entier fixé.
est une suite de naturels périodique dès le début.
et
, telles que
et
pour tout
,
étant périodique.
-