Académique Documents
Professionnel Documents
Culture Documents
N IVEAU : Avanc
C ONTENU : Exercices
Solution de lexercice 1 Un tel diviseur q divise xp 1 = (x1) xp1 + xp2 + ... + 1
donc lordre de x modulo q divise p premier. Si cet ordre est p, comme daprs
le thorme de Fermat il divise galement q 1, p divise q 1. Si lordre est 1,
pour tout k, xk 1 (mod q) donc la somme des p termes : xp1 +xp2 +...+1
p (mod q) est divisible par q si et seulement si q divise p, soit q = p.
Solution de lexercice 2 Soit p le plus petit facteur premier de n. Modulo p, lordre de k divise n puisque kn 1 (mod p). Par ailleurs, daprs le thorme
de Fermat, lordre de k modulo p divise p 1. Or p est le plus petit facteur
premier de n : le seul diviseur de n strictement infrieur p est 1. Lordre de
p, diviseur de n infrieur ou gal p 1, vaut donc ncessairement 1, ce qui
prouve prcisment que k 1 (mod p), donc que p divise k 1, de sorte que
PGCD(n, k 1) vaut au moins p. La rponse est donc non.
Solution de lexercice 3 k nest pas suppos premier, mais si tous ses facteurs
premiers vrifient le rsultat, alors un produit de nombres congrus 1 (mod 2n+1 )
sera lui-mme 1 (mod 2n+1 ). Il suffit donc de dmontrer que tout facteur
n
n
premier p de x2 + y2 vrifie p 1 (mod 2n+1 ). Par ailleurs, si p divisait x,
n
n
comme par hypothse il divise x2 + y2 , il diviserait galement y : x et y ne
seraient pas premiers entre eux. Donc x et p sont premiers entre eux et, daprs
Bzout, il existe u et v tels que
xu pv = 1, ce qui entrane que : xuy
y
y
y
(mod p). On peut noter x la classe de uy (mod
p), telle que x x y
n
2n
n
n
n
2
(mod p), de sorte que : x2 +y2 = x2 1 + yx
0 quivaut : yx
1
(mod p). Donc cet lment yx a pour ordre 2n+1 , car 2n+1 est la premire puis2k
sance de 2 vrifiant yx
1 (mod p), et 2n+1 na pas dautre diviseur que
p1
des puissances de 2. Comme yx
1 (mod p), 2n+1 divise p 1, ce qui
est prcisment le rsultat cherch. Un cas particulier important : pour n = 1,
tout diviseur dune somme de deux carrs premiers entre eux est congru 1
modulo 4.
Par ailleurs, au 17me sicle, Fermat avait mis lhypothse que pour tout
k
entier k, 22 + 1 est premier. Cest la seule conjecture de Fermat qui sest avre
fausse. Parmi ces "nombres de Fermat", on nen connait que cinq qui soient
premiers (pourtant, on en a tudi beaucoup) : 21 + 1 = 3, 22 + 1 = 5, 24 +
1 = 17, 28 + 1 = 257 et 216 + 1 = 65537, et il se peut que ce soient les seuls.
Pour dmontrer que 232 + 1 nest pas premier, Euler savait que ses ventuels
diviseurs premiers taient ncessairement de la forme 64k + 1 : il suffisait donc
dessayer 193,257, 449, 577, 641.... Or 641 qui peut scrire de deux manires
:
7
4
4
4
4
4
28
641 = 5 2 +1 = 5 +2 . Comme ab divise a b , 641 divise 5 2
2
1. Mais il divise aussi : 54 + 24 228 = 54 228 + 232 . Donc il divise la
diffrence de ces deux nombres, savoir prcisment : 232 + 1.
Solution de lexercice 4 Remarquons tout dabord que si p = 2, 2q divise 4 + 2q
si et seulement si soit q = 2, soit 2q divise 6, puisque pour tout q impair q
divise 2q1 1, donc 2q divise 2q 2. Do les solutions : (p, q) = (2, 2), (2, 3)
ou (3, 2). On supposera dsormais p et q impairs. Appelons p et q les ordres
de 2 modulo p et q respectivement. Si p divise 2p +2q , donc 2p1 +2q1 , comme
p divise 2p1 1, p divise 2q1 + 1, donc 22(q1) 1. Ds lors, p divise p 1
et 2(q 1) mais ne divise pas q 1. Si la plus grande puissance de 2 divisant
p (resp q ) est 2vp (resp 2vq ), le fait que p divise 2(q 1) et pas q 1
entraine que vp > vq , car q 1 est divisible par q donc par 2vq et pas par
2vp . Le mme raisonnement, en changeant p et q, aboutit vq > vp , ce qui
est manifestement incompatible. Il nexiste donc pas de couples de nombres
premiers impairs vrifiant cette condition.
Solution de lexercice 5 Si p = 2, 22 + 32 = 13 vrifie bien la relation demande :
ce nest pas une puissance > 2 dun entier. Si maintenant p est impair, 2p + 3p
est divisible par 2 + 3 = 5, et nest divisible par 25 que si p est divisible par 5
donc, puisque par hypothse p est premier, si p = 5. En effet, 3p = (5 2)p
(2)p + p.5(2)p1 (mod 25). Cest aussi une consquence du thorme LTE
qui se dmontre pareillement. On en dduit que, hormis ventuellement pour
p = 5, le facteur 5 apparait avec lexposant 1, ce qui suffit dmontrer le
rsultat cherch. Pour p = 5, il apparait bien avec lexposant 2, mais 35 + 25 =
275 nest pas une puissance > 2 dun entier, ce qui achve la dmonstration.
Solution de lexercice 6 Posons n = pi qj m, p et q tant les deux nombres premiers impairs distincts et m ntant
divisible ni par p ni par q. Lanneau Z/nZ
j
i
contient (n) = p q (m) lments, et pour quils soient tous atteints comme puissances dun lment a, il faut que lordre de a soit (n). Or
i
j
j
a(p ) 1 (mod pi ), a(q ) 1 (mod q
), a(m)
1 (mod m), donc a 1
(mod n) avec
= PPCM pi , qj , (m) . Comme p et q sont impairs,
pi et qj sont tous deux pairs : leur PPCM ne peut pas tre gal leur
produit. En dfinitive, lordre de a divise le PPCM des indicateurs dEuler,
soit au plus la moiti du nombre dlments inversibles qui, lui, est gal au
produit de ces mmes indicateurs dEuler.
Solution de lexercice 7 Cest une consquence presque immdiate de lexercice
3. Soit 2k la plus grande puissance de 2 divisant n 1 : posons n 1 = 2k q.
k
k
s = mn1 + 1 = x2 + y2 avec x = mq et y = 1. Daprs lexercice 3, tout
3
3n 2n = p .
3n + 2n = p ,
0
pk = 3n 2n = 3qp
0
= (pk + 2q )p
kk 0
2qp
(2q )p
kk 0
kk 0
= (3q )p
0
kk 0
(2q )p
0
kk 0
kk 0
u1)
= pk u 2q(p
kk 0
u1)
> pk ,