Table of Contents | Introduction | Home P l a n e G e o m e t r y An Adventure in Language and Logic based on PROOF BY CONTRADICTIONThe Indirect MethodBook I. Proposition 6THE NEXT PROPOSITION is the converse of Proposition 5. We will prove that if two angles of a triangle are equal, then the sides opposite them will be equal. At this point however in the sequence of definitions and theorems, there are but two ways of proving straight lines equal. Either they are radii of a circle, or they are corresponding sides of congruent triangles (S.A.S.). Neither of those conditions will apply here. Therefore we must employ the method called proof by contradiction. It is also called the indirect method of proof. We could also call it, "proof by consequences"! Suppose, then, we want to conclude that statement a is true. Then we take as our hypothesis that a is false, and we see the consequences of that. We show in fact how that leads to an absurd conclusion -- that 2 is less than 1. But when the conclusion is false, the hypothesis must be false. (Introduction to logic, Problem 19c.) Statement a, therefore, is not false; it is true. Proof by contradiction has been historically known as reductio ad absurdam. PROPOSITION 6. THEOREM
From now on, we will conclude a theorem with the traditional Q.E.D., and a problem with Q.E.F. Hence to prove that AB is equal to AC, we show that its contradiction -- AB is not equal to AC -- leads to an absurdity. This is proof by contradiction. A direct proof of this proposition will have to wait until we can both bisect an angle and prove congruence by Side-angle-angle. This proposition provides a third way of knowing that straight lines are equal. Do you recall the other two ways? (See Problem 4.) Please "turn" the page and do some Problems. or Continue on to the next proposition. Table of Contents | Introduction | Home Please make a donation to keep TheMathPage online. Copyright © 2015 Lawrence Spector Questions or comments? E-mail: themathpage@nyc.rr.com |