这题只要猜到CIX共线基本就出来了
我原来是想证BIY共线，但BIY共线和要证的四点共圆是等价的，不是特别好搞
最后干脆到处倒角算了
【 在 laomm 的大作中提到: 】
: CIX BIY都是三点共线，所以XY是劣弧的中点，所以两边都是四点共圆
:
--
FROM 123.114.93.*