Nombre parfait

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En arithmétique, un nombre parfait est un entier naturel n tel que σ(n) = 2n où σ(n) est la somme des diviseurs positifs de n. Cela revient à dire qu'un entier naturel est parfait s'il est égal à la moitié de la somme de ses diviseurs ou encore à la somme de ses diviseurs stricts. Ainsi 6 est un nombre parfait car 2 × 6 = 12 = 1 + 2 + 3 + 6, ou encore 6 = 1 + 2 + 3.

Nombres parfaits pairs[modifier | modifier le code]

Dans le Livre IX de ses Éléments, le mathématicien Euclide, au IIIe siècle av. J.-C., a prouvé que si M=2^p-1 est premier, alors \frac{M(M+1)}2=2^{p-1}(2^p - 1) est parfait.

Ainsi :

  • 6 = 2^1(2^2-1)
  • 28 = 2^2(2^3-1)
  • 496 = 2^4(2^5-1)
  • 8128 = 2^6(2^7-1)

Par ailleurs, Leonhard Euler, au XVIIIe siècle, a prouvé que tout nombre parfait pair est de la forme proposée par Euclide. La recherche de nombres parfaits pairs est donc liée à celle des nombres de Mersenne premiers (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[1].

Les nombres parfaits pairs étant de la forme 2n−1(2n − 1), ce sont des nombres triangulaires (et même hexagonaux) et, en tant que tels, la somme des entiers naturels jusqu'à un certain rang (impair), 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 :

 6 = 2^1(2^2-1) = 1+2+3,
 28 = 2^2(2^3-1) = 1+2+3+4+5+6+7 = 1^3+3^3,
 496 = 2^4(2^5-1) = 1+2+3+\cdots+29+30+31 = 1^3+3^3+5^3+7^3,
 8128 = 2^6(2^7-1) = 1+2+3+\cdots+125+126+127 = 1^3+3^3+5^3+7^3+9^3+11^3+13^3+15^3.

Nombres parfaits impairs[modifier | modifier le code]

En 2014, 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[2].

Un nombre parfait impair N doit remplir les conditions suivantes :

  • N est supérieur à[3] 101 500.
  • N est de la forme
    N=q^{\alpha} p_1^{2e_1} \ldots p_k^{2e_k}
    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 à[4] (2k + 8) / 3 ;
    • la relation e1e2 ≡ … ≡ ek ≡ 1 (modulo 3) n'est pas satisfaite[5] ;
    • qα > 1062 ou pj2ej > 1062 pour au moins un[3] j ;
    • N est inférieur à[6] 24k+1.
  • Si ei ≤ 2 pour tout i :
    • le plus petit diviseur premier de N est au moins[7] 739 ;
    • α ≡ 1 (modulo 12) ou α ≡ 9 (modulo 12)[5].
  • Le plus grand diviseur premier de N est supérieur à[8] 108.
  • Le second plus grand diviseur premier de N est supérieur à[9] 104 et le troisième à[10] 100.
  • 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[11],[12].

Exemples[modifier | modifier le code]

Les 4 premiers nombres parfaits sont connus depuis l'antiquité. Depuis, le total est passé à 48 nombres parfaits seulement (puisqu'on connaît 48 nombres de Mersenne premiers) sans même que l'on sache, à partir du 42e, s'il n'y a pas des « trous » (des nombres parfaits intermédiaires non encore découverts)[13],[14].

Les douze premiers nombres parfaits sont :

  • 6 = 1 + 2 + 3
  • 28 = 1 + 2 + 4 + 7 + 14
  • 496 = 1 + 2 + 4 + 8 + 16 + 31 + 62 + 124 + 248
  • 8 128 = 1 + 2 + 4 + 8 + 16 + 32 + 64 + 127 + 254 + 508 + 1 016 + 2 032 + 4 064
  • 33 550 336 = 1 + 2 + 4 + 8 + 16 + 32 + 64 + 128 + 256 + 512 + 1 024 + 2 048 + 4 096 + 8 191 + 16 382 + 32 764 + 65 528 + 131 056 + 262 112 + 524 224 + 1 048 448 + 2 096 896 + 4 193 792 + 8 387 584 + 16 775 168
  • 8 589 869 056 = 1 + 2 + 4 + 8 + 16 + 32 + 64 + 128 + 256 + 512 + 1024 + 2048 + 4096 + 8192 + 16384 + 32768 + 65536 + 131071 + 262142 + 524284 + 1048568 + 2097136 + 4194272 + 8388544 + 16777088 + 33554176 + 67108352 + 134216704 + 268433408 + 536866816 + 1073733632 + 2147467264 + 4294934528
  • 137 438 691 328 = 1 + 2 + 4 + 8 + 16 + 32 + 64 + 128 + 256 + 512 + 1024 + 2048 + 4096 + 8192 + 16384 + 32768 + 65536 + 131072 + 262144 + 524287 + 1048574 + 2097148 + 4194296 + 8388592 + 16777184 + 33554368 + 67108736 + 134217472 + 268434944 + 536869888 + 1073739776 + 2147479552 + 4294959104 + 8589918208 + 17179836416 + 34359672832 + 68719345664
  • 2 305 843 008 139 952 128
  • 2 658 455 991 569 831 744 654 692 615 953 842 176
  • 191 561 942 608 236 107 294 793 378 084 303 638 130 997 321 548 169 216
  • 13 164 036 458 569 648 337 239 753 460 458 722 910 223 472 318 386 943 117 783 728 128
  • 14 474 011 154 664 524 427 946 373 126 085 988 481 573 677 491 474 835 889 066 354 349 131 199 152 128

Propriétés mineures[modifier | modifier le code]

Comme on l'a vu précédemment les nombres parfaits pairs ont une forme bien précise et les nombres parfaits impairs sont rares si tant est qu'ils existent. Il existe un certain nombre de propriétés simples à démontrer sur les nombres parfaits :

  • Un nombre parfait impair n'est pas divisible par[15] 105.
  • Un nombre parfait impair est de la forme[16] 12m + 1 ou 324m + 81 ou 468m + 117.
  • Le seul nombre parfait pair de la forme x^3+1 est 28[17].
  • Un nombre de Fermat ne peut être parfait[18].
  • La somme des inverses des diviseurs d'un nombre parfait vaut 2 :
    • pour 6, 1/6 + 1/3 + 1/2+ 1/1 = 2 ;
    • pour 28, 1/28 + 1/14 + 1/7 + 1/4 + 1/2 + 1/1 = 2.
  • Le nombre de diviseurs d'un nombre parfait N (pair ou impair) est pair, puisque N ne peut[11],[13] être un carré parfait.
  • 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.
  • En base dix, tous les nombres parfaits pairs se terminent par 6 ou 28.

Notions apparentées[modifier | modifier le code]

Si la somme des diviseurs est plus petite que le nombre, ce nombre est dit déficient. Dans le cas où la somme est plus grande, le nombre est dit abondant. Ces termes sont issus de la numérologie grecque. Un couple de nombres dont chacun est la somme des diviseurs de l'autre est dit amical, les cycles plus étendus sont dits sociables. Un entier positif tel que chaque entier inférieur est la somme de diviseurs distincts du premier nombre est dit pratique.

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Perfect number » (voir la liste des auteurs).

  1. (en) Douglas E. Iannucci, « The Kaprekar Numbers », Journal of Integer Sequences, vol. 3, 2000, Article 00.1.2.
  2. (en) Oddperfect.org.
  3. a et b (en) Pascal Ochem et Michaël Rao, « Odd perfect numbers are greater than 101500 », Math. Comp. (en), vol. 81, no 279,‎ 2012 (lire en ligne).
  4. (de) Otto Grün (de), « Über ungerade vollkommene Zahlen », Mathematische Zeitschrift (de), vol. 55, no 3,‎ 1952, p. 353-354 (DOI 10.1007/BF01181133).
  5. a et b (en) Wayne L. McDaniel, « The non-existence of odd perfect numbers of a certain form », Archiv der Mathematik (Basel), vol. 21,‎ 1970, p. 52-53 (DOI 10.1007/BF01220877).
  6. (en) Pace P. Nielsen, « An upper bound for odd perfect numbers », Integers, vol. 3,‎ 2003, A14 (lire en ligne).
  7. (en) Graeme L. Cohen, « On the largest component of an odd perfect number », J. Australian Math. Soc. (en), vol. 42, no 2,‎ 1987, p. 280-286 (lire en ligne).
  8. (en) Takeshi Goto et Yasuo Ohno, « Odd perfect numbers have a prime factor exceeding 108 », Math. Comp.,‎ 2008 (lire en ligne).
  9. (en) D. E. Iannucci, « The second largest prime divisor of an odd perfect number exceeds ten thousand », Math. Comp., vol. 68, no 228,‎ 1999, p. 1749-1760 (lire en ligne)
  10. (en) D. E. Iannucci, « The third largest prime divisor of an odd perfect number exceeds one hundred », Math. Comp., vol. 69, no 230,‎ 2000, p. 867-879 (lire en ligne).
  11. a et b (en) Kevin Hare, « New techniques for bounds on the total number of prime factors of an odd perfect number », preprint, 2005, arXiv:math/0501070.
  12. (en) Pace P. Nielsen, « Odd perfect numbers have at least nine different prime factors », Math. Comp., 2006, arXiv:math.NT/0602485.
  13. a et b (en) Mersenne primes and perfect numbers sur le site Prime Pages.
  14. (en) GIMPS Milestones sur le site Great Internet Mersenne Prime Search.
  15. (de) Ullrich Kühnel, « Verschärfung der notwendigen Bedingungen für die Existenz von ungeraden vollkommenen Zahlen », Mathematische Zeitschrift, vol. 52,‎ 1949, p. 201-211 (lire en ligne).
  16. (en) Tim S. Roberts, « On the Form of an Odd Perfect Number », Australian Mathematical Gazette, vol. 35, no 4,‎ 2008, p. 244 (lire en ligne).
  17. (en) A. Makowski, « Remark on Perfect Numbers », Elemente der Mathematik, vol. 17, no 109,‎ 1962.
  18. (en) Florian Luca, « The anti-social Fermat number », Amer. Math. Monthly, vol. 107,‎ 2000, p. 171-173.

Liens externes[modifier | modifier le code]