Nombre Parfait


Nombre Parfait

Nombre parfait

Un nombre parfait est un nombre entier n strictement supérieur à 1 qui est égal à la somme de ses diviseurs stricts, autrement dit, tel que \sigma(n) = n \,σ(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.

Sommaire

Nombres parfaits pairs

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 \left ( \frac{M+1}{2} \right )\cdot M = 2^{p-1}(2^p - 1) 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 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 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 [1].

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 nombres naturels jusqu'à un certain point, 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. \,

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.

Nombres parfaits impairs

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

Un nombre parfait impair N doit remplir les conditions suivantes :

  • N > 10300. Une recherche est en cours[3] pour prouver que N > 10500.
  • 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 à (2k + 8) / 3 (Grün 1952) ;
    • La relation e1e2≡...≡ek ≡ 1 (modulo 3) n'est pas satisfaite (McDaniel 1970) ;
    • qα > 1020 ou p_j^{2e_j} > 1020 pour j quelconque (Cohen 1987) ;
    • N<2^{4^{k+1}} (Nielsen 2003).
  • Si ei ≤ 2 pour tout i :
    • Le plus petit diviseur premier de N est au moins 739 (Cohen 1987) ;
    • α ≡ 1 (modulo 12) ou α ≡ 9 (modulo 12) (McDaniel 1970).
  • 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).

Exemples

Les 4 premiers nombres parfaits sont connus depuis l'antiquité. Depuis, le total est passé à 46 nombres parfaits seulement (au 07 octobre 2008).

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
  • 137 438 691 328
  • 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

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 105 (Kühnel 1949).
  • Un nombre parfait impair est de la forme 12m + 1 ou 324m + 81 ou 468m + 117 (Roberts 2008).
  • Le seul nombre parfait pair de la forme x3 + 1 est 28 (Makowski 1962).
  • Un nombre de Fermat ne peut être parfait (Luca 2000).
  • 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 (pair ou impair) est pair, puisque N ne peut être un carré parfait)[réf. nécessaire].

Notions apparentées

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

  1. (en)Douglas E. Iannucci The Kaprekar Numbers. Journal of Integer Sequences 3, 2000, Article 00.1.2 .
  2. Oddperfect.org
  3. Oddperfect.org

Voir aussi

Articles connexes

Liens externes


Ensembles d'entiers sur la base de leur divisibilité
Formes de factorisation : Nombre premier · Nombre composé · Nombre puissant · Entier sans facteur carré
Sommes de diviseurs : Nombre parfait · Nombre presque parfait · Nombre quasi parfait · Nombre parfait multiple · Nombre hyperparfait · Nombre parfait unitaire · Nombre semi-parfait · Nombre semi-parfait primitif · Nombre pratique
Nombres de diviseurs : Nombre abondant · Nombre hautement abondant · Nombre superabondant · Nombre colossalement abondant · Nombre hautement composé
Autres : Nombre déficient · Nombre étrange · Nombre amical · Nombre sociable · Nombre solitaire · Nombre sublime · Nombre à moyenne harmonique entière · Nombre frugal · Nombre équidigital · Nombre extravagant
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Nombre parfait ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Nombre Parfait de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Nombre parfait — Un nombre parfait est un entier naturel n tel que où σ(n) est la somme des diviseurs entiers positifs de n. Cela revient à dire qu un entier naturel est parfait s il est la somme de ses diviseurs propres. Ainsi 6 est un nombre parfait car 2 × 6 …   Wikipédia en Français

  • Nombre Parfait Multiple — En mathématiques, un nombre parfait multiple (aussi appelé nombre multiparfait ou nombre plus que parfait) est une généralisation d un nombre parfait. Pour un nombre naturel donné k, un nombre n est appelé k parfait ssi la somme de tous les… …   Wikipédia en Français

  • Nombre Parfait Unitaire — En mathématiques, un nombre parfait unitaire est un nombre entier qui est la somme de ses diviseurs unitaires propres, en n incluant pas le nombre lui même. Ainsi, 60 est un nombre parfait unitaire, parce que ses diviseurs unitaires 1, 3, 4, 5,… …   Wikipédia en Français

  • Nombre parfait multiple — En mathématiques, un nombre parfait multiple (aussi appelé nombre multiparfait ou nombre plus que parfait) est une généralisation d un nombre parfait. Pour un nombre naturel donné k, un nombre n est appelé k parfait ssi la somme de tous les… …   Wikipédia en Français

  • Nombre parfait unitaire — En mathématiques, un nombre parfait unitaire est un nombre entier qui est la somme de ses diviseurs unitaires propres, en n incluant pas le nombre lui même. Ainsi, 60 est un nombre parfait unitaire, parce que ses diviseurs unitaires 1, 3, 4, 5,… …   Wikipédia en Français

  • parfait — parfait, aite [ parfɛ, ɛt ] adj. et n. • XIIe; parfit XIe; perfectus Xe; p. p. du v. parfaire, d apr. lat. perfectus I ♦ Qui est au plus haut, dans l échelle des valeurs. 1 ♦ Tel qu on ne puisse rien concevoir de meilleur. ⇒ …   Encyclopédie Universelle

  • Nombre Semi-Parfait — En mathématiques, un nombre semi parfait ou nombre pseudoparfait est un nombre naturel n qui est égal à la somme de certains ou de tous ses diviseurs propres. Les premiers petits nombres semi parfaits sont 6, 12, 18, 20, 24, 28, 30, 36, 40, ...… …   Wikipédia en Français

  • Nombre pseudoparfait — Nombre semi parfait En mathématiques, un nombre semi parfait ou nombre pseudoparfait est un nombre naturel n qui est égal à la somme de certains ou de tous ses diviseurs propres. Les premiers petits nombres semi parfaits sont 6, 12, 18, 20, 24,… …   Wikipédia en Français

  • Nombre semiparfait — Nombre semi parfait En mathématiques, un nombre semi parfait ou nombre pseudoparfait est un nombre naturel n qui est égal à la somme de certains ou de tous ses diviseurs propres. Les premiers petits nombres semi parfaits sont 6, 12, 18, 20, 24,… …   Wikipédia en Français

  • Nombre Semi-Parfait Primitif — En mathématiques, un nombre semi parfait primitif (aussi appelé un nombre pseudoparfait primitif, nombre semi parfait irréducible ou nombre pseudoparfait irréductible) est un nombre naturel qui ne possède pas de diviseur propre semi parfait. Les… …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.