If two parallel lines are cut by a transversal, then the

Exs. 3, 4 In Example 2 and in all indirect proofs, the first statement takes the form “Suppose that . . .” or “Assume that . . .” By its very nature, such a statement cannot be supported even though every other state- ment in the proof can be justified; thus, when a contradiction is reached, the finger of blame points to the supposition. Having reached a contradiction, we may say that the claim involving has failed and is false; thus, our only recourse is to conclude that Q is true. Following is an outline of this technique. ~Q When the bubble displayed on the level is not centered, the board used in construction is neither vertical nor horizontal. Like the Law of Detachment from Section 1.1, the Law of Negative Inference Law of Contraposition is a form of deduction. Whereas the Law of Detachment characterizes the method of “direct proof ” found in preceding sections, the Law of Negative Infer- ence characterizes the method of proof known as indirect proof. INDIRECT PROOF You will need to know when to use the indirect method of proof. Often the theorem to be proved has the form , in which Q is a negation and denies some claim. For instance, an indirect proof might be best if Q reads in one of these ways: c is not equal to d 艎 is not perpendicular to m However, we will see in Example 4 of this section that the indirect method can be used to prove that line 艎 is parallel to line m. Indirect proof is also used for proving ex- istence and uniqueness theorems; see Example 5. The method of indirect proof is illustrated in Example 2. All indirect proofs in this book are given in paragraph form as are some of the direct proofs. In any paragraph proof, each statement must still be justified. Because of the need to order your statements properly, writing this type of proof may have a positive impact on the essays you write for your other classes P : Q EXAMPLE 2 GIVEN: In Figure 2.12, is not perpendicular to PROVE: and are not complementary PROOF: Suppose that and are complementary. Then because the sum of the measures of two complementary is 90. We also know that , by the Angle- Addition Postulate. In turn, by substitution. Then is a right angle. In turn, . But this contradicts the given hypothesis; therefore, the supposition must be false, and it follows that and are not complementary. 쮿 ∠2 ∠1 BA ⬜ BD ∠ABD m ∠ABD = 90° m ∠1 + m∠2 = m∠ABD ∠s m ∠1 + m∠2 = 90° ∠2 ∠1 ∠2 ∠1 BD BA 1 2 A C B D Figure 2.12 Geometry in the Real World