 |
| Theorem 1 |
 |
| |
| The diagonals of a parallelogram bisect each other. |
| |
 |
| |
| |
| ABCD is a parallelogram in which diagonals AC and BD |
| |
| intersect each other at O. |
| |
| |
| The diagonals AC and BD bisect each other i.e, AO=OC and BO=DO. |
| |
| |
| |
| AB||CD (by definition of parallelogram) |
| |
| AC is a transversal. |
| |
| |
| |
 |
| |
| (alternate angles are equal in a parallelogram) |
| |
| Also AB=DC (opposite sides are equal in a parallelogram) |
| |
| Now in D AOB and D COD, |
| |
| AB=DC (opposite sides of parallelogram are equal) |
| |
(proved by (i)) |
| |
 |
| |
| |
D AOB D COD (AAS congruency condition) |
| |
AO=OC and OB=OD (corresponding parts of congruent triangles are congruent) |
| |
| |
| i.e., the diagonals of a parallelogram bisect each other. |
| |
| We have proved one of the properties of a parallelogram by logical deductions. |
| |