不等边锐角△ABC的外心为O，垂心为H，AH再次交圆O于D点，AC、AB的中点分别为E、F，过H作HE的垂线交BC于K，DK再次交圆O于Y，BK的中垂线与BY交于点I。求证：O、E、Y、I四点共圆
--
修改:knup FROM 111.199.189.*
FROM 111.199.190.*