共焦点円錐曲線

共焦点な円錐曲線の束。

幾何学において、2つの円錐曲線が共焦点（きょうしょうてん、英: confocal）であるとは、円錐曲線が焦点（focus;複数形はfoci）を共有している状態である。

楕円または双曲線は2つの焦点をもつため、共焦点楕円（confocal ellipses）、共焦点双曲線（confocal hyperbolas）あるいは、その混合物が存在する。共焦点である楕円と双曲線は直交する。

放物線は1つのみ焦点を持つため、共焦点放物線（confocal parabolas）は焦点と軸を共有する放物線であると定義される。 軸上にない任意の点はある共焦点放物線の交点となり、その共焦点放物線は直交する。

円は焦点がその中心に一致した楕円である。特別に、焦点（中心）を共有する円は同心であると言われる。また円の中心を通る直線と、円は直交する。

共焦点の概念を空間に一般化すれば、共焦点二次曲面（confocal quadrics）となる。

楕円と双曲線

任意の（円ではない）楕円または双曲線は、ユークリッド平面上に2つ異なるの焦点F₁ , F₂を持つ。また、長軸上にない点Pを与えれば、その点を通る楕円（または双曲線）は一意に決定される。焦点F₁ , F₂を共有し、Pを通る楕円と双曲線は直交する。

焦点をF₁ , F₂とする楕円と双曲線の束を作る。

主軸定理より、直交座標系において、座標軸を軸、原点を焦点の中点（中心）とする円錐曲線を作ることができる。cを線型離心率 （焦点の距離の半分）としたとき、焦点の座標は$F_{1}=(c,0),\;F_{2}=(-c,0)$となる。

線型離心率をcとする共焦点円錐曲線の長軸aによる表示。 0 < a < cならば双曲線、c < aならば楕円となる。

楕円と双曲線からなる共焦点円錐曲線は、次の等式を満たす点の軌跡となる。

${\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{a^{2}-c^{2}}}=1$

ここで長軸の長さをaとした。 0 < a < cとなるようにaを決めれば双曲線、c < aとなるように定めれば楕円になる。

焦点の与えられた楕円、双曲線は、長軸と短軸の長さa,bによっても表すことができる（0 < b < a）。媒介変数λを用いて、次の式のようになる。

${\frac {x^{2}}{a^{2}-\lambda }}+{\frac {y^{2}}{b^{2}-\lambda }}=1,$

$-\infty <\lambda <b^{2}$ならば楕円、 $b^{2}<\lambda <a^{2}$ならば双曲線となる。$a^{2}<\lambda$ならば、解は実数上に存在しない。焦点の座標は${\textstyle {\bigl (}{\pm }{\sqrt {a^{2}-b^{2}}},0{\bigr )}}$である。この表現方法は二次曲面の定義式に応用できる。

極限

媒介変数λがb² に下から近づくと、楕円はx軸の焦点間の線分に退化する。λがb² に上から近づくと、双曲線が退化して、x軸の焦点の外側の部分になる。この性質もまた、3次元に応用できる。

直交

反射の性質を用いた、楕円と双曲線の直交の視覚的な証明。

共焦点な楕円双曲線の束を考える。楕円の法線と双曲線の接線は、接点と焦点を繋ぐ2直線の角の二等分線になる。したがって図の様に、楕円と双曲線の直交を導ける。

このような楕円の束と双曲線の束のように、交差しない曲線の集合2つが、互いの要素に直交するような集合は、orthogonal netと呼ばれる。 楕円と双曲線のorthogonal netをもとにした楕円座標系と呼ばれる座標系がある。

共焦点放物線

放物線は、一方の焦点を無限遠点に置いた、楕円または双曲線の特殊な場合とみることができる。

放物線は単一の焦点を持つ。これは、一方の焦点を固定して、もう一方の焦点を無限遠に移動させた場合の楕円または放物線と見なせる。楕円と双曲線の直交の性質を放物線に適用すれば、 ある放物線に直交する放物線は反対方向を向いた放物線になる。

焦点を原点、軸をx軸とした放物線は、次の式を満たす点の軌跡である。

$y^{2}=2xp+p^{2},$

媒介変数pについて、|p|はsemi-latus rectum（焦点を通る軸の垂線と放物線の交点を端とする線分長の半分）である。放物線は、 0 < pならば右側に開き、0 > pならば左に開く。${\bigl (}{-}{\tfrac {1}{2}}p,0{\bigr )}$は頂点となる。

共焦点放物線の束。

放物線の定義式より、x軸上にない任意の点$P$について、焦点と軸をそれぞれ原点、x軸とする放物線は、右に開いたものと左に開いたものが一つずつ存在する。また、これらは直交する。

共焦点な楕円と双曲線によって、楕円座標系が作られるのと同様に、共焦点放物線の束は放物座標系を作る。

等角写像$w=z^{2}$によって共焦点放物線のnetは、座標軸に平行な直線の像と、複素平面の右半分と見なせる（外部リンク参照）。

同心円

円は二つの焦点を一致させた楕円である。一方、焦点を一致させた双曲線は、その点を通る2直線に退化する。

したがって共焦点な楕円と双曲線によってもたらされたorthogonal netは、同心円とその中心を通る直線になる、これは極座標系を作る。

焦点を反対方向に無限遠まで離すと楕円は長軸に平行な2直線に退化し、双曲線は長軸に垂直な2直線に退化する。したがって、直交する網は共焦点円錐曲線の束であるとみなせる。このようにして特に直交座標系を作ることができる。

グレイヴスの定理

共焦点楕円の構築

1850年、アイルランドの騎士チャールズ・グレイヴスは、糸を用いた共焦点楕円の作成方法を発表した。

周長よりも長い糸を楕円Eにまきつける。ある点に糸を掛けて、糸が張るような点の集合はEと共焦点な楕円となる。

フェリックス・クラインの書籍で示された証明は楕円積分を用いる。Otto Staudeは同様の方法を楕円体へ拡張した（クラインの書籍を見よ）。

楕円Eが線分F₁F₂に退化するときは、糸で楕円を描く特殊な場合になる。

二次曲面

共焦点二次曲面

$a=1,\;b=0.8,\;c=0.6,\$

$\lambda _{1}=0.1$ (赤),$\ \lambda _{2}=0.5$ (青), $\lambda _{3}=0.8$ (紫)

$\lambda$の値と曲面の関係

2つの二次曲面が共焦点であるとは、軸を共有し、平面との交面が共焦点楕円になっている状態を指す。円錐曲線の場合に類推して、非退化な共焦点二次曲面の束は3軸楕円体、一葉双曲面 と二葉双曲面、楕円放物面、双曲放物面、双方向に開いた楕円放物面の2種類がある。

3軸の長さの半分を$a,b,c$（$a>b>c>0$）とする3軸楕円体は共焦点二次曲面の束を決定する。変数$\lambda$で作られたそれぞれの二次曲面は、次の式を満たす点の集合となる。

${\frac {x^{2}}{a^{2}-\lambda }}+{\frac {y^{2}}{b^{2}-\lambda }}+{\frac {z^{2}}{c^{2}-\lambda }}=1.$

$\lambda <c^{2}$ならば楕円体、$c^{2}<\lambda <b^{2}$ならば一葉双曲面、$b^{2}<\lambda <a^{2}$ならば二葉双曲面となり、 $a^{2}<\lambda$ ならば解は存在しない。

焦点曲線

焦点円錐曲線（黒い楕円、放物線）

$c^{2}=0.36,\ b^{2}=0.64,\quad$ $\lambda =$

$0.3575$ (楕円体、赤)、 $\ 0.3625$ (一葉双曲面、青)、 $0.638$ (一葉双曲面、青), $\ 0.642$ (ニ葉双曲面、紫)下部は極限の場合。

極限:$\lambda \to c^{2}$

$\lambda$が$c^{2}$に下から近づくと、楕円体は次の式で示されるx-y平面の楕円に退化する（図左上の赤い部分）。

$E:{\frac {x^{2}}{a^{2}-c^{2}}}+{\frac {y^{2}}{b^{2}-c^{2}}}=1$

$\lambda$が$c^{2}$に上から近づくと、一葉双曲面はx-y平面の楕円$E$の外側の部分に退化する（図左下、青い部分）。

どちらの極限の場合も$E$上に点を持つ。

極限: $\lambda \to b^{2}$

同様に $\lambda$ が上下から $b^{2}$ に近づくと、それぞれの双曲面の極限の面（図右下、青と紫）は、共通の双曲線

$H:\ {\frac {x^{2}}{a^{2}-b^{2}}}+{\frac {z^{2}}{c^{2}-b^{2}}}=1$

を持つ。

焦点曲線

$E$の焦点は$H$の頂点である。逆もまた然り。したがって、$E$と$H$は焦点円錐曲線の組である。

逆に、共焦点二次曲面の束の任意の二次曲面はピンと糸の方法によって構築できる。この際、焦点円錐曲線$E,H$は無数の焦点の役割を果たし、束の焦点曲線（focal curves）と呼ばれる。

直交系

共焦点楕円、双曲線から類推して、

任意の点 $(x_{0},y_{0},z_{0})\in \mathbb {R} ^{3}$ （ただし $x_{0}\neq 0,\;y_{0}\neq 0,\;z_{0}\neq 0$ ）は3種類の共焦点二次曲面のいずれかひとつ上に存在する。

$(x_{0},y_{0},z_{0})$を通る3つの二次曲面は垂直に交わる（外部リンクを参照）。

$f(\lambda )$の例

・点を通る3つの二次曲面が一意に存在する証明$x_{0}\neq 0,y_{0}\neq 0,z_{0}\neq 0$で点 $(x_{0},y_{0},z_{0})$について、関数$f(\lambda )={\frac {x_{0}^{2}}{a^{2}-\lambda }}+{\frac {y_{0}^{2}}{b^{2}-\lambda }}+{\frac {z_{0}^{2}}{c^{2}-\lambda }}-1$を定める。この関数は3つの直交する漸近線$c^{2}<b^{2}<a^{2}$を持ち、区間$(-\infty ,c^{2}),\;(c^{2},b^{2}),\;(b^{2},a^{2}),\;(a^{2},\infty )$の中で、連続で単調増加な関数である。垂直な漸近線付近での振る舞いと$\lambda \to \pm \infty$から次のことが分かる。$f$は3つの根$\lambda _{1},\lambda _{2},\lambda _{3}$（${\color {red}\lambda _{1}}<c^{2}<{\color {red}\lambda _{2}}<b^{2}<{\color {red}\lambda _{3}}<a^{2}\$）を持つ。

・面の直交の証明 $F_{\lambda }(x,y,z)={\frac {x^{2}}{a^{2}-\lambda }}+{\frac {y^{2}}{b^{2}-\lambda }}+{\frac {z^{2}}{c^{2}-\lambda }}$の束を用いて、共焦点二次曲面は$F_{\lambda }(x,y,z)=1$と書ける。交差する2つの二次曲面$F_{\lambda _{i}}(x,y,z)=1,\;F_{\lambda _{k}}(x,y,z)=1$について、共通の点$(x,y,z)$をとる。

$0=F_{\lambda _{i}}(x,y,z)-F_{\lambda _{k}}(x,y,z)=\dotsb$

$\ =(\lambda _{i}-\lambda _{k})\left({\frac {x^{2}}{(a^{2}-\lambda _{i})(a^{2}-\lambda _{k})}}+{\frac {y^{2}}{(b^{2}-\lambda _{i})(b^{2}-\lambda _{k})}}+{\frac {z^{2}}{(c^{2}-\lambda _{i})(c^{2}-\lambda _{k})}}\right)\ .$

この方程式より、共通の点における勾配のスカラー積を得る。

$\operatorname {grad} F_{\lambda _{i}}\cdot \operatorname {grad} F_{\lambda _{k}}=4\;\left({\frac {x^{2}}{(a^{2}-\lambda _{i})(a^{2}-\lambda _{k})}}+{\frac {y^{2}}{(b^{2}-\lambda _{i})(b^{2}-\lambda _{k})}}+{\frac {z^{2}}{(c^{2}-\lambda _{i})(c^{2}-\lambda _{k})}}\right)=0\ ,$

よって題意は示された。

共焦点双曲面$a=1,\;b=0.8,\;c=0.6$との交線に曲率線を持つ楕円体。

応用

デュパンの定理より、任意の2つの二次曲面の交線は曲率線となる。楕円座標系から類推して、これは楕円体座標系の基となる。

物理学において、共焦点楕円体は帯電した楕円体の等位面として現れる。

アイヴォリーの定理

アイボリーの定理

アイヴォリーの定理（Ivory's theorem）またはアイヴォリーの補題は、スコットランドの数学者ジェームズ・アイヴォリーに因んだ、直交する曲線が成す四角形（net-rectangle）の対角線に関する定理である。

それぞれ2つの共焦点楕円、双曲線の成す任意のnet-rectangleについて、2つの対角線の長さは等しい。

$E(a)$を、焦点が$F_{1}=(c,0),\;F_{2}=(-c,0)$である次の式で表される楕円とする。

${\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{a^{2}-c^{2}}}=1\ ,\quad a>c>0\$

また、$H(u)$を次の式で表される楕円と共焦点な双曲線とする。

${\frac {x^{2}}{u^{2}}}+{\frac {y^{2}}{u^{2}-c^{2}}}=1\ ,\quad c>u\ .$

$E(a)$ と $H(u)$の4交点を計算する。

$\left(\pm {\frac {au}{c}},\;\pm {\frac {\sqrt {(a^{2}-c^{2})(c^{2}-u^{2})}}{c}}\right)$

$c=1$としても一般性を失わない（cを変えると原点中心に相似拡大される）。4交点の中から第一象限にある物を選ぶ。

4つの曲線が焦点を共有するように、$E(a_{1}),E(a_{2})$を二つの共焦点楕円、$H(u_{1}),H(u_{2})$を二つの共焦点双曲線として、net-rectangle の頂点と対角線の長さを次のように得る。

${\begin{aligned}P_{11}&=\left(a_{1}u_{1},\;{\sqrt {(a_{1}^{2}-1)(1-u_{1}^{2})}}\right),&P_{22}&=\left(a_{2}u_{2},\;{\sqrt {(a_{2}^{2}-1)(1-u_{2}^{2})}}\right),\\[5mu]P_{12}&=\left(a_{1}u_{2},\;{\sqrt {(a_{1}^{2}-1)(1-u_{2}^{2})}}\right),&P_{21}&=\left(a_{2}u_{1},\;{\sqrt {(a_{2}^{2}-1)(1-u_{1}^{2})}}\right)\end{aligned}}$

${\begin{aligned}|P_{11}P_{22}|^{2}&=(a_{2}u_{2}-a_{1}u_{1})^{2}+\left({\sqrt {(a_{2}^{2}-1)(1-u_{2}^{2})}}-{\sqrt {(a_{1}^{2}-1)(1-u_{1}^{2})}}\right)^{2}\\[5mu]&=a_{1}^{2}+a_{2}^{2}+u_{1}^{2}+u_{2}^{2}-2\left(1+a_{1}a_{2}u_{1}u_{2}+{\sqrt {(a_{1}^{2}-1)(a_{2}^{2}-1)(1-u_{1}^{2})(1-u_{2}^{2})}}\right)\end{aligned}}$

最後の辺において、$u_{1}\leftrightarrow u_{2}$としても値は変化しない。つまり $|P_{1\color {red}2}P_{2\color {red}1}|^{2}$の赤黒を入れ替えても値は変化しないから、 $|P_{11}P_{22}|=|P_{12}P_{21}|$を得る。

共焦点放物線については、より簡単な計算で証明できる。

アイヴォリーは3次元への一般化を示した (s. Blaschke, p. 111)。

三次元において、共焦点二次曲面からなる直方体の対角線の長さは等しい。

関連項目

• アポロニウスの円束
• フォーカロイド

出典

• Blaschke, Wilhelm「VI. Konfokale Quadriken [Confocal Quadrics]」『Analytische Geometrie [Analytic Geometry]』Springer、Basel、1954年、108–132頁。https://archive.org/details/analytischegeome0000wilh/page/108。 
• Glaeser, Georg; Stachel, Hellmuth; Odehnal, Boris (2016). “2. Euclidean Plane”. The Universe of Conics. Springer. pp. 11–60. doi:10.1007/978-3-662-45450-3_2. ISBN 978-3-662-45449-7  See also "10. Other Geometries", doi:10.1007/978-3-662-45450-3_10.
• Hilbert, David; Cohn-Vossen, Stephan (1952), “§1.4 The Thread Construction of the Ellipsoid, and Confocal Quadrics”, Geometry and the Imagination, Chelsea, pp. 19–25, https://archive.org/details/geometryimaginat0000dhil/page/19 
• Odehnal, Boris; Stachel, Hellmuth; Glaeser, Georg (2020). “7. Confocal Quadrics”. The Universe of Quadrics. Springer. pp. 279–325. doi:10.1007/978-3-662-61053-4_7. ISBN 978-3-662-61052-7 
• Ernesto Pascal: Repertorium der höheren Mathematik. Teubner, Leipzig/Berlin 1910, p. 257.
• A. Robson: An Introduction to Analytical Geometry Vo. I, Cambridge, University Press, 1940, p. 157.
• Sommerville, Duncan MacLaren Young「XII. Foci and Focal Properties」『Analytical Geometry of Three Dimensions』Cambridge University Press、1934年、224–250頁。https://archive.org/details/analyticalgeomet0000somm/page/224/。 

外部リンク

• T. Hofmann: Miniskript Differentialgeometrie I, p. 48
• B. Springborn: Kurven und Flächen, 12. Vorlesung: Konfokale Quadriken (S. 22 f.).
• H. Walser: Konforme Abbildungen. p. 8.