
楕円体上の測地線の研究は、測地学、特に三角測量網の解法に関連して始まった。地球の形状は、わずかに扁平な球体である扁平楕円体でよく近似できる。測地線とは、曲面上の2点間の最短経路であり、平面上の直線に相当する。したがって、楕円体上の三角測量網の解法は、球面三角法(オイラー 1755 )の演習問題である。
地球を球体とみなすと、測地線は大円(すべて閉じた測地線)となり、問題は球面三角法の問題に帰着します。しかし、ニュートン(1687年)は、地球の自転の影響で地球がわずかに扁平な楕円体に似た形状になることを示しました。この場合、赤道と子午線だけが単純な閉じた測地線となります。さらに、赤道上の2点間の最短経路は必ずしも赤道に沿っているとは限りません。最後に、楕円体がさらに変形して三軸楕円体(3つの異なる半軸を持つ)になると、閉じた測地線は3本だけになります。
測地線を定義する方法はいくつかあります(Hilbert & Cohn-Vossen 1952 、pp. 220–221 )。単純な定義としては、曲面上の2点間の最短経路と定義します。しかし、測地曲率がゼロの経路、つまり曲面上の直線の類似物として定義する方が便利な場合が多いです。この定義では、楕円体の表面を非常に遠くまで移動して出発点に戻り始める測地線も含まれ、他の経路の方が直接的になります。また、交差したり、自身をたどったりする経路も含まれます。測地線の十分に短い区間は、依然としてその端点間の最短経路ですが、測地線は必ずしも全体的に最小(つまり、すべての可能な経路の中で最短)であるとは限りません。全体的に最短の経路はすべて測地線ですが、その逆は必ずしも成り立ちません。
18世紀末までに、回転楕円体(回転楕円体という用語も使用される)は地球の形状の近似として広く受け入れられるようになった。三角測量網の調整には、すべての測定値を基準楕円体に縮小し、結果として生じる2次元問題を回転楕円体三角法の演習として解くことが必要であった(Bomford 1952 、第3章)(Leick et al. 2015 、§4.5)。

様々な測地線問題は、 2つのタイプに分類できる。緯度φ1、経度λ1の点Aと、緯度φ2 、経度λ2の点Bの2点を考える(図1参照)。AからBへの接続測地線は、長さs12のABであり、両端点での方位角はそれぞれα1とα2である。 [ 1 ] 通常考慮される2つの測地線問題は以下のとおりである。
図1からわかるように、これらの問題は、順問題では1つの角度α1 、逆問題ではλ12 = λ2 − λ1が与えられた三角形NABとその2つの隣接する辺を解くことを含みます。球の場合、これらの問題の解は球面三角法の簡単な演習であり、その解は球面三角形を解くための公式によって与えられます。(大円航法に関する記事を参照してください。)
回転楕円体の場合、測地線を定義する特性定数はクレロー(1735)によって発見された。測地線の経路に関する体系的な解法は、ルジャンドル(1806)とオリアーニ(1806)(および1808年と1810年の論文)によって与えられた。直接問題の完全な解法(計算表と計算例を含む)はベッセル(1825)によって与えられた。
18世紀には、測地線は一般的に「最短線」と呼ばれていました。「測地線」(実際には曲線)という用語は、ラプラス(1799b)によって造語されました。
Nous désignerons cette ligne sous le nom de ligne géodésique [この線を測地線と呼ぶことにします]。
この用語は英語に「geodesic line」または「geodetic line」として導入されました(ハットン 1811 、p. 115 )。
これまで説明してきた方法で描かれた線、あるいは三角法を用いて示した方法で導き出された線は、測地線または測地線と呼ばれます。測地線は、地球表面上の2つの端点間に引くことができる最短の線という性質を持ち、したがって、その2点間の距離を測る適切な手段となります。
他の分野で採用される際には、測地線(しばしば測地線と略される)が好まれた。
この節では、回転楕円体(扁平楕円体と長楕円体の両方)に関する問題を扱います。三軸楕円体に関する問題は次の節で扱います。
ここでは測地線の式が展開されます。その導出はBessel (1825)の導出にほぼ従っています。Jordan & Eggert (1941) 、 Bagratuni (1962 、§15)、Gan'shin (1967 、第5章)、Krakiwsky & Thomson (1974 、§4)、Rapp (1993 、§1.2)、Jekeli (2012)、およびBorre & Strang (2012)もこれらの式の導出を提供しています。
赤道半径a、極半軸bの回転楕円体を考える。扁平率f、離心率e、および第 2 離心率e ′を定義する。
(測地学におけるほとんどの応用例では、楕円体は扁平楕円体( a > b )とみなされますが、この理論は長楕円体(a < b)にも変更なく適用でき、その場合、 f、e 2、およびe ′ 2は負の値となります。)
楕円体上の経路の基本セグメントの長さをdsとする。図 2 および図 3 から、その方位角がαの場合、ds はdφおよびdλと次の 関係にあることがわかる。(1) ここで、ρは子午線方向の曲率半径、R = ν cos φは緯度φの円の半径、νは法線方向の曲率半径である。したがって、基本セグメントは次のように与えられる。 または ここで、φ ′ = dφ / dλであり、ラグランジュ関数L はρ ( φ )とR ( φ )を介してφに依存します。 ( φ 1 , λ 1 )と( φ 2 , λ 2 )の間の任意の経路の長さは次のように与えられます。 ここで、φはφ ( λ 1 ) = φ 1およびφ ( λ 2 ) = φ 2を満たすλの関数である。最短経路または測地線は、s 12を最小化する関数φ ( λ )を見つけることである。これは変分法の演習であり、最小化条件はベルトラミ恒等式によって与えられる。 L を代入し、式(1)を用いる と、クレロー(1735)は幾何学的構成を用いてこの関係式を発見した。同様の導出はリュステルニク(1964 、§10)によっても示されている。[ 2 ] この関係式を微分すると次のようになる。 これは、式(1)と合わせて、測地線に関する 常微分方程式系につながる。R をパラメトリック緯度βを用いて 表すと、 そしてクレローの関係は
これは、三角形NAB (図4 を参照)の2辺NA = 1 ⁄ 2 π − β 1およびNB = 1 ⁄ 2 π − β 2とそれらの対角B = π − α 2およびA = α 1を関連付ける球面三角法の正弦定理です。
3 辺AB = σ 12、球面弧長、および挟角N = ω 12、球面経度の関係を求めるには、赤道から始まる測地線を表す三角形NEPを考慮すると便利です。図 5 を参照してください。この図では、補助球を参照した変数が示されており、対応する楕円体の量が括弧内に示されています。添え字のない量は任意の点Pを参照しています。測地線が北向きに赤道を横切る点Eは、 σ、s、ωの原点として使用されます。

側面EPをPを微小移動させることで拡張すると(図6参照)、 (2) 式(1)と(2)を組み合わせると、 sとλに関する微分方程式が得られる。
βとφの関係は これにより 測地線の微分方程式は次のようになる
最後のステップは、σ をこれら両方の微分方程式の独立パラメータとして使用し、それによってsとλ を積分として表現することです。図 5 の 球面三角形EGPの頂点EとGに正弦定理を適用すると、次のようになります。 ;\alpha _{0})=\cos \alpha _{0}\sin \sigma ,} ここでα 0はEにおける方位角である。これをds / d σの式に代入し、結果を積分すると次のようになる。 ( 3) 積分範囲はs ( σ = 0) = 0となるように選択されます。 ルジャンドル (1811 年、180 ページ)は、 sの式は半軸がb √ 1 + e ′ 2 cos 2 α 0およびbの楕円上の弧の式と同じであることを指摘しました。λ の式をσで表すために、次のように書きます 。これは式2とクレローの関係 から導かれる。これにより、(4) 積分範囲は、赤道通過時にλ = λ 0 、 σ = 0となるように選択する。
これで、補助球を用いた測地線の経路の解法が完了する。この方法により、大円を回転楕円体上の測地線に正確にマッピングすることができる。
地球上の楕円体(わずかに扁平化している)上の測地線を近似する方法もいくつかあります(Rapp 1991 、§6) 。これらのいくつかは、地理的距離に関する記事で説明されています。ただし、これらの方法は通常、厳密解を求める方法と同程度の複雑さです(Jekeli 2012 、§2.1.4)。


図7は、経線(緑色)と赤道(赤色)からなる単純な閉測地線を示しています。(ここで「単純」とは、測地線が自己交差することなく自己閉じていることを意味します。)これは、前の節で示した測地線の式から導かれます。
他のすべての測地線は、図8および図9に代表される。図8および図9は、赤道上でα₀ = 45°で始まる測地線を示している。測地線は赤道を中心に振動する。赤道との交点はノードと呼ばれ、最大または最小緯度の点は頂点と呼ばれる。頂点のパラメトリック緯度はβ = ± ( 1 ⁄ 2 π − | α 0 |)で与えられる。測地線は、経度が増加する前に緯度で1回の完全な振動を完了する。360°。したがって、赤道を北向きに横断するたびに(図 8 を参照)、λ は赤道の完全な周回に約2 π f sin α 0だけ短くなります(長楕円体の場合、この値は負になり、λ は完全な周回よりも長くなります。図 10 を参照)。α 0のほぼすべての値に対して、測地線は 2 つの頂点緯度の間の楕円体の部分を埋めます(図 9 を参照) 。
楕円体が十分に扁平である場合、すなわちb ⁄ a < 1 ⁄ 2 の場合、別の種類の単純な閉じた測地線が可能である( Klingenberg 1982 、§3.5.19)。そのような測地線が 2 つ、図 11 と図 12 に示されている。ここで、b ⁄ a = 2 ⁄ 7であり、緑色 (青色) の測地線の赤道方位角α 0は次のように選択されている。53.175°(それぞれ)75.192°)、そのため測地線は楕円体の一周で赤道を中心に2回(または3回)の完全な振動を完了します。

図13は、 α1がAの倍数で ある測地線(青色)を示しています。最短経路でなくなる点まで15°まで。 (楕円体効果を強調するために、扁平率を 1/10 に増やしました。) また、(緑色で) 一定の s 12 の曲線も示されており、これはAを中心とする測地円です。ガウス(1828) は、任意の曲面上で測地線と測地円が直角に交わることを示しました。
赤い線はカット軌跡、つまりAから複数の (この場合は 2 つ) 最短測地線を持つ点の軌跡です。球面上では、カット軌跡は点です。扁平楕円体 (ここに示されている) 上では、 Aの対蹠点φ = − φ 1を中心とする緯線円のセグメントです。カット軌跡の経度方向の広がりは、およそλ 12 ∈ [ π (1 − f cos φ 1 ), π (1 + f cos φ 1 )]です。A が赤道上にある場合、φ 1 = 0 となり、この関係は正確であるため、結果として、 | λ 12 | ≤ π (1 − f )の場合にのみ赤道が最短測地線となります。長楕円体の場合、切断軌跡はAの対蹠点 λ 12 = πを中心とする反子午線の線分であり、これは子午線測地線が対蹠点に到達する前に最短経路でなくなることを意味します。
測地線に関する様々な問題では、測地線が摂動を受けた際の挙動を知ることが不可欠です。これは、三角関数の調整(Ehlert 1993 )、測地線に沿って伝わる信号の物理的特性の決定などに役立ちます。パラメータsで表される基準測地線と、そこからわずかな距離t ( s )だけ離れた 第 2 の測地線を考えます。ガウス (1828) は、t ( s )がガウス・ヤコビ方程式に従うことを示しました。

ここで、K ( s )はsにおけるガウス曲率である。2階線形同次微分方程式として、その解は2つの独立した解の和として表すことができる。 どこ 量m ( s 1 , s 2 ) = m 12は、いわゆる縮尺であり、M ( s 1 , s 2 ) = M 12は測地尺度である。[ 3 ] これらの基本的な定義は図 14 に示されている 。
回転楕円体のガウス曲率は ヘルマート(1880年、式(6.5.1.))は、この場合のガウス・ヤコビ方程式を解き、m 12とM 12を積分として表すことができるようにした。
図 14 (上部のサブ図) からわかるように、同じ点から始まり方位角がd α 1だけ異なる 2 つの測地線の間の距離はm 12 d α 1です。楕円体のような閉じた曲面では、m 12 はゼロを中心に振動します。m 12がゼロになる点は、始点と共役な点です。AとBの間の長さs 12の測地線が最短経路であるためには、A と B の間に A と共役な点が存在しないというヤコビ条件 (Jacobi 1837) (Jacobi 1866、§6) (Forsyth 1927、§§26–27) (Bliss 1916) を満たす必要があります。この条件が満たされない場合、より短い近くの経路(必ずしも測地線ではない)が存在します。したがって、ヤコビ条件は測地線の局所的な性質であり、測地線がグローバルな最短経路となるための必要条件にすぎません。測地線が最短経路となるための必要十分条件は次のとおりです。
特定の点Aからの測地線を切断軌跡を超えて延長すると、図 15 に示すような包絡線が形成される。ここで、 α 1 がの倍数で ある測地線は、3°は水色で示されています。(測地線は、対蹠点に最初に近づくときのみ表示され、それ以降の通過については表示されません。) いくつかの測地円は緑色で示されています。これらは包絡線上に尖点を形成します。切断軌跡は赤色で示されています。包絡線はAと共役な点の軌跡です。包絡線上の点は、測地線上でm 12 = 0となる点を見つけることで計算できます。ヤコビ (1891) は、包絡線によって生成されるこの星形図形をアストロイドと呼んでいます。
アストロイドの外側では、各点で 2 つの測地線が交差します。したがって、Aとこれらの点の間には 2 つの測地線 (長さは楕円体の円周の約半分) が存在します。これは、球面上で 2 点間の大円上に「短い」経路と「長い」経路が存在する状況に対応します。アストロイドの内側では、各点で 4 つの測地線が交差します。このような 4 つの測地線が図 16 に示されており、測地線は長さの増加順に番号が付けられています。(この図では、Aの位置は図 13 と同じで、同じ投影法で描かれています。) 2 つの短い測地線は安定しており、つまりm 12 > 0であるため、2 点を結ぶより短い経路は近くに存在しません。他の 2 つの測地線は不安定です。最短の線 (最初の線) のみがσ 12 ≤ πを満たします。すべての測地線は、図に緑色で示されている包絡線に接しています。
測地線多角形とは、辺が測地線である多角形のことです。これは、辺が大円である球面多角形に類似しています。このような多角形の面積は、まず測地線セグメントと赤道の間の面積、すなわち図1の四角形AFHBの面積を計算することによって求められます(Danielsen 1989 )。この面積が分かれば、多角形のすべての辺からの寄与を合計することによって、多角形の面積を計算できます。
ここでは、Sjöberg (2006)に従ってAFHBの面積S 12 の式が導出される。楕円体の任意の閉じた領域の面積は ここで、dTは表面積の要素であり、Kはガウス曲率である。ここで、測地線多角形に適用される ガウス・ボンネの定理は次のようになる。 どこ は測地線超過であり、θ jは頂点jにおける外角である。Γ の式にR 2 2を掛け、これをTの式から引くと、次のようになる 。 ここで、楕円体のKの値が代入されている。この式を四角形AFHBに適用し、Γ = α 2 − α 1であることに注意して、 φについて積分を実行すると、次 のようになる。 ここで、積分は測地線に沿って行われる(したがって、φは暗黙的にλの関数である)。積分は、小さなf に対して有効な級数として表現できる(Danielsen 1989 )(Karney 2013 、§6)。
測地多角形の面積は、その辺に沿ってS 12 を合計することで求められます。この結果は、多角形に極が含まれていない場合に成り立ちます。極が含まれている場合は、合計に2 π R 2 2を加える必要があります。辺が頂点によって指定されている場合、測地超過E 12 = α 2 − α 1の便利な式は次のようになります。
測地線問題を解くには、測地線を補助球面にマッピングし、大円航法における対応する問題を解く必要がある。図 5 のNEPの「基本的な」球面三角形を解く場合 、四分三角形に対するネイピアの規則を用いることができる。 測地線のマッピングには、距離sと経度λの積分を評価する式(3)と(4)が含まれ、これらはパラメータα 0に依存します。
直接的な問題を扱うのは簡単です。なぜなら、α 0 は与えられた量φ 1とα 1から直接決定できるからです。計算例については、Karney (2013)を参照してください。
逆問題の場合、λ 12は与えられていますが、 α 0が未知であるため、これを等価球面角ω 12と容易に関連付けることはできません。したがって、この問題を解くには、α 0を反復的に求める(根を求める)必要があります。詳細はKarney (2013)を参照してください。
測地学の応用では、fが小さい場合、積分は通常、級数として評価されます( Legendre 1806 ) ( Oriani 1806 ) ( Bessel 1825 ) ( Helmert 1880 ) ( Rainsford 1955 ) ( Rapp 1993 )。任意のfに対して、積分 (3) および (4) は数値積分によって、または楕円積分 で表現することによって求めることができます( Legendre 1806 ) ( Cayley 1870 ) ( Karney 2024 )。
Vincenty (1975) は、直接問題と逆問題の解を提供しています。これらは、平坦化に関して 3 次まで実行された級数展開に基づいており、約 の精度を提供します。 WGS84楕円体の場合、 0.1 mmの誤差が生じる。ただし、逆法はほぼ対蹠点では収束しない。
Karney (2013) は、| f | ≤ 1 ⁄ 50の場合に完全な倍精度精度を提供するのに十分である 6 次までの展開を続け、すべての場合で収束するように逆問題の解を改善します。
回転楕円体の測地線問題を解くことは、数学的には簡単です。対称性により、測地線には運動の定数があり、これはクレローの関係式で与えられ、問題を求積法に帰着させることができます。19世紀初頭(ルジャンドル、オリアーニ、ベッセルらの研究により)には、回転楕円体上の測地線の性質が完全に理解されていました。
一方、三軸楕円体(3つの軸の長さが異なる)上の測地線には明らかな運動の保存量がなく、そのため19世紀前半には解決困難な問題となっていた。ヤコビ(1839)は注目すべき論文で運動の保存量を発見し、この問題を求積法に還元できるようにした(クリンゲンベルク 1982 、§3.5)。[ 4 ]

で定義される楕円体を考える ここで、( X、Y、Z )は楕円体を中心とするデカルト座標であり、一般性を失うことなく、a ≥ b ≥ c > 0である。[ 5 ]ヤコビ(1866年、§§26–27)は、次のように定義される(三軸)楕円体座標(三軸楕円体緯度と三軸楕円体経度、β、ω) を採用した。b → a の極限では、β は扁平楕円体のパラメトリック緯度となるため、記号βの使用は前のセクションと一致します。ただし、ωは上で定義した球面経度とは異なります。[ 6 ]
図 17 には、一定のβ (青色) とω (緑色)のグリッド線が示されています。これらは直交座標系を構成し、グリッド線は直角に交差します。楕円体の主断面は、X = 0およびZ = 0で定義され、赤色で示されています。3 番目の主断面Y = 0は、線β = ± 90°およびω = 0°または± 180°で覆われています。これらの線は、主曲率半径が等しい 4 つの臍点(この図には 2 つが示されています)で交わります。ここおよびこのセクションの他の図では、楕円体のパラメータはa : b : c = 1.01:1:0.8であり、 φ = 40°、λ = 30°の上方の点から正射投影で見ています。
楕円体座標のグリッド線は、次の3つの異なる方法で解釈できます。
ヤコビは、楕円体座標で表された測地線方程式が変数分離可能であることを示した。以下は、彼が友人であり隣人でもあるベッセルにその発見を語った方法である(ヤコビ 1839 、ベッセルへの手紙)。
一昨日、私は3つの軸の長さが異なる楕円体上の測地線の問題を求積法に帰着させました。これらは世界で最も単純な公式であるアーベル積分であり、2つの軸の長さを等しくすると、よく知られている楕円積分になります。
ケーニヒスベルク、1938年12月28日。
ヤコビ(ヤコビ 1839 )(ヤコビ 1866 、§28)によって与えられた解は ヤコビが指摘するように、「角度βの関数は角度ωの関数に等しい。これら 2 つの関数は単なるアーベル積分である…」。解には2 つの定数δとγが現れる。通常、積分の下限を測地線の始点とし、測地線の方向をγで決定する場合、 δはゼロとなる。しかし、臍点から始まる測地線の場合、γ = 0となり、δ は臍点での方向を決定する。定数γ は次のように表すことができる。 ここでαは測地線が一定のωの線となす角度である。b → aの極限では、これはsin α cos β = const.に帰着し、これはよく知られたクレローの関係である。ヤコビの結果の導出はDarboux (1894 、§§583–584 )によって与えられており、彼はLiouville (1846 )が一般の二次曲面に対して見つけた解を与えている。
三軸楕円体には、 X = 0、Y = 0、Z = 0で与えられる楕円体の 3 つの主断面である 3 つの単純な閉じた測地線しかありません。[ 7 ] 他の測地線を調査するには、中央の主断面Y = 0と直角に交わる測地線を考えるのが便利です。そのような測地線は図 18~22 に示されており、図 17 と同じ楕円体のパラメータと視線方向を使用しています。さらに、これらの各図では、3 つの主楕円が赤色で示されています。
始点がβ 1 ∈ ( − 90°, 90°)、ω 1 = 0、α 1 = 90°の場合、γ > 0となり、測地線は「極周」の意味で楕円体を一周します。測地線は赤道の南北に振動し、振動ごとに楕円体の周囲を一周するよりもわずかに短い距離を回ります。典型的な場合、測地線は 2 つの緯線β = ± β 1で囲まれた領域を埋めます。2 つの例を図 18 と 19 に示します。図 18 は、回転する扁平楕円体の場合とほぼ同じ挙動を示しています ( a ≈ bのため)。図 9 と比較してください。ただし、始点がより高い緯度にある場合 (図 18)、a ≠ bによる歪みが明らかになります。周極測地線へのすべての接線は、 β = β 1 で楕円体と交差する共焦点単葉双曲面に接する(Chasles 1846 )(Hilbert & Cohn-Vossen 1952 、pp. 223–224 )。
開始点がβ 1 = 90°、ω 1 ∈ (0°、180°)、α 1 = 180°の場合、γ < 0となり、測地線は「極横断」の意味で楕円体を一周します。測地線は楕円X = 0の東西に振動し、各振動で楕円体の一周よりわずかに多く周回します。典型的な場合、これにより測地線は 2 つの経線ω = ω 1とω = 180° − ω 1で囲まれた領域を埋めます。a = b の場合、すべての経線は測地線です。a ≠ bの影響により、このような測地線は東西に振動します。2 つの例を図 20 と 21 に示します。極付近の測地線の収縮は、b → cの極限で消えます。この場合、楕円体は長楕円体となり、図20は図10(横向きに回転させたもの)に似る。トランスポーラ測地線へのすべての接線は、ω = ω 1で楕円体と交差する共焦点二重シート双曲面に接する。
図18~21では、測地線は(ほぼ)閉じている。前述のように、典型的なケースでは、測地線は閉じておらず、緯度線(図18~19の場合)または経度線(図20~21の場合)で囲まれた領域を埋めている。

出発点がβ 1 = 90°、ω 1 = 0° (臍点)、α 1 = 135° (測地線が楕円Y = 0から直角に離れる) の場合、γ = 0となり、測地線は反対側の臍点と繰り返し交差して出発点に戻ります。ただし、各周回で、測地線がY = 0と交差する角度は、0°または180°なので、漸近的に測地線は楕円Y = 0 ( Hart 1849 ) ( Arnold 1989 、p. 265 )上にあり、図 22 に示されています。 1 つの測地線は楕円体上の領域を埋めません。臍測地線へのすべての接線は、臍点で楕円体と交差する共焦点双曲線に接します。
臍帯測地線には、いくつかの興味深い特性があります。
測地線の始点Aが臍点でない場合、その包絡線はβ = − β 1上に 2 つの尖点があり、残りの 2つの尖点がω = ω 1 + π上にあるアステロイドです。Aの切断軌跡は、これらの尖点の間の直線β = − β 1の部分です。
測地学において、直接測地問題と逆測地問題は、かつてのような中心的な役割を担わなくなっている。測地網の調整を回転楕円体三角法における二次元問題として解く代わりに、これらの問題は現在では三次元手法によって解かれている(Vincenty & Bowring 1978 )。しかしながら、地上測地線は依然としていくつかの分野で重要な役割を果たしている。
最小作用の原理により、物理学における多くの問題は、測地線に関する問題と同様の変分問題として定式化できる。実際、測地線問題は、表面上を移動するように拘束されているが、それ以外の力は作用しない粒子の運動と同等である(ラプラス 1799a )(ヒルベルト&コーン=フォッセン 1952 、p. 222 )。このため、回転楕円体や三軸楕円体などの単純な曲面上の測地線は、新しい手法を探求するための「テストケース」として頻繁に使用される。例としては、次のものが挙げられる。