Ta có: AHC^=900(vì AH⊥BC) và AEC^=900(vì AE⊥EC)

Xét tứ giác AHCE có E, H là hai đỉnh kề nhau cùng nhìn cạnh AC dưới một góc α=900AHC^=AEC^=900

Suy ra tứ giác AHCE là tứ giác nội tiếp . Tâm O của đường tròn ngoại tiếp tứ giác AHCE là trung điểm của cạnh AC.