Unpopular Science
Sidenote illustration by Jess DG Hayes for chapter 7, “A Complex (Projective) Billiard Game”
Sidenote illustration by Jess DG Hayes

Chapter 07 of 50

A Complex (Projective) Billiard Game

« La mathématique est l’art de donner le même nom à des choses différentes. »
(“Mathematics is the art of giving the same name to different things.”) — Henri Poincaré, 1908
“Algebra is the offer made by the devil to the mathematician.The devil says: I will give you this powerful machine,it will answer any question you like.All you need to do is give me your soul:give up geometry and you will have this marvelous machine.”
Michael Atiyah, 2001

Poncelet’s Porism describes an unexpected property of billiard trajectories between two nested ellipses: if one path returns to its starting point after a finite number of bounces, then all starting points generate periodic trajectories with the same number of bounces. This geometric result connects to elliptic curves and measure-preserving dynamical systems, exemplifying how problems in distinct fields reduce to the same equations through appropriate frameworks.

Topics

  • Elliptical Billiards
  • Poncelet’s Porism
  • Nested Ellipses
  • Poncelet Map
  • Invariant Weighted Measure
  • Rotation Number
  • Rational vs Irrational
  • Benford’s Law
  • Leading Digit Distribution
  • Gelfand Framework
  • Dynamical Proof

Sidenote

Top (Poncelet Trajectories): Each subplot in the top section displays a pair of conics: the outer circle x2+y2=1x^2 + y^2 = 1 and an inner ellipse of the form (xa)2+(yb)2=1\left(\frac{x}{a}\right)^2 + \left(\frac{y}{b}\right)^2 = 1, where (a,b)(a, b) are derived from sampled Cayley invariants (x,y)(x, y). A five-step Poncelet trajectory is drawn in blue, starting from a fixed angle and iteratively constructing tangents from the circle to the ellipse. If the polygon closes after five steps, the pair lies on the Poncelet curve.

Bottom (Poncelet Curve): The curve shown is the Poncelet curve associated with pentagonal (5-periodic) Poncelet polygons inscribed in one conic and circumscribed around another. Each point on this curve corresponds to a set of conic pairs for which a closed 5-gon exists that satisfies Poncelet’s closure condition. The coordinates (x,y)(x, y) represent algebraic invariants of the conic pair, specifically x=e2/e12x = e_2 / e_1^2 and y=e3/e13y = e_3 / e_1^3, where eke_k are the elementary symmetric functions of the characteristic multipliers derived from the conic configuration. A point on the curve means that a 5-periodic polygon can be inscribed and circumscribed for that particular combination of invariants. For more, see the excellent blog of Oliver Nash at http://olivernash.org/2018/07/08/poring-over-poncelet/index.html.

Coming to YouTube

Beyond Popular Science: the films

Each chapter is becoming a short film: the book’s own words, read to camera, with its figures, sources and equations animated alongside.

The films go out under the UK edition’s title, Beyond Popular Science. The fifty chapters are the same in both editions.

Coming soon

Subscribe to the channelYouTube (opens in a new tab)
Front cover of Unpopular Science by David H. Silver: hand-drawn science doodles by Jess DG Hayes around the title

This chapter is one of fifty in Unpopular Science.

For readers curious enough to want the actual mathematics, tired of science communication that oversimplifies or sensationalizes. Science as it actually is: demanding, complex, but well worth the effort.