Un nombre parfait est un nombre naturel n non nul qui est égal à la somme de ses diviseurs stricts, autrement dit, tel que
où σ(n) est la somme des diviseurs entiers positifs de n, n non compris.
Le premier nombre parfait est 6, car 1, 2, et 3 sont les diviseurs stricts de 6 et 1 + 2 + 3 = 6.
Nombres parfaits pairs
Dans le Livre IX de ses Éléments, le mathématicienEuclide, au IIIe siècle av. J.-C., a prouvé que si
est premier, alors
est parfait.
Ainsi :
6 = 21(22 − 1)
28 = 22(23 − 1)
496 = 24(25 − 1)
8128 = 26(27 − 1)
...
Par ailleurs, Leonhard Euler, au XVIIIe siècle, a prouvé que toutnombre parfait pair est de la forme proposée par Euclide. La recherche de nombres parfaits pairs est donc liée à celle des nombres premiers de Mersenne (nombres premiers de la forme 2p-1).
Il est établi que tout nombre parfait pair se termine par un 6 ou un 8, mais pas forcément en alternance.
En 2000, Douglas Iannucci a démontré que tous les nombres pairs parfaits sont des nombres de Kaprekar en base deux.
Les nombres parfaits pairs étant de la forme 2n−1(2n − 1), ce sont des nombres triangulaires, et, en tant que tels, la somme des entiers naturels jusqu'à un certain rang, en l'occurrence 2n − 1. De plus, tous les nombres parfaits pairs, excepté le premier, sont la somme des 2(n−1)/2 premiers cubes impairs :
Le reste de la division d'un nombre parfait pair (à l'exception de 6) par 9 vaut 1. Ceci veut dire que le résidu d'un tel nombre vaut 1. Par exemple, le résidu de 8128 vaut 1, puisque 8 + 1 + 2 + 8 = 19, 1 + 9 = 10, et 1 + 0 = 1.
Exemples
Les 4 premiers nombres parfaits sont connus depuis l'antiquité. Depuis, le total est passé à 46 nombres parfaits seulement (au 7 octobre 2008).
En 2009, les mathématiciens ignorent si des nombres parfaits impairs existent. Différents travaux ont été entrepris mais aucun ne permet d'affirmer ou d'infirmer leur existence. Carl Pomerance a présenté une méthode heuristique qui suggère qu'aucun nombre parfait impair n'existe.
Un nombre parfait impair N doit remplir les conditions suivantes :
N > 10300. Une recherche est en cours pour prouver que N > 10500.
N est de la forme
où :
q, p1, …, pk sont des nombres premiers distincts (Euler) ;
q ≡ α ≡ 1 (modulo 4) (Euler) ;
Le plus petit facteur premier de N est inférieur à (2k + 8) / 3 (Grün 1952) ;
La relation e1≡e2≡...≡ek ≡ 1 (modulo 3) n'est pas satisfaite (McDaniel 1970) ;
qα > 1020 ou
> 1020 pour j quelconque (Cohen 1987) ;
(Nielsen 2003).
Si ei ≤ 2 pour tout i :
Le plus petit diviseur premier de N est au moins 739 (Cohen 1987) ;
Le plus grand diviseur premier de N est supérieur à 108 (Takeshi Goto et Yasuo Ohno, 2006).
Le second plus grand diviseur premier de N est supérieur à 104 et le troisième est plus grand que 100 (Iannucci 1999, 2000).
N comporte au moins 75 diviseurs premiers et au moins 9 diviseurs premiers distincts. Si 3 n'est pas un diviseur de N, alors N comporte au moins 12 diviseurs premiers distincts (Nielsen 2006 ; Kevin Hare 2005).