Morley's trisector theorem en · PROPN
Etymology
Named for Anglo-American mathematician Frank Morley, who discovered it in 1899.
Meanings
-
A theorem stating that in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle.
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.
1989, Paul Gochet, Eric Grégoire, et al., From Modal Logic to Deductive Databases, Wiley, page 8: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.
Relateds
Synonyms
Morley's theorem (theorem of geometry)
Translations (2)
fr théorème de Morley (theorem of geometry) · it teorema di Morley (theorem of geometry)