vì tam giác ADC vuông tại D
mà O là trung điểm AC
suy ra OA = OD = OC (t/c tam giác vuông)
vì tam giác ABC vuông tại B
mà O là trung điểm AC
suy ra OA = OB = OC
kết hợp với trên, ta được OA = OB = OC = OD
suy ra O là tâm đường tròn ngoại tiếp tứ giác
suy ra 4 điểm A, B, C, D thuộc đường tròn tâm O đường kính AC