ChronoMath, une chronologie des MATHÉMATIQUES
à l'usage des professeurs de mathématiques, des étudiants et des élèves des lycées & collèges

  NICOMAQUE de Gérase, grec, vers 150

  On ne le confondra pas avec Nicomaque de Stagire, médecin auprès du roi Philippe de Macédoine, père d'Aristote (4ème siècle av. J.-C.).

Ce mathématicien grec, né à Gerasa (Jerash, ville de Palestine, dans l'actuelle Jordanie), admirateur de Pythagore, dont il écrivit une biographie, s'intéressa tout particulièrement à l'arithmétique et à la musique.

 

Nicomaque est qualifié de néo-pythagoricien : le néo-pythagorisme est une philosophie inspirée de celle de Pythagore, où règne l'harmonie du "tout est nombre" (sous-entendu entier).

Les nombres polygonaux :

Dans un traité, que traduira le philosophe latin Boèce au 6e siècle, Introductio Arithmeticae, Nicomaque reprend et complète toute l'arithmétique de l'école pythagoricienne.

On y trouve l'étude des nombres figurés, c'est à dire que l'on peut représenter par des figures géométriques : triangulaires (fig.1), carrés (fig.2), pentagonaux (fig. 3), etc.

Si on note Tn le nombre triangulaire de rang n, on a T1 = 1, T2 = 3, T3 = 6 et, d'une façon générale :

T1 = 1 et Tn = Tn-1 + n           Bhargava

Donc Tn n'est autre que la somme des n premiers entiers naturels.

 Une importante étude des nombres triangulaires fut donnée par Alhazen afin d'obtenir certaines quadratures (calculs d'aires) et cubatures (calculs de volumes). On trouvera des développements intéressants dans la revue Repères n°11 - avril 1993 par André Stoll, IREM de Strasbourg.

 Si Cn désigne maintenant le nombre carré de rang n (fig.2) , on constate la récurrence :

C1 = 1 et Cn = Cn-1 + (2n - 1)

On peut en déduire que la somme des nombres impairs consécutifs est :

1 + 3 + 5 + ... + (2n - 1) = n2 

La notion de gnomon dans l'arithmétique de la Grèce antique :

Quant aux nombres pentagonaux (fig. 3), on prouvera facilement que leur nombre Pn vérifie la relation :

P1 = 1 et Pn = Pn-1 + 3n - 2

On peut "mettre d'accord" toutes ces formules par : si k désigne le nombre de côtés du polygone (k 3), que nous appelons son ordre, et n le rang du nombre polygonal, alors ce nombre vérifie la relation générale :

un+1 = un + n x (k - 2) + 1

et finalement :

un = n + (k - 2)(n2 - n)/2

Rappelons ici :


Prouver par récurrence la formule ci-dessus : 13 + 23 + ... + n3 = (1 + 2 + ... + n)2     

L'étude des nombres polygonaux ne se limita pas à l'école pythagoricienne, car Fermat énonçait en 1636 que :

Tout entier naturel peut s'écrire comme somme de n nombres polygonaux d'ordre n
(3 nombres triangulaires, 4 nombres carrés, 5 nombres pentagonaux, etc.)

Ce résultat fut prouvé par Lagrange pour n = 3, Legendre pour n = 4 et Cauchy prouva le cas général (1813). Ces travaux relèvent de ce que l'on appelle la théorie additive des nombres, une théorie toujours d'actualité car rattachée à la distribution des nombres premiers.

Ajoutons enfin que l'on étudia également les nombres tétraédriques (obtenus en superposant des nombres triangulaires par rang décroissants) et les nombres pyramidaux (en superposant des nombres carrés par rang décroissants). On pourra consulter à ce sujet le fort intéressant Livre des nombres de John H. Conway & Richard K. Guy (Éd. Eyrolles , Paris - 1995, en français).

 Kepler et l'empilement de sphères de volume minimal , Bhargava et les nombres tétraédriques  

Nombres parfaits, abondants, déficients, ... :

Nicomaque étudia les nombres parfaits, amicaux, abondants ou déficients qu'étudièrent ultérieurement les mathématiciens arabes comme Thabit ben Q'ra puis Fermat, Euler, Descartes et Gauss :

  Est déclaré abondant un entier naturel n dont la somme de ses diviseurs autres que lui-même est supérieure à n. Autrement dit, au moyen de la fonction n : σσ(n), somme des diviseurs d'un entier n :

nN*, n est abondant      σ(n) > 2n

  Est déclaré déficient celui dont la somme des diviseurs autres que lui-même lui est inférieure. Autrement dit, au moyen de la fonction n : σσ(n), somme des diviseurs d'un entier n :

nN*, n est déficient      σ(n) < 2n

On montre facilement que toute puissance d'un nombre premier est déficient. Il en est de même du produit de deux nombres premiers (autre que 6 = 23 qui est parfait).

  Est déclaré parfait celui dont la somme des diviseurs autres que lui-même lui est égale. Autrement dit, au moyen de la fonction n : σσ(n), somme des diviseurs d'un entier n :

nN*, n est déficient      σ(n) = 2n

On ne connaît pas encore de nombres parfaits impairs : en existe-t-il ? malgré l'obstination des mathématiciens, le problème reste ouvert.

En savoir plus  :              Divisibilité, nombre et somme des diviseurs d'un nombre :

En 1997, Marc Deléglise, mathématicien français (univ. Lyon1) a prouvé que si on désigne par A(n) le nombre de nombres abondants de l'intervalle  [1,n] de N, la densité d =A(n)/n des nombres abondants vérifie :

0,2474 < d < 0,2480

Recherche de nombres abondants :    

Ces nombres ne sont pas encore caractérisés de nos jours : on sait cependant que tout multiple de 6, autre que 6 lui-même, est abondant. Il existe une infinité de nombres abondants pairs et impairs. Si les nombres abondants pairs sont nombreux, les impairs sont plus rares : le plus petit entier abondant impair est 945. Voici les nombres abondants inférieurs à 100 ( réf.3 ci- après) :

 

<SCRIPT LANGUAGE=JavaScript>
function go()
{
p="i"
p=prompt("pais ou impairs (p/i) :",p)
if (p==null) {return}
if (p=="i") {n=-1} else {n=0}
while (1)
{
n=n+2
s=0;
for (i=1;i<n;i++)
{
if (n%i==0){s=s+i}
}
if (s > n)
{if (!confirm(n+ " est abondant"+"\n"+"Je continue ?")) return}}
}
}
</SCRIPT>

Pour en savoir (beaucoup) plus sur ces nombres :

  1. Sur la distribution de nombres spéciaux consécutifs, par Steve Pettigrew (univ. Laval, Canada), nov. 2000 :
    https://www.collectionscanada.gc.ca/obj/s4/f2/dsk2/ftp01/MQ55787.pdf

  2. Lien analogique : Répartition des nombres superabondants (étudiés par Paul Erdös et J.-L.Nicolas) :
    http://math.univ-lyon1.fr/~nicolas/erdosSA.pdf

  3. Nombres abondants sur The online encyclopedia of integer sequences : https://oeis.org/A004490

  4. Bounds for the density of abundant integers, par Marc Deléglise :
    a) https://projecteuclid.org/download/pdf_1/euclid.em/1048515661
    b) Page d'accueil de Marc Deléglise : http://math.univ-lyon1.fr/~deleglis/

Nombres puissants :              Nombres hautement composés :


Théon de Smyrne  Liu Hui
© Serge Mehl - www.chronomath.com