10358 一路走好

以ABC外接圆为单位圆则各点表示如下
A=Z1;B=Z2;C=Z3;O=0;
可计算得出
H =Z1 + Z2 + Z3
K =(2*(Z1^2*Z2^2 - Z1^2*Z2*Z3 + Z1^2*Z3^2 - Z1*Z2^2*Z3 - Z1*Z2*Z3^2 + Z2^2*Z3^2))/(Z1^2*Z2 + Z1^2*Z3 + Z1*Z2^2 - 6*Z1*Z2*Z3 + Z1*Z3^2 + Z2^2*Z3 + Z2*Z3^2)
J =(Z1*(- Z1^3*Z2 - Z1^3*Z3 + Z1^2*Z2^2 - 2*Z1^2*Z2*Z3 + Z1^2*Z3^2 + 3*Z1*Z2^2*Z3 + 3*Z1*Z2*Z3^2 + 4*Z2^2*Z3^2))/(- Z1^4 + Z1^3*Z2 + Z1^3*Z3 + 6*Z1^2*Z2*Z3 + Z1*Z2^2*Z3 + Z1*Z2*Z3^2 - Z2^2*Z3^2)
G =(Z1*Z2 + Z1*Z3 + Z2*Z3 - Z1^2)/(2*Z1)
N =(Z1^2*Z2^2 + Z1^2*Z3^2 + 2*Z1*Z2^2*Z3 + 2*Z1*Z2*Z3^2 + 2*Z2^2*Z3^2)/(Z1^2*Z2 + Z1^2*Z3 + 4*Z1*Z2*Z3 + Z2^2*Z3 + Z2*Z3^2)
代入公式可知三线共点