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

RAMANUJAN Srinivasa Aaiyangar, indien, 1887-1920        Inde

Passionné dès le plus jeune âge par les mathématiques, Srinivasa Ramanujan commence une carrière de greffier (préposé aux archives des tribunaux) tout en s'adonnant seul à sa matière de prédilection au détriment d'études universitaires conventionnelles.

Il découvre (ou retrouve), principalement en arithmétique et en analyse numérique où il s'avère un prodigieux calculateur, des résultats remarquables (développements en série, fractions continues) dont les démonstrations, lorsqu'il les donne, font preuve d'une géniale intuition, même si elles ne sont pas toujours correctes. Son approche en arithmétique rappelle celle du non moins génial Pierre de Fermat.

L'Inde est alors aux mains des Anglais (depuis le milieu du 18è siècle, elle obtient son indépendance en 1947). Ramanujan se tourne vers l'Angleterre pour faire connaître ses travaux : il écrit à Hardy, lequel l'invite à Cambridge, en Angleterre (1914), où ils collaboreront en théorie des nombres. Littlewood et Hardy lui accorderont l'équivalent d'un doctorat (1916) suite à ses recherches sur la décomposition en facteurs premiers des grands nombres (sujet important aujourd'hui pour le cryptage des données). Leurs résultats, Collected Papers, ne seront publiés qu'en 1927 mais les travaux de Ramanujan furent reconnus auparavant par la Royal Society : il y fut élu en 1918.

Nombre (ou constante) de Ramanujan :

Il s'agit du célèbre (dans le monde mathématique...) nombre, exponentielle de eπ√163, rencontré par Ramanujan dans des calculs relatifs à des approximations du nombre π, (Modular Equations and Approximations to π, 1912).

Ce nombre, que l'on rencontre dans l'étude de certaines fonctions, fut prétendu entier d'autant que le regretté Martin Gardner, mathématicien et malicieux, s'était ingénié à le faire croire en 1975 :

eπ√163 = 262 537 412 640 768 744 ?

En fait, ce nombre est transcendant et on sait, grâce aux progrès des calculateurs électroniques, qu'on a sensiblement :

eπ√163 = 262 537 412 640 768 744,99999999999925

Nombres hautement composés (Highly composite numbers)  :

En théorie des nombres, dans le cadre des propriétés de factorisation et divisibilité des entiers naturels, Ramanujan définit la notion de nombre hautement composé (Highly composite numbers, 1915, réf. 1) pour signifier qu'un tel nombre possède plus de diviseurs que tout entier non nul qui lui est inférieur. C'est en quelque sorte le concept antinomique des nombres premiers.

Autrement dit, d(n) désignant le nombre de diviseurs d'un entier naturel n :

n est hautement composé      k N* : k< n d(k) < d(n)

Rappelons que si n = p1α p2β ... pkγ est la décomposition en facteurs premiers d'un entier n non premier, son nombre de diviseurs ( y compris 1 et lui même) est le produit : (α+1)(β+1)...(γ+1). On peut, par convention, considérer 1 comme hautement composé. Nous ne le ferons pas ici.

Multiples et diviseurs d'un entier naturel :

Les premiers nombres hautement composés inférieurs à mille sont (pour une liste plus étoffée, réf. 7) :

Dans la suite de ce paragraphe, NHC signifiera Nombre Hautement Composé

Proposition 1 :   

Tout nombre hautement composé est pair

Preuve : soit n supposé impair et NHC. Sa décomposition en facteurs premiers est de la forme n =  p1α p2β ... pkγ avec p1 ≥ 3. Considérons alors l'entier n' =  2α p2β ... pkγ. Ce nombre a autant de diviseurs que n, à savoir (α+1)(β+1)...(γ+1) comme rappelé ci-dessus et n' < n. Contradiction eu égard au statut NHC de n.

Proposition 2 :   

La décomposition en facteurs premiers de tout NHC n possédant k facteurs premiers peut s'écrire sous la forme :

n =  2α1 3α25α3 ... pkαk           réf. 8

où pk désigne le k-ème nombre premier (2 = p1, 3 = p2, ...), de sorte que α1 ≥  α2 ≥  α3 ≥ ... ≥ αk
avec αk = 1 sauf dans les cas n = 4 et n = 36 où ak = 2

Proposition 3 :   

L'ensemble des nombres hautement composés est infini

Preuve : soit un NHC n. Pour tout k< n, on a d(k) < d(n). Considérons le nombre 2n. Ce nombre possède les diviseurs de n et 2n lui-même, donc d(2n) > d(n) > d(k) pour tout k < n; il est donc candidat à être le prochain nombre hautement composé supérieur à n dans l'intervalle ]n + 2,2n - 2[ de N. Ce sera le cas si les nombres n + 2, n + 4, ... 2n - 2 ont moins de diviseurs que 2n.

Proposition 4 :   

Tout nombre hautement composé supérieur à 6 est abondant    ( nombres abondants)

Proposition 5 :   

Tout nombre hautement composé est un nombre pratique    ( nombres pratiques)

Mais c'est quoi un nombre pratique ?

Conjectures (résolue) de Ramanujan (1911) :

  L'égalité x2 + 7 = 2n , xN, nN, n'est possible que pour n = 3, 4, 5, 7 ou 15

Cette conjecture ne fut prouvée que relativement récemment (en 1960) par le mathématicien norvégien Nagell Trygve, en travaillant dans l’extension de corps Q(-7).

 Trygve Nagell (1895-1988) : mathématicien norvégien qui étudia à l'université d'Oslo. Spécialiste en géométrie algébrique et théorie des nombres, il enseigna principalement à l'université d'Upsal (Uppsala, Suède). Pour en savoir plus, on pourra consulter la page Wikipedia consacrée à ce mathématicien. On ne le confondra pas avec le mathématicien allemand Christian Nagel (1821-1903).

Hilbert et les corps de nombres algébriques :

Une colle de Ramanujan :

   Vous avez n cubes identiques. De combien façons peut-on les grouper ?

si n = 3, on a 3 possibilités :

si n = 4, on a 5 possibilités :

si n = 5, on a ? possibilités :

  ?     ?     Réponse

Le cas général est très compliqué; Rademacher en donna la solution : la formule est  abominable... Ramanujan en trouva indépendamment une approximation relativement simple : si on appelle g(n) le nombre des groupements de n cubes, on a :

       (source : J. conway, Le livre des nombres)

Autres curiosités découvertes par Ramanujan :

Cette formule frôle donc π à près de 10-9 près...

Calculs de π dans ChronoMath (programmes JavaScript "on line") :

Élèves de Terminale :  sans chercher à prouver cette jolie formule..., contrôlez votre aptitude à vous servir de la calculatrice. Vous devriez trouver, en vous limitant au développement indiqué, et en limitant le dernier terme affiché, 1 + e-6π/(1 + ...) à 1 + e-6π, que les deux membres sont égaux à 0,2840790438 (à 10-11 près). La convergence est rapide : on peut le vérifier grâce à l'inégalité de Legendre,

Longueur de l'ellipse selon Ramanujan :


Pour en savoir plus sur les nombres hautement composés :

 Sur les nombres hautement composés :

  1. Highly composite numbers, par S. Ramanujan (So. math. de Londres, 1915), annotations de Jean-Louis Nicolas (1997) :
    http://math.univ-lyon1.fr/~nicolas/ramanujanNR.pdf 

  2. Nombres hautement composés (article dédicacé à Paul Erdös) par Jean-Louis Nicolas, univ. Claude Bernard, Lyon (1988) :
    http://math.univ-lyon1.fr/~nicolas/composeAA.pdf

  3. Répartition des nombres hautement composés de Ramanujan, par Jean-Louis Nicolas, univ. Claude Bernard, Lyon (1970) :
    http://www.numdam.org/article/STNB_1969-1970____A13_0.pdf

  4. Highly composite number : https://en.wikipedia.org/wiki/Highly_composite_number

  5. Highly composite numbers sur The on-line encyclopedia of integer sequences : https://oeis.org/A002182

  6. On highly composite numbers, par Paul Erdös, 1944 (retour sur un résultat de Ramanujan relatif au nombre de nombres hautement composés inférieurs à un entier donné) : https://users.renyi.hu/~p_erdos/1944-04.pdf

  7. The on-line encyclopedia of integer sequences : https://oeis.org/A002182

  8. Autour des diviseurs d'un entier, ch. 1, pages 7 et suivantes; preuve proposition 2 : pages 16 et suivantes :
    http://www.univers-ti-nspire.fr/files/pdf/01-arith-diviseurs-TNS21.pdf

 Lien analogiques :

  1. Nombres superabondants (étudiés par Paul Erdös et J.-L.Nicolas) :
    http://math.univ-lyon1.fr/~nicolas/erdosSA.pdf

  2. Sur des travaux non publiés de S. Ramanujan, par G. Robin (1990) :
    http://math.univ-lyon1.fr/~nicolas/robinRamanujan.pdf


Radon   Skolem
© Serge Mehl - www.chronomath.com

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Solution :

       

 
 


© Serge Mehl - www.chronomath.com