Answers are grounded in this paper and cite their sources.
Fix a noncircular ellipse and a nondegenerate confocal elliptic caustic supporting a family of billiard orbits of effective even period. Form the outer polygon by intersecting consecutive boundary tangents, then take its antipedal with respect to either focus. We prove that its vertex centroid is fixed throughout the family and lies on the major axis. An exact opposite-edge calculation reduces this centroid to a bilinear trace of a Poncelet polygon inscribed in a circle and circumscribed about a concentric ellipse. We supply a compact-curve proof of trace constancy, adapting the pole cancellation method of Akopyan, Schwartz and Tabachnikov. The calculation proves the constancy assertion k407 of Reznik, Garcia and Koiller, with the effective-period convention stated explicitly. The constant need not be the center of the ellipse. We make no signed-area-centroid or hyperbolic-caustic claim. Self-audited, unrefereed preprint prepared with AI assistance. Established trace methods are credited; no independent human review, formal proof-assistant verification or absolute-priority claim is made. The source identity is AMR-050-0026 in the frozen ulamai/UnsolvedMath v1.6.0 dataset. This manuscript treats the single literal invariant k407, not every invariant in the source list. PDF, English LaTeX source and standard-library reproducibility checkers are included. Author: Alper Ferudun, Mercury Software GmbH.
No takes yet. Share an insight, caveat, or question.
Alper Ferudun (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: