Families / Belgrade classes

Certified satellite orbits

A satellite of moth I whose existence at masses 1, 1, 1.001 is established by a computer-assisted proof.

Certified satellite orbits are periodic solutions of the planar three-body problem. The atlas holds 1 of them (period 193.9), for several mass ratios; it is linearly stable. They come from Three-body Moth-I¹³ computer-assisted proof (2026), A computer-assisted proof of a periodic orbit near moth I at masses 1, 1, 1.001. Every orbit is precomputed to machine precision and plays one period at a time; open one to watch it, nudge it or rate it.

Three-body Moth-I¹³ computer-assisted proof (2026). A computer-assisted proof of a periodic orbit near moth I at masses 1, 1, 1.001. GitHub, Rexyysilent/three-body-moth13-cap (link)