AMR-050-0062 · Complete proof

Products of the Two Focal Inversion Areas in Elliptic Billiards

Manuscript 2 October 2026 · Online 2 October 2026

math.DSmath.MGUnrefereed preprint

Abstract

For every odd-periodic real billiard family in an ellipse, we prove that the product of the trajectory-order signed areas of the two polygons obtained by unit inversion of the original vertices about the two original boundary foci is a positive phase-independent constant. The result includes every primitive odd period, admitted coprime star winding, orientation reversal and fixed odd repeated traversal; an r-fold traversal multiplies the product by r^2. Circular boundaries are treated directly. A real-caustic parity lemma excludes an omitted nondegenerate odd hyperbolic or degenerate family. In confocal Jacobi coordinates, each inverse-area trace has at most simple poles. For odd periods the two focal pole sets are disjoint, and reversal forces the opposite trace to vanish at each possible pole. Their product is therefore holomorphic on a compact quotient torus and constant. Real geometry establishes positive areas and finite inversion vertices. The target is invariant k903,a in arXiv:2004.12497v11, corresponding to frozen record AMR-050-0062 / 5100062. Reznik, Garcia and Helman's published N=3 formula is expressly credited, together with the classical Jacobi parametrization and meromorphic method. Exact controls verify the common product 1/324 for two non-equivalent triangular phases in one fixed family, odd-repeat scaling and a separate circle case. Genuine period-four phases instead give products 1 and 25/16, showing that the odd hypothesis cannot be removed. A separately executed 85-decimal diagnostic samples 42 odd-period families, including 27 stars, at five phases each; these finite checks are not the general proof. The quantity is signed area in trajectory order, not the unsigned area of a self-crossed polygon's bounded faces. This English preprint is AI-assisted, originating-researcher self-audited and unrefereed. Novelty remains undetermined; no independent human review, proof-assistant verification, guaranteed indexing or absolute-priority claim is made.

Record

Affiliation
Mercury Software GmbH
Result
Complete proof
Categories
math.DS · math.MG
Manuscript
2 October 2026
Online release
2 October 2026
Version
1.0
License
Creative Commons Attribution 4.0 International

Files and verification

The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.

Citation

Alper Ferudun, “Products of the Two Focal Inversion Areas in Elliptic Billiards,” EulerSolve Research Papers, AMR-050-0062, 2026. https://doi.org/10.5281/zenodo.23096994.

BibTeX
@misc{Ferudun2026AMR0500062,
  author = {Ferudun, Alper},
  title = {Products of the Two Focal Inversion Areas in Elliptic Billiards},
  year = {2026},
  howpublished = {EulerSolve Research Papers},
  url = {https://eulersolve.org/papers/amr-050-0062/},
  doi = {10.5281/zenodo.23096994},
  note = {AMR-050-0062; unrefereed preprint}
}

More research papers

Show all 111 other papers

All 112 research papers →