Poncelet's closure theorem

Content sourced from Wikipedia, licensed under CC BY-SA 3.0.

Poncelet’s closure theorem, or Poncelet’s porism, says a surprising thing: if there exists one polygon with n sides that lies with all its vertices on one conic C and whose sides touch another conic D, then there are infinitely many such polygons for the same pair of conics. When C and D are circles, these polygons are called bicentric polygons, and the theorem says that every bicentric polygon with those two circles belongs to a whole infinite family.

Why this is true, in a nutshell, is a bit technical at heart but easy to grasp in idea. For any vertex of a potential polygon, look at the line tangent to D at the point where that line touches D and passes through the vertex. This creates a deep connection between the two curves, and it can be described on a special kind of geometric object called an elliptic curve. On this curve, moving from one vertex to the next acts like taking a fixed step (a translation). If you can complete the polygon once and return to your starting point after n steps, then this same fixed step will bring every starting point back after n steps as well. In other words, if one closing polygon exists, then every possible starting point on C yields a closing n-gon—giving an infinite family.

The usual formulation assumes C and D intersect nicely (transversely). If they don’t, the result still holds, by a limiting argument. This theorem is celebrated because it links simple geometric shapes (conics) to the elegant world of elliptic curves, showing how a single closed figure implies a whole family of them.