立体射影を

x=(x1,x2,x3)→φ(x)=(x1+ix2)/(1+x3)

で定義する。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

[1]x=(sinθ,0,cosθ)→φ(x)=(x1+ix2)/(1+x3)=tan(θ/2)

[2]tanθ＝2のとき、tan(θ/2)=(√5-1)/2

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝