Proof Document of Angle trisection by Abe

ida

Preamble


Program


Subgoals


Notes


Geometric reasoning


Geometric relations


Equivalence


Collinearity

Algebraic transformation


Algebraic relations


Notes


Removal of inequalities and type declarations


Computation of Groebner basis


Result


Geometric reasoning


Geometric relations


Equivalence


Collinearity

Algebraic transformation


Algebraic relations


Notes


Removal of inequalities and type declarations


Computation of Groebner basis


Result


Conclusion

Proof by Groebner basis method is successful.

◼
  • Total CPU time used for Groebner basis computation is 0.878017 seconds.
    • ◼
  • The computation ended at 16: 1 on 2025/9/3..