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

Xét cân tại (do ) có là đường trung tuyến nên cũng là đường cao của , suy ra tại , suy ra hay vuông tại .

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 .

Vì nên bốn điểm cùng thuộc đường tròn tâm  đường kính