In an indirect proof you assume that the conclusion is false, and then attempt to arrive at a logical inconsistency thus showing that your assumption was wrong.

This uses the contrapositive: If p=>q then ~q => ~p; the two statements are logically equivalent.

Prove that an isosceles triangle cannot have an obtuse base angle:

Assume that there exists an isosceles triangle with an obtuse base angle. Since the triangle is isosceles, the base angles are congruent. Then two angles of the triangle have measure greater than 90 degrees. Regardless of the size of the vertex angle, the sum of the angles of this triangle is greater than 180 degrees. But this is impossible in Euclidean geometry.

Therefore the initial assumption, that an isosceles triangle has an obtuse base angle, must be false.

## See eNotes Ad-Free

Start your **48-hour free trial** to get access to more than 30,000 additional guides and more than 350,000 Homework Help questions answered by our experts.

Already a member? Log in here.