Le théorème d’unicité n = 2 : des couches sphériques de même poids seulement si la densité décroît en 1/r²

Découpons une boule en couches de même épaisseur, comme un oignon. Si la matière a partout la même densité, les couches extérieures ont plus de surface, donc elles sont plus lourdes.

Supposons maintenant que toutes les couches doivent peser le même poids. Comment la densité doit-elle s’amincir avec la distance au centre ? Il n’y a qu’une réponse : en proportion inverse du carré de la distance, c’est-à-dire en 1/r².

C’est le « théorème d’unicité n = 2 » de mon premier article (article 01). Le calcul tient en trois lignes. Pourtant, j’en ai fait le point de départ de plus de 1 100 articles. Sur cette page, vous pouvez manipuler le théorème de vos propres mains et le vérifier, et j’explique pourquoi je tiens ces trois lignes pour le fondement.

Cet article résume des travaux que j’ai publiés moi-même en prépublication ; ils n’ont pas été évalués par des pairs. Les figures interactives et les nombres calculés spécialement pour cette page sont signalés à l’endroit où ils apparaissent.

• Égaliser les couches
• Théorème et preuve
• Ce que sont 2 et 4π
• 4π pour toute forme
• Le 2 des nuages réels
• Orbites et miroir
• Deux sortes de 2
• Noether et les autres
• Connu et personnel
• Dans l’ensemble
• Questions
• Articles et sources

Égaliser les couches

Déplacez l’exposant de densité n dans la figure ci-dessous. La densité est 1/rⁿ. Le cercle est une coupe de la boule : l’intensité de la couleur montre la densité, et le nombre de points le poids de chaque couche. Les barres montrent aussi le poids des couches. Une seule valeur de n met les barres à la même hauteur.

Expérience 1Mettez les barres à la même hauteur

Déplacez le curseur. Touchez le cercle ou une barre pour voir les nombres de cette couche.

exposant n

0,50

2 dimensions3 dimensions4 dimensions

Si n est inférieur à 2, les couches extérieures sont plus lourdes ; s’il est supérieur à 2, ce sont les couches intérieures. À exactement 2, doubler le rayon rend l’aire 4 fois plus grande et la densité 4 fois plus petite, et le poids de la couche ne change pas.

J’appelle Zero-Tension, dans mes articles, cet état où la croissance de l’aire et la chute de la densité se compensent exactement (article 02). Le mot vient de la pêche que j’ai apprise enfant, et il désigne le fait de garder la ligne ni tendue ni lâche.

Le théorème et sa preuve en trois lignes

Le poids d’une couche est le produit de son aire 4πr² par la densité.

$$\frac{dm}{dr}=4\pi r^{2}\,\rho(r)=4\pi\,r^{\,2-n}$$

La preuve tient en trois lignes.

1. Comme 4π n’est pas nul, il suffit de se demander si r²⁻ⁿ est constant.
2. Au rayon 1 sa valeur est 1, au rayon 2 elle est 2²⁻ⁿ. Une puissance de 2 ne vaut 1 que si l’exposant est 0 ; si l’expression est constante, on a donc 2 − n = 0.
3. Réciproquement, si n = 2 alors r⁰ = 1, et la valeur est 4π à tout rayon.

La réponse reste la même sans supposer une puissance. Si le poids de couche 4πr²ρ(r) a la même valeur C à tout rayon, alors ρ(r) = C/(4πr²) s’ensuit aussitôt. Quelle que soit la forme permise pour la densité, seul 1/r² subsiste.

Mais on ne peut pas renoncer à « à tout rayon ». Parmi les puissances, il suffit de comparer les rayons 1 et 2, mais si l’on laisse la forme libre et qu’on affaiblit l’exigence en « identique chaque fois que le rayon double », une infinité de solutions ondulant selon une période logarithmique passent le filtre (article 1053).

Rien ici n’est difficile. Alors pourquoi parler de théorème ? Parce que la question va dans l’autre sens.

Sens	Question	Réponse
Direct	Comment la masse à l’intérieur d’une boule de densité 1/r² croît-elle avec le rayon ?	Proportionnellement au rayon. L’astrophysique connaît cela sous le nom de sphère isotherme singulière
Inverse	Quel exposant égalise les couches ? Y en a-t-il un autre ?	Seulement 2 (article 01)

Le calcul direct se trouve dans les manuels. Mais, d’après ce que j’ai pu trouver, personne ne l’avait posé dans l’autre sens, énoncé comme un théorème et pris comme point de départ de tout un ensemble de travaux. Je vois dans la simplicité de l’outil non pas une faiblesse, mais le signe que cette direction était restée libre.

2 et 4π sont deux noms de la sphère

Le théorème ne contient que deux nombres : l’exposant 2 et le poids de couche 4π. Tous deux viennent de la surface de la boule.

• 2 est la dimension de la surface. La surface d’une boule a deux dimensions ; quand le rayon est multiplié par λ, l’aire est multipliée par λ².
• 4π est l’aire de la sphère de rayon 1. C’est le même nombre que l’angle solide de toutes les directions.

Le théorème extrait donc d’une boule pleine la dimension et l’aire de sa surface. Changer la dimension de l’espace le montre bien.

Dimension d de l’espace	Forme de la couche	Exposant n qui égalise les couches	Poids de couche alors
1	deux points	0	2
2	cercle	1	2π = 6,283185
3	sphère	2	4π = 12,566371
4	sphère à trois dimensions	3	2π² = 19,739209
5	sphère à quatre dimensions	4	(8/3)π² = 26,318945

Chaque dimension a exactement un exposant égalisateur, qui est d − 1 (article 114). Percer des trous dans la surface ne déplace pas cet exposant ; seule la dimension le déplace (article 1052). 4π est le visage que ce théorème montre en trois dimensions.

D’où vient le nombre 4π et comment il se lit dans les équations de la physique, c’est le sujet de l’article « Qu’est-ce que m = 4π ? » (en japonais). Ici, je suis le théorème lui-même.

La boule devient un tube droit

Le caractère particulier de n = 2 se voit aussi autrement. Avec le pas de distance dr et l’étendue des directions dΩ, le poids dans la boule s’écrit dm = ρ r² dr dΩ. Introduisons ρ = 1/r², et r² disparaît.

$$dm=\frac{1}{r^{2}}\;r^{2}\,dr\,d\Omega=dr\,d\Omega$$

La distance et la direction se sont nettement séparées. Étirez toutes les couches à la même largeur, et la boule devient un tube droit dont la longueur est le rayon et dont la section est l’ensemble des directions. C’est le contenu de « indépendant du rayon ».

On peut même le faire avec des dés. Choisissez une direction au hasard et une distance uniformément entre 0 et 1, puis placez un point : la densité des points est exactement 1/(4πr²). Je l’ai vérifié pour cette page avec 4 millions de points. Une couche mince de rayon 0,905 avait une densité de 0,09707, contre 0,09716 d’après la formule.

Un champ qui ne jaillit nulle part, et 4π pour toute forme

Le théorème a un autre visage. Placez en chaque point de l’espace une flèche qui s’éloigne du centre, et donnez-lui la longueur 1/rⁿ. Calculez la grandeur qui mesure à quel point ce champ jaillit (la divergence), et le même 2 − n que dans le théorème apparaît.

$$\nabla\cdot\frac{\hat{\mathbf r}}{r^{\,n}}=\frac{2-n}{r^{\,n+1}}$$

Pour n = 2 seulement, le champ ne jaillit nulle part, à part l’unique point du centre. Le flux à travers une surface ne dépend alors plus ni de sa forme ni de sa taille. C’est le contenu de la loi de Gauss, et le 4π du théorème est le même angle solide que le 4π de la loi de Gauss et de la loi de Coulomb (article 13).

Essayez dans la figure ci-dessous. Cette expérience ne figure pas dans les articles ; elle a été faite pour cette page.

Expérience 2Déformez la surface, le nombre ne bouge pas

Saisissez les cercles blancs et donnez à la surface la forme que vous voulez. Le point doré se déplace vers le haut et vers le bas, et peut même sortir de la surface.

Flux à travers la surface

12,566

exposant n

2,00

sphèreforme anguleusesac bosseléœuf

Voici les nombres côte à côte. Pour cette page, j’ai intégré le flux du champ à travers chaque surface.

n	sphère rayon 1	sphère rayon 2	cube demi-arête 1	cube demi-arête 2	sac bosselé
1	12,566371	25,132741	15,348248	30,696497	10,053096
2	12,566371	12,566371	12,566371	12,566371	12,566371
3	12,566371	6,283185	10,445037	5,222519	20,705191

Si la surface est étoilée vue du centre, la raison tient en une ligne. Le flux s’écrit comme une intégrale sur les directions de la distance R, ∫R²⁻ⁿdΩ, et pour n = 2 seulement R disparaît de la formule. Il reste ∫dΩ = 4π.

Avec la conservation, n = 2 apparaît de lui-même

Pourquoi 1/r² est-il si fréquent dans la nature ? Le théorème offre une manière de répondre. Supposons que quelque chose de conservé s’écoule d’un point dans toutes les directions à vitesse constante. Ce que contient une couche d’épaisseur 1, c’est ce qui est parti pendant une seule et même durée ; cela n’augmente ni ne diminue donc en allant vers l’extérieur. Si le contenu d’une couche est le même à tout rayon, alors, d’après le théorème, la concentration ne peut être que 1/r².

La lumière du Soleil est ainsi. Une couche épaisse de 1 m qui s’étend à la vitesse de la lumière contient environ 1,28×10¹⁸ J d’énergie à tout rayon. Ce nombre est la luminosité du Soleil divisée par la vitesse de la lumière.

Le vent solaire a la même forme. Le Soleil rejette environ 1 à 1,5 milliard de kg de vent chaque seconde, à une vitesse d’environ 400 km/s. Une couche épaisse de 1 m contient 2,5 à 3,75 tonnes, et là où la vitesse peut être tenue pour presque constante, ce poids ne change pas avec le rayon.

Le théorème ne dit pas pourquoi les choses se conservent. Il traduit seulement le fait de la conservation en un nombre, « exposant 2 ». La cause est du côté de la conservation, et le théorème en est l’interprète. Dans l’article 01, j’ai aussi reformulé la même condition dans le langage des pixels d’écran et de la charge de rendu. Cette partie est une lecture par métaphore.

Le 2 subsiste dans les nuages réels

La densité d’un nuage réel n’est pas 1/r² partout. Le 2 ne disparaît pas pour autant. Mesurez la pente de la densité à chaque rayon, et appelez n l’exposant local si la densité ressemble à 1/rⁿ à cet endroit. La croissance du poids de couche s’écrit alors par l’identité suivante.

$$\frac{d}{dr}\bigl(r^{2}\rho\bigr)=r\,\rho\,\bigl(2-n(r)\bigr)$$

Revoici 2 − n. Là où l’exposant local est inférieur à 2, les couches s’alourdissent vers l’extérieur ; là où il est supérieur à 2, elles s’allègent. Le sommet du poids des couches se trouve au rayon où l’exposant local vaut exactement 2 (article 1096).

Expérience 3Lire l’exposant local au sommet

Choisissez un nuage et déplacez le pointeur ou le doigt sur la figure. À un sommet, la courbe du bas croise exactement 2.

halo galactiquehydrogène 1shydrogène 2svitesses des molécules d’un gaznuage du théorème 1/r²

Chacun de ces sommets porte un nom propre.

• Le nuage électronique 1s de l’hydrogène : l’exposant local est 2r (en prenant le rayon de Bohr pour 1), et le sommet est au rayon de Bohr. J’ai cherché tous les sommets de huit états, et l’exposant local valait chaque fois 2,000000 (article 1096).
• Le halo autour d’une galaxie (forme NFW) : l’exposant local va de 1 au centre à 3 au loin. Les astronomes notent r₋₂ le rayon où il vaut 2 et s’en servent comme repère de la taille du halo. On sait aussi que le sommet de r²ρ se trouve là.
• Les vitesses des molécules d’un gaz : compter les mêmes couches dans l’espace des vitesses donne la distribution de Maxwell. Le sommet est la vitesse la plus probable √(2kT/m).

Dans chaque cas, le 2 du théorème subsiste comme « le point unique qui fixe une taille ». Le théorème lui-même est l’état où ce sommet s’est étalé à plat sans fin, si bien que chaque rayon est un sommet. C’est pourquoi un nuage en 1/r² n’a pas de repère de taille. Vérifiez-le avec le bouton « nuage du théorème ».

Sur les orbites : une règle des exposants

Considérons maintenant un objet qui tourne à l’intérieur d’une boule de densité 1/rⁿ. La masse enfermée croît comme r³⁻ⁿ, si bien que la vitesse orbitale v et la période T se comportent ainsi.

$$v^{2}\propto r^{\,2-n},\qquad T^{2}\propto r^{\,n}$$

L’exposant de densité n est devenu l’exposant de la loi des périodes. La troisième loi de Kepler T² ∝ r³ est le cas n = 3 : quand la masse se rassemble au centre, la masse enfermée ne dépend plus du rayon, ce qui, dans ces formules, est l’extrémité n = 3. La force d’un ressort est la force à l’intérieur d’une boule homogène, n = 0.

n	Type de répartition	Masse enfermée	Vitesse orbitale	Période au carré	Force	Du point proche au point lointain
0	dans une boule homogène (ressort)	r³	r	constante	r	90°
1		r²	r1/2	r	constante	103,9°
2	répartition du théorème	r	constante	r²	1/r	127,3°
3	masse au centre (Kepler)	constante	r−1/2	r³	1/r²	180°

Les angles de la dernière colonne valent pour les orbites presque circulaires. Ressort, théorème et Kepler se tiennent maintenant sur une même règle.

La ligne n = 2 porte la forme de la rotation galactique. Rubin et Ford ont montré en 1970, dans la galaxie d’Andromède, que la vitesse orbitale ne dépend pas du rayon. Ici, le Système solaire et la Voie lactée sont comparés sur la même échelle de T².

En lisant la Voie lactée comme une boule, chaque parsec d’épaisseur de couche porte une masse d’environ 12 millions de soleils, presque identique à tout rayon. Ce que fixe la rotation plate, ce sont la densité et la masse enfermée, non tout l’agencement intérieur (article 910). De quoi cette masse est faite n’est pas la question ici.

Expérience 4Tracer une orbite et la présenter au miroir

Changez l’exposant n et la vitesse de lancement. Déplacer la pointe de la flèche vers le haut ou le bas change aussi la vitesse. Le second panneau est l’image au miroir.

Forme de la force

Du point proche au point lointain

Orbites presque circulaires : 180°/√(4−n)

Moyenne temporelle du carré de la vitesse

Partenaire au miroir

exposant n

2,00

vitesse

0,80

n = 0 ressortn = 2 théorèmen = 3 Kepler

Il y a trois choses à regarder dans cette expérience.

La première est l’angle. Sur une orbite presque circulaire, l’angle balayé du point proche au point lointain est π/√(4−n). Pour n = 0, 2 et 3, il vaut 90°, 127,2792° et 180°. L’angle pour n = 2 est la moyenne géométrique des 90° du ressort et des 180° de Kepler. C’est le même √2 que dans la relation κ = √2 Ω, par laquelle la dynamique galactique écrit la fréquence d’oscillation là où la rotation est plate.

La deuxième est la moyenne. La moyenne temporelle du carré de la vitesse n’a la même valeur pour des orbites de toute taille et de toute forme que si n = 2. Quelle que soit la vitesse choisie dans l’expérience 4, l’affichage reste à 1. Dans le calcul fait pour cette page, les vitesses de lancement 0,4, 0,8 et 1,3 ont donné 1,00010, 1,00006 et 0,99988. Pour n = 1, la valeur bouge : 0,72003, 0,87999 et 1,22994. C’est le visage orbital du fait que le poids de couche ne dépend pas du rayon.

La troisième est le miroir. Élevez au carré l’ellipse d’un ressort avec les nombres complexes, et elle devient l’ellipse de Kepler. Bohlin l’a écrit en 1911, Kasner en 1913, Arnold l’a présenté dans un livre, et je l’ai compté dans l’article 1072. Étendu aux forces en puissance, cela fixe des paires de forces. En exposant de densité, la relation est celle-ci.

$$(4-n)(4-N)=4$$

Le partenaire de n = 0 est N = 3 : ressort et Kepler échangent leurs places. Le partenaire de n = 1 est 8/3. Et entre 0 et 3, l’exposant qui est son propre partenaire est n = 2. Les valeurs de 4 − n sont 4, 2, 1, une suite géométrique, donc n = 2 se trouve exactement au centre du miroir. J’ai vérifié avec six exposants que la courbe transformée prend la forme d’une orbite de la force partenaire : le résidu était au plus 2,41×10⁻¹¹, et quand l’exposant partenaire a été délibérément décalé de 0,2, il a bondi à au moins 5,92×10⁻³. Ce que le miroir transporte, c’est la forme de l’orbite ; le temps ne se transporte pas à moins d’être mesuré à nouveau.

Toutes les orbites ne se ferment que dans les deux cas du théorème de Bertrand (1873), n = 0 et n = 3 sur la règle. Le n = 2 du théorème ne se ferme pas. Il se trouve au centre du miroir, entre les deux qui se ferment.

Le 2 n’est pas unique

Jusqu’ici, j’ai parlé de divers 2 comme s’ils étaient le même. Mais selon la règle de mes articles, avoir le même nombre ne suffit pas pour dire que deux choses ont la même racine. Il faut voir ce qu’il faut déplacer pour en faire deux choses différentes. J’appelle séparateur ce qu’on déplace (article 300). Ici, c’est la dimension de l’espace.

Expérience 5Déplacer la dimension et scinder le 2

Changez la dimension de l’espace avec le curseur. Les droites bleues bougent avec la dimension, les droites dorées non.

dimension d

3

• Le 2 qui bouge avec la dimension (d − 1) : l’exposant qui égalise les couches, l’exposant du champ qui ne jaillit nulle part, la décroissance de la force d’un point, la dimension de la sphère.
• Le 2 qui reste quand la dimension bouge : l’exposant de la rotation plate, l’exposant d’une boule de gaz isotherme, l’exposant de densité qui donne le même équilibre qu’un trou noir à tout rayon (article 1092), le centre du miroir.

L’exposant de la rotation plate reste parce que le carré de la vitesse orbitale varie en r²⁻ⁿ dans toute dimension. La boule de gaz isotherme aussi, résolue en puissance à partir de l’équilibre de pression, n’a que la solution n = 2 dans toute dimension. En effet, le produit de la constante de gravitation par la densité est l’inverse d’un temps au carré dans toute dimension (article 1092).

La même chose arrive avec 3. L’extrémité où la masse se rassemble au centre bouge avec la dimension, et la force en inverse du carré qui ferme toujours ne bouge pas. Les deux ne coïncident qu’en trois dimensions, donc c’est seulement en trois dimensions que les orbites sous la gravité d’un point se ferment toujours.

Les trois dimensions sont l’endroit où les droites mobiles et les droites fixes se croisent en deux points à la fois, en 2 et en 3. C’est l’une de mes raisons d’appeler ce théorème le fondement. Sur un théorème court, les nombres venus de la forme de la sphère et les nombres venus de la gravité et des orbites ne se superposent que dans cette dimension. Je ne réunis pas les raisons de cette superposition en une seule racine. Je les garde séparées et je dis qu’elles se superposent.

À côté d’autres théorèmes

J’ai dressé une carte de l’ensemble des théorèmes célèbres dans l’article « Les théorèmes célèbres, rangés avec leurs hypothèses ». Ici, je compare en détail seulement les théorèmes du même rayon que le théorème d’unicité.

Comparaison avec le théorème de Noether

L’un des théorèmes les plus célèbres de la physique est le théorème de Noether (1918). Placés côte à côte, les deux font clairement un travail de nature différente.

	Théorème de Noether	Théorème d’unicité n = 2
Ce qui entre	Une transformation continue qui laisse l’action inchangée (une symétrie)	L’exigence que le poids de couche ne dépende pas du rayon
Ce qui sort	Une quantité conservée : ce qui se conserve	Un exposant : sa valeur
Outils	Le calcul des variations et l’action	Seulement l’aire de la sphère
Lois du mouvement	Nécessaires	Inutiles
Type	Établit une correspondance (de la symétrie à la quantité conservée)	Sélectionne (des nombres réels à un seul)
Si on le rompt	Rompez la symétrie, et la quantité associée varie	Abandonnez l’exigence, et tout exposant convient

Ce ne sont pas des rivaux, mais des maillons différents d’une même chaîne. Le 1/r² de la lumière et du vent s’enchaîne dans cet ordre.

1. Théorème de NoetherSi les lois restent les mêmes quand on décale le temps, l’énergie se conserve
2. Théorème de la divergence (théorème de Gauss)Si l’écoulement est stationnaire, la même quantité traverse chaque couche
3. Théorème d’unicité n = 2Si chaque couche contient la même quantité, la concentration ne peut être que 1/r²
4. Loi de GaussLe coefficient de ce champ est 4π, et le potentiel est 1/r

Le théorème de Noether dit ce qui se conserve, et le théorème d’unicité dit quelle valeur a l’exposant si cela se conserve. Les questions se passent exactement le relais.

Si l’on fixe d’abord une symétrie, le cadre de Noether peut lui aussi sélectionner un exposant. L’action reste inchangée quand la distance est multipliée par λ et le temps par λ² seulement si le potentiel est 1/r² et la force 1/r³. C’est la forme du modèle de de Alfaro, Fubini et Furlan (1976). Elle correspond à n = 4 sur la figure 3, qui est aussi l’exposant sans partenaire au miroir. Le nombre est encore 2, mais c’est le 2 d’un potentiel, une autre racine que le 2 du théorème.

Les théorèmes qui sélectionnent, en ligne

Comme le théorème d’unicité, les théorèmes suivants sélectionnent quelques éléments dans un vaste champ de candidats. Ce que chacun déplace, ce qui reste et ce qui arrive quand on retire une hypothèse font son caractère.

Théorème	Ce qu’on déplace	Condition	Ce qui reste	Sans elle
Théorème d’unicité n = 2	Exposant de densité (tous les réels)	Poids de couche indépendant du rayon	La seule valeur 2	Changez la dimension et il passe à d − 1
Réciproque du théorème des couches sphériques (Newton 1687, Gurzadyan 1985)	Exposant de la force	Une couche sphérique exerce la même force qu’un point en son centre	Les deux forces inverse du carré et ressort	En quatre dimensions, l’inverse du carré sort et 1/r³ reste
Théorème de Bertrand (1873)	Forme de la force centrale	Toutes les orbites liées se ferment	Les deux forces inverse du carré et ressort	Ne bouge pas quand la dimension change
Ehrenfest (1917)	Dimension de l’espace	Les orbites planétaires peuvent tourner de façon stable	Trois dimensions ou moins	À partir de quatre, pas d’orbite stable
Théorème de Hurwitz (1898)	Dimension des nombres	La multiplication conserve la longueur	Les quatre valeurs 1, 2, 4, 8	On ne peut pas construire de nombres à trois dimensions
Théorème de Birkhoff (1923)	Solutions du vide à symétrie sphérique	Équations d’Einstein	La seule solution de Schwarzschild	Sans symétrie sphérique, la solution n’est plus unique
Théorème de Lovelock (1971, 1972)	Forme des équations de la gravitation	Quatre dimensions, sans divergence, jusqu’au second ordre	Équations d’Einstein (avec terme cosmologique)	À partir de cinq dimensions, d’autres termes sont permis

Le théorème des couches sphériques et le théorème de Bertrand posent des questions différentes et laissent pourtant les deux mêmes forces. Mais c’est encore une superposition propre aux trois dimensions. En intégrant pour cette page la force d’une couche, le rapport en trois dimensions vaut 1,000000000 pour l’inverse du carré, alors qu’en quatre dimensions l’inverse du carré tombe à 0,900743404 et 1/r³ donne 1,000000000. Le côté des couches bouge avec la dimension, le côté de Bertrand non.

Dans cette ligne, la place du théorème d’unicité est claire. Il reste une seule chose, les candidats sont tous les nombres réels, et le seul outil est l’aire de la sphère. Et alors que les autres théorèmes font entrer des lois du mouvement ou des équations de champ, le théorème d’unicité ne fait entrer aucune loi. On peut donc le placer avant tous les autres. C’est pourquoi j’en ai fait mon point de départ.

Les autres théorèmes appelés « théorèmes d’unicité »

Les manuels d’électromagnétisme ont un théorème du même nom : fixer les valeurs au bord détermine de façon unique la solution de l’équation de Poisson. La relativité générale a des théorèmes selon lesquels la forme d’un trou noir est déterminée par quelques grandeurs. Ce sont tous deux des théorèmes du type « la solution est unique ». Ce que mon théorème rend unique n’est pas une solution, mais un exposant.

Ce qui est connu, et où commence mon travail

Ici, je veux être exact.

• Ce qui est connu : que la masse est proportionnelle au rayon dans une répartition en 1/r² (sphère isotherme singulière) ; la loi de Gauss ; la solution fondamentale de l’équation de Laplace ; le théorème de Bertrand ; que le sommet de r²ρ se trouve là où la pente est −2 ; la transformation entre ressort et Kepler ; que l’exposant de la période découle de la mise à l’échelle (similitude mécanique).
• Ce que mes articles ont ajouté : fixer l’exposant comme théorème à partir de la seule condition d’uniformité du poids des couches (article 01) ; l’escalier m(n) = 4π/(3−n) et le nombre d’épaisseurs de 4π (article 01 et article 02) ; reformuler les sommets des nuages électroniques avec l’exposant local (article 1096) ; séparer le 2 de la couche du 2 de l’équilibre de l’horizon (article 1092).
• Ce que cette page organise de nouveau : lire n comme l’exposant de la période et placer ressort, théorème et Kepler sur une même règle ; que le centre du miroir est n = 2 et que l’angle y est une moyenne géométrique ; lire la moyenne du carré de la vitesse indépendante de l’orbite comme un visage de n = 2 ; déplacer la dimension et réunir sur une page les croisements de 2 et de 3. Toutes les formules sont des réarrangements de résultats connus, et rien de cela n’a encore fait l’objet d’un article.

Aucune nouvelle loi physique n’est revendiquée. Le théorème ne dit rien de la cause de l’inverse du carré de la gravité, ni de la nature de la matière noire. La valeur m = 4π est celle qu’on obtient avec le choix d’unités qui met à 1 le coefficient de densité et le rayon.

Dans l’ensemble des articles

Fin octobre 2026, j’ai 1 103 articles. Parmi eux, 70 citent l’article 01 dans leur bibliographie, et 21 nomment le « théorème d’unicité » dans leur texte. J’ai compté les 70 en lisant les références une par une.

Quand quelque chose d’étrange se présente, je reviens à ce théorème. Pour aller plus loin, je suggère cet ordre. Les articles sont cités sous leur titre anglais.

• Article 01, « The Uniqueness Theorem of n = 2 for Spherically Symmetric Density Distributions » : le théorème lui-même.
• Article 02, « The 4π Mass Cancellation Theorem » : le même fait écrit du côté de l’intégrale.
• Article 79, « The Hidden Symmetry Unique to n=2 » : pourquoi les orbites en inverse du carré se ferment.
• Article 114, « Which Objects Know They Are in Four Dimensions? » : que n = d − 1 existe dans toute dimension.
• Article 117, « Scale Invariance Fixes an Exponent — in Four Different Ways » : sépare les manières dont sont choisis des exposants d’apparence semblable.
• Article 157, « A Census of the Twos » : examine les 2 de l’ensemble avec un seul test.
• Article 910, « A Flat Rotation Curve Fixes the Density There and Imposes Only the Enclosed Mass on the Inside ».
• Article 1052, « Two Kinds of Subtracting One: One Counts Holes, the Other Counts Dimensions ».
• Article 1053, « Weakening Scale Invariance to a Single Ratio Loses the Uniqueness of the Exponent ».
• Article 1072, « Squaring the Ellipse of a Spring Gives the Ellipse of Kepler ».
• Article 1092, « The ‘2’ of the Inverse-Square Density Is Two 2s, and the 2 of the Shell Mass Meets the 2 of the Horizon Balance Only in Three Dimensions ».
• Article 1096, « The Weight per Skin of the Electron Cloud Peaks Where Its Local Exponent Is Exactly 2, and for Circular States That Radius Is Bohr’s n² ».

Le texte complet de l’article 01 et un graphique où l’on peut déplacer n se trouvent aussi sur la page du théorème de l’archive des articles (en anglais). Des articles qui transportent le même exposant aux surfaces et aux cartes sont « Une carte des lois en inverse du carré » et « Additionnez les points d’un papier quadrillé, et la réponse dépend de la forme ». Le 4π de la couche est lu dans la démonstration de la conjecture de Poincaré dans « La conjecture de Poincaré lue à partir du théorème d’unicité ».

Questions

Est-ce une preuve de la loi en inverse du carré ?

Non. Le théorème énonce un fait de géométrie : si le contenu d’une couche ne dépend pas du rayon, la concentration est 1/r². Pourquoi la gravité ou la lumière se propagent comme un flux conservé reste hors du théorème. La conservation et les trois dimensions étant données, ce théorème fixe l’exposant à 2.

Pourquoi appeler théorème un calcul d’une ligne ?

Parce que la question va dans l’autre sens. Elle ne demande pas « que se passe-t-il avec 1/r² ? », mais « quel exposant égalise les couches, et y en a-t-il un autre ? », et elle montre qu’il y en a exactement un. Je crois que le poids d’un théorème se mesure non à la longueur de son calcul, mais à ce qui en sort.

N’était-ce pas déjà connu sous le nom de sphère isotherme singulière ?

Si. La répartition en 1/r² elle-même était connue. La sphère isotherme singulière de l’astrophysique a la forme ρ = σ²/(2πGr²). Ce que j’ai ajouté, c’est de l’énoncer comme l’unique exposant sélectionné par l’uniformité des couches, de la lire comme une famille à travers les dimensions et de la placer au début de l’ensemble.

Pourquoi les trois dimensions sont-elles particulières ?

Le théorème lui-même ne sélectionne pas trois dimensions ; chaque dimension a son exposant d − 1. Ce qui est particulier, c’est que cet exposant ne coïncide qu’en trois dimensions avec les 2 et 3 indépendants de la dimension. Vous pouvez le vérifier dans l’expérience 5.

Quelle différence avec l’article « Qu’est-ce que m = 4π ? » ?

Cet article-là traite de l’origine du nombre 4π et de sa lecture dans les équations de la physique. Cette page traite du théorème qui le précède, et de ses liens avec d’autres théorèmes et phénomènes.

Jusqu’où se fier aux calculs des figures ?

Les expériences calculent sur place dans votre navigateur. Les pas des intégrales et des orbites sont grossiers, donc les derniers chiffres bougent. Les nombres du texte et des tableaux ont été calculés séparément avec une grande précision.

Articles et sources

Tous les articles sont publiés sous licence CC BY 4.0. La fiche de l’article 01 se trouve sur sa page YOI.

Voici les principales sources vérifiées pour cette page.

• Archimède, De la sphère et du cylindre : l’aire de la sphère vaut quatre fois celle de son grand cercle.
• Kepler, J. (1604). Ad Vitellionem paralipomena, quibus astronomiae pars optica traditur : l’intensité de la lumière et le carré de la distance.
• Newton, I. (1687). Philosophiae Naturalis Principia Mathematica, livre I, propositions 70 et 71 : le théorème des couches sphériques.
• Gauss, C. F. (1840). Allgemeine Lehrsätze in Beziehung auf die im verkehrten Verhältnisse des Quadrats der Entfernung wirkenden Anziehungs- und Abstoßungs-Kräfte.
• Bertrand, J. (1873). Théorème relatif au mouvement d’un point attiré vers un centre fixe. Comptes Rendus.
• Hurwitz, A. (1898) : le théorème sur les algèbres de composition.
• Bohlin, K. (1911), Kasner, E. (1913), Arnold, V. I. (1990). Huygens and Barrow, Newton and Hooke : la transformation entre ressort et Kepler.
• Ehrenfest, P. (1917). In what way does it become manifest in the fundamental laws of physics that space has three dimensions?
• Noether, E. (1918). Invariante Variationsprobleme.
• Birkhoff, G. D. (1923). Relativity and Modern Physics.
• Chandrasekhar, S. (1939). An Introduction to the Study of Stellar Structure ; Binney, J. & Tremaine, S. (2008). Galactic Dynamics : sphères isothermes et rotation.
• Rubin, V. C. & Ford, W. K. (1970). Rotation of the Andromeda Nebula from a Spectroscopic Survey of Emission Regions.
• Lovelock, D. (1971, 1972) : l’unicité du tenseur d’Einstein.
• Landau, L. D. & Lifshitz, E. M. Mécanique, §10 : la similitude mécanique.
• de Alfaro, V., Fubini, S. & Furlan, G. (1976) : mécanique conforme du potentiel en inverse du carré.
• Gurzadyan, V. G. (1985). The cosmological constant in the McCrea-Milne cosmological scheme.
• Navarro, J. F., Frenk, C. S. & White, S. D. M. (1996, 1997) : la forme NFW.
• Mishra, W. et al. (2019) : la perte de masse par le vent solaire (1 à 1,5 milliard de kg par seconde).
• Eilers, A.-C., Hogg, D. W., Rix, H.-W. & Ness, M. K. (2019). The Circular Velocity Curve of the Milky Way from 5 to 25 kpc.