在△ABC中令
B=0;C=1;
Z1=exp(i*∠ABC)
Z2=exp(i*∠ACB)
则计算可得各点复数表示
G =((Z2 - 1)*(Z2*Z1^2 + Z1 + Z2 - 1))/(2*Z2*(Z1*Z2 - 1))
O =(Z1^2*Z2^2)/(Z1^2*Z2^2 - 1)
U =-(- Z1^2*Z2^2 + Z1^2 + 1)/(2*(Z1^2*Z2^2 - 1))
R =((Z2 - 1)*(Z1^2 - Z1 + 1))/(Z1^2*Z2^2 - Z1*Z2^2 + Z2 - 1)
代入公式可知结论成立
