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

zbMath1474.51009arXiv1410.7526MaRDI QIDQ4994193

Julia Ninova, Vesselka Mihova

Publication date: 17 June 2021

Full work available at URL: https://arxiv.org/abs/1410.7526

zbMATH Keywords

logical modelsStewart's theoremdirect and indirect methods of proofdirect proof of the Lehmus-Steiner theorem

Mathematics Subject Classification ID

Geometric constructions in real or complex geometry (51M15) Congruence and orthogonality in metric geometry (51F20)

Cites Work

• Unnamed Item
• Composition of inverse problems with a given logical structure
• On a generalization of criteria A and D for congruence of triangles
• “The equal internal bisectors theorem, 1840-1940. … Many solutions or none?” A centenary account

This page was built for publication: Direct and indirect methods of proof. The Lehmus-Steiner theorem