Note114 球の測地線(3)

先日は球の測地線を微分幾何の示す測地線の方程式をこねくり回して次のような関係（解）を得た。

これから、

こうして球の測地線の解（？）は

これが大円になっているのかを見てみることにします。平面の式と球面の式からその断面線が満たすべき関係を求めてみると

と置く事ができて、

加法定理を使って、

よって、

よって測地線は大円を構成している（どうなんだろう、、、）。