纯几何吧 关注：18,500贴子：97,816
- 3回复贴，共1页
不感兴趣
开通SVIP免广告
在三角形ABC中，令B=（0,0）,C=（1,0）
s=tan（B/2）;t=tan(C/2);经计算可得各点坐标
J=[(2*t*(6*s^3*t + 3*s^2*t^2 - s^2 - 6*s*t + t^2 + 1))/(9*s^3*t^2 + s^3 + 9*s^2*t^3 - 7*s^2*t - 7*s*t^2 + s + t^3 + t) - t/(s + t), - (s*t)/(s + t) - (4*s*t*(s - t)^2*(s*t - 1))/((- s^2*t - s*t^2 + s + t)*(9*s^2*t^2 + s^2 - 8*s*t + t^2 + 1))]
A1=[(t*(s^2 - 1))/(- s^2*t - s*t^2 + s + t) + (2*t*(t^2 + 2*s*t + 1))/((t^2 + 1)*(s + t)), (4*s*t)/((t^2 + 1)*(s + t)) - (2*s*t)/(- s^2*t - s*t^2 + s + t)]
B1=[(2*t)/(s + t), 0]
F1=[(t*(- s^2*t^2 + 3*s^2 + 4*s*t + t^2 + 1))/((s^2 + 1)*(t^2 + 1)*(s + t)), -(2*s*t*(t^2 + 2*s*t - 1))/((s^2 + 1)*(t^2 + 1)*(s + t))]
带入软件可得
A1B1垂直于JF1
s=tan（B/2）;t=tan(C/2);经计算可得各点坐标
J=[(2*t*(6*s^3*t + 3*s^2*t^2 - s^2 - 6*s*t + t^2 + 1))/(9*s^3*t^2 + s^3 + 9*s^2*t^3 - 7*s^2*t - 7*s*t^2 + s + t^3 + t) - t/(s + t), - (s*t)/(s + t) - (4*s*t*(s - t)^2*(s*t - 1))/((- s^2*t - s*t^2 + s + t)*(9*s^2*t^2 + s^2 - 8*s*t + t^2 + 1))]
A1=[(t*(s^2 - 1))/(- s^2*t - s*t^2 + s + t) + (2*t*(t^2 + 2*s*t + 1))/((t^2 + 1)*(s + t)), (4*s*t)/((t^2 + 1)*(s + t)) - (2*s*t)/(- s^2*t - s*t^2 + s + t)]
B1=[(2*t)/(s + t), 0]
F1=[(t*(- s^2*t^2 + 3*s^2 + 4*s*t + t^2 + 1))/((s^2 + 1)*(t^2 + 1)*(s + t)), -(2*s*t*(t^2 + 2*s*t - 1))/((s^2 + 1)*(t^2 + 1)*(s + t))]
带入软件可得
A1B1垂直于JF1
