A parallelogram is defined as a quadrilateral where the two opposite sides are parallel. One of the properties of parallelograms is that the opposite angles are congruent, as we will now show.

## Problem

ABCD is a parallelogram, AD||BC and AB||DC. Prove that ∠BAD ≅ ∠DCB and that ∠ADC ≅ ∠CBA

## Strategy

There are two ways to go about this. The first is to use congruent triangles to show the corresponding angles are congruent, the other is to use the Alternate Interior Angles Theorem and apply it twice.

Let’s use congruent triangles first because it requires less additional lines. Draw the diagonal BD, and we will show that ΔABD and ΔCDB are congruent.

To show these two triangles are congruent we’ll use the fact that this is a parallelogram, and as a result, the two opposite sides are parallel, and the diagonal acts as a transversal line.

The diagonal is a common side, and it is also a transversal that intersects both pairs of opposite sides of the parallelogram – creating two pairs of congruent alternate interior angles.

The triangles ΔABD and ΔCDB are congruent based on the angle-side-angle postulate, and we can show that the opposite angles of the parallelogram are congruent as corresponding angles (using the angle addition theorem for one of the pairs).

## Proof

(1) ABCD is a parallelogram //Given

(2) AD || BC //From the definition of a parallelogram

(3) ∠ADB ≅ ∠CBD //Alternate Interior Angles Theorem

(4) AB || DC //From the definition of a parallelogram

(5) ∠DBA ≅ ∠CDB //Alternate Interior Angles Theorem

(6) BD= BD // Common side, reflexive property of equality

(6) ΔABD ≅ ΔCDB // (3), (6), (5) Angle-Side-Angle postulate

(6) ∠BAD ≅ ∠DCB // Corresponding angles in congruent triangles (CPCTC)

(7) m∠ADC = m∠ADB+m∠BDC //angle addition theorem

(8) m∠CBA = m∠CBD+m∠DBA //angle addition theorem

(9) m∠ADC = m∠CBD+m∠BDC //(3), (7), substitution

(10) m∠ADC = m∠CBD+m∠DBA //(5), (9), substitution

(11) m∠CBA = m∠ADC //(10), (8), transitive property of equality

(12) ∠CBA ≅ ∠ADC //(11), definition of congruent angles

## Another way to prove this

Now let’s do it the other way, without triangle congruency. We’ll draw the other diagonal, AC:

Both diagonals, AC And BD, are transversal lines the intersect both sets of parallel lines, each creating two sets of equal, alternating interior angles, and with the angle addition postulate, the sum of these partial angles is equal.

There are a lot of equations in what follows because I am proving it in a very formal way. But for simplicity’s sake, what I am doing is this:

The angles marked with one arc (black ones and red ones) are equal to each other (single black arc equal to single black arc, singe red arc equal to single red arc). The angels marked with two arcs are equal to each other (double black arcs equal to double black arcs, double red arcs equal to double red arcs).

So adding up single black arc with double black arc on opposite sides of the parallelogram gives equal angels, and adding up single red arcs with double red arcs on opposite sides of the parallelogram also gives equal angels.

So, starting with diagnoal BD, as above:

(1) ABCD is a parallelogram //Given

(2) AD || BC //From the definition of a parallelogram

(3) ∠ADB ≅ ∠CBD //Alternate Interior Angles Theorem

(4) AB || DC //From the definition of a parallelogram

(5) ∠DBA ≅ ∠CDB //Alternate Interior Angles Theorem

And now, with diagonal AC:

(6) ∠DAC≅ ∠BCA //Alternate Interior Angles Theorem

(7) ∠BAC≅ ∠DCA //Alternate Interior Angles Theorem

and adding partial angles up with the angle addition theorem:

(8) m∠ADC = m∠ADB+m∠BDC //angle addition theorem

(9) m∠CBA = m∠CBD+m∠DBA //angle addition theorem

(10) m∠ADC = m∠CBD+m∠BDC //(3), (8), substitution

(11) m∠ADC = m∠CBD+m∠DBA //(5), (10), substitution

(12) m∠CBA = m∠ADC //(11), (9), transitive property of equality

(13) ∠CBA ≅ ∠ADC //(11), the definition of congruent angles

And we can do the same for the other set of angles.

(14) m∠BAD = m∠BAC+m∠CAD //angle addition theorem

(15) m∠DCB = m∠DCA+m∠ACB //angle addition theorem

(16) m∠BAD = m∠DCA+m∠CAD //(7), (14), substitution

(17) m∠BAD = m∠DCA+m∠ACB //(6), (16), substitution

(18) m∠BAD = m∠DCB //(15), (17), transitive property of equality

(19) ∠BAD ≅ ∠DCB //(18), the definition of congruent angles