Celestial mechanics & dynamics
The Three-Body Figure-Eight: A Choreographed Periodic Orbit
Three equal-mass stars, chasing one another single file around a single fixed figure-eight track, returning to exactly the same configuration every orbit forever: this is the most famous exact solution to the three-body problem discovered in three centuries. Numerically spotted by Cris Moore in 1993 and rigorously proven to exist by Alain Chenciner and Richard Montgomery in 2000, the figure-eight (or "Chenciner–Montgomery") orbit is a choreography — all three bodies trace one common closed curve in the plane, each shifted in phase by one-third of the period.
It has zero total angular momentum, an intricate 12-fold symmetry, and — remarkably for a three-body configuration — it is linearly stable. That makes it a rare island of order in a problem that Poincaré showed is generically chaotic and non-integrable.
- RegimePlanar Newtonian 3-body, equal masses, zero angular momentum
- Key number1 curve, 3 bodies, phase-shifted by T/3 (120°); 12 congruent arcs
- Driven byMutual Newtonian gravity as an action-minimizing periodic path
- First describedMoore 1993 (numerical); Chenciner & Montgomery 2000 (proof)
- Observed withNone yet — a mathematical solution; est. ≤1 per galaxy
- Matters forCelestial mechanics, N-body choreographies, periodic gravitational waves
Interactive visualization
Press play, or step through manually. The visualization is yours to drive — try it before reading on.
Watch the 60-second explainer
A condensed visual walkthrough — narrated, captioned, under a minute.
What it is and why it matters
The gravitational three-body problem — three point masses attracting one another by Newton's inverse-square law — has no general closed-form solution; Poincaré proved in the 1890s that it is non-integrable and generically chaotic. Against that backdrop, exact periodic solutions are precious. For over two centuries only two families were known: Euler's collinear solution (1767) and Lagrange's equilateral solution (1772), both rigidly rotating "central configurations."
The figure-eight broke that drought. Here three equal masses follow one and the same figure-eight-shaped closed curve in a fixed plane, spaced so that the three bodies are always at different points of the curve. At any instant they form a triangle; a third of a period later the whole system looks identical but with the bodies cyclically relabeled. It is the first known non-trivial choreography — a solution where every body dances along a single shared path — and it proved a whole zoo of such orbits exists.
The mechanism: gravity as an action minimizer
The physics is pure Newtonian gravity, but the way the orbit is found is variational. Chenciner and Montgomery reframed the problem using the principle of least action: a true trajectory extremizes the action integral S = ∫(T − U) dt, where T is kinetic energy and U = −G Σ mᵢmⱼ/rᵢⱼ is the gravitational potential energy.
They searched among all loops with the figure-eight symmetry that connect an Euler (collinear) configuration to an isosceles configuration, and proved the action-minimizing path in that class is smooth and collision-free — the key hurdle, since naïve minimizers can crash bodies together. That minimizer is the figure-eight. Over one period each body sweeps out the full ∞ shape; the system passes through 12 congruent arcs, alternating between six collinear (Euler) instants and six isosceles instants. At the collinear moments one body sits at the crossing point of the eight while the other two straddle it symmetrically. Energy and (zero) angular momentum are exactly conserved throughout.
Characteristic numbers, scales, and symmetry
The figure-eight is scale-free: Newtonian gravity has no intrinsic length, so any figure-eight can be rescaled. Fix the masses and energy and Kepler-like scaling sets the size and period; the shape is universal. If you scale to unit masses and G = 1, one standard normalization gives an energy E ≈ −1.287 and a period T ≈ 6.32 in these units. Total angular momentum is exactly zero — the defining constraint that lets the orbit stay planar and non-rotating.
The solution's symmetry is the dihedral group D₆ (order 12), which is why the orbit splits into 12 identical time-segments: the whole motion is generated by reflecting and time-reversing a single 1/12-period arc. This same symmetry underlies the shape-sphere picture (see below) and dramatically simplifies both existence proofs and stability analysis. The three bodies are always mutually equidistant in phase along the curve, separated by a time lag of exactly T/3.
The shape sphere: how the orbit is visualized and analyzed
Because only the shape of the triangle matters (not its position or orientation), the configuration reduces to a point on the shape sphere — a 2-sphere whose coordinates are built from the triangle's moment of inertia and its deformation. On this sphere the equator represents collinear (degenerate) triangles; the poles represent equilateral triangles; three special "binary-collision" points sit on the equator where two bodies coincide.
The figure-eight projects onto the shape sphere as a closed curve that weaves back and forth across the equator, dipping into the northern and southern hemispheres while carefully slaloming between the collision points. This reduced picture is how researchers (notably Carles Simó, and Montgomery himself) understand its topology, prove it is collision-free, and generate neighboring orbits. The moment of inertia I = Σ mᵢrᵢ², which measures the system's overall size, oscillates periodically — reaching extrema exactly at the Euler configurations — while the center of mass stays fixed at the origin.
Stability, general relativity, and where it could occur
The most surprising fact is its stability. Most three-body periodic orbits are unstable, so any real system drifts into chaos. But numerical work by Simó, a rigorous computer-assisted linear-stability analysis by Gareth Roberts (2007), and a KAM-theory proof by Kapela and Simó show the figure-eight's monodromy multipliers all lie on the unit circle — it is linearly stable and even KAM-stable, sitting inside invariant tori that resist small perturbations. Impressively, the figure-eight even survives into general relativity: it persists at first and second post-Newtonian (1PN, 2PN) order.
Could it exist in nature? In principle three equal-mass stars could trace it, and such a system would emit a distinctive volcano-shaped periodic gravitational-wave signal (unlike a binary's sinusoid). But it requires finely tuned initial conditions and exactly equal masses. Douglas Heggie estimated the natural formation rate corresponds to somewhere between one figure-eight system per galaxy and one per observable universe — so none has ever been found.
Open questions and significance
The figure-eight opened a floodgate. Since 2000, Simó, Moore, and many others have found thousands of N-body choreographies — braided, super-eight, and multi-lobed curves for 3, 4, 5 and more bodies — most of them unstable, a handful marginally stable. Open questions remain: exactly how many choreographies exist for each N, which are stable, how they organize into families and bifurcate, and how the figure-eight connects continuously to the Lagrange and Euler solutions (the subject of Marchal's conjecture, addressed in recent 2020s work).
Its deeper significance is methodological. The variational/action-minimization approach that produced it has become a powerful, rigorous tool across celestial mechanics, revealing order hiding inside a canonically chaotic problem. Even if no star ever traces one, the figure-eight is a landmark: proof that the three-body problem, three centuries after Newton, still holds genuinely new and beautiful exact solutions.
| Solution | Configuration | Angular momentum | Stability |
|---|---|---|---|
| Euler collinear (1767) | Three bodies on a rotating line, fixed ratios | Nonzero | Unstable |
| Lagrange equilateral (1772) | Rigid equilateral triangle, rotating | Nonzero | Stable only if mass ratio meets Gascheau/Routh criterion (27(m₁m₂+m₂m₃+m₃m₁) < (m₁+m₂+m₃)²) |
| Figure-eight (1993/2000) | Single ∞-shaped curve, 3 equal masses in single file | Zero | Linearly stable; KAM-stable (Kapela & Simó) |
| Broucke–Hénon / Simó families | Many braided choreographies on one curve | Zero (typically) | Mostly unstable; a few marginally stable |
Frequently asked questions
Who discovered the figure-eight orbit and when?
Cris Moore first found it numerically in 1993 while exploring braided orbits with equal masses. In 2000, Alain Chenciner and Richard Montgomery gave a rigorous existence proof using the calculus of variations, published in the Annals of Mathematics (vol. 152, pp. 881–901). Carles Simó's numerical work was crucial for trusting the result and for generating the many related choreographies discovered afterward.
Why does the figure-eight need to have zero angular momentum?
Zero total angular momentum is a built-in property of this particular action-minimizing solution, not something imposed by hand. It is what allows the three bodies to share a single non-rotating planar curve rather than orbiting a common center like Euler's and Lagrange's rotating solutions. The center of mass stays fixed at the crossing region and the whole pattern neither spins nor drifts.
Is the figure-eight orbit stable, and does that mean it could really exist?
Yes — remarkably, it is linearly stable (proven by Gareth Roberts, 2007) and even KAM-stable (Kapela & Simó), meaning small perturbations don't immediately destroy it. However, it requires exactly equal masses and finely tuned initial conditions. Unequal masses or large perturbations break the symmetry, so while stable in principle, natural formation is extraordinarily unlikely.
What is a 'choreography' in the three-body problem?
A choreography is a periodic N-body solution in which every body follows the exact same closed curve, each offset in time from the next. The figure-eight was the first non-trivial example: three bodies on one ∞-shaped curve, phase-shifted by one-third of the period. The term 'choreography' was coined by Carles Simó around 2000, who went on to find hundreds of them; Chenciner and Montgomery proved the figure-eight's existence but did not name the class.
How is the figure-eight related to Euler's and Lagrange's solutions?
All three are exact periodic solutions of the gravitational three-body problem. Euler's (1767, collinear) and Lagrange's (1772, equilateral) are rigidly rotating central configurations with nonzero angular momentum. The figure-eight is fundamentally different: zero angular momentum, non-rotating, and a genuine choreography. The orbit actually passes through Euler-type collinear configurations twelve times per period.
Would a figure-eight system produce a detectable signal?
In theory three equal-mass compact stars on this orbit would emit periodic gravitational waves with a characteristic 'volcano-shaped' waveform, distinct from the smooth chirp/sinusoid of a binary. In practice, Heggie's estimate puts the expected occurrence at roughly one such system per galaxy at most (possibly one per universe), so no figure-eight has ever been observed — it remains a mathematical solution rather than a catalogued object.