Parallelogram proof (is my work here correct)?

One theorem states that if one angle of a parallelogram is a right angle, then the parallelogram is a rectangle. I did the following two column proof below to show this. Is it correct?

Suppose we have parallelogram ABCD where A = lower left vertex, B = upper left vertex, C = upper right vertex, and D = lower right vertex. Suppose A is the right angle given.

Statement/Reason

1. ABCD is a parallelogram/Given

2. m∠A = 90°/Given

3. m∠A ≅ m∠C/Definition of parallelogram

4. m∠A + m∠B = 180/Same side interior angles are supplementary.

5. m∠A ≅ m∠B/Subtraction property of equality

6. m∠B ≅ m∠D/Definition of parallelogram

7. ABCD is a rectangle/Definition of rectangle

The one I'm really worrying about is #5. Can I use subtraction property of equality to justify that? Or do I just use the given?

Re: Parallelogram proof (is my work here correct)?

Quote:

One theorem states that if one angle of a parallelogram is a right angle, then the parallelogram is a rectangle. I did the following two column proof below to show this. Is it correct?

Suppose we have parallelogram ABCD where A = lower left vertex, B = upper left vertex, C = upper right vertex, and D = lower right vertex. Suppose A is the right angle given.

Statement/Reason

1. ABCD is a parallelogram/Given

2. m∠A = 90°/Given

3. m∠A ≅ m∠C/Definition of parallelogram

4. m∠A + m∠B = 180/Same side interior angles are supplementary.

5. m∠A ≅ m∠B/Subtraction property of equality

6. m∠B ≅ m∠D/Definition of parallelogram

7. ABCD is a rectangle/Definition of rectangle

The one I'm really worrying about is #5. Can I use subtraction property of equality to justify that? Or do I just use the given?

A few comments and then my own solution:

First, I would combine steps 1 and 2, the given information.

Step 3 is not the definition of a parallelogram; it is a property of a parallelogram.

This is what I would do:

1. ABCD is a parallelogram, m∠A = 90° (Given)

2. m∠A ≅ m∠C (Opposite angles of a parallelogram are congruent)

3. m∠A + m∠B = 180° (Same side interior angles are supplementary)

4. m∠B = 90° (Substitution and subtraction property of equality)

5. m∠B = m∠D = (Opposite angles of a parallelogram are congruent)

6. m∠A = m∠B = m∠C = m∠D = 90° (Steps 1, 2, 4 and 5)

7. ABCD is a rectangle (Definition of rectangle,i.e., quadrilateral with 4 R angles)

Good luck!

-Andy