{
  "schema_version": 1,
  "problem_number": "AMR-050-0002",
  "title": "Half-Angle Sines, Steiner Pedal Areas and Evolute Areas of N-Periodics in the Elliptic Billiard",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Reznik, Garcia and Koiller listed many quantities that they found experimentally to be constant along the families of N-periodic billiard trajectories in an ellipse with a confocal elliptic caustic. We treat four rows of their tables (records AMR-050-0002, -0028, -0039 and -0032 of the UnsolvedMath collection) for trajectories of least period N and every winding number, with signed areas; the source's families are simple, and our statements include them. Let A and A′ be the areas of the trajectory and of its outer polygon and θ_i the angles of the trajectory. Row k108 states that (A′/A)/∏_i sin(θ_i/2) is constant for N ≡ 2 (mod 4). A. Kriebel showed in a Zenodo deposit, with an exact six-periodic example, that this is false; we prove that the product (A′/A)∏_i sin(θ_i/2) is constant on every family with N ≡ 2 (mod 4), N ≥ 6, and that the printed quotient is constant on none. Row k502 states that A′/A′_K′ is constant for odd N, where A′_K′ is the area of the pedal polygon of the outer polygon with respect to its Steiner curvature centroid; we prove that it equals c²σ/(2(π_g − π_f)), with three further constants σ, π_f, π_g of the family, wherever it is defined, while its definedness on every family is not proved. Row k701 states that A/A_ev is constant for N > 4, A_ev being the area of the evolute polygon; we prove A_ev = νA for every N ≥ 5 with an explicit constant ν, so the ratio is constant if ν ≠ 0, which is observed numerically but not proved. For N = 6, A_ev = −c⁴A/(4a²b²) for every centrally symmetric hexagon inscribed in the ellipse with semi-axes a > b, c² = a² − b², and for N = 4 the ratio is not constant. Row k603, on focal antipedal distances, was proved by Kriebel in another deposit; we only record a confirmation. The proofs use Stachel's parametrisation by Jacobi elliptic functions, the zeros and poles of the quantities on the period torus, and Liouville's theorem. No printed or deposited proof of the product identity, of row k502 or of row k701 was found in the sources searched. This is an unrefereed note.",
  "result_type": "COMPLETE_SCOPED_PROOF",
  "categories": [
    "math.MG",
    "math.DS",
    "math.CV"
  ],
  "keywords": [
    "elliptic billiard",
    "Poncelet porism",
    "N-periodic trajectories",
    "half-angle sines",
    "outer polygon",
    "Steiner curvature centroid",
    "pedal polygon",
    "evolute polygon",
    "antipedal polygon",
    "signed area",
    "Jacobi elliptic functions",
    "Liouville theorem",
    "Reznik–Garcia–Koiller invariants",
    "UnsolvedMath",
    "AMR-050-0002",
    "AMR-050-0028",
    "AMR-050-0039",
    "AMR-050-0032",
    "math.MG",
    "math.DS",
    "math.CV",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-15",
  "publication_date": "2026-10-15",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-15",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/amr-050-0002/",
  "pdf_url": "https://eulersolve.org/papers/amr-050-0002/paper.pdf?v=0f15224ab44c",
  "doi": "10.5281/zenodo.23406201",
  "zenodo_record_url": "https://zenodo.org/records/23406201",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Four rows of the Reznik-Garcia-Koiller list of invariants of N-periodic billiard trajectories in an ellipse (records AMR-050-0002, -0028, -0039 and -0032). Row k108 is false as printed, as A. Kriebel showed first; its product form is proved for N = 2 mod 4. Rows k502 and k701 are proved wherever the ratios are defined (definedness on every family is not proved). Row k603 was proved by Kriebel; the note only confirms it.",
  "files": {
    "paper.pdf": {
      "sha256": "0f15224ab44ce3ae86c48015b44ce307ed63edb365f4adcfedc1634af9c8b7d7"
    },
    "source.zip": {
      "sha256": "623107551f1fb2d567d25145efcff4725ed7c4136cad4186c444faabf5f7c1bb"
    },
    "verification_report.md": {
      "sha256": "52f9d207fc53d4e2c3bcf0379132bd27d307c7bd811c8b797f846ff9e6a9ba84"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}