Nombre hautement composé

Un nombre hautement composé est un entier strictement positif qui a strictement plus de diviseurs que n'en ont les nombres qui le précèdent.

Fichier:Courbe ploutons.gif

Diagramme en bâtons du nombre de diviseurs <math>\text{d}(n)</math>, avec en vert les ploutons 1,2,4,6,12,24,36,48,60.

Raymond Badiou a proposé de les appeler nombres ploutons (de ploutos, divinité de la richesse) <ref>Modèle:Article</ref>.

Historique

La définition et l'appellation de ces nombres a été introduite en 1915 par Srinivasa Ramanujan <ref name="Ramanujan">Modèle:Article.</ref>.

Cependant, Jean-Pierre Kahane a suggéré que le concept était connu de Platon qui a établi à 5040 le nombre idéal de citoyens dans une cité, sa propriété d'avoir de nombreux diviseurs permettant de les répartir en de nombreux sous-groupes de même taille <ref>Modèle:Article</ref>. Il est plus probable que 5040 ait été simplement choisi pour sa propriété d'être égal à <math>7!=2\times 3\times4\times5\times6\times7</math>.

Certains nombres hautement composés ont également été utilisés longtemps pour leur bonne décomposabilité : les 240 deniers d'une livre créés en Europe sous Charlemagne, les 360 degrés d'un angle, les 60 sous-unités de la base sexagésimale mésopotamienne utilisée dans l'Antiquité mésopotamienne, ou le découpage du temps et de l'espace en 60 minutes et en 60 secondes, ou le comptage à la douzaine, qui chacun permettent diverses divisions exactes. En pratique ces nombres aux propriétés intéressantes peuvent facilement être fabriqués en multipliant des petits nombres multiples de 2, 3 et 5, comme 4, 6, 10, 12 eux-mêmes composés, mais ont eu une durée d’utilisation notablement longue, comptable en millénaires.

Premières valeurs

Les vingt-et-un premiers nombres hautement composés sont les suivants (huit d'entre eux, en gras, sont même hautement composés supérieurs) :

nombres hautement composés (Modèle:OEIS)	1	2	4	6	12	24	36	48	60	120	180	240	360	720	840	1 260	1 680	2 520	5 040	7 560	10 080
nombres de diviseurs positifs (Modèle:OEIS)	1	2	3	4	6	8	9	10	12	16	18	20	24	30	32	36	40	48	60	64	72
décomposition en facteurs premiers		2	2²	2 3	2² 3	2³ 3	2² 3²	2⁴ 3	2² 3 5	2³ 3 5	2² 3² 5	2⁴ 3 5	2³ 3² 5	2⁴ 3² 5	2³ 3 5 7	2² 3² 5 7	2⁴ 3 5 7	2³ 3² 5 7	2⁴ 3² 5 7	2³ 3³ 5 7	2⁵ 3² 5 7
décomposition en produit de primorielles		2	22	6	2 6	22 6	62	2Modèle:3 6	2 30	22 30	6 30	2Modèle:3 30	2 6 30	22 6 30	22 210	6 210	2Modèle:3 210	2 6 210	22 6 210	62 210	2Modèle:3 6 210

On peut noter que les 7 premières factorielles : 1, 2, 6, 24, 120, 720, 5040, sont hautement composées, mais 8!=40320 ne l'est pas.

Décroissance des exposants de la décomposition en produit de facteurs premiers

Pour donner une idée de la forme d'un nombre hautement composé, on peut dire qu'il s'agit d'un nombre possédant des facteurs premiers aussi petits que possible, sans être trop de fois les mêmes. En effet, si l'on considère la décomposition d'un entier <math>n>1</math> en facteurs premiers comme suit :

<math>n = p_1^{c_1} \times p_2^{c_2} \times \cdots \times p_k^{c_k}</math>

où <math>p_1 = 2 < p_2 = 3 < ... < p_k</math> sont les <math>k</math> premiers nombres premiers, et où le dernier exposant <math>c_k</math> est non nul, alors le nombre de diviseurs de <math>n</math> est :

<math>(c_1 + 1) \times (c_2 + 1) \times \cdots \times (c_k + 1).</math>

Par conséquent, pour que <math>n</math> soit hautement composé, il faut<ref name="Ramanujan" /> que <math>c_1 \geqslant c_2 \geqslant...\geqslant c_k</math> (sinon, en échangeant les deux exposants fautifs on diminue <math>n</math> tout en conservant le même nombre de diviseurs : par exemple 18 = 2¹ × 3² peut être remplacé par 12 = 2² × 3¹, chacun a 6 diviseurs). Cette condition nécessaire équivaut à : <math>n</math> est décomposable en produit de primorielles. Tout nombre hautement composé est donc un nombre pratique.

Cette condition n'est malheureusement pas suffisante ; par exemple, <math>96=2^5.3</math> remplit la condition de décroissance mais n'est pas hautement composé : <math>60=2^2.3.5</math> possède également 12 diviseurs tout en étant strictement plus petit.

On peut aussi montrer<ref name="Ramanujan" /> qu'on a toujours <math>c_k=1</math>, sauf dans deux cas particuliers <math>n = 4</math> et <math>n = 36</math>.

Propriété d'abondance

Les nombres hautement composés strictement supérieurs à 6 sont aussi des nombres abondants. Un seul coup d'œil aux trois ou quatre plus hauts diviseurs d'un nombre hautement composé particulier est nécessaire pour confirmer ce fait.

Évaluation asymptotique

Si <math>Q(x)</math> représente la quantité de nombres hautement composés qui sont inférieurs ou égaux à <math>x</math>, Ramanujan a montré en particulier<ref name="Ramanujan" /> que

<math>\lim_{x\to\infty}Q(x)/\ln x=+\infty,</math>

ce qui prouve qu'il y a une infinité de nombres hautement composés.

Plus précisément, il existe une constante b telle que

<math>({\ln x})^{35/32}\le Q(x)\le({\ln x})^b.</math>

La minoration de <math>Q(x)</math> fut prouvée par Paul Erdős en 1944<ref>Modèle:Article.</ref> et la majoration par Modèle:Lien en 1971<ref>J.-L. Nicolas, « Répartition des nombres hautement composés de Ramanujan », Canad. J. Math., vol. 23, n° 1, 1971, Modèle:P..</ref>.

Exemple

Le nombre hautement composé 10 080  =  25 × 32 ×  5  ×  7  a 72 diviseurs.
1 × 10080	2 × 5040	3 × 3360	4 × 2520	5 × 2016	6 × 1680
7 × 1440	8 × 1260	9 × 1120	10 × 1008	12 × 840	14 × 720
15 × 672	16 × 630	18 × 560	20 × 504	21 × 480	24 × 420
28 × 360	30 × 336	32 × 315	35 × 288	36 × 280	40 × 252
42 × 240	45 × 224	48 × 210	56 × 180	60 × 168	63 × 160
70 × 144	72 × 140	80 × 126	84 × 120	90 × 112	96 × 105
Les nombres en gras sont eux-mêmes hautement composés. Seul le vingtième nombre hautement composé 7 560 (= 3 × 2 520) est absent.

Le nombre 10 080 est également « 7-friable », c'est-à-dire que tous ses facteurs premiers sont inférieurs ou égaux à 7.

Utilisation

Certains de ces nombres sont utilisés dans les systèmes traditionnels de mesure, et ont tendance à être utilisés en ingénierie, en raison de leur usage dans les calculs de fractions compliqués, ainsi 12 et 60.

Voir aussi

Liens externes

• Modèle:MathWorld
• Modèle:Lien web
• {{#invoke:Langue|indicationDeLangue}} Algorithme et listes sur une ancienne page web (1998) de Kiran Kedlaya