| Statement | Reason |
| 1. WA perpendicular to ZY | Given |
| 2. XB perpendicular ZY | Given |
| 3. ZA = YB | Given |
| 4. < ZAW = < YBX | All perpendicular angles equal 90 degrees |
| 5. WA = XB | Opposite sides of a rectangle are equal |
| 6. triangle ZAW = triangle YBX | SAS property |
| 7. ZW = YX | CPCTC |
| 8. trapezoid WXYZ is isosceles | nonparallel sides are congruent |