If the diagonals of a quadrilateral are equal and bisect each other at right angles, then prove that it is a square.
In ∆AOB and ∆COD, we have
AO = OC [Given]
BO = OD [Given]
∠AOB = ∠COD [Vertically opposite angles]
So, ∆AOB ≅ ∆COD, by S.A.S axiom of congruency (1 mark)
By C.P.C.T, we have
AB = CD
and ∠OAB = ∠OCD
But these are alternate angles
AB || CD (1 mark)
Thus, ABCD is a parallelogram
In a parallelogram, the diagonal bisect each other and are equal
Hence, ABCD is a square. (1 mark)