The Steiner-Lehmus equal bisectors theorem originated in the mid 19th century. Despite its age, it would have been accessible to Euclid and his contemporaries. The theorem remains evergreen, with new proofs continuing to appear steadily. The theorem has fostered discussion about the nature of proof itself, direct and indirect. Here we continue the momentum by providing a trigonometric proof, relatively short, based on an analytic estimate that leverages algebraic trigonometric identities. Many proofs of the theorem exist in the literature. Some of these contain key ideas that already appeared in C.L. Lehmus' 1850 proofs, not always with citation. In the aim of increasing awareness of and making more accessible Lehmus' proofs, we provide an annotated translation. We conclude with remarks on different proofs and relations among them.
Christoph Börgers
,
Eric L. Grinberg
,
Mehmet Orhon
,
Junhao Shen
. ECHOS OF THE STEINER-LEHMUS EQUAL BISECTORS THEOREM[J]. Acta mathematica scientia, Series B, 2025
, 45(1)
: 257
-263
.
DOI: 10.1007/s10473-025-0120-z
[1] Bauer A. Five stages of accepting constructive mathematics. Bull Amer Math Soc, 2017, 54: 481-498
[2] Coxeter H S M, Greitzer S L. Geometry Revisited. Washington: Mathematical Association of America, 1967
[3] Gilbert G, MacDonnell D. Classroom Notes: The Steiner-Lehmus Theorem. Amer Math Monthly, 1961, 70(1): 79-80
[4] Hajja M. Stronger forms of the Steiner-Lehmus theorem. Forum Geom, 2008, 8: 157-161
[5] Nicula V, Pohoată C. A stronger form of the Steiner-Lehmus theorem. Journal for Geometry and Graphics, 2009, 13}(1): 25-27
[6] Ostermann A, Wanner G. Geometry by Its History. Heidelberg: Springer-Verlag, 2012
[7] Oláh-Gál R, Sándor J. On trigonometric proofs of the Steiner-Lehmus theorem. Forum Geom, 2009, 9: 155-160
[8] Ren D L. Topics in Integral Geometry. Singapore: World Scientific, 1994
[9] Thébault V. Sur le triangle isoscéle. The Math Gazette, 1937, 21(242): 52-53
