Classes de TS3TS4 Corrigé du DM : nombres parfaits

Classes de TS
3
TS
4
Corrigé du DM : nombres parfaits (exercice 135 page 66)
Les diviseurs de
2
2 7
×
sont 1, 2, 22, 7,
7 2
×
et
2
7 2
×
(2 et 7 sont premiers). Leur somme vaut donc
2 2 2
1 2 2 7 7 2 7 2 (1 2 2 )(1 7)
+ + + + × + × = + + +
.
De même, si
p
est premier, les diviseurs de
1
2
p
sont
2 1
1,2,2 ...2
p
, et ceux de
2 1
p
sont 1 et
2 1
p
(il est par hypothèse premier). Si l’on pose
1
(2 1)2
p p
p
E
= − , les diviseurs de
p
E
sont donc
2 1 2 1
1,2,2 ...2 ,(2 1),2 (2 1),2 (2 1)...2 (2 1)
p p p p p p− −
× − × − × −
. Leur somme est donc égale à
2 1 2 1
1 2 2 ... 2 (2 1) 2 (2 1) 2 (2 1) ... 2 (2 1)
p p p p p p− −
+ + + + + − + × − + × − + + ×
, ce qui se factorise en
2 1 2 1
(1 2 2 ... 2 )(1 (2 1)) (1 2 2 ... 2 ) 2
p p p p
− −
+ + + + + = + + + + ×
. D’autre part, la somme de la suite
géométrique
2 1
(1 2 2 ... 2 )
p
+ + + + vaut 2 1
2 1
2 1
pp
= −
. Ainsi la somme des diviseurs de
p
E
est donc
égale à
(2 1) 2 2
p p
p
E
− × = .
p
E
est un nombre parfait.
Pour p = 2, 3, 5, 7, 13, 17, 31, 61, 89, 107 …
2 1
p
est premier, les nombres
p
E
sont donc parfaits. 6, 28,
496, 8128 sont les plus petits. A ce jour, le plus grand nombre premier de la forme
2 1
p
connu est
25964951
2 1
, qui donne le nombre parfait
25964951 25964950
(2 1)2, qui a 15632458 chiffres.
Si
p
et
q
désignent maintenant des premiers impairs, et
n p q
α β
=, alors les diviseurs de
p
α
sont
2
1, , ...
p p p
α
, ceux de
q
β
sont
2
1, , ...
q q q
β
. Les diviseurs de
n
sont de la forme
a b
p q
avec 0 a
α
≤ ≤
et
0b
β
≤ ≤
, leur somme vaut donc :
2 2 2
1 ... 1 ... ... 1 ...
b
p p p q p q p q p q q p q p q p q
α α β β β α
+ + + + + × + × + × + + × + + × + × + × + + ×
, ce qui,
après factorisation, vaut
2 2
(1 ... )(1 ... )
p p p q q q
α β
+ + + + + + + + , donc en reconnaissant des sommes de
suites géométriques de raisons respectives p et q, elle vaut
1 1
1 1
1 1
p q
Sp q
α β
+ +
− −
= ×
− −
.
n p q
α β
= est parfait si et seulement si
2
S n
=
, ce qui s’écrit
1 1
1 1 2
1 1
p q
p q
p q
α β
α β
+ +
− −
× =
− − , soit
1 1
( 1)( 1) 2 ( 1)( 1)
p q p q p q
α β α β
+ +
− =
. Développons partiellement cette égalité :
1 1 1 1
1 2 ( 1)
p q p q p q pq p q
α β α β α β
+ + + +
+ = +
. On a donc
[
]
1 1
1 2( 1)
p q p q pq p q pq
α β α β
+ +
= − + , soit
[
]
1 1
1 2( 2)( 2) 2
p q p q p q
α β α β
+ +
= − −
.
Comme l’un des nombres p ou q vaut au moins 3 et l’autre au moins 5, le terme de droite de cette égalité
est positif le terme de gauche est négatif. Cette égalité est donc impossible. Il n’y a pas de nombre parfait
ayant exactement deux facteurs premiers impairs. Les nombres parfaits impairs ont donc au moins 3
facteurs premiers, ils sont donc tous supérieurs à 105 (le plus petit entier ayant 3 facteurs premiers).
Remarque culturelle
: les nombres
2 1
n
n
M
= −
s’appellent nombres de Mersenne (du nom de Marin
Mersenne1588-1648, qui les a étudiés le premier). On peut facilement montrer en utilisant la factorisation
1 2 3 2 2 1
( )( ... )
n n n n n n n
a b a b a a b a b ab b
− −
= + + + + + , qu’on peut aussi écrire
0
( )
n
n n n k k
k
a b a b a b
=
= −
que
n
M
ne peut être premier que si n est premier, mais cette condition n’est pas suffisante (par exemple
11
M
n’est pas premier). Ce sont des nombres de Mersenne qui forment les nombres premiers records, car
on dispose de tests très efficaces pour savoir si un nombre de Mersenne est premier. Un projet (GIMPS)
est actuellement en cours qui permet à des particuliers (un peu passionnés) de découvrir des nombres
premiers records (avec de la chance) en téléchargeant un programme qui travaille pendant que leur ordi
ne fait rien.
Les nombres parfaits sont connus depuis Euclide, qui connaissait les 4 premiers. Euler a démontré que
tous les nombres parfaits pairs étaient de la forme
1
(2 1)2
p p
p
E
= − , avec
2 1
p
un nombre de Mersenne
premier. Quand aux nombres parfaits impairs, des démonstrations analogues à celle que vous avez faite
(en plus compliqué) permettent de montrer qu’ils ont au moins 8 facteurs premiers, dont au moins un est
supérieur à
20
10
. En fait, on ne connaît aucun nombre parfait impair.
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !