Definition
Poncelet's closure theorem, also known as Poncelet's porism, is a result in projective geometry concerning two conic sections (ellipses, hyperbolas, or parabolas) in the plane. It states that if there exists a polygon with a given number of sides that is simultaneously inscribed in one conic (all its vertices lie on this conic) and circumscribed about the other conic (all its sides are tangent to this conic), then every point on the outer conic serves as a vertex of such a polygon. Consequently, an infinite family of closed polygons of the same number of sides can be generated, each starting from an arbitrary point on the outer conic and returning to the starting point after the same number of steps.
Formal statement
Let $C_1$ and $C_2$ be two non‑degenerate conics in the real projective plane, with $C_1$ lying inside $C_2$. Suppose there exists an $n$-sided polygon $P_1P_2\ldots P_n$ such that
- $P_i \in C_2$ for all $i$ (the vertices lie on $C_2$), and
- the segment $P_iP_{i+1}$ is tangent to $C_1$ for all $i$ (indices modulo $n$).
Then for any point $Q$ on $C_2$ there is an $n$-sided polygon $Q=Q_1,Q_2,\dots ,Q_n=Q$ satisfying the same inscribed–circumscribed conditions.
Historical background
The theorem is named after the French mathematician Jean‑Victor Poncelet (1788–1867). Poncelet discovered it around 1813 while a prisoner of war in Russia; his observations were later published in Traité des propriétés projectives des figures (1822). The result became a cornerstone of 19th‑century projective geometry and inspired further work by mathematicians such as Cayley, Steiner, and Chasles.
Proof ideas
Modern proofs typically use projective or algebraic‑geometric techniques:
-
Projective dynamics – One considers the Poncelet map that sends a point $X$ on $C_2$ to the next vertex obtained by drawing the tangent from $X$ to $C_1$ and intersecting it again with $C_2$. The theorem asserts that this map is periodic of period $n$. In the language of algebraic geometry, the map is an automorphism of an elliptic curve (the intersection of the two conics in the complex projective plane), and periodicity follows from the fact that a translation on an elliptic curve has finite order precisely when a rational point of finite order exists.
-
Cayley’s condition – Cayley gave an explicit algebraic condition, expressed via the vanishing of a certain determinant built from the coefficients of the two conics, that is equivalent to the existence of a closed $n$-gon. This condition links the theorem to the theory of elliptic functions.
-
Billiard interpretation – In a Euclidean setting, the theorem is equivalent to the statement that a billiard trajectory inside an ellipse that reflects off the boundary and is tangent to a confocal inner ellipse will be periodic, closing after a fixed number of reflections independent of the starting point.
Consequences and related concepts
-
Porisms – A porism is a geometric statement asserting the existence of a whole family of solutions given one particular solution. Poncelet's theorem is the classic example of a porism.
-
Integrable systems – The theorem underlies the integrability of the billiard flow in conic domains and appears in the theory of the Neumann system and the Jacobi geodesic problem.
-
Elliptic functions – The periodicity condition can be expressed using elliptic functions; historically, this connection helped stimulate the development of the theory of elliptic integrals.
-
Generalizations – Extensions exist to higher‑dimensional quadrics (Poncelet’s theorem for quadrics), to polygons with vertices on more than two conics, and to discrete integrable systems (e.g., the pentagram map).
References (selected)
- J. V. Poncelet, Traité des propriétés projectives des figures, 1822.
- A. Cayley, “On the Porism of Poncelet”, Proceedings of the Royal Society, 1850.
- G. Darboux, Leçons sur la théorie générale des surfaces, 1887.
- V. Dragović & M. Radnović, Poncelet Porisms and Beyond, Springer, 2011.
- R. Schwartz, “The Poncelet Porism”, American Mathematical Monthly, vol. 108, no. 7, 2001, pp. 663–677.
These sources provide detailed treatments of the theorem’s statement, proofs, historical development, and applications across geometry and dynamical systems.
