在三角形ABC中,令B=(0,0),C=(1,0)
s=tan(B/2);t=tan(C/2);经计算各点坐标如下
A=[-(t*(s^2 - 1))/(- s^2*t - s*t^2 + s + t), (2*s*t)/(- s^2*t - s*t^2 + s + t)]
H =[-(t*(s^2 - 1))/(- s^2*t - s*t^2 + s + t), ((s^2 - 1)*(t^2 - 1))/(2*(- s^2*t - s*t^2 + s + t))]
Be =[s/(s + t), (s^2*t^2 + s^2 + 2*s*t + t^2 - 1)/(2*(- s^2*t - s*t^2 + s + t))]
对称点
N=[(s*(t^2 + 2*s*t - 1))/(- s^2*t + s*t^2 + s - t) + 1, 0]
代入软件计算可得结论成立