Shell theorem — the series
-
A sphere pulls exactly like a point, and the proof is a pair of cones
Every orbit ever computed treats the Sun as a dot. That is not an approximation — for a spherical body it is exact, and the reason is a cancellation between two patches of a shell.
-
The tunnel that takes the same time from anywhere
Inside a uniform sphere the field grows in proportion to the distance from the centre, which is Hooke's law. A body dropped down any straight tunnel arrives in the same time — and that time is the period of an orbit skimming the surface.
-
Inside a ring the pull points outward
A hollow sphere exerts no force on anything inside it, and the proof is a pair of cones whose areas grow exactly as fast as gravity weakens. Cut the sphere down to a ring and the arcs grow only as the distance, the nearer side wins, and a planet set in the middle of a rigid ring falls into it within a handful of orbits — which is why Saturn's rings cannot be solid, and why a flat galaxy spins faster than its own enclosed mass allows.
-
The shell can be flattened if it thins at the poles
A spherical shell exerts no force anywhere inside it, and a ring exerts a force that points outward. Between them lies a shape Newton found that keeps the sphere's empty interior however far it is flattened: the homoeoid, a shell bounded by two similar ellipsoids, thick at the equator and thin at the poles in exactly the right proportion. It is why the gravity inside any flattened body can be computed at all — and why the planes of stellar streams measure the shapes of dark haloes.
-
A shell outside the stream turns nothing
A flattened halo turns the plane of every orbit inside it, and a stream of stars several orbits long records how far. But the turning is set only by the halo inside the orbit — a flattened shell enclosing it exerts no force on it at all — and within that, mostly by the shells just inside. So a stream measures a running average of the halo's shape out to its own radius, a halo round inside and flattened outside looks round to every stream in its core, and reading the shape of each layer back out of the streams costs more precision the further out the layer lies.