Skip to main content

Section 3.3 Proofs of Biconditional Statements

One of the logical equivalencies in Theorem 1.1 is the following one for biconditional statements.

(PQ)(PQ)(QP)

This logical equivalency suggests one method for proving a biconditional statement written in the form “P if and only if Q.” This method is to construct separate proofs of the two conditional statements PQ and QP.

We will illustrate this with a proposition about right triangles.

Recall that the Pythagorean Theorem for right triangles states that if a and b are the lengths of the legs of a right triangle and c is the length of the hypotenuse, then a2+b2=c2 . We also know that the area of any triangle is one-half the base times the altitude. So for the right triangle we have described, the area is A=12ab.

Proof.

We assume that we have a right triangle where a and b are the lengths of the legs of a right triangle and c is the length of the hypotenuse. We will prove that this right triangle is an isosceles triangle if and only if the area of the right triangle is 14c2 by proving the two conditional statements associated with this biconditional statement.

We first prove that if this right triangle is an isosceles triangle, then the area of the right triangle is 14c2. So we assume the right triangle is an isosceles triangle. This means that a=b, and consequently, A=12a2. Using the Pythagorean Theorem, we see that

c2=a2+a2=2a2.

Hence, a2=12c2, and we obtain A=12a2=14c2. This proves that if this right triangle is an isosceles triangle, then the area of the right triangle is 14c2.

We now prove the converse of the first conditional statement. So we assume the area of this isosceles triangle is A=14c2 , and will prove that a=b. Since the area is also 12ab, we see that

14c2=12abc2=2ab

We now use the Pythagorean Theorem to conclude that a2+b2=2ab. So the last equation can be rewritten as follows:

a22ab+b2=0(ab)2=0.

The last equation implies that a=b and hence the right triangle is an isosceles triangle. This proves that if the area of this right triangle is A=14c2, then the right triangle is an isosceles triangle.

Since we have proven both conditional statements, we have proven that this right triangle is an isosceles triangle if and only if the area of the right triangle is 14c2.