在三角形ABC中，令B=（0,0）,C=（1,0）
s=tan（B/2）;t=tan(C/2);经计算
圆BHC与三角形ADE的A伪内切圆有唯一交点
J=[(t*(3*s^5*t^3 - s^5*t + s^4*t^4 - 13*s^4*t^2 + 2*s^4 - 8*s^3*t^3 + 16*s^3*t - 2*s^2*t^4 + 12*s^2*t^2 - 2*s^2 + 5*s*t^3 + s*t + t^4 + t^2))/((s + t)*(4*s^4*t^4 - 3*s^4*t^2 + s^4 - 18*s^3*t^3 + 6*s^3*t - 3*s^2*t^4 + 22*s^2*t^2 + s^2 + 6*s*t^3 - 2*s*t + t^4 + t^2)), (2*s*t*(- t*s^2 + 2*s + t)*(s^2*t^3 - s^2*t - 3*s*t^2 + s + 2*t)^2)/((- s*t^2 + 2*t + s)*(- s^2*t - s*t^2 + s + t)*(4*s^4*t^4 - 3*s^4*t^2 + s^4 - 18*s^3*t^3 + 6*s^3*t - 3*s^2*t^4 + 22*s^2*t^2 + s^2 + 6*s*t^3 - 2*s*t + t^4 + t^2))]
故两圆相切
s=tan（B/2）;t=tan(C/2);经计算
圆BHC与三角形ADE的A伪内切圆有唯一交点
J=[(t*(3*s^5*t^3 - s^5*t + s^4*t^4 - 13*s^4*t^2 + 2*s^4 - 8*s^3*t^3 + 16*s^3*t - 2*s^2*t^4 + 12*s^2*t^2 - 2*s^2 + 5*s*t^3 + s*t + t^4 + t^2))/((s + t)*(4*s^4*t^4 - 3*s^4*t^2 + s^4 - 18*s^3*t^3 + 6*s^3*t - 3*s^2*t^4 + 22*s^2*t^2 + s^2 + 6*s*t^3 - 2*s*t + t^4 + t^2)), (2*s*t*(- t*s^2 + 2*s + t)*(s^2*t^3 - s^2*t - 3*s*t^2 + s + 2*t)^2)/((- s*t^2 + 2*t + s)*(- s^2*t - s*t^2 + s + t)*(4*s^4*t^4 - 3*s^4*t^2 + s^4 - 18*s^3*t^3 + 6*s^3*t - 3*s^2*t^4 + 22*s^2*t^2 + s^2 + 6*s*t^3 - 2*s*t + t^4 + t^2))]
故两圆相切
