I am trying to solve this question in my own (Euclidean) way but was not successful. The question is interesting because the given is simple enough and therefore its solution should not be that difficult.
I think, it will be completely solved if we can prove that:-
KO extended (where O is the circum-center of ⊿ABC) meets AH extended right at the circum-circle.
Or equivalently, can we show that the mentioned intersection point is con-cyclic with A, B, and C.
I tried angle chasing and got the following:-
Alternate method that I have tried:-
Note that I am asking a different question though the given is the same.
I hope the proof need not go through showing that AK // BC.


