星座圖歐氏距離計算

公式：d²(a,b) = |a|² + |b|² - 2Re(ab^*)；（1）

證明：

令c = a - b;

則 |c|² = d²(a,b) = |a|² + |b|² -2|a||b|cos<a,b>（余弦定理）；（2）

令a = |a|e^jθ_a                

    b = |b|e^jθ_b   

則ab^* = |a||b|e^j(θ_a-θ_b)

　　   = |a||b|cos(θ_a-θ_b) + j|a||b|sin(θ_a-θ_b) （歐拉公式）

於是Re(ab^*) =  |a||b|cos(θ_a-θ_b) = |a||b|cos<a,b>（3）

綜合（1）（2）（3）式，得證。