ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 1 — Divisibilité et primalité · Pour aller plus loin

Exercice 41 Nombres parfaits

Démonstration

Un entier naturel n⩾2n\geqslant 2 est parfait si la somme des diviseurs de nn autres que nn dans ℕ∗\mathbb{N}^{*} est égale à nn, autrement dit si la somme des diviseurs de nn dans ℕ∗\mathbb{N}^{*} est égale à 2n2n.

a) Vérifier que 66 et 2828 sont des nombres parfaits.

b) Soit n∈ℕ∗n\in\mathbb{N}^{*} tel que p:=2n−1p:=2^{n}-1 soit premier (i.e. un nombre de Mersenne, exercice 25). On pose N=2n−1(2n−1)N=2^{n-1}(2^{n}-1). Montrer que NN est parfait.

Source : poly « Mathématiques : du lycée aux CPGE scientifiques » (LLG / H4), n° 537

Corrigé

a) Les diviseurs de 66 autres que 66 sont 11, 22, 33, et 1+2+3=61+2+3=6. Ceux de 28=22×728=2^{2}\times 7 sont 11, 22, 44, 77, 1414, et 1+2+4+7+14=281+2+4+7+14=28. Donc 6 et 28 sont parfaits\boxed{6 \text{ et } 28 \text{ sont parfaits}}.

b) Comme 21−1=12^{1}-1=1 n'est pas premier, on a n⩾2n\geqslant 2, donc p=2n−1⩾3p=2^{n}-1\geqslant 3 est un nombre premier impair, distinct de 22. La décomposition de NN est donc N=2n−1×pN=2^{n-1}\times p, et d'après l'exercice 16, ses diviseurs sont les 2i2^{i} et les 2ip2^{i}p pour 0⩽i⩽n−10\leqslant i\leqslant n-1. Leur somme vaut : (1+2+⋯+2n−1)(1+p)=(2n−1)×2n=2×2n−1(2n−1)=2N,(1+2+\dots+2^{n-1})(1+p)=(2^{n}-1)\times 2^{n}=2\times 2^{n-1}(2^{n}-1)=2N, en utilisant 1+2+⋯+2n−1=2n−11+2+\dots+2^{n-1}=2^{n}-1 (exercice 26, question 2). Ainsi N est parfait\boxed{N \text{ est parfait}}.

Pour n=2n=2, 33, 55 et 77, on obtient les nombres parfaits 66, 2828, 496496 et 81288128. Ce résultat figure déjà dans les Éléments d'Euclide (livre IX, proposition 36) ; Euler a démontré au XVIIIe siècle que tout nombre parfait pair est de cette forme. On ignore toujours s'il existe des nombres parfaits impairs.

Dans l'édifice

Thèmes

divisibilité, nombres premiers, nombres remarquables

Notions

nombre premier

Ouvrir dans l'atlas interactif →