用角元式
设三顶点为ABC
对应的外角平分线与边的焦点为EDF（顺序乱的 凑或以下）
即证sinACF/sinBCF*sinBAE/sinCAE*sinCBD/sinABD=1
设A=a,B=b,C=c(a,b,c为度数)
则sinACF/sinBCF=sin((a+b)/2)/sin((2c+a+b)/2
同理全部带入 经过最简单的三角带换即得证