Direct and indirect methods of proof. The Lehmus-Steiner theorem
  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. 
Vesselka Mihova and Julia Ninova
math.HO