共焦点円錐曲線

幾何学において、2つの円錐曲線が共焦点（きょうしょうてん、英: confocal）あるいは共焦であるとは、円錐曲線が焦点（focus;複数形はfoci）を共有している状態である。共焦点である円錐曲線は、共焦点円錐曲線、共焦点二次曲線、共焦円錐曲線、共焦二次曲線（confocal conics）などと言われる。 楕円または双曲線は2つの焦点をもつため、共焦点楕円（confocal ellipses）、共焦点双曲線（confocal hyperbolas）あるいは、その混合物が存在する。共焦点である楕円と双曲線は直交する。 放物線は1つのみ焦点を持つため、共焦点放物線（confocal parabolas）は焦点と軸を共有する放物線であると定義される。 軸上にない任意の点はある共焦点放物線の交点となり、その共焦点放物線は直交する。 円は焦点がその中心に一致した楕円である。特別に、焦点（中心）を共有する円は同心であると言われる。また円の中心を通る直線と、円は直交する。 共焦点の概念を空間に一般化すれば、共焦点二次曲面（confocal quadrics）となる。 任意の（円ではない）楕円または双曲線は、ユークリッド平面上に2つ異なるの焦点F1 , F2を持つ。また、長軸上にない点Pを与えれば、その点を通る楕円（または双曲線）は一意に決定される。焦点F1 , F2を共有し、Pを通る楕円と双曲線は直交する。 焦点をF1 , F2とする楕円と双曲線の束（共焦点有心円錐曲線族;Family of confocal central conics,Family of confocal centred conics;共焦点有心二次曲線）を作る。 主軸定理（英語版）より、直交座標系において、座標軸を軸、原点を焦点の中点（中心）とする円錐曲線を作ることができる。cを線型離心率 （焦点の距離の半分）としたとき、焦点の座標は F 1 = ( c , 0 ) , F 2 = ( − c , 0 ) {\displaystyle F_{1}=(c,0),\;F_{2}=(-c,0)} となる。 楕円と双曲線からなる共焦点円錐曲線は、次の等式を満たす点の軌跡となる。 x 2 a 2 + y 2 a 2 − c 2 = 1 {\displaystyle {\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）。媒介変数λを用いて、次の式のようになる。 x 2 a 2 − λ + y 2 b 2 − λ = 1 , {\displaystyle {\frac {x^{2}}{a^{2}-\lambda }}+{\frac {y^{2}}{b^{2}-\lambda }}=1,} − ∞ < λ < b 2 {\displaystyle -\infty <\lambda <b^{2}} ならば楕円、 b 2 < λ < a 2 {\displaystyle b^{2}<\lambda <a^{2}} ならば双曲線となる。 a 2 < λ {\displaystyle a^{2}<\lambda } ならば、解は実数上に存在しない。焦点の座標は ( ± a 2 − b 2 , 0 ) {\textstyle {\bigl (}{\pm }{\sqrt {a^{2}-b^{2}}},0{\bigr )}} である。この表現方法は二次曲面の定義式に応用できる。 媒介変数λがb2 に下から近づくと、楕円はx軸の焦点間の線分に退化（英語版）する。λがb2 に上から近づくと、双曲線が退化して、x軸の焦点の外側の部分になる。この性質もまた、3次元に応用できる。 共焦点な楕円、双曲線の束を考える。楕円の法線と双曲線の接線は、接点と焦点を繋ぐ2直線の角の二等分線になる。したがって図の様に、楕円と双曲線の直交を導ける。 このような楕円の束と双曲線の束のように、交差しない曲線の集合2つが、互いの要素に直交するような集合は、orthogonal netと呼ばれる。 楕円と双曲線のorthogonal netをもとにした楕円座標系（英語版）と呼ばれる座標系がある。 放物線は単一の焦点を持つ。これは、一方の焦点を固定して、もう一方の焦点を無限遠に移動させた場合の楕円または放物線と見なせる。楕円と双曲線の直交の性質を放物線に適用すれば、 ある放物線に直交する放物線は反対方向を向いた放物線になる。 焦点を原点、軸をx軸とした放物線は、次の式を満たす点の軌跡である。 y 2 = 2 x p + p 2 , {\displaystyle y^{2}=2xp+p^{2},} 媒介変数pについて、|p|はsemi-latus rectum（焦点を通る軸の垂線と放物線の交点を端とする線分長の半分）である。放物線は、 0 < pならば右側に開き、0 > pならば左に開く。 ( − 1 2 p , 0 ) {\displaystyle {\bigl (}{-}{\tfrac {1}{2}}p,0{\bigr )}} は頂点となる。 放物線の定義式より、x軸上にない任意の点 P {\displaystyle P} について、焦点と軸をそれぞれ原点、x軸とする放物線は、右に開いたものと左に開いたものが一つずつ存在する。また、これらは直交する。 共焦点な楕円と双曲線によって、楕円座標系が作られるのと同様に、共焦点放物線の束は放物座標系（英語版）の基底となる。 等角写像 w = z 2 {\displaystyle w=z^{2}} によって共焦点放物線のnetは、座標軸に平行な直線の像と、複素平面の右半分と見なせる（外部リンク参照）。 円は二つの焦点を一致させた楕円である。一方、焦点を一致させた双曲線は、その点を通る2直線に退化する。 したがって共焦点な楕円と双曲線によってもたらされたorthogonal netは、同心円とその中心を通る直線になる。これは極座標系の基底となる。 焦点を反対方向に無限遠まで離すと楕円は長軸に平行な2直線に退化し、双曲線は長軸に垂直な2直線に退化する。したがって、直交する網は共焦点円錐曲線の束であるとみなせる。このようにして特に直交座標系を作ることができる。 1850年、アイルランドの司祭チャールズ・グレイヴス（英語版）は、糸を用いた共焦点楕円の作成方法を発表した。 周長よりも長い糸を楕円Eにまきつける。ある点に糸を掛けて、糸が張るような点の集合はEと共焦点な楕円となる。 フェリックス・クラインの書籍で示された証明は楕円積分を用いる。Otto Staudeは同様の方法を楕円体へ拡張した（クラインの書籍を見よ）。 楕円Eが線分F1F2に退化するときは、糸で楕円を描く特殊な場合になる。 2つの二次曲面が共焦点であるとは、軸を共有し、平面との交面が共焦点楕円になっている状態を指す。円錐曲線の場合に類推して、非退化な共焦点二次曲面の束は3軸楕円体、一葉双曲面 と二葉双曲面、楕円放物面、双曲放物面、双方向に開いた楕円放物面の2種類がある。 3軸の長さの半分を a , b , c {\displaystyle a,b,c} （ a > b > c > 0 {\displaystyle a>b>c>0} ）とする3軸楕円体は共焦点二次曲面の束を決定する。変数 λ {\displaystyle \lambda } で作られたそれぞれの二次曲面は、次の式を満たす点の集合となる。 x 2 a 2 − λ + y 2 b 2 − λ + z 2 c 2 − λ = 1. {\displaystyle {\frac {x^{2}}{a^{2}-\lambda }}+{\frac {y^{2}}{b^{2}-\lambda }}+{\frac {z^{2}}{c^{2}-\lambda }}=1.} λ < c 2 {\displaystyle \lambda <c^{2}} ならば楕円体、 c 2 < λ < b 2 {\displaystyle c^{2}<\lambda <b^{2}} ならば一葉双曲面、 b 2 < λ < a 2 {\displaystyle b^{2}<\lambda <a^{2}} ならば二葉双曲面となり、 a 2 < λ {\displaystyle a^{2}<\lambda } ならば解は存在しない。 極限: λ → c 2 {\displaystyle \lambda \to c^{2}} λ {\displaystyle \lambda } が c 2 {\displaystyle c^{2}} に下から近づくと、楕円体は次の式で示されるx-y平面の楕円に退化する（図左上の赤い部分）。 E : x 2 a 2 − c 2 + y 2 b 2 − c 2 = 1 {\displaystyle E:{\frac {x^{2}}{a^{2}-c^{2}}}+{\frac {y^{2}}{b^{2}-c^{2}}}=1} λ {\displaystyle \lambda } が c 2 {\displaystyle c^{2}} に上から近づくと、一葉双曲面はx-y平面の楕円 E {\displaystyle E} の外側の部分に退化する（図左下、青い部分）。 どちらの極限の場合も E {\displaystyle E} 上に点を持つ。 極限: λ → b 2 {\displaystyle \lambda \to b^{2}} 同様に λ {\displaystyle \lambda } が上下から b 2 {\displaystyle b^{2}} に近づくと、それぞれの双曲面の極限の面（図右下、青と紫）は、共通の双曲線 H :   x 2 a 2 − b 2 + z 2 c 2 − b 2 = 1 {\displaystyle H:\ {\frac {x^{2}}{a^{2}-b^{2}}}+{\frac {z^{2}}{c^{2}-b^{2}}}=1} を持つ。 焦点曲線 E {\displaystyle E} の焦点は H {\displaystyle H} の頂点である。逆もまた然り。したがって、 E {\displaystyle E} と H {\displaystyle H} は焦点円錐曲線（英語版）の組である。 逆に、共焦点二次曲面の束の任意の二次曲面はピンと糸の方法によって構築できる。この際、焦点円錐曲線 E , H {\displaystyle E,H} は無数の焦点の役割を果たし、束の焦点曲線（focal curves）と呼ばれる。 共焦点楕円、双曲線から類推して、 任意の点 ( x 0 , y 0 , z 0 ) ∈ R 3 {\displaystyle (x_{0},y_{0},z_{0})\in \mathbb {R} ^{3}} （ただし x 0 ≠ 0 , y 0 ≠ 0 , z 0 ≠ 0 {\displaystyle x_{0}\neq 0,\;y_{0}\neq 0,\;z_{0}\neq 0} ）は3種類の共焦点二次曲面のいずれかひとつ上に存在する。 ( x 0 , y 0 , z 0 ) {\displaystyle (x_{0},y_{0},z_{0})} を通る3つの二次曲面は垂直に交わる（外部リンクを参照）。 ・点を通る3つの二次曲面が一意に存在する証明 x 0 ≠ 0 , y 0 ≠ 0 , z 0 ≠ 0 {\displaystyle x_{0}\neq 0,y_{0}\neq 0,z_{0}\neq 0} で点 ( x 0 , y 0 , z 0 ) {\displaystyle (x_{0},y_{0},z_{0})} について、関数 f ( λ ) = x 0 2 a 2 − λ + y 0 2 b 2 − λ + z 0 2 c 2 − λ − 1 {\displaystyle 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 {\displaystyle c^{2}<b^{2}<a^{2}} を持ち、区間 ( − ∞ , c 2 ) , ( c 2 , b 2 ) , ( b 2 , a 2 ) , ( a 2 , ∞ ) {\displaystyle (-\infty ,c^{2}),\;(c^{2},b^{2}),\;(b^{2},a^{2}),\;(a^{2},\infty )} の中で、連続で単調増加な関数である。垂直な漸近線付近での振る舞いと λ → ± ∞ {\displaystyle \lambda \to \pm \infty } から次のことが分かる。 f {\displaystyle f} は3つの根 λ 1 , λ 2 , λ 3 {\displaystyle \lambda _{1},\lambda _{2},\lambda _{3}} （ λ 1 < c 2 < λ 2 < b 2 < λ 3 < a 2   {\displaystyle {\color {red}\lambda _{1}}<c^{2}<{\color {red}\lambda _{2}}<b^{2}<{\color {red}\lambda _{3}}<a^{2}\ } ）を持つ。 ・面の直交の証明 F λ ( x , y , z ) = x 2 a 2 − λ + y 2 b 2 − λ + z 2 c 2 − λ {\displaystyle F_{\lambda }(x,y,z)={\frac {x^{2}}{a^{2}-\lambda }}+{\frac {y^{2}}{b^{2}-\lambda }}+{\frac {z^{2}}{c^{2}-\lambda }}} の束を用いて、共焦点二次曲面は F λ ( x , y , z ) = 1 {\displaystyle F_{\lambda }(x,y,z)=1} と書ける。交差する2つの二次曲面 F λ i ( x , y , z ) = 1 , F λ k ( x , y , z ) = 1 {\displaystyle F_{\lambda _{i}}(x,y,z)=1,\;F_{\lambda _{k}}(x,y,z)=1} について、共通の点 ( x , y , z ) {\displaystyle (x,y,z)} をとる。 0 = F λ i ( x , y , z ) − F λ k ( x , y , z ) = ⋯ {\displaystyle 0=F_{\lambda _{i}}(x,y,z)-F_{\lambda _{k}}(x,y,z)=\dotsb }   = ( λ i − λ k ) ( x 2 ( a 2 − λ i ) ( a 2 − λ k ) + y 2 ( b 2 − λ i ) ( b 2 − λ k ) + z 2 ( c 2 − λ i ) ( c 2 − λ k ) )   . {\displaystyle \ =(\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)\ .} この方程式より、共通の点における勾配のスカラー積を得る。 grad ⁡ F λ i ⋅ grad ⁡ F λ k = 4 ( x 2 ( a 2 − λ i ) ( a 2 − λ k ) + y 2 ( b 2 − λ i ) ( b 2 − λ k ) + z 2 ( c 2 − λ i ) ( c 2 − λ k ) ) = 0   , {\displaystyle \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\ ,} よって題意は示された。 デュパンの定理（英語版）より、任意の2つの二次曲面の交線は曲率線となる。楕円座標系（英語版）から類推して、これは楕円体座標系（英語版）の基底となる。 物理学において、共焦点楕円体は帯電した楕円体の等位面（英語版）として現れる。 アイヴォリーの定理（Ivory's theorem）またはアイヴォリーの補題は、スコットランドの数学者ジェームズ・アイヴォリー（英語版）に因んだ、直交する曲線が成す四角形（net-rectangle）の対角線に関する定理である。 それぞれ2つの共焦点楕円、双曲線の成す任意のnet-rectangleについて、2つの対角線の長さは等しい。 E ( a ) {\displaystyle E(a)} を、焦点が F 1 = ( c , 0 ) , F 2 = ( − c , 0 ) {\displaystyle F_{1}=(c,0),\;F_{2}=(-c,0)} である次の式で表される楕円とする。 x 2 a 2 + y 2 a 2 − c 2 = 1   , a > c > 0   {\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{a^{2}-c^{2}}}=1\ ,\quad a>c>0\ } また、 H ( u ) {\displaystyle H(u)} を次の式で表される楕円と共焦点な双曲線とする。 x 2 u 2 + y 2 u 2 − c 2 = 1   , c > u   . {\displaystyle {\frac {x^{2}}{u^{2}}}+{\frac {y^{2}}{u^{2}-c^{2}}}=1\ ,\quad c>u\ .} E ( a ) {\displaystyle E(a)} と H ( u ) {\displaystyle H(u)} の4交点を計算する。 ( ± a u c , ± ( a 2 − c 2 ) ( c 2 − u 2 ) c ) {\displaystyle \left(\pm {\frac {au}{c}},\;\pm {\frac {\sqrt {(a^{2}-c^{2})(c^{2}-u^{2})}}{c}}\right)} c = 1 {\displaystyle c=1} としても一般性を失わない（cを変えると原点中心に相似拡大される）。4交点の中から第一象限にある物を選ぶ。 4つの曲線が焦点を共有するように、 E ( a 1 ) , E ( a 2 ) {\displaystyle E(a_{1}),E(a_{2})} を二つの共焦点楕円、 H ( u 1 ) , H ( u 2 ) {\displaystyle H(u_{1}),H(u_{2})} を二つの共焦点双曲線として、net-rectangle の頂点と対角線の長さを次のように得る。 P 11 = ( a 1 u 1 , ( a 1 2 − 1 ) ( 1 − u 1 2 ) ) , P 22 = ( a 2 u 2 , ( a 2 2 − 1 ) ( 1 − u 2 2 ) ) , P 12 = ( a 1 u 2 , ( a 1 2 − 1 ) ( 1 − u 2 2 ) ) , P 21 = ( a 2 u 1 , ( a 2 2 − 1 ) ( 1 − u 1 2 ) ) {\displaystyle {\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}}} | P 11 P 22 | 2 = ( a 2 u 2 − a 1 u 1 ) 2 + ( ( a 2 2 − 1 ) ( 1 − u 2 2 ) − ( 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 + ( a 1 2 − 1 ) ( a 2 2 − 1 ) ( 1 − u 1 2 ) ( 1 − u 2 2 ) ) {\displaystyle {\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 ↔ u 2 {\displaystyle u_{1}\leftrightarrow u_{2}} としても値は変化しない。つまり | P 1 2 P 2 1 | 2 {\displaystyle |P_{1\color {red}2}P_{2\color {red}1}|^{2}} の赤黒を入れ替えても値は変化しないから、 | P 11 P 22 | = | P 12 P 21 | {\displaystyle |P_{11}P_{22}|=|P_{12}P_{21}|} を得る。 共焦点放物線については、より簡単な計算で証明できる。 アイヴォリーは3次元への一般化を示した (s. Blaschke, p. 111)。 三次元において、共焦点二次曲面からなる直方体の対角線の長さは等しい。 アポロニウスの円束 フォーカロイド（英語版） 連合準円 共点 共線 共円 共面 ^ 西内貞吉、柏木秀利『最新解析幾何学』成象堂、1925年、278頁。NDLJP:942895。  ^ Eugène Rouché,Charles de Comberousse 著、小倉金之助 訳『初等幾何學 第2卷 空間之部』山海堂書店、1915年、521頁。doi:10.11501/1082037。  ^ ジョン・ケージー（英語版） 著、山下安太郎, 高橋三蔵 訳『幾何学続編』有朋堂、1909年。doi:10.11501/828521。  ^ 森本清吾『解析幾何学』高岡本店、1934年、127頁。NDLJP:1233324。  ^ サーモン 著、小倉金之助 訳『解析幾何学 : 円錐曲線』山海堂、1914年、314頁。doi:10.11501/952208。  ^ 日本數學會『岩波數學辭典』岩波書店、1954年。https://www.google.co.jp/books/edition/%E5%B2%A9%E6%B3%A2%E6%95%B8%E5%AD%B8%E8%BE%AD%E5%85%B8/LP05AAAAMAAJ。  ^ a b 『新訂版　数学用語 英和辞典: 和英索引付き』近代科学社、2020年12月2日。ISBN 978-4-7649-0624-2。https://www.google.co.jp/books/edition/%E6%96%B0%E8%A8%82%E7%89%88_%E6%95%B0%E5%AD%A6%E7%94%A8%E8%AA%9E_%E8%8B%B1%E5%92%8C%E8%BE%9E%E5%85%B8/SHMNEAAAQBAJ。  ^ 竹内端三『函数概論』共立出版、1946年、60頁。NDLJP:1063358。  ^ Hilbert & Cohn-Vossen 1952, p. 6. ^ Felix Klein: Vorlesungen über Höhere Geometrie, Sringer-Verlag, Berlin, 1926, S.32. ^ Staude, O.: Ueber Fadenconstructionen des Ellipsoides. Math. Ann. 20, 147–184 (1882) ^ Staude, O.: Ueber neue Focaleigenschaften der Flächen 2. Grades. Math. Ann. 27, 253–271 (1886). ^ Staude, O.: Die algebraischen Grundlagen der Focaleigenschaften der Flächen 2. Ordnung Math. Ann. 50, 398 – 428 (1898) ^ 窪田 忠彦『高等数学叢書 第7 微分幾何学』岩波書店、1940年、175頁。NDLJP:1172588。  ^ D. Fuchs, S. Tabachnikov: Ein Schaubild der Mathematik. Springer-Verlag, Berlin/Heidelberg 2011, ISBN 978-3-642-12959-9, p. 480. ^ 竹内時男『応用函数論階梯』有隣堂出版、1948年、60頁。NDLJP:1063359。  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.