9937 三点共线

有证明吗
molll

本题的直接转化

对于楼上转化后的题证明
在图中以A B C 外接圆为单位圆令
A=Z1;B=Z2;C=1;O=0;H=Z1+Z2+1
则依题意可计算出图中T点复数表示为
(Z1^3*Z2 + Z1^3 + 2*Z1^2*Z2^2 + 7*Z1^2*Z2 + 2*Z1^2 + Z1*Z2^3 + 7*Z1*Z2^2 + 7*Z1*Z2 + Z1 + Z2^3 + 2*Z2^2 + Z2)/(4*(Z1 + Z2)*(Z1 + 1)*(Z2 + 1))
代入复数三点共线公式即证