>>α＋β＋γ＝πのときsin(α/β)/2＝cosγ/2
証明不能
α＋β＋γ＝πのときsin((α+β)/2)＝cos(γ/2)
なら、sin(π/2-θ)=cos(θ)を適用しただけ