Vous êtes sur la page 1sur 3

`mes de Mathe

matiques
Proble
`res de z = 0.28 + 0.96i
Puissances entie

Enonc
e

Puissances enti`
eres de z = 0.28 + 0.96i
Soit lensemble des nombres complexes de module 1.
(
cos = 0.28
Soit le reel de [0, 2[ tel que
.
sin = 0.96
1. Pour tout entier naturel p, on pose zp = exp(ip).




(a) Pour tout couple dentiers p et q, montrer que |zp zq | = 2 sin(p q) 2 . [ S ]
(b) Calculer cos 2 et sin 2 . En deduire : p, q IN, |zp zq | Q.
l [S]
2. On pose maintenant, k IN, k = z2k (par exemple 3 = z8 ).
(a) Montrer que k IN, Re(k ) = ak 10(2
2k

Indication : noter que (28 + 96i)

k+1 )

, o`
u ak ZZ 10ZZ.

= ak + ibk , o`
u ak 8(10), bk 6(10). [ S ]

(b) En deduire que les k sont distincts deux `a deux. [ S ]


(c) Montrer que les zk sont deux `a deux distincts. [ S ]
(d) En deduire que est irrationnel. [ S ]
3. Pour tout entier n 2, on pose dn = inf{|zp zq |, 0 p, q n 1, p 6= q}.

(a) Montrer que, pour tout n 2, dn 2 sin . En deduire : lim dn = 0. [ S ]


+
n
(b) Soit un reel strictement positif donne, et soit c dans .
Montrer quil existe un entier naturel n tel que |c zn | . [ S ]

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
`res de z = 0.28 + 0.96i
Puissances entie
Corrige

Corrig
e du probl`
eme
1. (a) Soient p et q deux entiers naturels..
On a |zp zq | = |zq (zpq 1)| = |zpq 1| = | exp(i(p q)) 1|.



Or pour tout reel : | exp(i) 1| = exp(i 2 ) 2i sin 2 = 2 sin 2 .




On en deduit |zp zq | = 2 sin(p q) 2 . [ Q ]

= 0, 64. Dautre part sin2 2 = 1cos


= 0, 36.
(b) Dune part cos2 2 = 1+cos
2
2

Or 2 est compris entre 0 et 2 . On en deduit cos 2 > 0 et sin 2 > 0.


Conclusion : cos 2 = 0, 8 Q,
l et sin 2 = 0, 6 Q.
l
Pour tout n de IN, sin n 2 est la partie imaginaire de exp(in 2 ) = (cos 2 + i sin 2 )n .
Le developpement par la formule du binome montre que sin n 2 est une expression
polynomiale `a coefficients entiers relativement aux quantites cos 2 et sin 2 .
Celles-ci etant rationnelles, il en resulte que sin n 2 est rationnel pour tout n de IN.




En particulier : (p, q) IN2 , |zp zq | = 2 sin(p q) 2 Q.
l [Q]
k

2. (a) Posons (28 + 96i)2 = ak + ibk , pour tout k de IN.


Il est clair que les ak et bk sont des entiers relatifs.

ak 8(10)
Montrons par recurrence la propriete P(k) :
bk 6(10)
0

P(0) est vraie car (28 + 96i)2 = 28 + 96i et a0 = 28 8(10) et b0 = 96 6(10).


On suppose que P(k) est vraie pour un certain entier k 0.
Alors ak+1 + ibk+1 = (ak + ibk )2 = a2k b2k + 2iak bk .

ak+1 82 62 8(10)
On en deduit
, ce qui prouve P(k + 1).
bk+1 2 8 6 6(10)
Ainsi, pour tout k de IN, on a ak 8(10) et bk 6(10).
k

Or k = (28 + 96i)2 1002 = (28 + 96i)2 102


2k+1

Donc Re (k ) = ak 10

k+1

= (ak + ibk )102

k+1

, o`
u ak est un entier qui nest pas un multiple de 10. [ Q ]

(b) Supposons par labsurde que les k ne soient pas tous distincts.
Alors il existe deux entiers j < k tels que j = k .
On en deduit Re (j ) = Re (k ) donc aj 102
2k+1 2j+1

Il en decoule aj 10

j+1

= ak 102

k+1

= ak donc ak 0(10) ce qui nest pas.

Conclusion : les nombres complexes wk sont distincts deux `a deux. [ Q ]

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
`res de z = 0.28 + 0.96i
Puissances entie
Corrige

(c) Supposons par labsurde que les zk ne soient pas tous distincts.
Alors il existe deux entiers p < q tels que zp = zq , donc tels que exp(i(q p)) = 1.
Ainsi z qp = 1, ce qui prouve que la suite des zk est periodique de periode r = q p.
Il en decoule que lensemble des zk est fini, ce qui est absurde car les wk (qui sont
des zk particuliers) sont distincts deux `a deux.).
Conclusion : les nombres complexes zk sont distincts deux `a deux. [ Q ]
(d) Toujours par labsurde, supposons que soit rationnel.
Alors il existe un entier p tel que p soit multiple de 2, autrement dit tel que z p = 1.
On en deduit comme precedemment que (zk )k0 est periodique, ce qui est faux.
Conclusion : est un irrationnel. [ Q ]
3. (a) On sait que les points zk sont distincts deux `a deux.
Cest le cas en particulier pour les n nombres complexes z0 , z1 , . . . , zn1 .
Leurs points images sont les n sommets dun polygone inscrit dans le cercle unite.
Notons A0 , A1 , . . . , An1 les sommets consecutifs de ce polygone, parcouru dans le
sens trigononetrique, en prenant par exemple pour A0 le point image de z0 (il ny
pas de raison pour que A1 , A2 , soient les points images respectifs de z1 , z2 , )
La somme des mesures k des angles A\
egale `a 2 (on pose An = A0 ).
k Ak+1 est
Lune au moins des mesures k = A\
erieure ou egale a` 2
k Ak+1 est donc inf
n.
k
La distance entre ces deux points est 2 sin 2 donc inferieure ou egale `a 2 sin n .
Ainsi, il existe p et q distincts dans {0, 1, . . . , n 1} tels que |zp zq | 2 sin n .
On en deduit 0 dn 2 sin n et bien s
ur lim dn = 0. [ Q ]
+

(b) Soit un reel strictement positif quelconque.


On sait quil existe deux entiers p < q tels que |zp zq | < .
Cette inegalite secrit aussi |zr 1| < avec r = q p.
Pour tout n de IN, soit An le point du cercle unite ayant pour affixe zrn .
Soit [0, 2[ un argument de zr . Soit N le plus petit entier tel que N > 2.
A0 , A1 , . . . , AN sont sur le cercle unite, et la distance entre deux points consecutifs
de cette famille est toujours la meme : elle est egale `a d(A0 , A1 ) = |zr 1| < .
Tout point C du cercle unite est compris au sens large entre deux Ak consecutifs.


Pour tout c de , il existe donc k {0, . . . , N } tel que c zrk < .
En posant n = kr, on trouve bien |c zn | < . [ Q ]

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.