Generalizing The Morley Trisector and Various Theorems with Realizability Computations

2016/03/10 by Eric Braude, Eric J. Braude, Braude, Eric J.
Computer Science · Mathematics · #History and Theory of Mathematics #Mathematics and Applications #Matrix Theory and Algorithms #acm:68U05 #cs.CG #msc:68U05

paper · pdf · doi:10.48550/arxiv.1603.03463

23 pages, 21 figures

arxiv created 2016/03/10 · arxiv updated 2016/03/14

Abstract

An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of constraint satisfaction.

Related

• On some extensions of Morley's trisector theorem
• On the Morley's triangle
• Morley Trisectors and the Law of Sines with Reflections
• A list of problems in Plane Geometry with simple statement that remain unsolved
• An Attack on Flexibility and Stoker's Problem