Details:
Title  Morley’s theorem revisited: Origami construction and automated proof  Author(s)  Fadoua Ghourabi, Asem Kasem, Hidekazu Takahashi, Thomas Uchida  Type  Article in Journal  Abstract  Morley’s theorem states that for any triangle, the intersections of its adjacent angle trisectors form an equilateral triangle. The construction of Morley’s triangle by the straightedge and compass method is impossible because of the wellknown impossibility result for angle trisection. However, by origami, the construction of an angle trisector is possible, and hence that of Morley’s triangle. In this paper we present a computational origami construction of Morley’s triangle and an automated correctness proof of the generalized Morley’s theorem. During the computational origami construction, geometrical constraints in symbolic representation are generated and accumulated. Those constraints are then transformed into algebraic forms, i.e. a set of polynomials, which in turn are used to prove the correctness of the construction. The automated proof is based on the Gröbner bases method. The timings of the experiments of the Gröbner bases computations for our proofs are given. They vary greatly depending on the origami construction methods, the algorithms for the Gröbner bases computation, and variable orderings.  Keywords  Morley’s theorem, Computational origami, Automated geometrical theorem proving, Gröbner bases  ISSN  07477171 
URL 
http://www.sciencedirect.com/science/article/pii/S0747717110001768 
Language  English  Journal  Journal of Symbolic Computation  Volume  46  Number  5  Pages  571  583  Year  2011  Note  Groebner Bases and Applications  Edition  0  Translation 
No  Refereed 
No 
