共焦点円錐曲線

共焦点な円錐曲線の束。

幾何学において、2つの円錐曲線が共焦点（きょうしょうてん、テンプレート:Lang-en-short）あるいは共焦であるとは、円錐曲線が焦点（focus;複数形はfoci）を共有している状態である。共焦点である円錐曲線は、共焦点円錐曲線、共焦点二次曲線、共焦円錐曲線、共焦二次曲線（confocal conics）などと言われる。

楕円または双曲線は2つの焦点をもつため、共焦点楕円（テンプレート:Lang）、共焦点双曲線（テンプレート:Lang）あるいは、その混合物が存在する。共焦点である楕円と双曲線は直交する。

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

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

共焦点の概念を空間に一般化すれば、共焦点二次曲面（テンプレート:Lang）となる。

楕円と双曲線

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

焦点をテンプレート:Mathとする楕円と双曲線の束（共焦点有心円錐曲線族;Family of confocal central conics,Family of confocal centred conics;共焦点有心二次曲線）を作る。

テンプレート:仮リンクより、直交座標系において、座標軸を軸、原点を焦点の中点（中心）とする円錐曲線を作ることができる。テンプレート:Mvarを線型離心率 （焦点の距離の半分）としたとき、焦点の座標は$F_1=(c,0),F_2=(-c,0)$となる。

線型離心率をテンプレート:Mvarとする共焦点円錐曲線の長軸テンプレート:Mvarによる表示。 テンプレート:Mathならば双曲線、テンプレート:Mathならば楕円となる。

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

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

ここで長軸の長さをテンプレート:Mvarとした。 テンプレート:Mathとなるようにテンプレート:Mvarを決めれば双曲線、テンプレート:Mathとなるように定めれば楕円になる。

焦点の与えられた楕円、双曲線は、長軸と短軸の長さテンプレート:Mvarによっても表すことができる（テンプレート:Math）。媒介変数テンプレート:Mvarを用いて、次の式のようになる。

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

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

極限

媒介変数テンプレート:Mvarがテンプレート:Math に下から近づくと、楕円はテンプレート:Mvar軸の焦点間の線分にテンプレート:仮リンクする。テンプレート:Mvarがテンプレート:Math に上から近づくと、双曲線が退化して、テンプレート:Mvar軸の焦点の外側の部分になる。この性質もまた、3次元に応用できる。

直交

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

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

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

共焦点放物線

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

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

焦点を原点、軸をテンプレート:Mvar軸とした放物線は、次の式を満たす点の軌跡である。

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

媒介変数テンプレート:Mvarについて、テンプレート:Mathはsemi-latus rectum（焦点を通る軸の垂線と放物線の交点を端とする線分長の半分）である。放物線は、 テンプレート:Mathならば右側に開き、テンプレート:Mathならば左に開く。$(-\frac{1}{2}p,0)$は頂点となる。

共焦点放物線の束。

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

共焦点な楕円と双曲線によって、楕円座標系が作られるのと同様に、共焦点放物線の束はテンプレート:仮リンクの基底となる。

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

同心円

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

したがって共焦点な楕円と双曲線によってもたらされたorthogonal netは、同心円とその中心を通る直線になる。これは極座標系の基底となるテンプレート:Sfn。

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

グレイヴスの定理

共焦点楕円の構築

1850年、アイルランドの司祭テンプレート:仮リンクは、糸を用いた共焦点楕円の作成方法を発表した。

周長よりも長い糸を楕円テンプレート:Mvarにまきつける。ある点に糸を掛けて、糸が張るような点の集合はテンプレート:Mvarと共焦点な楕円となる。

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

楕円テンプレート:Mvarが線分テンプレート:Mathに退化するときは、糸で楕円を描く特殊な場合になる。

二次曲面

共焦点二次曲面

$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,$ $\lambda =$

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

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

$\lambda$が$c^2$に下から近づくと、楕円体は次の式で示されるテンプレート:Mvar-テンプレート:Mvar平面の楕円に退化する（図左上の赤い部分）。

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

$\lambda$が$c^2$に上から近づくと、一葉双曲面はテンプレート:Mvar-テンプレート:Mvar平面の楕円$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$は無数の焦点の役割を果たし、束の焦点曲線（テンプレート:Lang）と呼ばれる。

直交系

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

任意の点 $(x_0,y_0,z_0)\in {ℝ}^3$ （ただし $x_0\ne 0,y_0\ne 0,z_0\ne 0$ ）は3種類の共焦点二次曲面のいずれかひとつ上に存在する。

$(x_0,y_0,z_0)$を通る3つの二次曲面は垂直に交わる（外部リンクを参照）。

$f(\lambda )$の例

・点を通る3つの二次曲面が一意に存在する証明$x_0\ne 0,y_0\ne 0,z_0\ne 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$を持ち、区間$(-\mathrm{\infty },c^2),(c^2,b^2),(b^2,a^2),(a^2,\mathrm{\infty })$の中で、連続で単調増加な関数である。垂直な漸近線付近での振る舞いと$\lambda \to \pm \mathrm{\infty }$から次のことが分かる。$f$は3つの根${\lambda }_1,{\lambda }_2,{\lambda }_3$（${\lambda }_1<c^2<{\lambda }_2<b^2<{\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)=\cdots$

$=({\lambda }_i-{\lambda }_k)(\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)}).$

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

$\mathrm{grad}{F}_{{\lambda }_i}\cdot \mathrm{grad}{F}_{{\lambda }_k}=4(\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)})=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,a>c>0$

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

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

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

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

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

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

$\begin{array}{cccc}{P}_{11}& =(a_1{u}_1,\sqrt{(a_1^2-1)(1-u_1^2)}),& P_{22}& =(a_2{u}_2,\sqrt{(a_2^2-1)(1-u_2^2)}),\\ P_{12}& =(a_1{u}_2,\sqrt{(a_1^2-1)(1-u_2^2)}),& P_{21}& =(a_2{u}_1,\sqrt{(a_2^2-1)(1-u_1^2)})\end{array}$

$\begin{array}{cc}|P_{11}{P}_{22}{|}^2& =(a_2{u}_2-a_1{u}_1{)}^2+{(\sqrt{(a_2^2-1)(1-u_2^2)}-\sqrt{(a_1^2-1)(1-u_1^2)})}^2\\ & =a_1^2+a_2^2+u_1^2+u_2^2-2(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)})\end{array}$

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

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

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

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

関連項目

• アポロニウスの円束
• テンプレート:仮リンク
• 連合準円
• 共点
• 共線
• 共円
• 共面

出典

• テンプレート:Cite book
• テンプレート:Cite book See also "10. Other Geometries", テンプレート:Doi.
• テンプレート:Citation
• テンプレート:Cite book
• 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.
• テンプレート:Cite book

外部リンク

• 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.