McGraw Hill Integrated II, 2012
MH
McGraw Hill Integrated II, 2012 View details
4. Indirect Proof
Continue to next subchapter

Exercise 13 Page 441

An indirect proof starts with the assumption that the statement we are trying to prove is not true.

The lines are not parallel.

Practice makes perfect
An indirect proof starts with the assumption that the statement we are trying to prove is not true. In this case, the conclusion of the conditional statement is that the lines are parallel. The negation of this statement is that the lines are not parallel.

The lines areparallel. ⇓ The lines are notparallel. Finally, we can state the assumption we would make to start the indirect proof. Assumption: The lines are not parallel.