Gọi I, K thứ tự là các điểm đối xứng của trực tâm H của tam giác ABC qua các cạnh AB, AC.
Có I, K thuộc (O) và DE là đường trung bình của tam giác HIK $\Rightarrow DE//IK$.
Có tứ giác BCDE nội tiếp, suy ra $\measuredangle DBE=\measuredangle DCE$
Xét (O), có $\measuredangle DBE=\measuredangle DCE$, suy ra 2 cung AI; AK bằng nhau.
suy ra OA vuông góc với IK. suy ra OA vuông góc với DE.