Xét $\Delta OAB$ và $\Delta OCD$ ta có:

OA = OC (giả thiết)

$\widehat{AOB}=\widehat{COD}$ (hai góc đối đỉnh)

OB = OD (giả thiết)

Do đó, $\Delta OAB = \Delta OCD$ (c . g . c).

Suy ra AB = DC và $\widehat{BAO}=\widehat{OCD}$ hay $\widehat{BAC}=\widehat{ACD}$.

Mà hai góc này ở vị trí so le trong, do đó AB // DC (1).

Xét $\Delta OAD$ và $\Delta OCB$ ta có:

OA = OC (giả thiết)

$\widehat{AOD}=\widehat{BOC}$ (hai góc đối đỉnh)

OD = OB (giả thiết)

Do đó, $\Delta OAD = \Delta OCB$ (c . g . c).

Suy ra AD = BC và $\widehat{OAD}=\widehat{OCB}$ hay $\widehat{CAD}=\widehat{ACB}$.

Mà hai góc này ở vị trí so le trong nên AD // BC (2).

Từ (1) và (2) suy ra tứ giác ABCD là hình bình hành.

Ta có: OA = OC = OB = OD, AC = OA + OC, BD = OB + OD.

Do đó, AC = BD.

 Xét tam giác ABD và tam giác DCA có:

AB = DC (chứng minh trên)

AD cạnh chung

BD = AC (chứng minh trên)

Do đó, $\Delta ABD = \Delta DCA$ (c . c . c).

Suy ra $\widehat{BAD}=\widehat{CDA}$

Lại có: $\widehat{BAD}+\widehat{CDA}=180^{\circ}$ (do AB // DC, hai góc ở vị trí trong cùng phía)

Do đó: $\widehat{BAD}=\widehat{CDA}=180^{\circ} / 2 = 90$

Vậy hình bình hành ABCD có một góc vuông nên nó là hình chữ nhật.