我用解析法计算可以得到HK=HL，哪位英雄有更好的解法？
【 在 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四点共圆
: --
: 发信人: WilliamWW (时刻准备弃离水木), 信区: Universal
: ..................
发自「今日水木 on iPhone 13 Pro」
--
FROM 183.192.100.87