Xét `(O)`:

`A,B,C,D in (O)` `->` Tứ giác `ACBD` nội tiếp đường tròn `(O)`

`=> hat(ACB) = hat(DAC) = hat(BDA) = hat(DBC) = 90^o` ( góc nội tiếp chắn nửa đường tròn)

Mà Tứ giác `ACBD` có hai đường chéo `AB` và `CD` bằng nhau và cắt nhau tại trung điểm mỗi đường nên:

`->` Tứ giác `ACBD` là hình chữ nhật.