Is there a direct geometric proof of the Steiner-Lehmus theorem?
The author has written a lovely tribute to late John Conway (1937--2020) [\textit{O. A. S. Karamzadeh}, Math. Intell. 43, No. 2, 76--78 (2021; Zbl 1490.01053)]. In the article, Conway's interest in the classical question whether there is a direct proof of the Steiner-Lehmus theorem is discussed. In the article under review, which is actually a response to criticising comments concerning that article, the author gets to the point: ``if we insisted on complete directness for the proof of every basic theorem, then we would have to rewrite almost the whole of mathematics. Indeed, for me -- and I believe for most mathematicians -- short, indirect proofs are preferable to long and cumbersome formal direct proofs.
- A direct proof of the Steiner-Lehmus theorem
- Direct and indirect methods of proof. The Lehmus-Steiner theorem
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
- scientific article; zbMATH DE number 5539290
- Is John Conway's proof of Morley's theorem the simplest and free of a deus ex machina?
This page was built for publication: Is there a direct geometric proof of the Steiner-Lehmus theorem?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2154135)
