Cho hai đoạn thẳng AC và BD cắt nhau tại điểm O sao cho OA = OB = OC = OD như Hình 4.30. Chứng minh ABCD là hình chữ nhật.