>>170
倍角公式でcosθだけの2次方程式に変形。
この方程式が-1<cosθ<1に解を持つとき、そのひとつの解に対応するθが2つある。