ロバチェフスキー関数を導入する。

Λ(x)=-∫(0,x)log(2sinθ)dθ

[0,π]

Λ(0)=0,Λ(π)=0Λ,(π/2)=0

(tanδ)^2=-G/(cosαcosγ)^2で定めると

Ｖ＝1/4{Λ(α+δ)-Λ(α-δ)+Λ(γ+δ)-Λ(γ-δ)-Λ(π/2-β+δ)+Λ(π/2-β-δ)+2Λ(π/2-δ)}

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

4∂Ｖ/∂δ＝０→ ∂Ｖ/∂α＝-a/2が証明される

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

ロバチェフスキー関数の定義にはいろいろな流儀があり、

Ｌ(x)=∫(0,x)log(sinθ)dθ=xlog2+1/2Σ(-1)^2sin2nx/n^2

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