Geometry Degree of Freedom

This site hosts notes about a polygon ratio problem and its modern proof workflows.

Notebook summaries

1. Part 1~4: Polygon Ratio Problem - A collected set of geometric proofs for the classic ratio identity, plus a discussion of degrees of freedom and a one-parameter generalization using an ellipse model.
2. Part 5: SymPy Wu and Groebner polynomial reduction - A coordinate-geometry encoding in SymPy that constructs the configuration and algebraically the ratio.
3. Part 6Newclid Methods - An overview of modern automated geometry provers with a Newclid-driven proof attempt, highlighting how auxiliary constructions and symbolic deduction are used in practice.
4. Part 7: Aristotle polygon ratio notes - Notes on applying the Aristotle prover workflow to the polygon ratio problem.

Download PDF - For offline reading; interactive elements may be disabled in the PDF.