数学物理学报(英文版) ›› 2025, Vol. 45 ›› Issue (1): 257-263.doi: 10.1007/s10473-025-0120-z

• • 上一篇    下一篇

ECHOS OF THE STEINER-LEHMUS EQUAL BISECTORS THEOREM

Christoph Börgers1, Eric L. Grinberg2, Mehmet Orhon3, Junhao Shen4   

  1. 1. Department of Mathematics, Tufts University, Medford, MA 02155, USA;
    2. Department of Mathematics, University of Massachusetts Boston, Boston MA 02125, USA;
    3. Department of Mathematics & Statistics, University of New Hampshire, Durham, NH 03824, USA;
    4. Department of Mathematics & Statistics, University of New Hampshire, Durham, NH 03824, USA
  • 收稿日期:2024-09-30 发布日期:2025-02-06
  • 作者简介:Christoph Börgers, E-mail,: cborgers@tufts.edu; Eric L. Grinberg, E-mail,: eric.grinberg@umb.edu; Mehmet Orhon, E-mail,: mo@unh.edu; Junhao Shen, E-mail,: Junhao.Shen@unh.edu

ECHOS OF THE STEINER-LEHMUS EQUAL BISECTORS THEOREM

Christoph Börgers1, Eric L. Grinberg2, Mehmet Orhon3, Junhao Shen4   

  1. 1. Department of Mathematics, Tufts University, Medford, MA 02155, USA;
    2. Department of Mathematics, University of Massachusetts Boston, Boston MA 02125, USA;
    3. Department of Mathematics & Statistics, University of New Hampshire, Durham, NH 03824, USA;
    4. Department of Mathematics & Statistics, University of New Hampshire, Durham, NH 03824, USA
  • Received:2024-09-30 Published:2025-02-06
  • About author:Christoph Börgers, E-mail,: cborgers@tufts.edu; Eric L. Grinberg, E-mail,: eric.grinberg@umb.edu; Mehmet Orhon, E-mail,: mo@unh.edu; Junhao Shen, E-mail,: Junhao.Shen@unh.edu

摘要: 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.

关键词: Steiner-Lehmus theorem, equal bisectors

Abstract: 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.

Key words: Steiner-Lehmus theorem, equal bisectors

中图分类号: 

  • 51M04