Nombre amical

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

En arithmétique, deux nombres entiers distincts n et m sont dits amicaux ou aimables ou amiables si la somme des diviseurs de l'un est égale à la somme des diviseurs de l'autre et si ces deux sommes sont égales à la somme des deux nombres.

Si l'on note σ la fonction qui à un entier associe la somme de ses diviseurs, cette propriété se traduit par :

\sigma(n) = \sigma(m) = n + m .

On exclut le cas n = m, qui correspondrait à un nombre parfait.

Exemples[modifier | modifier le code]

Par exemple 220 et 284 sont amicaux car :

  • 220+284=504,
  • \sigma(220)=1+2+4+5+10+11+20+22+44+55+110+220=504,
  • \sigma(284)=1+2+4+71+142+284=504.

On peut aussi caractériser les nombres amicaux en remarquant que la somme des diviseurs stricts de n (les diviseurs de n strictement plus petits que n) vaut m et que la somme des diviseurs stricts de m vaut n.

Si l'on note σ' la fonction qui à un entier associe la somme de ses diviseurs stricts, cette propriété se traduit par σ'(n) = m et σ'(m) = n. Ainsi, dans l'exemple précédent, on a

  • \sigma'(220)=1+2+4+5+10+11+20+22+44+55+110=284
  • \sigma'(284)=1+2+4+71+142=220

Cela implique que si l'un des deux nombres est abondant, alors l'autre est déficient.

Les 13 paires de nombres amicaux dont le premier a moins de 6 chiffres[1] sont :

  • 220 et 284
  • 1 184 et 1 210
  • 2 620 et 2 924
  • 5 020 et 5 564
  • 6 232 et 6 368
  • 10 744 et 10 856
  • 12 285 et 14 595
  • 17 296 et 18 416
  • 63 020 et 76 084
  • 66 928 et 66 992
  • 67 095 et 71 145
  • 69 615 et 87 633
  • 79 750 et 88 730.

Éléments historiques[modifier | modifier le code]

Les nombres amicaux ont une histoire liée depuis longtemps à la magie et à l'astrologie. Par exemple, certains commentateurs juifs de la Genèse pensaient que Jacob avait donné deux cents chèvres et vingt boucs, et autant de brebis et de béliers à son frère aîné Ésaü quand il commença à craindre que ce dernier le tue (Genèse 32:14) parce que 220 est un nombre amical[2].

Le philosophe Jamblique (vers 250-330) écrit que « les pythagoriciens connaissent ces nombres qu'ils appellent amicaux et leur associent certaines qualités sociales (comme 220 et 284) et Pythagore aurait parlé d'un ami qui « était un autre lui » comme le sont 220 et 284 ».

Quant à l'historien Ibn Khaldoun, il assure que les nombres amicaux 220 et 284 sont utilisés dans l'art des talismans pour favoriser les amitiés et les unions[3].

Il n'existe pas de formule ou méthode connue pour déterminer les nombres amicaux mais au fil des ans, certains types spéciaux ont été découverts. Thābit ibn Qurra (vers 850) note que :

Si n > 1 et si les trois nombres p = 3 × 2n−1 − 1, q = 3 × 2n − 1 et r = 9 × 22n−1 − 1 sont premiers, alors 2npq et 2nr sont amicaux.

Il faut cependant plusieurs siècles pour que cette formule produise les deuxième et troisième paires de nombres amicaux. La paire {17 296, 18 416} (n = 4) est signalée par le mathématicien Ibn al-Banna au XIVe siècle[3] puis redécouverte par Fermat, qui l'annonce dans une lettre à Mersenne en 1636. La paire {9 363 584, 9 437 056} (n = 7) est découverte par Muhammad Baqir Yazdi (en) au XVIIe siècle et par Descartes, qui écrit à Mersenne en 1638 pour la lui signaler.

La paire {6 232, 6 368} est amicale mais ne peut pas être déduite de cette formule.

Euler ajouta 61 nouvelles paires de nombres amicaux, mais commit deux erreurs[3] qui furent découvertes en 1909 et 1914. En 1866 un jeune garçon de seize ans, un certain B. Nicolò I. Paganini (aucune parenté avec le violoniste), découvrit la paire {1 184, 1 210}, ignorée jusque-là[4].

Des recherches par ordinateur ont permis de trouver toutes les paires de nombres amicaux de moins de 12 chiffres[3] ainsi que quelques autres encore plus grands pour en arriver à un total de 2 185 621 paires en 2003[3]. On ne sait pas s'il existe une infinité de telles paires, ni s'il en existe une de nombres premiers entre eux. Si une telle paire existe, chacun des deux nombres doit comporter plus de 15 chiffres et leur produit doit être divisible par au moins 22 nombres premiers.

Références[modifier | modifier le code]

  1. Pour les 39 374 paires dont le premier a moins de 14 chiffres, voir les suites A002025 et A002046 de l'OEIS.
  2. (en) Leonard Eugene Dickson, History of the Theory of Numbers (en) [détail des éditions]
  3. a, b, c, d et e Jean-Paul Delahaye, Les inattendus mathématiques : Art, casse-tête, paradoxes, superstitions, Belin,‎ 2004 [détail des éditions] (ISBN 2842450736), « Nombres amiables et suite aliquote »
  4. (it) Renzo Sprugnoli, « Introduzione alla matematica: La matematica della scuola media », sur Universita degli Studi di Firenze: Dipartimento di Sistemi e Informatica,‎ septembre 2005.

Voir aussi[modifier | modifier le code]

Suite aliquote