page 33

cercles modulo p
par M. Etienne Coulomb (TS), M. Sam Messavusu (TS), M. Stphane Deblick (1S), M. Nico las Ferr ey (1S), M. Sb astien Serrant (1S), lves du lyce Pablo Picasso de Fontenay sous bois (94) et M. Ya n n Chauvin (TS), M. Lhocine Aliouane (1S), M. Marc Bouvier (1S), M. Arash Mostafa Zadeh (1 S) , lv es du ly ce Ro ma in Rolland dIvry (94) enseignants : Mmes Monique Corlay, Claude Parreau Mmes et M. Lise Bernigole, Jean-Paul Bernigole, Christiane Guedj chercheur : M. Olivier Piltant
coordination article : ALIOUANE Lhocine niveau de lecture : classe de premire Pas de compte-rendu de parrainage.

Le problme.
x 2 + y2 = 1 est, dans un repre orthonorm, lquation dun cercle de centre (0, 0) et de rayon 1. Il y a sur ce cercle quatre points particuliers : ils ont des coordonnes entires ; ce sont les points dintersection avec les axes des abscisses et des ordonnes (0, 1) ; (0, 1) ; (1, 0) ; (1, 0).
(0;1) 1

0.5

(-1;0)
-1 -0.5 0.5

(1;0)
1

-0.5

[ Av ertissement : si vous navez aucune connaissance sur le langage des congruences dans Z, commencez par lire lannexe 1 la fin de cet article.]

-1

(0;-1)

Figure 1 Maintenant, combien y a-t-il de solutions entires [NDLC : cest--dire de points coordonnes entires], si on se place un multiple de p prs (p tant un nombre premier, cest--dire quil nest divisible que par 1 et lui-mme) ?

NGa Cercle x2 + y2 = 1 modulo p

Lquation x 2 + y 2 = 1 (cercle de rayon 1) na que quatre solutions en nombres entiers. A-t-on plus de solutions lorsquon calcule modulo p (p tant un nombre premier fix), cest--dire en ngligeant tout multiple de p et en ne retenant de chaque nombre que son reste aprs division par p ? Comment peut-on visualiser ces solutions et trouver un moyen de les compter ?

Premier traitement.
Lquation devient x2 + y2 1 [p], quation (1)

cest--dire quil existe un entier k tel que x2 + y2 = 1 + kp.

MATh.en.JEANS en 1996

page 34

Position des solutions.

Si on trace de faon empirique lensemble des solutions de x2 + y2 = 1 + kp, k prenant toutes les valeurs dans Z (on peut se limiter N car si k < 0, on a x 2 + y2 < 0, qui na pas de solution), on obtient une srie de cercles concentriques de rayons (1 + kp). On note alors graphiquement les solutions entires appartenant lun des cercles et on les relie. On obtient alors les figures suivantes : p=5
10

p = 11
10

-10

-5

10

11
-5

-10

Figure 4
5

5
-10 -5 5 10

-5

On remarque immdiatement que les solutions de x 2 + y2 1 [p] / (x,y) Z2 ne semblent pas tre places au hasard : une figure semble subir une translation de vecteur dont les coordonnes sont des multiples de p, par exemple r r v1( 3 p,0 ) ; v2( p, p ) ... ... r plus gnralement de vecteur v ( k p, k p ) , (k, k ) Z2 .

-10

p=7
10

Figure 2 [NDLC : il semble que lexpression figure semble subir une translation doive tre comprise comme figure inchange quand on lui fait subir [] une translation ; prparez-vous subir cette formulation.]

7
-10 -5 5 10

-5

[NDLC : les illusions doptique sont ce quelles sont, les segments sont des segments, si certains segments coups par des cercles ont lair dtre tordus vrifiez quils sont droits !] Figure 3

-10

MATh.en.JEANS en 1996

page 35

Pour dmontrer quune figure peut subir une ramene r dans le carr par la translation de v de ces translations, il suffit de dmontrer : vecteur (kp, kp). Thorme 1 : Chaq ue solutio n aprs r a voir subi une translation de vecteur v (kp, k p), reste une solution de lquation (cest--dire quelle est sur lun des cercles).
carr de ct p

Dmonstration : Z2 x2 y2

Soit (x, y) / + 1 [p] : (x, y) est donc une solution de lquation. Soit (X, Y) Remarques : les coordonnesr du point issu de la translation de vecteur v (kp, kp), on a alors : (i ) La dmonstration ci-contre nutilisant pas le fait que p soit un nombre premier, elle X = x + kp est encore valable si lon choisit un nombre Y = y + k' p quelconque non premier : m Z, au lieu de p premier. Le calcul de X2 + Y 2 1 [p] (en fonction de x, y, k, k et p) donne (on utilise le fait que Donc : x2 + y2 1 [p]) : Pour lquation x 2 + y 2 1 [ m ], c h a q u e X2 + Y2 = 1 + Kp [p] solution, aprs avoir subi une translation de r o K est un entier. Donc : vecteur v (k m , k m ) , reste une solution de lquation. X2 + Y2 1 [p]. Applications :

Figure 6

(ii) Il se peut quen choisissant le carr, il y ait des solutions sur un bord du carr (donc 1) On peut obtenir une infinit de solutions sur lautre aussi). p prs partir dune solution : On considrera deux solutions comme iden(x , y ) sera la mme solution p prs que tiques si lune peut tre obtenue partir de (x + kp, y + kp) lautre par translation. De mme, sil y a 4 solutions dans les coins du carr, elles compteront pour une.
lgende solution de l'quation un vecteur (kp, k'p)

La recherche du nombre de solutions.

Nombre de solutions. La proprit du carr va nous permettre de compter les solutions de lquation : la connaissance des solutions dans un carr de ct p entranant la connaissance de toutes les solu tio ns, o n va d fin ir le no mb re de solutions p prs de lquation comme le nombre de solutions de lquation dans un carr de ct p. (voir remarque (ii) ci-avant)

une solution qui reprsentera toutes les autres

Figure 5 2) Si on connat toutes les solutions dans un carr de ct p, cts parallles aux axes, on connat toutes les solutions de lquation, car une solution hors du carr peut tre

MATh.en.JEANS en 1996

page 36

Une conjecture.

Transformation du problme.

En programmant notre calculatrice nous obteNous trouvant bloqus dans la dmonstration nons les rsultats suivants : de notre conjecture, Olivier Piltant nous pronombre de nombre de pose de transformer le problme, et notamp solutions p solutions ment dessayer de factoriser lexpression.
2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 2=p 4=p+1 4 = p 1 8=p+1 12 = p + 1 12 = p1 16 = p1 20 = p + 1 24 = p + 1 28 = p1 32 = p + 1 36 = p1 40 = p1 44 = p + 1 48 = p + 1 52 = p1 60 = p + 1 61 67 71 73 79 83 89 97 101 103 107 109 113 127 131 137 139 60 = p1 68 = p + 1 72 = p + 1 72 = p1 80 = p + 1 84 = p + 1 88 = p1 96 = p1 100 = p 1 104 = p + 1 108 = p + 1 108 = p 1 112 = p 1 128 = p + 1 132 = p + 1 136 = p 1 140 = p + 1

Factorisation Dans certaines conditions, on peut en effet, y arriver de la manire suivante : On a Kp 0 [p], donc x2 + y2 1 [p] x2 + y2 + Kp 1 [ p] (voir lAnnexe 1 : Th. A Transitivit). On choisit K tel que K = ky2, (k Z), donc (1) x 2 + y2 1 [p] x2 + y2 kpy2 1 [p]

A partir de ce tableau, de dimension limite (1) x2 + (1 kp)y2 1 [p] (il y a une infinit de nombres premiers), (1) x2 (kp 1)y2 1 [p] on conjecture lexpression du nombre de solutions de lquation p prs, en fonction Pour pouvoir factoriser cette expression, de la de p, de la faon suivante : forme x2 Ay2, en gardant des coefficients entiers, il suffit que A soit un carr parfait Conjecture 1 : (On distingue 3 cas.) (soit : A = a2), cest--dire que p puisse vrifier kp 1 = a2 avec k Z, autrement dit que (i) Le cas qui semble unique 2 = p : il y a 2 1 a2 [p]. solutions. (voir en Annexe 1 la dfinition de modulo) (ii) Les cas p1 solutions , alors il semble que p 1 [4]. Supposons que p vrifie 1 a2 [p] , donc : [en italique dans le tableau ci-dessus] x2 + y2 1 [p] x2 a2 y2 1 [p] p 1 [4] (p1) 4Z (p 1)/4 Z x2 + y2 1 [p] (x + ay) (x ay) 1 [p] ( i i i ) Les cas p + 1 solutions , alors il On pose : X = x + ay et Y = y ay. semble que p 3 [4]. [en gras dans le tableau ci-dessus] On obtient : p 3 [4] (p + 1)/4 Z x2 + y2 1 [p] XY 1 [p] remarque : 2 est le seul nombre premier pair, les autres nombres premiers sont impairs, et donc soit (p 1)/4 Z, soit (p + 1)/4 Z On tud ie main ten ant les solution s de XY 1 [p] quation (2)

(on vrifiera que xy 1 [p] et XY 1 [p] ont ce qui signifie que notre conjecture porte sur autant de solutions p prs, aprs cette tude TOUS les nombres premiers. qui est ncessaire).

MATh.en.JEANS en 1996

page 37

Etude de XY 1 [p] dabord des prliminaires. Pour cette tude, on travaille avec les classes de nombres (on note n est la classe de n.). La classe n reprsentera les nombres congrus n modulo p, cest--dire les nombres de la forme n + kp :

Pour p = 5 :
0 1 2 3 4 0 0 0 0 0 0 1 0 1 2 3 4 2 0 2 4 1 3 3 0 3 1 4 2 4 0 4 3 2 1

n, n + p, n + 2p, , n p, n 2p, , n + kp (k Z). solutions : (1, 1), (2, 3), (3, 2) et (4, 4) 0 reprsentera les nombres : p, 2p, 3p, , p, 2p, , kp (k Z). Pour p = 7 :

0 1 2 3 4 5 6 On appelle alors Z/pZ lensemble de toutes 0 0 0 0 0 0 0 0 ces classes : 1 0 1 2 3 4 5 6 Z/pZ = {0, 1, 2, , n , , p1}, 2 0 2 4 6 1 3 5 3 0 3 6 2 5 1 4 et on a : 4 0 4 1 5 2 6 3 p = 0, (n + kp = n ), 5 0 5 3 1 6 4 2 6 0 6 5 4 3 2 1 Pour les oprations dans Z/pZ : solutions : (a +b) = a + b (1, 1), (2, 4), (3, 5), (4, 2), (5, 3) et (6, 6). (a b) = a b E xemp le de multiplicatio n dans Z / p Z , p ntant pas premier : p = 6 Etude de XY 1 [p] nous y voil.

On tudie lquation en utilisant des tables de multiplication, le produit un multiple de p prs tant le reste de la division euclidienne de xy par p. Les solutions de lquation XY 1 [p] (X Y = 1) son t don c repr sentes par le 1 d an s le tableau. Par exemple : Pour p = 3 :
0 1 2 0 0 0 0 1 0 1 2 2 0 2 1

0 1 2 3 4 5

0 0 0 0 0 0 0

1 0 1 2 3 4 5

2 0 2 4 0 2 4

3 0 3 0 3 0 3

4 0 4 2 0 4 2

5 0 5 4 3 2 1

Conjecture 2 : Lorsquon travaille dans Z/pZ (p premier) pour chaque X 0, il existe un unique Y tel que X Y = 1 (ce qui nest pas le cas si p nest pas premier). Si cette conjecture tait exacte, on aurait p 1 solutions p prs pour lquation XY 1 [p].

solutions : (1, 1) et (2, 2)

MATh.en.JEANS en 1996

page 38

Dmonstration de cette conjecture 2 : On utilisera le thorme (de Gauss) : Si p est premier, alors ab 0 [ p] a 0 [p] ou b 0 [p]. Traduction dans Z/pZ : X Y = 0 X = 0 ou Y = 0. En effet, si on suppose que ab 0 [p], a 0 [p] et b 0 [p], p tant premier, on peut simplifier ab 0 [p] , par a ou b (voir Annexe 1 : thorme C, corollaire 2). Alors b 0 [p] ou a 0 [p], ce qui est contraire aux hypothses.

Donc ralise bien une injection (et donc une bijection, daprs ce qui prcde) de Z/pZ sur Z/pZ. Thorme 2 : Lquation XY 1 [p] a donc p 1 solutions dfinies p prs ; chaque X non congru 0 modulo p , on peut associer un nombre et un seul, dfini p prs, not X-1, tel que X X-1 1 [p] X-1 est alors linverse de X. x2 + y2 Vrifions maintenant que 1 [p] et XY 1 [p] ont autant de solutions quand p vrifie 1 a2 [p].

Pour dmontrer la conjecture 2, on montre que pour un X 0, le nombre X Y prend toutes les valeurs de Z/ p Z, lorsquon fait On rappelle que : varier Y dans Z/pZ. Considrons lapplica x2 + y2 1 [p] (x ay)(x + ay) 1 [p] tion (dfinie pour X 0) : o a = kp 1 , a Z : Z/pZ Z/pZ et p vrifie 1 a2 [p]. Y X Y On veut russir faire entrer en bijection les On veut montrer que est une bijection. En ensembles de solutions des deux quations. fait, pour montrer que est bijective, il suffit On va faire correspondre chaque solution de de montrer que est injective car : XY 1[p] (2), une solution de x2+ y21[p] (1). card (Z/pZ) = p, et est donc fini. (le nombre Puis on fera correspondre chaque solution dlments de Z/pZ est un nombre fini : p) de (1) une solution de (2). et de plus, : Z/pZ Z/pZ. Donc, si chaque Y est lunique antcdent de On remarque que : (Y ), les valeurs de (0), (1), (2 ), , X x ay p X +Y 2x p (p1) seront diffrentes, et il ne restera pas Y = x + a y p Y X =2ay p de z Z/pZ nayant pas dantcdent. Donc sera bijective. x 21 (X + Y ) p Supposons quil existe plusieurs nombres y (2 a )1 (Y X ) p (Y1 , Y2 , , Yn ) (Z/pZ)n tels que (21 et (2a)1 existent car p 2.) On a donc (Y1 ) = (Y2 ) = = (Yn ) deux applications : On a alors : 2 (Yi ) = (Y j ) (i, j) {1, 2, , n} (Yi ) = (Y j) X Y i =X Y j (Yi ) = (Y j ) X (Y i Y j) = 0 (Yi ) = (Y j) Y i Y j = 0 car X 0 (Yi ) = (Y j) Y i =Y j
(i1) : (X , Y ) 21 X + Y , 2 a 1 Y X (i2) : (x , y) (x ay, x + ay)

On vrifie facilement que lapplication (i1) suivie de (i2) redonne le couple (X, Y) partir de ( X, Y). De mme (i2) suivie de (i1) associe (x, y) (x, y ). Les applications (i1) et (i2) sont donc des injections, rciproques lune de lautre. En conclusion, on a :

MATh.en.JEANS en 1996

page 39

Pour (i, j) {1, 2, , n}2, 2 2 Lquation x2 + y 2 1 [p] a (p 1) solutions ai 2 = aj 2 a i a j =0 sil existe un entier a tel que 1 a2 [p]. (ai a j )(a i+a j) = 0 Mais a i=a j ou a i = a j (daprs Quels sont les nombres p premiers pour le thorme de Gauss ; cf. Annexe 1, thorme C, Corollaire 2) lesquels il existe a Z tel que 1 a2 [p] ? si un carr parfait apparat, cest deux fois. Thorme 3 : On en dduit quil y a (p1)/2 carrs parfaits Si lon se place dans Z/pZ, on a tous les car- ( 0), sauf si p = 2 car dans ce cas, il ny a rs parfaits sur la diagonale de la table de quun seul carr. multiplication car ces carrs sont les produits dun nombre par lui-mme. (diagonale : n de Thorme 5 : ligne = n de colonne) Si un nombre c est un carr parfait, alors linverse de ce nombre est un carr parfait. p 2 p 1 0 1 2 En effet, si c = b 2 , alors c - 1 = ( b 2 )- 1 . 0 (0)2 0 0 0 0 0 0 2 -1 -1 2 Montrons que ( b ) = (b ) . On a : 1 0 (1)2 2 b b -1 = 1 2 0 2 (2)2 (b b -1)2 = 12 0 0 b 2 (b -1))2 = 1 p2 0 (p2)2 do : 2 p1 0 b 2 = ((b -1)2)-1 (p 1) (b 2)-1 = (b -1)2 (car (c -1)-1 = c ) Il y a donc p carrs parfaits au maximum et (p 1) si on enlve 0, qui est toujours pr- Donc, chaque carr parfait, il correspond un sent. Mais, dans cette diagonale, il peut y autre carr parfait. Ce second carr parfait est avoir des nombres se rptant plusieurs fois. diffrent du premier, sauf si le carr parfait de dpart est 1 ou 1 ; car ces deux nombres sont Thorme 4 : leur propre inverse, et ce sont les seuls avec Si p 2, chaque carr parfait (diffrent cette proprit : de 0) apparat au moins deux fois sur la x = x -1 x x = x x -1 diagonale de la table de multiplication. x2 = 1 En effet, un nombre et son oppos ont le (x 1)(x + 1) = 0 mme carr : ()2 = 2. Dans le tableau, est reprsent par p . Donc, chaque carr x = 1 ou x = 1 parfait (diffrent de 0) se rpte au moins une Si on fait le dcompte des carrs parfaits, on fois. obtient : Rciproquement, si un carr parfait apparat, 2 cest deux fois : supposons que plusieurs 1 toujours prsent car 1 = 1 nombres a 1, a 2, a 3 , , a n aient le mme carr, pour tout c carr parfait prsent autre alors que 1 et 1, il y a c -1, carr parfait 2 2 2 a12 = a 1 quelquefois 2 =a 3 ==a n . Dcompte des carrs parfaits.

MATh.en.JEANS en 1996

page 40

Rsolution de la conjecture 1 dans le cas Rsolution de la co njecture 1 dans le o il existe a tel que 1 a2 [p]. cas p 3 [4]. Le cas p 1 [4] rsolu, on se place dans le cas p 3 [4]. 1 nest donc pas un carr parfait. On aimerait montrer quil y a alors (p + 1) solutions, ce qui nest pas si loign p 1 Il y en a donc un nombre pair, donc est des (p 1) solutions de XY 1 [p]. 2 divisible par 2. Do Les
p 1 Z. 4 p 1 carrs parfaits sont : 2 -1 -1 1, 1, c 1, c 1 ,,c n, c n .

Donc (p 1) 4Z et p 1 [4]. Conclusion :

On recherche donc un autre moyen de retrouver lquation de lhyperbole XY 1 [p], pour prouver que lquation (1) a autant de solutions que lquation de lhyperbole XY 1 [ p] plus deux autres solutions.

Plutt que de rechercher directement retrou1 a2 [p] p 1 [4] (pour p 2). (2 est ver lquation XY 1 [p], on va rechercher un cas particulier car 1 = 1.) une quation de la forme X2 Y2 1 [p] qui a aussi (p 1) solutions. Montrons la rciproque : Soit p tel que p 1 [4]. Par hypothse, divisible par 2.
p 1 p 1 Z , donc est 4 2

On veut donc passer de x2 + y2 1 [p] X2 Y2 1 [p]. Pour obtenir le signe , on crit :

Le nombre de carrs parfaits est donc pair. -1 -1 x2 1 y2 [p] Or les carrs 1, c , c , , c , c sont pr1 1 n n sents, soit un nombre impair de carrs. Il On multiplie par linverse de x2 : manque donc un carr qui ne peut tre que 1 (le seul diffrent de 1 qui soit son propre 1 (x 2)1 (x2)1 y2 [p] inverse). Cependant, on a vu que seul 0 navait pas 2 Donc : p 1 [4] 1 a [p]. dinverse, on doit donc supposer que x 0. Thorme 6 : (1) x2 + y2 1 [p] (x2)1 (x2)1 y2 1[p] Si p est un nombre premier autre que 2, (1) (x1)2 (x1)2 y2 1[p] alors p 1 [4 ] il ex iste a Z t e l (1) (x1)2 (y x1)2 1[p] 2 que 1 a [p]. On pose donc : X x1 [p] et Y y x1 [p]. 2 On a vu que si p est tel que 1 a [p], alors X x1 [p] donc on a aussi X 0 [p]. il y a (p 1) solutions p prs de lquation x2 + y2 1 [p]. On a alors : Corollaire : Lquation x2 + y2 1 [p] a (p1) solutions p prs quand p 1 [4]. Cela rsout le cas (ii) de la conjecture 1. et y Y x Y X1 [p] x X1 [p]

MATh.en.JEANS en 1996

page 41

On peut donc mettre en bijection

Conclusion.

dune part, lensemble des solutions de le problme du lquation x2 + y2 1 [p], hors des droites Nous venons de rsoudre 2 + y2 1 [p], avec nombre de solutions de x x 0 [p], ( x , y , p ) Z 2 P [NDLC : P d s i g n e et lensemble des nombres entiers naturels pre dautre part, lensemble des solutions de miers.] ; nous nous sommes limits un nombre p premier (permettant le rapprochex2 y2 1 [p], hors des droites x 0[p]. ment avec une hyperbole). Nous avons ainsi le nombre de solutions de lquaOn en dduit quil y a autant de solutions, dtermin 2 + y2 1 [n], lorsque n est un nombre tion x hors des droites x 0 [p], pour les deux quap r e m i e r. Il resterait voir ce qui se passe tions. lorsque n est un entier quelconque, en comOn compte les solutio ns sur les dro ites menant par le cas o n est une puissance dun nombre premier, par exemple. x 0 [p] : quation x2 y2 1[p] : x 0 [p] 02 y2 1 [p] x 0 [p] y2 1 [p] ce qui na pas de solution quand p 3 [4]. Il y a donc p 1 solutions hors des droites x 0 [p] pour lquation x2 y2 1[p] donc aussi pour x2 + y2 1 [p], quation x2 + y2 1 [p], et sur x 0 [p] : x 0 [p] 02 + y 2 1 [p] x 0 [p] (y + 1)(y 1) 1 [ p] x 0 [p] y 1[p] ou y 1 [p] Il y a deux solutions sur x 0 [p]. Thorme 7: Lquation x2 + y2 1[p] a (p + 1) solutions p prs quand p 3 [4]. Bibliographie : Marc GUINOT, Arithmtique pour amateurs, tomes I et II, 1992 Alas diteur. [NDLC : et pour un cercle normal (pas modulo p, mais pas forcment de rayon 1 non plus), combien y a-t-il de points coordonnes entires ?]

[NDLC : on trouvera lAnnexe 1, annonce prcdemment, en page suivante ; elle est suivie dune paramtrisation des solutions de x2 + y2 1 [p] : les solutions de lquation sobtiennent en donnant au paramtre chacune des valeurs possibles.]

MATh.en.JEANS en 1996

page 42

ANNEXE 1 Quelques thormes sur le Thorme C langage des congruences dans Z. Si (a, b, x, p) Z4, alors : (i) a b [p] a + x b + x [p] Cette an nexe va servir n on cer d es (ii) a b [p] ax bx [p] thormes qui nous permettent de manipuler les congruences. NB : La rciproque est vraie si x est premier avec p (cest--dire sils nont que 1 ou -1 Dfinition 1 comme diviseurs communs). Soit (a, b, c) Z3, on dit que a est congru b modulo p (not a b [p] ou a b modulo Corollaire 1 p), si et seulement si (a b) est multiple de p, Si (a, b, c, p) Z4, alors : autrement dit (a - b)/p Z, ou (a - b) pZ, (i) a + b c [p] a c b [p] ou a est de la forme b + kp (k Z). (ii) a b c [p] a c + b [p] exemples : 3 10 [7] car 3 = 10 - 1 7 31 13 [3] car 31 = 6 3 + 13 Corollaire 2 Si d|a (d divise a) et d|b et si d est premier avec p, alors : a b [p] a/d b/d [p]

Remarque : On dit alors que p est le module de la congruence. Thorme D Soit (a, b, p, x) Z 3 Z*, alors : Thorme A a b [p] ax bx [px] Si (a, b, c, p) Z4, alors : (i) : a a [p] (rflxivit) NB : Si d|a, d|b et d|p, alors : (ii) : Si a b [p] alors b a [p] (symtrie) a b [p] a/d b/d [p/d] (iii) : Si a b [p] et b c [p] , alors a c [p] (transitivit) Thorme E Si a b [p] et a b [p] alors Dfinition 2 Si p Z, on appelle classe de congruence (i) a + a b + b [p] modulo p de a Z, lensemble des entiers (ii) a a b b [p] cong rus a m odu lo p ( c e s t - - d i r e (iii) aa bb [p] lensemble des entiers de la forme a + kp). [NDLC : P dsigne lensemble des nombres Thorme B entiers naturels premiers.] Si (a, p) Z N*, alors le reste dans la division euclidienne de a par p , est lunique Thorme F (dit Petit thorme de Fermat) entier compris entre 0 et p - 1, congru a Si (a, p) Z P, alors ap a [p]. modulo p : Et donc : si a 0 [p], alors ap1 1 [p] (cf. Th. 4, corollaire 2). a = qp + r avec 0 r p - 1. Corollaire Si (a, b, p) Z 2N*, alors : Thorme W ( dit Thorme de Wilson) (p 1)! 1 [p] p P

a b [p] a et b ont le mme reste ( r) dans [NDLR : toutes les dmonstrations de cette la division euclidienne par p. annexe sont laisses en exercice(s) au lecteur.]

MATh.en.JEANS en 1996

page 43

ANNEXE 2 Paramtrage des solutions.

Cherchons exprimer a tel que a2 1 [p], en fonction de p.

Cette annexe va servir exprimer les couples (x, y) solutions de lquation en fonction dun Pour cela on utilise le thorme de Wilson paramtre t et du nombre premier p. [voir Annexe 1] qui nous dit : Pour cela on u tilise les formu les de correspondance avec lhyperbole. [NDLR : On spare ltude en deux cas correspondant aux deux grandes classes de nombres p premiers : p 1 [4] et p 3 [4], laissant le cas p = 2 au lecteur.] si p 1 [4] (p 1)! 1 [p] p P. On a
p 1 Z, donc on peut dire : 4

p1 = 2m avec m Z, m pair, et : (p 1)! = (2 m)! = 1 2 m (m+1) (m+2) (2m) = m! (p1m+1) (p1m+2) (p1m+m)

Si (X, Y) est solution de XY 1 [p], on a vu que les solutions de x2 + y 2 1 [p] sobtien- car par hypothse 2 m = p1 m = p1m. nent par : (p1)! = m!(pm)(p(m1))(p(m2))(p1) x 21 (X + Y) [p] y (2a)1 (Y X) [p] o a est entier, vrifiant a2 1 [p]. Comme XY 1 [p], alors Y X1 [p], donc : x 21 (X + X1) [p] y (2a)1 (X1 X) [p] Or (p )! [p] et donc par transitivit : (p1)! m !(pm)(1)(2)(m) [p] (1)m m ! m ! [p] (1)m (m !)2 [p] Or par hypothse
p 1 p 1 Z, donc m = 4 2

De plus, daprs le petit thorme de Fermat est pair, donc (1)m = 1 et donc [voir Annexe 1] : (p1)! (m !)2 [p] up1 1 [p] donc do u.up2 1 [p] up2 u1 [p] (p 1)! 1 [p]

et daprs le thorme de Wilson : donc (m !)2 1 [p]. On en dduit quon peut prendre : p 1 am!( )! [p] 2 On a donc, pour x2 + y2 1 [p] et dans le cas o p 1 [4], un paramtrage complet des solutions en crivant : x 2p2 (t + tp2) [p] y 2p2 ((
p 1 p2 p2 )!) (t t) [p] 2

Donc, avec u = 2 ou u = 2a ou u = X : x 2p2 (X + Xp2) [p] y (2a)p2 (Xp2 X) [p]

t {1, 2, 3, , p 1}.

MATh.en.JEANS en 1996

page 44

si p 3 [4] Dans ce cas, les formules de correspondance avec XY 1 [p] ne permettent pas de donner les solutions sur la droite x = 0. On doit donc ajouter deux solutions : x 0 [p], y 1 [p] et x 0 [p], y 1 [p]. On essaie dexprimer les autres solutions en fonction de t, t {1, 2, 3, , p 1}. Les solutions de X2 Y2 1 [p] sont donnes par les formules : X 21 (t + t1) [p] Y 21 (t1 t) [p] t {1, 2, 3, , p 1}. Pour retrouver x 2 + y2 1 [p] on doit poser x X1 [p] et y Y x Y X1 [p] : x [21 (t + t1)]1 [p] y 21 (t1 t)[2 1 (t + t1)]1 [p] On a : ()1 1 1 car : ()1 ()p2 p2 p2 1 1 x (21)1 (t + t1)1 [p] y 21 (t1 t)(2 1)1 (t + t1)1 [p] x 2 (t + t1)1 [p] y 21 2 ( t1 t) (t + t1)1 [p] x 2 (t + t1)1 [p] y (t1 t) (t + t1)1 [p] x 2 (t + tp2)p2 [p] y (tp2 t) (t + tp2)p2 [p] Les solutions sont donc, quand p 3 [4] : x 0 [p] y 1 [p] et x 0 [p] y 1 [p] x 2 (t + tp2)p2 [p] y (tp2 t) (t + tp2)p2 [p] t {1, 2, 3, , p 1}.

et

MATh.en.JEANS en 1996