# Reference question: Poncelet theorem

A very famous theorem of Poncelet states that for an elliptic billiard all $n$-periodic trajectories are tangent to some ellipse. As far as I know, Poncelet proved this theorem while sitting in Russian jail so he didn't write it down. Could anybody give me a reference on a first book or article where the proof was actually given?

I want to make a correct reference in the article I am writing. Moreover, I am also thinking about mentioning a greek mathematician Proclus who lived in the 5th century BC and proved that once a line in an ellipse is tangent to some other smaller ellipse, its reflection is tangent to the smaller ellipse too.

• small technical comment: by selecting "community wiki" you removed the reputation rewards for answers to your question, which was probably not your intention. – Carlo Beenakker Feb 7 '13 at 15:01
• Here's an image illustrating the theorem, for the case of two circles dl.dropbox.com/u/9709624/Poncelet%20example.pdf – Dror Atariah Feb 8 '13 at 9:00
• @DrorAtariah The link in your comment no longer works (as far as I can tell). Still, I guess there are many images illustrating Poncelet's theorem available online - maybe some of them is close to what you had in mind. – Martin Sleziak Jan 25 '18 at 6:01
• Here's something related I'd like to know: given two non-singular conics $C, D \subset \mathbb{P^2}$, the curve $\{(p, L) \in C\times D^* | p \in L\}$ has genus one and so choosing a distinguished point we have an elliptic curve. What is a geometric construction of the group law? – Oliver Nash Jan 25 '18 at 12:21

Poncelet published his theorem ("Poncelet's porism) in 1822, after he returned to France following his captivity as war prisoner in Russia:

J.V. Poncelet, Traité des propriétés projectives des figures (Paris, 1822).

The book has been scanned and can be read here.

There seems to be a misconception here: Poncelet Theorem (at least the great one, which I believe to remember is the one he proved while in jail) is a much deeper, and more difficult statement than what you state.

Consider an ellipse inside another ellipse, and play inner-outer billiard with them. This means that you start from a point on the outer ellipse, choose one of the two line from this point tangent to the inner ellipse, and take the second intersection point of this line with the outer ellipse. You continue, always taking the next line tangent to the inner ellipse from the current point, and the other intersection point with the outer ellipse from the current line.

Theorem (Poncelet) $-$ If one orbit of this dynamical system is periodic, then all orbits are periodic.

This, if I remember well, is in Berger's Geometry. There might be a reference there.

• @Benoît Kloeckner: the theorem which Poncelet proved in jail, and was published in the 1822 book I mentioned is stated here: komal.hu/lap/2002-ang/poncelet.e.shtml are we talking about different things? – Carlo Beenakker Feb 7 '13 at 22:47
• We are talking about the same result (although it has been extended to ellipses), but this is not what the OP asked about: "in elliptic billiard all n-periodic trajectories are tangent to some ellipse" which is a much more elementary result. That's why I think the OP has a misconception. – Benoît Kloeckner Feb 8 '13 at 11:46