In 1687, Isaac Newton published a law of universal gravitation that described how every object in the universe attracts every other object with a force proportional to their masses and inversely proportional to the square of the distance between them. The law was spectacularly successful. It explained the orbits of the planets, the motion of the Moon, the trajectories of comets, and the tides of the oceans.
For two bodies (say, the Sun and a single planet), Newton’s equations can be solved exactly. The solution is an ellipse, as Kepler had discovered empirically a century earlier. Given the initial positions and velocities of two gravitating bodies, you can calculate their positions at any point in the future or past. The problem is, in mathematical language, integrable: it has a closed form solution that can be written down as a formula.
Now add a third body. A Sun, a planet, and a moon. Or three stars orbiting each other. The gravitational law still applies: each body attracts the other two, and the forces combine according to Newton’s rules. The equations of motion can still be written down. But they cannot, in general, be solved.
This is the three-body problem, and it has resisted the efforts of the world’s best mathematicians for more than three hundred years.
Why Three Is So Different from Two
The two-body problem has a hidden simplicity. Because the two bodies interact only with each other, the problem can be reduced to an equivalent one-body problem: one body moving in the gravitational field of the other. The mathematics involves a single set of coordinates and yields clean, periodic orbits.
With three bodies, this reduction is impossible. Each body is pulled simultaneously by the other two, and the forces change continuously as all three bodies move. The motion of each body depends on the positions of the other two, which in turn depend on the position of the first. The equations are coupled: they cannot be separated into independent parts.
The result is that tiny differences in initial conditions can lead to completely different outcomes over time. Two configurations that start almost identically can diverge exponentially, with the three bodies following entirely different trajectories. This property, now called sensitive dependence on initial conditions, makes long-term prediction effectively impossible, even though the equations are perfectly deterministic.
The three-body problem was the first example of what we now call chaos: deterministic systems that are nevertheless unpredictable in practice because of extreme sensitivity to initial conditions.
Newton’s Frustration
Newton himself struggled with the three-body problem. In the Principia, he solved the two-body problem completely and used it to explain Kepler’s laws of planetary motion. But when he turned to the Moon’s orbit (a three-body problem involving the Earth, Moon, and Sun), he could not find an exact solution.
The Moon’s orbit is not a simple ellipse. The Sun’s gravitational pull perturbs the orbit, causing it to shift and wobble in complex ways. Newton could approximate these perturbations, but he could not solve the problem exactly. According to several accounts, the lunar theory gave him headaches that no other problem in physics had caused. He reportedly told the astronomer John Machin that the problem of the Moon “made his head ache and kept him awake so often that he would think of it no more.”
Newton was not being lazy or incompetent. The problem genuinely has no general closed-form solution. He had encountered a fundamental limit of mathematical physics, one that would not be fully understood for another two centuries.
Euler, Lagrange, and Special Solutions
After Newton, the greatest mathematicians of the 18th century attacked the three-body problem. Leonhard Euler and Joseph-Louis Lagrange found special solutions: specific configurations in which the three bodies move in predictable patterns.
Lagrange discovered in 1772 that there are five points in the Sun-planet system where a small third body can maintain a stable position relative to the other two. These Lagrange points are still used today: the James Webb Space Telescope orbits the Sun-Earth L2 point, about 1.5 million kilometers from Earth.
Euler found collinear solutions, in which the three bodies remain on a straight line while orbiting their common center of mass. Lagrange found triangular solutions, in which the three bodies form an equilateral triangle that rotates as a rigid body. These solutions are elegant but extremely special. They require precise initial conditions and describe only a tiny fraction of possible three-body configurations.
The general problem, where three bodies start in arbitrary positions with arbitrary velocities, remained unsolved.
Poincaré and the Birth of Chaos
The most important advance came from Henri Poincaré in the 1890s. King Oscar II of Sweden had offered a prize for a solution to the three-body problem, and Poincaré submitted a monumental paper that did not solve the problem but proved something arguably more significant: the problem cannot be solved in the traditional sense.
Poincaré showed that the three-body problem does not possess enough conserved quantities (integrals of motion) to be integrable. In the two-body problem, energy, angular momentum, and other conserved quantities constrain the motion to a predictable orbit. In the three-body problem, there are not enough such constraints. The trajectories are free to wander through the space of possibilities in ways that no finite formula can capture.
More profoundly, Poincaré discovered that three-body trajectories exhibit what he called “homoclinic tangles,” infinitely complex webs of intersecting orbits that make the geometry of the solution space unimaginably complicated. He realized that the behavior of three gravitating bodies could be so intricate that it would be “impossible to trace with any precision” over long time periods.
Poincaré had discovered deterministic chaos a century before the term was coined. His work on the three-body problem laid the foundations for topology, dynamical systems theory, and the modern understanding of chaotic systems.
What “Unsolvable” Actually Means
It is important to be precise about what “unsolvable” means in this context. The three-body problem is not unsolvable in the sense that we cannot calculate what three bodies will do. Given initial conditions, a computer can simulate the motion of three bodies with high accuracy over short time periods. NASA routinely calculates the trajectories of spacecraft in multi-body gravitational fields.
What does not exist is a general closed-form solution: a formula that takes the initial positions and velocities as inputs and produces the positions at any future time as output. For the two-body problem, such a formula exists (the Kepler orbit equations). For the three-body problem, no such formula exists in general.
In 1912, the Finnish mathematician Karl Sundman proved that a convergent series solution to the three-body problem does exist, meaning the positions can be expressed as infinite sums that converge to the correct values. But Sundman’s series converges so slowly that it is useless in practice: calculating even a single orbit would require more terms than there are atoms in the observable universe.
The three-body problem is therefore solvable in theory but intractable in practice, a distinction that lies at the heart of modern computational mathematics.
Modern Discoveries
Despite the general intractability, mathematicians continue to discover remarkable special solutions. In 1993, Cristopher Moore discovered a solution in which three equal masses chase each other around a figure-eight-shaped orbit. This “figure eight” solution was proved rigorously by Alain Chenciner and Richard Montgomery in 2000 and generated enormous excitement because it was a genuinely new type of periodic three-body orbit, the first discovered since Lagrange’s solutions in 1772.
Since then, researchers have used computers to discover hundreds of new periodic three-body orbits with exotic shapes: braids, butterflies, dragonflies, and other intricate patterns. These solutions require extremely specific initial conditions and are generally unstable (a tiny perturbation will send the bodies off on chaotic trajectories), but they reveal the extraordinary richness hidden within the three-body equations.
Statistical approaches have also proven fruitful. While the long-term behavior of any specific three-body system is unpredictable, the statistical properties of large ensembles of three-body systems can be described. In many cases, three-body systems eventually eject one body, leaving the other two in a stable binary orbit. The probability of different outcomes can be calculated, even when individual outcomes cannot be predicted.
From the Principia to the Butterfly Effect
The three-body problem connects the oldest questions in mathematical physics to the newest. It begins with Newton’s law of gravitation, the most successful physical theory of the 17th century, and leads directly to chaos theory, one of the most important mathematical discoveries of the 20th century. The same equations that describe the serene elliptical orbits of two bodies produce, with the addition of a single body, behavior of infinite complexity.
Newton’s formulation of the gravitational law and his solution of the two-body problem appear in the Principia, the work that established the mathematical framework for all of classical mechanics. The three-body problem is, in a sense, the first problem the Principia could not solve, the point where Newton’s own methods reached their limit.
The mathematical tradition that produced both the triumphs and the frustrations of celestial mechanics depended on tools that trace back to antiquity. The geometric methods that Newton used in the Principia, the calculus he and Leibniz developed, and the analysis that Euler, Lagrange, and Poincaré refined over two centuries all contributed to the understanding of the three-body problem. Carl Friedrich Gauss, whose work on celestial mechanics included the prediction of the asteroid Ceres’s orbit, advanced the computational techniques that astronomers used to approximate solutions to multi-body problems. Gauss’s mathematical notebooks, reproduced in Kronecker Wallis’s edition of Gauss’s Handwritten Notebooks, contain calculations in the tradition of precision mathematical astronomy that the three-body problem both inspired and defeated.
The Simplest Impossible Problem
The three-body problem is a reminder that complexity does not require complicated ingredients. Newton’s law of gravitation is one of the simplest equations in physics: F = Gmm/r². It involves only mass and distance. It contains no arbitrary parameters, no special cases, no fine print. And yet three objects obeying this single, elegant law can produce behavior so complex that it defies complete mathematical description.
The lesson extends beyond gravity. Many of the most important problems in science and mathematics are easy to state and impossible to solve in full generality. The three-body problem is the oldest and most famous example, but similar phenomena appear throughout physics, biology, economics, and engineering: simple rules generating complex, unpredictable behavior.
Three centuries after Newton wrote down the equations, we still cannot solve them. And yet the attempt to solve them has produced some of the deepest mathematics ever created: from Lagrange’s analytical mechanics to Poincaré’s topology to modern chaos theory. Sometimes the most productive questions in science are the ones that cannot be answered.
No products in the cart.