Email Gateway (Apr 02 2025 at 00:28): Email Gateway (Apr 02 2025 at 00:28):From: Manuel Eberl <manuel@pruvisto.org>
Hello,
we have another entry in Freek's "Top 100 theorems" list:
Morley's Theorem
by Benjamin Puyobro
Morley's trisector theorem states that in any triangle, the three points
of intersection of the adjacent angle trisectors form an equilateral
triangle, called the first Morley triangle or simply the Morley
triangle. This theorem is listed in the 100 theorem list. In this
theory, we define some basics elements on complex geometry such as axial
symmetry, rotations. We also define basic property of congruent
triangles in the complex field following the model already presented in
the afp. In addition we demonstrate sines law in the complex context.
Finally we prove the Morley theorem using Alain Connes's proof.
https://www.isa-afp.org/entries/Morley_Theorem.html
Enjoy!
Manuel
Last updated: Apr 17 2025 at 20:22 UTC