{
  "schema_version": 1,
  "problem_number": "AMR-050-0011",
  "title": "Pedal Areas of Periodic Elliptic Billiard Trajectories with Respect to an Arbitrary Point",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Reznik, Garcia and Koiller listed many quantities that are experimentally constant along the families of N-periodic billiard trajectories in an ellipse whose caustic is a confocal ellipse. We treat three of their rows on the signed areas of pedal polygons with respect to an arbitrary point M. Let A be the signed area of the trajectory, A′ that of its outer polygon, and A_M, A′_M the signed areas of their pedal polygons with respect to M. The rows state that A·A_M is constant for N ≡ 0 (mod 4) (row k203,a), A/A_M for N ≡ 2 (mod 4) (row k204) and A′/A′_M for N ≡ 0 (mod 4) (row k304). We prove them for trajectories of least period N, every winding number and every point M, real or complex (the two ratios wherever they are defined). For k203,a we use a Jacobi parametrisation of the family, in which the product is an elliptic function of the phase. Its possible poles lie at the poles of the vertices and at the points where a side normal is isotropic; these two sets are disjoint exactly when N is odd or divisible by 4, an order-reversing symmetry makes each factor vanish at the poles of the other, and Liouville's theorem concludes. For N ≡ 2 (mod 4) we prove A_M = κ(M)A, and for the outer polygon with N ≡ 0 (mod 4) we prove A′_M = κ′(M)A′, where κ and κ′ are quadratic in M with positive constant terms. So the ratios are constant wherever κ(M) ≠ 0, resp. κ′(M) ≠ 0; the exceptional set can be a real circle in star families (an exact example with N = 8 for the outer polygon). For even N the part of A_M that is linear in M vanishes. The rows are due to Reznik, Garcia and Koiller, and the parametrisation is Stachel's. The case M = O of k203,a is in an earlier note of the author, and the dependence of A′_M on M for every even N was proved by Kriebel; for k304 only the constancy of A′/A′_O for N ≡ 0 (mod 4) is new. 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",
    "pedal polygon",
    "outer polygon",
    "signed area",
    "Jacobi elliptic functions",
    "Liouville theorem",
    "Reznik–Garcia–Koiller invariants",
    "UnsolvedMath",
    "AMR-050-0011",
    "AMR-050-0013",
    "AMR-050-0016",
    "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-0011/",
  "pdf_url": "https://eulersolve.org/papers/amr-050-0011/paper.pdf?v=5c54d3e2e525",
  "doi": "10.5281/zenodo.23400541",
  "zenodo_record_url": "https://zenodo.org/records/23400541",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Three rows of the Reznik-Garcia-Koiller list of invariants of N-periodic billiard trajectories in an ellipse (records AMR-050-0011, -0013 and -0016) are proved for every point M, real or complex: A times A_M is constant for N divisible by 4, and A_M and A'_M are fixed multiples of A and A' for the stated N, so the ratios are constant wherever defined; the M-dependence of A'_M is due to Kriebel.",
  "files": {
    "paper.pdf": {
      "sha256": "5c54d3e2e525d794fec25be6ec1a929eaccc95e2332b0ae6ee0ed780e46098a0"
    },
    "source.zip": {
      "sha256": "00e65c5b9b5b171431afd3b9b33217de9e1b02237fd79770c624b3394f5fda24"
    },
    "verification_report.md": {
      "sha256": "affacb819194c1d4c78b0fe13f4ddf97418d7aed717b09870a40f8de5f544e51"
    }
  },
  "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."
}