サムネイル|共焦点な円錐曲線の束。 幾何学において、2つの円錐曲線が共焦点(きょうしょうてん、)あるいは共焦であるとは、円錐曲線が焦点(focus;複数形はfoci)を共有している状態である。共焦点である円錐曲線は、共焦点円錐曲線、共焦点二次曲線、共焦円錐曲線、共焦二次曲線(confocal conics)などと言われる。

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

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

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

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

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

焦点をとする楕円と双曲線の束(共焦点有心円錐曲線族;Family of confocal central conics,Family of confocal centred conics;共焦点有心二次曲線)を作る。

より、直交座標系において、座標軸を軸、原点を焦点の中点(中心)とする円錐曲線を作ることができる。を線型離心率 (焦点の距離の半分)としたとき、焦点の座標はとなる。 サムネイル|線型離心率をとする共焦点円錐曲線の長軸による表示。 ならば双曲線、ならば楕円となる。 楕円と双曲線からなる共焦点円錐曲線は、次の等式を満たす点の軌跡となる。

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

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

ならば楕円、 ならば双曲線となる。ならば、解は実数上に存在しない。焦点の座標はである。この表現方法は二次曲面の定義式に応用できる。

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

直交 サムネイル|反射の性質を用いた、楕円と双曲線の直交の視覚的な証明。 共焦点な楕円、双曲線の束を考える。楕円の法線と双曲線の接線は、接点と焦点を繋ぐ2直線の角の二等分線になる。したがって図の様に、楕円と双曲線の直交を導ける。

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

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

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

媒介変数について、はsemi-latus rectum(焦点を通る軸の垂線と放物線の交点を端とする線分長の半分)である。放物線は、 ならば右側に開き、ならば左に開く。は頂点となる。 左|サムネイル|共焦点放物線の束。 放物線の定義式より、軸上にない任意の点について、焦点と軸をそれぞれ原点、軸とする放物線は、右に開いたものと左に開いたものが一つずつ存在する。また、これらは直交する。

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

等角写像によって共焦点放物線のnetは、座標軸に平行な直線の像と、複素平面の右半分と見なせる(外部リンク参照)。

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

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

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

グレイヴスの定理 サムネイル|共焦点楕円の構築 1850年、アイルランドの司祭は、糸を用いた共焦点楕円の作成方法を発表したFelix Klein: Vorlesungen über Höhere Geometrie, Sringer-Verlag, Berlin, 1926, S.32.。

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

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

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

二次曲面 サムネイル|共焦点二次曲面

(赤), (青), (紫) サムネイル|の値と曲面の関係 2つの二次曲面が共焦点であるとは、軸を共有し、平面との交面が共焦点楕円になっている状態を指す。円錐曲線の場合に類推して、非退化な共焦点二次曲面の束は3軸楕円体、一葉双曲面 と二葉双曲面、楕円放物面、双曲放物面、双方向に開いた楕円放物面の2種類がある。

3軸の長さの半分を()とする3軸楕円体は共焦点二次曲面の束を決定する。変数で作られたそれぞれの二次曲面は、次の式を満たす点の集合となる。

ならば楕円体、ならば一葉双曲面、ならば二葉双曲面となり、 ならば解は存在しない。

焦点曲線 サムネイル|焦点円錐曲線(黒い楕円、放物線) サムネイル| (楕円体、赤)、

(一葉双曲面、青)、 (一葉双曲面、青), (ニ葉双曲面、紫)下部は極限の場合。 極限:

がに下から近づくと、楕円体は次の式で示される-平面の楕円に退化する(図左上の赤い部分)。

がに上から近づくと、一葉双曲面は-平面の楕円の外側の部分に退化する(図左下、青い部分)。

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

極限:

同様に が上下から に近づくと、それぞれの双曲面の極限の面(図右下、青と紫)は、共通の双曲線

を持つ。

焦点曲線

の焦点はの頂点である。逆もまた然り。したがって、とはの組である。

逆に、共焦点二次曲面の束の任意の二次曲面はピンと糸の方法によって構築できる。この際、焦点円錐曲線は無数の焦点の役割を果たし、束の焦点曲線()と呼ばれる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)。

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

任意の点 (ただし )は3種類の共焦点二次曲面のいずれかひとつ上に存在する。 を通る3つの二次曲面は垂直に交わる(外部リンクを参照)。

サムネイル|の例 ・点を通る3つの二次曲面が一意に存在する証明で点 について、関数を定める。この関数は3つの直交する漸近線を持ち、区間の中で、連続で単調増加な関数である。垂直な漸近線付近での振る舞いとから次のことが分かる。は3つの根()を持つ。

・面の直交の証明 の束を用いて、共焦点二次曲面はと書ける。交差する2つの二次曲面について、共通の点をとる。

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

よって題意は示された。 サムネイル|共焦点双曲面との交線に曲率線を持つ楕円体。

応用 より、任意の2つの二次曲面の交線は曲率線となる。から類推して、これはの基底となる。

物理学において、共焦点楕円体は帯電した楕円体のとして現れるD. Fuchs, S. Tabachnikov: Ein Schaubild der Mathematik. Springer-Verlag, Berlin/Heidelberg 2011, , p. 480.。

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

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

を、焦点がである次の式で表される楕円とする。

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

と の4交点を計算する。

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

4つの曲線が焦点を共有するように、を二つの共焦点楕円、を二つの共焦点双曲線として、net-rectangle の頂点と対角線の長さを次のように得る。

最後の辺において、としても値は変化しない。つまり の赤黒を入れ替えても値は変化しないから、 を得る。

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

アイヴォリーは3次元への一般化を示した。

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

出典

参考文献

See also "10. Other Geometries", .

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.

関連項目 アポロニウスの円束

連合準円 共点 共線 共円 共面 双極座標系

外部リンク

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.