Yamagishi Complexity Torus LabYamagishi Lab

The n = 2 Uniqueness Theorem: Spherical Shells Weigh the Same Only When Density Falls as 1/r²

This article can be read in five languages日本語・English・Deutsch・Français・Italiano

Divide a ball into shells of equal thickness, like the layers of an onion. If the material is equally dense everywhere, the outer shells have more area, so the outer shells are heavier.

Now suppose you want every shell to weigh the same. How should the density thin out with the distance from the centre? There is only one answer: in inverse proportion to the square of the distance, that is, as 1/r².

This is the “n = 2 uniqueness theorem” of my first paper (Paper 01). The calculation is over in three lines. Even so, I have kept it as the starting point of more than 1,100 papers. On this page you can move the theorem with your own hands and check it as you go, and I explain why I regard these three lines as the foundation.

This article summarizes papers that I published myself as preprints; they have not been peer reviewed. The interactive figures and the numbers calculated specially for this page are marked as such where they appear.

Key points

  • The shells of a ball weigh the same at every radius only when the density is 1/r². Comparing radius 1 with radius 2 is enough to show it.
  • The exponent 2 is the dimension of the sphere’s surface, and the shell weight 4π is its area. The theorem draws out the two names of the surface of a sphere.
  • The same condition means that the field wells up nowhere, and that the flow through a surface of any shape stays 4π.
  • Real clouds keep the 2 as well. The peak of the shell weight lies at the radius where the local exponent is exactly 2. The Bohr radius of the hydrogen atom, the marker radius of a galactic halo and the most probable speed of gas molecules are all this point.
  • The density exponent n is also the exponent of the period law T² ∝ rn. n = 2 sits exactly at the centre of the mirror that swaps the spring (n = 0) and Kepler (n = 3).
  • But 2 is not one thing. When the dimension of space is moved, it splits in two, and the two coincide only in three dimensions.

Level the shells

Move the density exponent n in the figure below. The density is 1/rn. The circle is a cross-section of the ball: the depth of colour shows the density, and the number of dots shows the weight of each shell. The bars also show the shell weights. Only one value of n makes the bars level.

Experiment 1Make the bars level

Move the slider. Touch the circle or a bar to see the numbers for that shell.

Experiment 1. A shell’s weight is area × density. Eight shells of radius r are drawn. The dimension buttons move the exponent that levels them.

When n is below 2 the outer shells are heavier, and when it is above 2 the inner shells are heavier. At exactly 2, doubling the radius makes the area 4 times larger and the density 4 times smaller, so the weight of the shell does not change.

In my papers I have called this state, where the growth of the area and the fall of the density exactly cancel, zero tension (Paper 02). It is a word from the fishing I learned as a boy, and it means keeping the line neither taut nor slack.

The theorem and its three-line proof

Theorem (uniqueness of n = 2)

In three-dimensional space, consider a distribution of density ρ(r) = 1/rn. The weight of the shell at radius r per unit thickness, dm/dr = 4πr2−n, takes the same value at every radius only for n = 2. That value is then 4π.

The weight of a shell is the product of its area 4πr² and the density.

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

The proof takes three lines.

  1. Since 4π is not 0, we only need to ask whether r2−n is constant.
  2. At radius 1 its value is 1, and at radius 2 it is 22−n. A power of 2 equals 1 only when the exponent is 0, so if it is constant then 2 − n = 0.
  3. Conversely, if n = 2 then r⁰ = 1, and the value is 4π at every radius.

The answer is the same without assuming a power. If the shell weight 4πr²ρ(r) has the same value C at every radius, then ρ(r) = C/(4πr²) follows at once. Whatever form the density is allowed to take, only 1/r² remains.

But “at every radius” cannot be dropped. Among powers it is enough to compare radii 1 and 2, but if the form is left free and the demand is weakened to “the same whenever the radius is doubled”, infinitely many solutions that ripple with a logarithmic period get through (Paper 1053).

Nothing here is difficult. So why call it a theorem? Because the question points the other way.

DirectionQuestionAnswer
ForwardHow does the mass inside a ball of density 1/r² grow with the radius?In proportion to the radius. Astrophysics knows this as the singular isothermal sphere
InverseWhich exponent levels the shells? Is there any other?Only 2 (Paper 01)

The forward calculation is in the textbooks. But as far as I have been able to find, nobody had asked it the other way round, stated it as a theorem and started a body of work from it. I take the simplicity of the tool not as a weakness but as a sign that this direction had been left open.

2 and 4π are two names of the sphere

Only two numbers appear in the theorem: the exponent 2 and the shell weight 4π. Both come from the surface of the ball.

  • 2 is the dimension of the surface. The surface of a ball is two-dimensional, so when the radius grows λ times, the area grows λ² times.
  • 4π is the area of a sphere of radius 1. It is the same number as the solid angle of all directions.

So the theorem takes a solid ball and draws out the dimension and the area of its surface. Changing the dimension of space makes this easy to see.

Space dimension dShape of a shellExponent n that levels the shellsShell weight then
1two points02
2circle12π = 6.283185
3sphere24π = 12.566371
4three-dimensional sphere32π² = 19.739209
5four-dimensional sphere4(8/3)π² = 26.318945

Each dimension has exactly one levelling exponent, and it is d − 1 (Paper 114). Punching holes in the surface does not move this exponent; only the dimension moves it (Paper 1052). 4π is the face this theorem shows in three dimensions.

Where the number 4π comes from, and how it is read in the equations of physics, is summarized in the article “What is m = 4π?” (in Japanese). Here I follow the theorem itself.

The ball becomes a straight tube

The special character of n = 2 shows in another way too. With the step in distance dr and the spread of directions dΩ, the weight inside a ball can be written dm = ρ r² dr dΩ. Put in ρ = 1/r², and r² disappears.

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

Distance and direction have come cleanly apart. Stretch all the shells to the same width, and the ball becomes a straight tube whose length is the radius and whose cross-section is the full range of directions. This is what “independent of the radius” amounts to.

A cross-section of a ball with points crowded at the centre, beside a rectangular tube with the same points spread evenly
Figure 1. The points in the ball on the left look crowded at the centre, but in the tube on the right they are even. They are the same points, redrawn in the coordinates of distance and direction.

You can even make this with dice. Choose a direction at random and a distance evenly between 0 and 1, and mark a point: the density of the points is exactly 1/(4πr²). I checked this for this page with 4 million points. A thin shell at radius 0.905 had density 0.09707, against 0.09716 from the formula.

A field that wells up nowhere, and 4π for any shape

The theorem has another face. Place an arrow pointing away from the centre at every point of space, and make its length 1/rn. Calculate the quantity that measures how much this field wells up (the divergence), and the same 2 − n as in the theorem appears.

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

Only for n = 2 does the field well up nowhere, apart from the single point at the centre. The flow through a surface then no longer depends on its shape or size. This is the content of Gauss’s law, and the theorem’s 4π is the same solid angle as the 4π in Gauss’s law and Coulomb’s law (Paper 13).

Try it in the figure below. This experiment is not in the papers; it was made for this page.

Experiment 2Squash the surface and the number stays put

Grab the white circles and pull the surface into any shape you like. The gold point moves up and down, and can even leave the surface.

Flow through the surface12.566

Experiment 2. The blue line is the cross-section of the surface, a shape turned around the vertical axis. The flow of the field r̂/rn through the surface is integrated on the spot.

Here are the numbers side by side. For this page I integrated the flow of the field through each surface.

nsphere radius 1sphere radius 2cube half-edge 1cube half-edge 2lumpy bag
112.56637125.13274115.34824830.69649710.053096
212.56637112.56637112.56637112.56637112.566371
312.5663716.28318510.4450375.22251920.705191

If the surface is star-shaped as seen from the centre, the reason takes one line. The flow through it can be written as an integral over directions of the distance R, ∫R2−ndΩ, and only for n = 2 does R vanish from the formula. What remains is ∫dΩ = 4π.

Given conservation, n = 2 appears of itself

Why is 1/r² so common in nature? The theorem gives one way of answering. Suppose something conserved streams out of a point in all directions at a constant speed. What a shell of thickness 1 contains is what left during one and the same length of time, so it neither grows nor shrinks as it travels outward. If the contents of a shell are the same at every radius, then by the theorem the concentration can only be 1/r².

Sunlight is like this. A shell 1 m thick spreading at the speed of light holds about 1.28×10¹⁸ J of energy at every radius. That number is the Sun’s luminosity divided by the speed of light.

The solar wind has the same form. The Sun sheds roughly 1 to 1.5 billion kg as wind every second, at a speed of about 400 km/s. A shell 1 m thick holds 2.5 to 3.75 tonnes, and wherever the speed can be taken as nearly constant, this weight does not change with the radius.

The theorem does not say why things are conserved. It only translates the fact of conservation into the number “exponent 2”. The cause lies with conservation, and the theorem is its interpreter. In Paper 01 I also restated the same condition in the language of screen pixels and rendering load. That part is a reading by metaphor.

The 2 survives in real clouds

The density of a real cloud is not 1/r² everywhere. Even so, the 2 does not vanish. Measure the slope of the density at each radius, and call n the local exponent if the density looks like 1/rn near that radius. The growth of the shell weight can then be written as the following identity.

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

Here is 2 − n again. Where the local exponent is below 2, the shells get heavier going outward, and where it is above 2, they get lighter. The peak of the shell weight lies at the radius where the local exponent is exactly 2 (Paper 1096).

Experiment 3Read the local exponent at the peak

Choose a cloud and move your cursor or finger over the figure. At a peak, the lower curve crosses exactly 2.

Experiment 3. The horizontal axis is logarithmic. The upper curve is the shell weight (peak = 1) and the lower curve is the local exponent. Hydrogen is measured in Bohr radii, the halo in its marker radius, and speed in the spread along one direction.

Each of these peaks has a name of its own.

  • The 1s electron cloud of hydrogen: the local exponent is 2r (taking the Bohr radius as 1), and the peak is at the Bohr radius. I searched all the peaks of eight states, and the local exponent was 2.000000 every time (Paper 1096).
  • The halo around a galaxy (NFW shape): the local exponent goes from 1 at the centre to 3 far out. Astronomers write the radius where it equals 2 as r₋₂ and use it as a marker of the halo’s size. It is also known that the peak of r²ρ lies there.
  • The speeds of gas molecules: counting the same shells in the space of velocities gives Maxwell’s distribution. The peak is the most probable speed √(2kT/m).

In each case the theorem’s 2 survives as “the one point that fixes a size”. The theorem itself is the state where this peak has spread out flat without end, so that every radius is a summit. That is why a 1/r² cloud has no marker of size. Check it with the “theorem’s cloud” button.

On the orbits: a ruler of exponents

Now consider something circling inside a ball of density 1/rn. The enclosed mass grows as r3−n, so the orbital speed v and the period T behave as follows.

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

The density exponent n has become the exponent of the period law. Kepler’s third law T² ∝ r³ is the case n = 3: when the mass gathers at the centre, the enclosed mass no longer depends on the radius, which in these formulas is the end point n = 3. The force of a spring is the force inside a uniform ball, n = 0.

nWhat kind of distributionEnclosed massOrbital speedPeriod squaredForceNear point to far point
0inside a uniform ball (spring)r³rconstantr90°
1r²r1/2rconstant103.9°
2the theorem’s distributionrconstantr²1/r127.3°
3mass gathered at the centre (Kepler)constantr−1/2r³1/r²180°

The angles in the last column are for nearly circular orbits. Spring, theorem and Kepler now stand on one ruler.

The n = 2 row has the shape of galactic rotation. Rubin and Ford showed in 1970, in the Andromeda galaxy, that the orbital speed does not depend on the radius. Here the Solar System and the Milky Way are compared on the same T² scale.

Graph in which the squared periods of the planets lie on a line of slope 3 and those of the Milky Way on a line of slope 2.20
Figure 2. The slope for the eight planets of the Solar System is 2.99972, Kepler’s 3. For the Milky Way, periods built from the rotation speeds measured by Eilers and colleagues in 2019 (229 km/s over 5–25 kpc, with a gradient of −1.7 km/s/kpc) give a slope of 2.20, close to 2.

Reading the Milky Way as a ball, each parsec of shell thickness carries a mass of about 12 million suns, nearly the same at every radius. What flat rotation fixes is the density and the enclosed mass, not the whole of the arrangement inside (Paper 910). What that mass is made of is not asked here.

Experiment 4Draw an orbit and hold it up to the mirror

Change the exponent n and the launch speed. Moving the tip of the arrow up and down also changes the speed. The second panel is the mirror image.

Form of the force
Near point to far point
Nearly circular orbits: 180°/√(4−n)
Time average of speed squared
Mirror partner

Experiment 4. The orbit is computed in a field whose force has magnitude r1−n. The launch is sideways from a point at radius 1.

There are three things to look for in this experiment.

The first is the angle. On a nearly circular orbit, the angle swept from the near point to the far point is π/√(4−n). For n = 0, 2 and 3 it is 90°, 127.2792° and 180°. The angle for n = 2 is the geometric mean of the spring’s 90° and Kepler’s 180°. It is the same √2 as in the relation κ = √2 Ω that galactic dynamics uses for the frequency of oscillation where the rotation is flat.

The second is the average. The time average of the speed squared has the same value for orbits of every size and shape only when n = 2. However you change the speed in Experiment 4, the display stays at 1. In the calculation for this page, launch speeds of 0.4, 0.8 and 1.3 gave 1.00010, 1.00006 and 0.99988. For n = 1 the value moves: 0.72003, 0.87999 and 1.22994. This is the orbital face of the fact that the shell weight does not depend on the radius.

The third is the mirror. Square the ellipse of a spring using complex numbers, and it becomes the ellipse of Kepler. Bohlin wrote this down in 1911 and Kasner in 1913, and Arnold presented it in a book; I counted it in Paper 1072. Extended to power-law forces, it fixes pairs of forces. In terms of the density exponent, the relation is this.

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

The partner of n = 0 is N = 3, so spring and Kepler swap places. The partner of n = 1 is 8/3. And between 0 and 3, the exponent that is its own partner is n = 2. The values of 4 − n run 4, 2, 1, a geometric sequence, so n = 2 sits exactly at the centre of the mirror. I checked with six exponents that the mapped curve takes the shape of an orbit of the partner force: the residual was at most 2.41×10⁻¹¹, and when the partner exponent was deliberately shifted by 0.2 it jumped to at least 5.92×10⁻³. What the mirror carries is the shape of the orbit; time does not carry over unless it is measured anew.

A number line of the density exponent n showing the places of spring, theorem and Kepler, with the mirror pairs
Figure 3. The ruler of density exponents. The arcs below are mirror pairs. n = 4 has no mirror partner, and n = 6 is the other centre of the mirror (see the comparison section).

All orbits close only in the two cases of Bertrand’s theorem (1873), which are n = 0 and n = 3 on the ruler. The theorem’s n = 2 does not close. It sits at the centre of the mirror between the two that do.

2 is not one thing

So far I have written about various 2s as if they were the same. But by the rule of my papers, being the same number is not enough to say that two things share a root. You have to see what must be moved to make them different things. I call the thing moved a separator (Paper 300). Here the thing to move is the dimension of space.

Experiment 5Move the dimension and split the 2

Change the dimension of space with the slider. The blue lines move with the dimension; the gold lines do not.

Experiment 5. The thick blue line is the levelling exponent d − 1, the thin blue line is the end point d where the mass gathers at the centre, the thick gold line is the flat-rotation exponent 2, and the dashed gold lines are the always-closing exponents 0 and 3.
  • The 2 that moves with the dimension (d − 1): the exponent that levels the shells, the exponent of a field that wells up nowhere, the fall-off of the force from a point, the dimension of the sphere.
  • The 2 that stays when the dimension moves: the exponent of flat rotation, the exponent of an isothermal ball of gas, the density exponent that gives the same balance as a black hole at every radius (Paper 1092), the centre of the mirror.

The flat-rotation exponent stays because the orbital speed squared varies as r2−n in every dimension. An isothermal ball of gas, too, solved as a power from the pressure balance, has n = 2 as its only solution in every dimension. That is because the product of the gravitational constant and the density is an inverse time squared in every dimension (Paper 1092).

The same thing happens with 3. The end point where the mass gathers at the centre moves with the dimension, and the inverse-square force that always closes does not. The two coincide only in three dimensions, so only in three dimensions do orbits under the gravity of a point always close.

Three dimensions is where the moving lines and the fixed lines cross in two places at once, at 2 and at 3. This is one of my reasons for calling this theorem the foundation. On a short theorem, numbers that come from the shape of the sphere and numbers that come from gravity and orbits overlap in this dimension alone. I do not merge the reasons for the overlap into one root. I keep them apart and say that they overlap.

Side by side with other theorems

I have drawn a map of the famous theorems as a whole in the article “Famous Theorems, Laid Out with Their Assumptions”. Here I compare in detail only the theorems on the same shelf as the uniqueness theorem.

Compared with Noether’s theorem

One of the most famous theorems in physics is Noether’s theorem (1918). Set side by side, the two clearly do different kinds of work.

Noether’s theoremThe n = 2 uniqueness theorem
What goes inA continuous transformation that leaves the action unchanged (a symmetry)The demand that the shell weight not depend on the radius
What comes outA conserved quantity: what is conservedAn exponent: what value it has
ToolsThe calculus of variations and the actionOnly the area of a sphere
Laws of motionNeededNot needed
TypeMakes a correspondence (from symmetry to conserved quantity)Selects (from the real numbers to one)
If brokenBreak the symmetry and the matching quantity changesDrop the demand and any exponent will do

They are not rivals but different links of one chain. The 1/r² of light and wind connects in this order.

  1. Noether’s theoremIf the laws stay the same when time is shifted, energy is conserved
  2. Divergence theorem (Gauss’s theorem)If the flow is steady, the same amount passes through every shell
  3. The n = 2 uniqueness theoremIf every shell holds the same amount, the concentration can only be 1/r²
  4. Gauss’s lawThe coefficient of that field is 4π, and the potential is 1/r

Noether’s theorem says what is conserved, and the uniqueness theorem says what the exponent must be if it is conserved. The questions pass from one to the other exactly.

If a symmetry is fixed first, the Noether framework can also select an exponent. The action stays unchanged when distance is scaled by λ and time by λ² only if the potential is 1/r² and the force is 1/r³. This is the form of the model of de Alfaro, Fubini and Furlan (1976). It corresponds to n = 4 in Figure 3, which is also the exponent with no mirror partner. The number is again 2, but this is the 2 of a potential, a different root from the 2 of the theorem.

A line-up of selecting theorems

Like the uniqueness theorem, the theorems below select a few out of a wide field of candidates. What each one moves and what remains, and what happens when an assumption is removed, give each its character.

TheoremWhat is movedConditionWhat remainsIf removed
n = 2 uniqueness theoremDensity exponent (all real numbers)Shell weight independent of the radiusThe single value 2Change the dimension and it moves to d − 1
Converse of the shell theorem (Newton 1687, Gurzadyan 1985)Force exponentA spherical shell exerts the same force as a point at its centreThe two forces of inverse square and springIn four dimensions the inverse square drops out and 1/r³ remains
Bertrand’s theorem (1873)Form of the central forceAll bound orbits closeThe two forces of inverse square and springDoes not move when the dimension changes
Ehrenfest (1917)Dimension of spacePlanetary orbits can circle stablyThree dimensions or fewerFour or more have no stable orbits
Hurwitz’s theorem (1898)Dimension of numbersMultiplication preserves lengthThe four values 1, 2, 4, 8No three-dimensional numbers can be made
Birkhoff’s theorem (1923)Spherically symmetric vacuum solutionsEinstein’s equationsThe one Schwarzschild solutionDrop spherical symmetry and the solution is no longer unique
Lovelock’s theorem (1971, 1972)Form of the equations of gravityFour dimensions, no divergence, up to second orderEinstein’s equations (with a cosmological term)In five or more dimensions other terms are allowed

The shell theorem and Bertrand’s theorem ask different questions, yet leave the same two forces. But this too is an overlap of three dimensions. Integrating the force of a shell for this page, the ratio in three dimensions is 1.000000000 for the inverse square, while in four dimensions the inverse square falls to 0.900743404 and 1/r³ gives 1.000000000. The shell side moves with the dimension; the Bertrand side does not.

Seen in this line-up, the place of the uniqueness theorem is clear. One thing remains, the candidates are all the real numbers, and the only tool is the area of a sphere. And while the other theorems bring in laws of motion or field equations, the uniqueness theorem brings in no law at all. So it can be set before any of the others. That is why I made it my starting point.

Other theorems called “uniqueness theorems”

Textbooks of electromagnetism have a theorem of the same name: fixing the boundary values determines the solution of Poisson’s equation uniquely. General relativity has theorems saying that the form of a black hole is determined by a few quantities. Both are theorems of the type “the solution is unique”. What my theorem makes unique is not a solution but an exponent.

What is known, and where my own work begins

Here I want to be exact.

  • What is known: that mass is proportional to the radius in a 1/r² distribution (the singular isothermal sphere); Gauss’s law; the fundamental solution of Laplace’s equation; Bertrand’s theorem; that the peak of r²ρ lies where the slope is −2; the map between spring and Kepler; that the exponent of the period follows from scaling (mechanical similarity).
  • What my papers added: fixing the exponent as a theorem from the single condition that the shell weight is uniform (Paper 01); the staircase m(n) = 4π/(3−n) and the number of layers of 4π (Papers 01 and 02); restating the peaks of electron clouds with the local exponent (Paper 1096); separating the 2 of the shell from the 2 of the horizon balance (Paper 1092).
  • What this page newly organizes: reading n as the exponent of the period and putting spring, theorem and Kepler on one ruler; that the centre of the mirror is n = 2 and that the angle there is a geometric mean; reading the orbit-independent average of the speed squared as a face of n = 2; moving the dimension and putting the crossings of 2 and 3 on one page. All the formulas are rearrangements of known ones, and none of this has yet been written up as a paper.

No new law of physics is claimed. The theorem says nothing about the cause of gravity’s inverse square, or about the nature of dark matter. The value m = 4π is the value under the choice of units that sets the density coefficient and the radius to 1.

Within the corpus

At the end of October 2026 I have 1,103 papers. Of these, 70 list Paper 01 among their references, and 21 name the “uniqueness theorem” in their text. I counted the 70 by reading the references one entry at a time.

Chart with paper numbers along the horizontal axis and vertical lines marking the papers that cite Paper 01
Figure 4. The lines crowd at the low numbers, thin out, and increase again in the thousands: 51 among numbers 1–200, 7 among 201–1000, and 12 from 1001 on.

When something strange comes up, I go back to this theorem. If you want to read further, I suggest this order.

  • Paper 01, “The Uniqueness Theorem of n = 2 for Spherically Symmetric Density Distributions”: the theorem itself.
  • Paper 02, “The 4π Mass Cancellation Theorem”: the same fact written from the side of the integral.
  • Paper 79, “The Hidden Symmetry Unique to n=2”: why inverse-square orbits close.
  • Paper 114, “Which Objects Know They Are in Four Dimensions?”: that n = d − 1 exists in every dimension.
  • Paper 117, “Scale Invariance Fixes an Exponent — in Four Different Ways”: separating the ways in which exponents of the same look are selected.
  • Paper 157, “A Census of the Twos”: examining the 2s of the corpus with a single test.
  • Paper 910, “A Flat Rotation Curve Fixes the Density There and Imposes Only the Enclosed Mass on the Inside”.
  • Paper 1052, “Two Kinds of Subtracting One: One Counts Holes, the Other Counts Dimensions”.
  • Paper 1053, “Weakening Scale Invariance to a Single Ratio Loses the Uniqueness of the Exponent”.
  • Paper 1072, “Squaring the Ellipse of a Spring Gives the Ellipse of Kepler”.
  • Paper 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”.
  • Paper 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²”.

The full text of Paper 01 and a graph in which n can be moved are also on the theorem page of the paper archive. Articles that carry the same exponent over to surfaces and maps are “A Map of Inverse-Square Laws” and “Add Up the Dots on Graph Paper, and the Answer Depends on the Shape”. The 4π of the shell is read inside the proof of the Poincaré conjecture in “Reading the Poincaré Conjecture from the Uniqueness Theorem”.

Questions

Is this a proof of the inverse-square law?

No. What the theorem says is a fact of geometry: if the contents of a shell do not depend on the radius, the concentration is 1/r². Why gravity or light spreads as a conserved flow lies outside the theorem. Given conservation and three dimensions, this theorem fixes the exponent at 2.

Why call a one-line calculation a theorem?

Because the question points the other way. It does not ask “what happens with 1/r²?” but “what exponent levels the shells, and is there any other?”, and it shows that there is exactly one. I believe the weight of a theorem is set not by the length of its calculation but by what comes out of it.

Wasn’t this already known as the singular isothermal sphere?

Yes. The 1/r² distribution itself was known. The singular isothermal sphere of astrophysics has the form ρ = σ²/(2πGr²). What I added is to state it as the one exponent selected by the uniformity of the shells, to read it as a family across dimensions, and to place it at the start of the corpus.

Why is three dimensions special?

The theorem itself does not select three dimensions; every dimension has its exponent d − 1. What is special is that only in three dimensions does this exponent coincide with the dimension-independent 2 and 3. You can check this in Experiment 5.

How does this differ from the article “What is m = 4π?”

That article covers where the number 4π comes from and how it is read in the equations of physics. This page covers the theorem that stands before it, and how the theorem connects with other theorems and phenomena.

How far can the calculations in the figures be trusted?

The experiments calculate on the spot in your browser. The steps of the integrals and orbits are coarse, so the last digits move. The numbers in the text and tables were calculated separately at high precision.

Papers and sources

All the papers are published under CC BY 4.0. The record of Paper 01 is on its YOI record page.

These are the main sources checked for this page.

  • Archimedes, On the Sphere and Cylinder: the area of a sphere is four times that of its great circle.
  • Kepler, J. (1604). Ad Vitellionem paralipomena, quibus astronomiae pars optica traditur: the intensity of light and the square of the distance.
  • Newton, I. (1687). Philosophiae Naturalis Principia Mathematica, Book I, Propositions 70 and 71: the shell theorem.
  • 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): the theorem on composition algebras.
  • Bohlin, K. (1911), Kasner, E. (1913), Arnold, V. I. (1990). Huygens and Barrow, Newton and Hooke: the map between spring and 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: isothermal spheres and rotation.
  • Rubin, V. C. & Ford, W. K. (1970). Rotation of the Andromeda Nebula from a Spectroscopic Survey of Emission Regions.
  • Lovelock, D. (1971, 1972): the uniqueness of the Einstein tensor.
  • Landau, L. D. & Lifshitz, E. M. Mechanics, §10: mechanical similarity.
  • de Alfaro, V., Fubini, S. & Furlan, G. (1976): conformal mechanics of the inverse-square potential.
  • 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): the NFW shape.
  • Mishra, W. et al. (2019): the mass loss of the solar wind (1 to 1.5 billion kg per second).
  • 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.