Morley's trisector theorem

DOI10.1515/forma-2015-0007zbMath1318.51007OpenAlexW2192244471MaRDI QIDQ491770

Roland Coghetto

Publication date: 19 August 2015

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0007

zbMATH Keywords

equilateral triangleEuclidean geometryMorley's trisector theorem

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Elementary problems in Euclidean geometries (51M04)

Related Items (1)

Altitude, orthocenter of a triangle and triangulation

Cites Work

• On Morley's trisector theorem
• Is John Conway's proof of Morley's theorem the simplest and free of a deus ex machina?
• Some facts about trigonometry and Euclidean geometry
• The Morley Trisector Theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Morley's trisector theorem