一位竞赛老师的解答，46老师做出来的

【 在 knup 的大作中提到: 】
: 不等边锐角△ABC的外心为O，垂心为H，AH再次交圆O于D点，AC、AB的中点分别为E、F，过H作HE的垂线交BC于K，DK再次交圆O于Y，BK的中垂线与BY交于点X。求证：O、E、Y、X四点共圆


--
修改:S20060040 FROM 1.202.76.*
FROM 1.202.76.*