△ABC中,令
B=0;C=1
Z1=cos(∠ABC)+sin(∠ABC)*i;
Z2=cos(∠ACB)+sin(∠ACB)*i;
计算可得
D =((Z1 - 1)*(Z2 + 1))/(2*(Z1*Z2 - 1))
O1 =(Z1^2*(Z2 + 1)*(Z1*Z2 - 2*Z2 + 1))/(2*(Z1^2*Z2^2 - 1)*(Z1 - 1))
O2 =-(- 2*Z1^2*Z2^3 + 2*Z1^2*Z2^2 + Z1^2*Z2 - Z1*Z2 + Z1 - 1)/(2*(Z1^2*Z2^2 - 1)*(Z2 - 1))
F =(Z1 - 1)/(2*Z1*Z2 + 2) + 1/2
E =1 - (Z1 + 1)/(2*Z1*Z2 + 2)
代入公式可知结论成立

和D是旁切点没有关系O1是AFDB圆心就结束了