Y by Mango247
Let the triangle ABC have H, O be the orthocenter and the circumcenter of ABC respectively. The line through H parallel to OA intersects AB at D . The perpendicular bisector of BC intersects AB, AC at E, F. Let K be the circumcenter of the triangle DEF. Prove that AK is perpendicular to OH