Xét `(O)` có:

`A, B, C, D` cùng thuộc `(O) =>` Tứ giác `ACBD` nội tiếp `(O)`

`=>``\hat{ACB}``=``\hat{CAD}``=``\hat{ADB}``=``\hat{DBC}``=90^@`(góc nội tiếp chắn nửa đtròn)

mà tứ giác ACBD có hai đường chéo AB = CD  và cắt nhau tại trung điểm của mỗi đường.

`=>` Tứ giác `ACBD` là hình chữ nhật. (đpcm)