2020.09.04記
[6] 空間内に原点 を中心とした半径1の球面 を考え,上の2点を , とする. で与えられる平面で を切った切り口の円において, と を結ぶ弧のうち短い方の長さを とする.また3点 ,, を通る平面で を切った切り口の円において, と を結ぶ弧のうち短い方の長さをとする.このとき を証明せよ.
2020.09.04記
球面の測地線は大円に添う劣弧だから当たり前
と書く訳にはいかない.
の による切り口の円の半径は で弧の中心角は だから となる.
また, の弧の中心角は だから が成立し, となる.