Ta có: (góc nội tiếp chắn nửa đường tròn). Suy ra (cùng bù với ).

Gọi là trung điểm của .

Xét vuông tại có là đường trung tuyến ứng với cạnh huyền nên

Xét vuông tại có là đường trung tuyến ứng với cạnh huyền nên

Do đó, nên bốn điểm cùng thuộc một đường tròn tâm đường kính .