Direct and indirect methods of proof. The Lehmus-Steiner theorem

2014/10/28 by Mihova, Vesselka, Ninova, Julia
#FOS: Mathematics #History and Overview (math.HO) #Primary 51F20 #Secondary 51M15

paper · doi:10.48550/arxiv.1410.7526

Abstract

In the paper different kinds of proof of a given statement are discussed. Detailed descriptions of direct and indirect methods of proof are given. Logical models illustrate the essence of specific types of indirect proofs. Direct proofs of Lehmus-Steiner's Theorem are proposed.

Related

• 109.48 A generalisation and proof of the Steiner–Lehmus Theorem
• A Machine-Checked Direct Proof of the Steiner-Lehmus Theorem
• The Schwarz-Pick Lemma as a Consequence of the Ahlfors-Schwarz-Pick Lemma
• A remark on a recent proof of Lehmer's Conjecture [arXiv:1709.03771]
• An alternative to back-and-forth