延长XY交BC于点P。
Pow(D,圆F)=DH*DA=BD*DC，Pow(P,圆F)=PY*PX=PC*PD
另一方面，Pow(P,圆F)-Pow(D,圆F)=PF^2-DF^2=DP^2
设BD=x,DC=y,CP=z，则(y+z)^2=(x+y+z)*z=>y(x+y+z)=xz，BD/DC=BP/PC，BDCP是调和点列，又DK⊥KP，所以KD平分∠BKC。
（最后一步，可以过D做JI⊥KD, 交BKKC于JI，JD/KP=BD/BP=DC/PC=DI/KP，所以JD=DI，KD平分∠BKC）
--
FROM 117.136.119.157