Let ABCD be the quadrilateral and its diagonals are equal.
∴ AC=BD ----- ( 1 )
Diagonals bisect each other at right angles.
⇒ OA=OC and OB=OD ----- ( 2 )
⇒ ∠AOB=∠BOC=∠COD=∠AOD=90o ----- ( 3 )
In △AOB and △COB,
⇒ OA=OC [ From ( 2 ) ]
⇒ ∠AOB=∠COB [ From ( 3 ) ]
⇒ OB=OB [ Common side ]
∴ △AOB≅△COB [ SAS congruence rule ]
∴ AB=CB [ CPCT ]
Similarly we can prove
△AOB≅△DOA, so AB=AD
and △BOC≅△COD, so CB=DC
So, AB=AD=CB=DC
Now we can say that
⇒ AB=CD and AD=BC
In ABCD, both pairs of opposite sides are equal.
∴ ABCD is a parallelogram.
In △ABC and △DCB,
⇒ AC=BD [ From ( 1 ) ]
⇒ AB=DC [ Opposite sides of parallelogram are equal ]
⇒ BC=CB [ Common side ]
∴ △ABC≅△DCB [ SSS Congruence rule ]
⇒ ∠ABC=∠DCB [ CPCT ] ---- ( 4 )
Now, AB∥CD and BC is transveral [ Opposite sides of parallelogram are equal ]
⇒ ∠B+∠C=180o [ Sum of adjacent angles in parallelogram is supplementary ]
⇒ ∠B+∠B=180o [ From ( 4 ) ]
⇒ 2∠B=180o
∴ ∠B=90o
Thus, ABCD is a parallelogram with all sides equal and one angle 90o.
So, ABCD is a square.