We have a quadrilateral ABCD such that the diagonal's AC and BD bisect each other at right angles at O.
In ΔAOB & ΔAOD we have
AO=OA (common)
OB=OD (given AC & BD bisect at O)
∠AOB=∠AOD (each is 900)
∴ ΔAOB≅ΔAOD by the SAS congruence criterion.
⇒ Their corresponding parts are equal AB=AD⟶(1)
Similarly ΔAOD and ΔOCD are congruent by a SAS congruence
criterion ⇒AD=CD (corresponding parts) ⟶(2)
Again, ΔCOD and ΔCOB are congruent by a similar SAS congruence
criterion ⇒CD=CB (corresponding parts) ⟶(3)
Also, ΔCOB and ΔAOB are congruent by SAS congruence criterion ⇒BC=AB (corresponding parts) ⟶(4)
Combining (1),(2),(3),(4) we have
AB=BC=CD=DA.
Thus quadrilateral ABCD is a rhombus.