Midpoint Polygons and Four Inversive Area Invariants of N-Periodics in the Elliptic Billiard

Reznik, Garcia and Koiller listed many experimentally found invariants of the families of N-periodic billiard trajectories in an ellipse. Let A and A′ be the signed areas of the trajectory and of its outer polygon, and A^⊗ and A′^⊖ those of the polygons obtained by inverting the vertices of the trajectory in the caustic and those of the outer polygon in the billiard ellipse. Their rows k807 and k809 state that AA^⊗ and A′A′^⊖ are constant along the family for even N, and k808 and k810 that A/A^⊗ and A′/A′^⊖ are constant for odd N (records AMR-050-0049 to AMR-050-0052 of the UnsolvedMath collection). We prove all four, for every ellipse with semi-axes a > b > 0, every confocal elliptic caustic and every least period N of the stated parity, for convex and for self-intersecting trajectories. The inverted polygons are midpoint polygons, so their areas involve the area of the polygon of diagonals. In Stachel's canonical parametrisation by Jacobi elliptic functions, and by Stachel's conjugate-billiard relation, all areas are expressed by two elliptic functions F, G of the phase. For even N, F(u)F(u+Δ) and F(u)G(u+Δ) are constant by Liouville's theorem, the poles of one factor meeting zeros of the other that are forced by a folding symmetry. For odd N, G = γF, and k808 = k810 = 4κ/(2+γ) with κ = ab/(a″b″), where a″, b″ are the semi-axes of the caustic and γ is an explicit algebraic function with 2 + γ > 0. For N = 4 the constants are 4a⁴b⁴/(a²+b²)² and 4a²b². The argument also gives the row k110, that AA″ is constant for even N, A″ being the area of the inner polygon (record AMR-050-0004); this row is not new, as it follows at once from Chavez-Caliz's theorem on AA′ and Stachel's relation A′ = κ²A″. The cases N = 3 of k808 and k810 follow from a theorem of Akopyan, Schwartz and Tabachnikov and Stachel's relation, and the cases N = 4, 6 of k807 and k809 from Chavez-Caliz's theorem. This is an unrefereed note. Unrefereed preprint released for independent mathematical scrutiny. Publication on Zenodo does not constitute peer review. AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text. Corpus identifiers: AMR-050-0049, AMR-050-0050, AMR-050-0051, AMR-050-0052, AMR-050-0004