
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.