Meaning of Morley's trisector theorem | Babel Free

Definitions

A theorem stating that in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle.

Equivalents

Examples

“Among the theorems proved by Wu's method are Simon's theorem, the nine point circle theorem, Pascal's theorem, Feuerbach's theorem, Morley's trisector theorem and Thébault's conjecture which was open over forty years and was proved only in 1983.”

“1996, Dongming Wang, GEOTHER: A Geometry Theorem Prover, M. A. McRobbie, J. K. Slaney (editors), Automated Deduction - Cade-13: 13th International Conference, Proceedings, Springer, LNAI 1104, page 166, The provers are practically efficient: a number of difficult theorems including Morley's trisector theorem, Thebault's recently confirmed conjecture and MacLane's non-existence of real 83 configuration have been proved by them in the matter of seconds.”

CEFR level