Beruflich Dokumente
Kultur Dokumente
matiques
Proble
Entiers de Gauss
Enonc
e
Entiers de Gauss
On note ZZi = {a + ib, a ZZ, b ZZ}. Les elements de ZZi sont appeles entiers de Gauss.
Dans suite, quand on dira soit z = a + ib dans ZZi , il sera sous-entendu que a, b sont dans ZZ.
Pour tout element z = a + ib de ZZi , on note (z) = zz = |z|2 = a2 + b2 .
Bien s
ur (z) est dans IN et pour tous z, z 0 de ZZi on a (zz 0 ) = (z)(z 0 ).
On note ZZ+
i lensemble des z = a + ib de ZZi tels que a 1 et b 0.
c
Page 1
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Enonc
e
c
Page 2
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Enonc
e
(a) Montrer que lalgorithme se termine au bout dun nombre fini de divisions. [ S ]
(b) Il existe donc un entier n tel que rn 6= 0 et rn+1 = 0. On pose d = rn+ .
Prouver k n, Di (z) Di (z 0 ) = Di (rk ) Di (rk+1 ), puis Di (z) Di (z 0 ) = Di (d).
Montrer que d est le seul element de ZZ+
a verifier cette propriete. [ S ]
i `
(c) Montrer que : k {0, . . . , n}, (uk , vk ) ZZ2i , zuk + z 0 vk = rk .
En deduire quil existe (u, v) dans ZZ2i tels que zu + z 0 v = d.
Ceci ach`eve la demonstration de la proposition. [ S ]
(d) Montrer que parmi les diviseurs communs de z et z 0 , lelement z z 0 et ses trois
associes sont ceux qui ont le plus grand module. [ S ]
(e) Montrer que si z, z 0 ZZ, leur pgcd (au sens habituel) est z z 0 au sens de ZZi . [ S ]
3. Un peu de programmation
Les procedures Maple demandees ici prennent en argument un ou deux elements de ZZi ,
qui sont supposes ecrits sous la forme z = x+iy, avec x, y entiers relatifs. On ne procedera
donc a` aucune verification de la validite des arguments.
On rappelle dautre part que Maple evalue automatiquement les expressions arithmetiques
(sommes, produits, quotients, puissances, ...) formees `a partir de nombres complexes
donnes explicitement sous la forme z = x + iy.
(a) Ecrire une procedure Maple, sur le mod`ele zpos :=proc(z)...end, prenant en argument un element z de ZZi , et renvoyant z + . [ S ]
(b) Ecrire une procedure Maple, sur le mod`ele pgcd :=proc(z1,z2)...end, calculant
le pgcd de deux entiers de Gauss z1 et z2 , de mani`ere iterative. [ S ]
(c) Ecrire une procedure Maple, sur le mod`ele rpgcd :=proc(z1,z2)...end, calculant
le pgcd de deux entiers de Gauss z1 et z2 , de mani`ere recursive. [ S ]
(d) Ecrire une procedure Maple, sur le mod`ele bezout :=proc(z1,z2)...end, calculant
un couple de coefficients de Bezout de z1 , z2 . Le resultat sera une liste [u, v] telle que
zu + z 0 v = z z 0 . La procedure bezout calculera u, v de mani`ere iterative. [ S ]
(e) Ecrire une procedure Maple, sur le mod`ele rbezout :=proc(z1,z2)...end, et qui
effecte le meme calcul que bezout mais de mani`ere recursive. [ S ]
4. Entiers de Gauss premiers entre eux
On dit que deux elements z, z 0 de ZZi sont premiers entre eux dans ZZi si z z 0 = 1.
Remarque : il decoule de II.2.e que si z et z 0 sont dans ZZ, alors ils sont premiers entre
eux en tant quelements de ZZ si et seulement si ils le sont en tant quelements de ZZi .
Dans les questions suivantes z, z 0 et z 00 sont des elements de ZZi .
(a) Montrer que z z 0 = 1 (u, v) ZZ2i , zu + z 0 v = 1 (Bezout.) [ S ]
(b) Montrer que si z k (z 0 z 00 ) dans ZZi , et si z z 0 = 1, alors z k z 00 (Gauss.) [ S ]
(c) Montrer que si z z 0 = 1 et z z 00 = 1 alors z (z 0 z 00 ) = 1. Generaliser. [ S ]
(d) Montrer que si z k z 00 et z 0 k z 00 , et si z z 0 = 1, alors (zz 0 ) k z 00 . [ S ]
c
Page 3
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Enonc
e
[S]
(c) Montrer que lecriture precedente de z est unique `a lordre pr`es des facteurs. [ S ]
3. Irreductibilite des elements de IN .
Il est clair que si n 2 est un entier non premier, il nest pas irreductible dans ZZi (ses
diviseurs dans IN etant aussi des diviseurs dans ZZi ). Il reste donc `a comprendre quand un
entier premier p est irreductible dans ZZi . Pour cela on va demontrer le resultat suivant :
Proposition
Soit p un nombre premier. Les conditions suivantes sont equivalentes :
p nest pas irreductible dans ZZi .
Il existe a et b dans IN tels que p = a2 + b2 .
p = 2, ou p est congru `a 1 modulo 4.
(a) Montrer que si p nest pas irreductible, alors (a, b) (IN )2 , p = a2 + b2 (utiliser
un diviseur de p dans ZZi , non inversible et non associe `a p.) [ S ]
c
Page 4
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Enonc
e
c
Page 5
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Corrige
Corrig
e du probl`
eme
Partie I. Divisibilite dans lanneau ZZi .
1. Il suffit de verifier que ZZi est un sous-anneau de ( C,
l +).
Tout dabord ZZi contient 1 = 1 + 0i (le neutre multiplicatif de lanneau C.)
l
0
Si z = a + ib et z = c + id sont dans ZZi , il en est de meme de :
z z 0 = (a c) + i(b d) car a c et b d sont elements de ZZ.
zz 0 = (ac bd) + i(ad + bc) car ac bd et ad + bc sont elements de ZZ.
Conclusion : ZZi est un sous-anneau de ( C,
l +, ).
Lanneau (ZZ, +, ) est bien s
ur un sous-anneau de ZZi . [ Q ]
2. Si z = a + ib est inversible dans ZZi , il existe z 0 = c + id dans ZZi tel que zz 0 = 1.
On a alors legalite 1 = (1) = (zz 0 ) = (z)(z 0 ).
(z) et (z 0 ) etant des entiers naturels, cela implique (z) = 1.
Reciproquement, si (z) = a2 + b2 = 1, alors z = a ib ZZi et zz = 1.
Conclusion : un element z = a + ib de ZZi est inversible (z) = a2 + b2 = 1.
Il y a quatre solutions, qui sont les points `a coordonnees enti`eres du cercle unite.
Les seuls elements inversibles de ZZi sont donc 1, i, 1, i. [ Q ]
3. (a) Soient z et z 0 deux elements de ZZ, donc deux elements de ZZi .
Supposons que z divise z 0 dans ZZ, cest-`a-dire quil existe q dans ZZ tel que z 0 = qz.
Alors z divise z 0 dans ZZi car q est aussi un element de ZZi .
Reciproquement, supposons que z 0 divise z dans ZZi .
Il existe donc un element q de ZZi tel que z 0 = qz.
Si z = 0, alors z 0 = 0 et z divise z 0 dans ZZ (z 0 = mz pour tout m de ZZ.)
0
c
Page 6
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Corrige
Tout element z non nul de ZZi est dans lun et lun seulement de ces quatre ensembles.
Chacun des trois autres ensembles contient alors un et un seul de iz, z, iz.
Lun et lun seulement des nombres complexes z, iz, z, iz est donc dans ZZ+
i .
Sur le schema ci-dessous, on a fait figurer z = 4+3i et ses trois associes iz, z, iz.
+
De ces quatre complexes, seul iz = 3 + 4i est dans ZZ+
i . On a donc ici z = iz.
[Q]
c
Page 7
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Corrige
4. (a) Supposons zZZi z 0 ZZi . Alors z = z1 est dans zZZi donc dans z 0 ZZi .
Ainsi il existe q dans ZZi tel que z = z 0 q. Donc z 0 k z.
Si z 0 k z, alors tout diviseur de z 0 divise z. Donc Di (z 0 ) Di (z).
Si Di (z 0 ) Di (z), alors z 0 (qui est dans Di (z 0 )) est un diviseur de z.
Tout multiple de z est donc un multiple de z 0 . Ainsi zZZi z 0 ZZi .
On en deduit : zZZi z 0 ZZi z 0 k z Di (z 0 ) Di (z).
Il en decoule : zZZi = z 0 ZZi Di (z) = Di (z 0 ) (z 0 k z et z k z 0 ) z 0 z. [ Q ]
(b) On a (z) = zz, et z est un element de ZZi . Donc z k (z). [ Q ]
(c) Supposons z 0 k z : il existe q dans ZZi tel que z = qz 0 .
On en deduit (z) = (q)(z 0 ), avec (q) IN. Donc (z 0 ) divise (z) dans ZZ.
La reciproque est fausse comme le montre lexemple de z = 3 + 4i et de z 0 = 5.
En effet lunique q de Cl tel que z = qz 0 est q = 15 (3 + 4i) et nest pas dans ZZi .
Donc z 0 ne divise pas z dans ZZi . Pourtant on (z 0 ) | (z) car (z) = (z 0 ) = 25.
Si z 0 = uz, avec u dans U, alors (z 0 ) = (uz) = (u)(z) = (z).
Le meme contre-exemple montre que (z 0 ) = (z) nimplique pas z 0 z. [ Q ]
(d) Supposons z 0 k z et (z) = (z 0 ). Si z = 0, alors z 0 = 0 et z, z 0 sont associes.
Sinon q ZZi , q 6= 0, z = qz 0 . Alors (z) = (q)(z 0 ) = (q)(z) (q) = 1.
Cela prouve que q est element de u, donc que z et z 0 sont associes.
[Q]
() = x2 + y 2 = 13 donne = 2 + 3i ou = 3 + 2i.
1
1
/ ZZi .
= 2 + 3i ne convient pas car 4+7i
2+3i = 13 (4 + 7i)(2 3i) = 13 (29 + 2i)
= 3 + 2i convient car on sait que z = (3 + 2i)(2 + i).
c
Page 8
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Corrige
2
et de rayon r = 2 . Ces cercles passent tous par le centre du carre.
c
Page 9
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Corrige
Ainsi : = x + iy C,
l z ZZi tel que |z | 22 donc tel que (z ) 12 .
Pour tout = x+iy dans C,
l une autre facon de justifier lexistence de z = a+ib dans
1
ZZi tel que (z ) 2 est de poser a = x + 12 et b = y + 21 (les coordonnees de
z sont donc obtenues `a partir de x et y par arrondi `a lentier le plus proche.) [ Q ]
0
z = qz + r
( q) < 1
z0
(b) Posons = . Les conditions
equivalent `a
z
(r) < (z)
r = z 0 qz
On sait quil y a de une `a quatre solutions q dans ZZi .
Pour chacune delle, on obtient r = z 0 qz de facon unique.
Conclusion : il existe de un `a quatre couples (q, r) de
ZZ2i
tels que
z 0 = qz + r
[Q]
(r) < (z)
z0
47 + 29i
(c) Avec les notations precedentes, on a = =
.
z
25
est interieur au carre defini par q1 = 1 + i, q2 = 2 + i, q3 = 1 + 2i, q4 = 2(1 + i).
4
1
37
18
On verifie que ( q1 ) = , ( q2 ) = , ( q3 ) = , ( q4 ) = .
5
25
25
25
Ainsi seuls q1 , q2 , q4 satisfont `a la condition
varphi( q) < 1.
Il y a donc trois divisions possibles de z 0 par z :
z 0 = (1 + i)z + 2(1 + 2i). Ici (r) = 20 (on a bien (r) < (z), car (z) = 25.)
z 0 = (2 + i)z 1. Ici (r) = 1.
z 0 = 2(1 + i)z + 3(1 i). Ici (r) = 18.
La meilleure division de z 0 par z est z 0 = (1 + 2i)z 1. [ Q ]
(d) Si z 0 est dans ZZ et z dans IN , la division euclidienne classique de z 0 par z secrit
z 0 = qz + r, avec 0 r < z. Cette derni`ere condition secrit aussi (r) < (z)
puisque r et z sont des entiers positifs. Ainsi la division euclidienne de z 0 par z dans
ZZ est aussi une division au sens de ZZi . [ Q ]
(e) Voici une solution, et un exemple dutilisation :
> div :=proc(z1,z2) round(z1/z2) :[%,z1-%*z2] end :
> div(1+11*I,3+4*I) ;
[2 + I, 1]
[Q]
c
Page 10
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Corrige
2. Algorithme dEuclide
(a) La suite des restes successifs rk verifie (r1 ) > (r2 ) > > (rk ) >
Les (rk ) forment donc une suite strictement decroissante dentiers naturels.
Cette suite est necessairement finie, et avec elle le nombre de divisions. [ Q ]
(b) Pour tous elements , , de ZZi , on a Di () Di () = Di () Di ( ).
En effet si un element de ZZi divise et , il divise et = .
Inversement sil divise et = , il divise et = + .
Applique `a rk1 = qk rk + rk+1 , cela donne Di (rk1 ) Di (rk ) = Di (rk ) Di (rk+1 ).
Ainsi toutes les intersections Di (rk ) Di (rk+1 ) sont egales `a la premi`ere dentre elles,
cest-`a-dire Di (r0 ) Di (r1 ), ou encore Di (z 0 ) Di (z).
La derni`ere division est rn1 = qn rn . Donc rn k rn1 et Di (rn ) Di (rn1 ).
Ainsi Di (z 0 ) Di (z) = Di (rn1 ) Di (rn ) = Di (rn ) = Di (d) (d = rn+ est associe `a rn .)
Enfin, si ZZ+
erifie Di () = Di (d), on a d puis = d (cf I.3.d et I.4.a) [ Q ]
i v
(c) On prouve lexistence de (uk , vk ) tel que zuk + z 0 vk = rk par recurrence finie sur k.
La propriete est vraie si r = 0 avec u0 = 0 et v0 = 1 (car r0 = z 0 ).
Elle est vraie si r = 1 avec u0 = 1 et v0 = 0 (car r1 = z).
Supposons la propriete vraie aux rang k 1 et k, avec k {1, . . . , n 1}.
(uk1 , vk1 )
zuk1 + z 0 vk1 = rk1 (1)
2
Ainsi il existe
dans ZZi tels que
(uk , vk )
zuk + z 0 vk = rk
(2)
Dautre part, on a rk1 qk rk = rk+1 .
uk+1 = uk1 qk uk
0
(1) qk (2) donne alors zuk+1 + z vk+1 = rk+1 avec
vk+1 = vk1 qk vk
uk+1 et vk+1 sont dans lanneau ZZi , ce qui demontre la propriete au rang k + 1.
Ainsi la propriete est vraie au rang n : (un , vn ) ZZ2i , zun + z 0 vn = rn .
Or d = z z 0 = rn+ : il existe donc dans U = {1, i, 1, i} tel que d = rn .
En posant u = un et v = vn , on obtient zu + z 0 v = d, avec (u, v) ZZ2i .
[Q]
(d) Les diviseurs communs de z et z 0 sont les diviseurs de d = z z 0 .
Parmi les diviseurs de d, il y a d bien s
ur et ses trois associes id, d, id.
Tous quatre ont meme module que d. Enfin les diviseurs de d qui ne lui sont pas
associes ont un module strictement inferieur `a celui de d (cf I.4.c et I.4.d). [ Q ]
(e) Si z, z 0 sont dans ZZ, lalgorithme dEuclide classique dans ZZ est ainsi un algorithme dEuclide dans ZZi (cf II.1.d). Les deux algorithmes conduisent donc au meme
+
resultat (lun dans ZZ+
ncident.
i et lautre dans ZZ ) : les deux notions de pgcd co
[Q]
c
Page 11
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Corrige
3. Un peu de programmation
(a) Voici une solution, avec un exemple dutilisation :
> zpos :=proc(z)
local t ; t :=z ;
while t<>0 and (Re(t)<1 or Im(t)<0) do t :=I*t od ; t ;
end :
> zpos(3-2*I) ;
2 + 3I
[Q]
(b) Voici un calcul iteratif du pgcd (on utilise les fonctions div et zpos) :
> pgcd :=proc(z1,z2)
local a,b,t ;
a :=z1 ; b :=z2 ;
while b<>0
do t :=div(a,b) ; a :=b ; b :=t[2] od ;
zpos(a) ;
end :
Voici un exemple dutilisation. Le pgcd de 23 + 2i et de 34 + 19i est 5 + 4i :
> pgcd(23+2*I,34+19*I) ;
5 + 4I
[Q]
(c) Voici un calcul recursif du pgcd :
> rpgcd :=proc(z1,z2)
if z2=0
then zpos(z1)
else rpgcd(z2,div(z1,z2)[2]) fi
end :
On reprend le meme exemple dutilisation (le pgcd de 23 + 2i et de 34 + 19i) :
> rpgcd(23+2*I,34+19*I) ;
5 + 4I
[Q]
(d) La procedure bezout forme des couples (uk , vk ) tels que zuk + z 0 vk = rk (avec les
notations de la question II.2.c). Pour cela, et comme il sagit dune recurrence de
pas 2, on maintient deux couples de variables u1, v1, u2, v2.
On reconnait linitialisation de ces variables, correspondant aux cas r = 0 et r = 1.
Ensuite leur actualisation seffectue parall`element `a lalgorithme dEuclide de z1 , z2 .
A la fin, on obtient un , vn tels que zun + z 0 vn = rn .
On sait quil existe inversible tel que rn = rn+ = z z 0 .
c
Page 12
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Corrige
c
Page 13
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Corrige
k=1
2
[Q]
0
z 00 = qz
z 00 = q 0 z 0
`mes de Mathe
matiques
Proble
Entiers de Gauss
Corrige
c
Page 15
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Corrige
k=1
k=2
k=2
m
Q
prkk .
k=2
k=1
k=1
c
Page 16
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.
`mes de Mathe
matiques
Proble
Entiers de Gauss
Corrige
c
Page 17
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.