Classe de terminale S spécialité maths
Correction du DM n°5 : nombres de Fermat
Exercice 133 page 66
Partie A : Nombres premiers de la forme
m
:
Soit x un entier naturel supérieur ou égal à 2.
mm
xxxxxP
2122
...1)( +−−+−=
−
est la somme
des termes d’une suite géométrique de raison x. On a donc
x
x
x
x
xP
mm
+
+
=
−−
−−
=
++
1
1
)(1 )(1
)(
1212
puisque 2m + 1 est impair. On a donc )()1(1
12
xPxx
m
+=+
+
, et comme x est un entier, P(x)
est aussi un entier, x + 1 est donc bien un diviseur de
1
12
+
+m
x
.
De même,
2242
...1)(
−
++++=
m
xxxxQ est la somme des termes d’une suite géométrique de
raison x
2
, soit )1)(1( 1
1)(1
)(
2
2
2
xx x
x
x
xP
mm
−+−
=
−
−
=. On a donc
m
xxQxx
2
1)()1)(1( −=−+ , et
comme Q(x) est un entier, x + 1 divise
1
2
−
m
x
.
Soit maintenant q un entier impair strictement supérieur à 1, et q’ un entier non nul. On peut
écrire
1212
''
+=+
q
qqq
, et comme q est impair, il peut se mettre sous la forme
12
mq
.
De plus, q’ n’est pas nul, donc
'
q
est un entier supérieur ou égal à 2. D’après la question
précédente,
'
q
divise donc
12
'
+
q
q
. Comme
'
q
est strictement supérieur à 1 et
différent de
12
'
+
q
q
(puisque q > 1),
12
'
+
q
q
a un diviseur propre. Il ne peut être premier.
Par conséquent, si
m
est premier, m ne peut avoir aucun diviseur impair, donc m ne peut
avoir aucun facteur premier impair. m est donc nécessairement une puissance de 2.
Partie B : Primalité des nombres de Fermat.
On vient de voir que pour qu’un nombre de la forme 2
m
+ 1 soit premier, il est nécessaire que
m soit une puissance de 2. Fermat connaissait déjà ce résultat, et il a observé que :
31212
0
2
=+=+ est un nombre premier.
51212
22
1
=+=+ est un nombre premier.
171212
42
1
=+=+ est un nombre premier.
2571212
82
2
=+=+ est un nombre premier.
655371212
162
4
=+=+ est un nombre premier.
Il a donc conjecturé que tous les nombres 12
2
+=
n
n
F était toujours un nombre premier.
Nous allons voir ce qu’Euler a fait.
On constate tout d’abord que
7
et
.
On peut donc en conclure que
32 4 28 28 4 4 28
+ × = + = × est un multiple de 641.
De même,
2 14 7 7 7
5 2 1 5 2 1 5 2 1 641 5 2 1
est un multiple de 641, donc
aussi
4 28 2 14 2 14
est un multiple de 641.
Il en résulte que
32 32 4 28 4 28
, différence de deux multiples de 641,
est un multiple de 641. Il n’est donc pas premier.
Montrons maintenant par récurrence que pour tout entier n
?
1,
n
:
Initialisation pour n = 1 : n + 1 = 2 et
n
, l’initialisation est vérifiée.