Let
ABCD be a quadrilateral, where diagonals bisect each other
∴ OA=OC ---- ( 1 )
And OB=OD ---- ( 2 )
And they bisect at right angles
∴ ∠AOB=∠BOC=∠COD=∠AOD=90o ------ ( 3 )
In △AOD and △COD,
OA=OC [ From ( 1 ) ]
∠AOD=∠COD [ From ( 3 ) ]
OD=OD [ Common side ]
∴ △AOD≅△COD [ SAS congruence rule ]
⇒ AD=CD ---- ( 4 ) [ CPCT ]
Similarly, we can prove that
AD=AB and AB=BC ----- ( 5 )
From ( 4 ) and ( 5 )
⇒ AD=CD=AB=BC
In quadrilateral ABCD,
AB=CD and AD=BC
Both pairs of opposite sides are equal
∴ ABCD is a parallelogram.
Also, AB=CD=AD=BC
All sides of parallelogram ABCD are equal
∴ ABCD is a rhombus.