411 REFERENCE · Wiktionary
Morley's trisector theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named for Anglo-American mathematician Frank Morley, who discovered it in 1899.
Proper noun
en geometry A theorem stating that in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle.
en 1989 Paul Gochet; Eric Grégoire; et al From Modal Logic to Deductive Databases https://books.google.com.au/books?id=ymglAAAAMAAJ&q=%22Morley%27s+trisector+theorem%22&dq=%22Morley%27s+trisector+theorem%22&hl=en&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwiC-Oyg6pLtAhVUwTgGHYcHBm8Q6AEwNHoECFMQAg 8 Wiley 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, Lecture Notes in Artificial Intelligence 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.
Synonyms
theorem of geometry en Morley's theorem
Related terms
en Morley triangle
Translations
theorem of geometry
French: fr théorème de Morley m
Italian: it teorema di Morley m
en eponyms