共焦点円錐曲線

共焦点な円錐曲線の束。
幾何学において、2つの円錐曲線が共焦点（きょうしょうてん、confocal）あるいは共焦であるとは、円錐曲線が焦点（focus;複数形はfoci）を共有している状態である。共焦点である円錐曲線は、共焦点円錐曲線、共焦点二次曲線、共焦円錐曲線、共焦二次曲線（confocal conics）などと言われる。
楕円または双曲線は2つの焦点をもつため、共焦点楕円（confocal ellipses）、共焦点双曲線（confocal hyperbolas）あるいは、その混合物が存在する。共焦点である楕円と双曲線は直交する。
放物線は1つのみ焦点を持つため、共焦点放物線（confocal parabolas）は焦点と軸を共有する放物線であると定義される。 軸上にない任意の点はある共焦点放物線の交点となり、その共焦点放物線は直交する。
円は焦点がその中心に一致した楕円である。特別に、焦点（中心）を共有する円は同心であると言われる。また円の中心を通る直線と、円は直交する。
共焦点の概念を空間に一般化すれば、共焦点二次曲面（confocal quadrics）となる。

**楕円と双曲線**
任意の（円ではない）楕円または双曲線は、ユークリッド平面上に2つの異なる焦点を持つ。また、長軸上にない点Pを与えれば、その点を通る楕円（または双曲線）は一意に決定される。焦点を共有し、Pを通る楕円と双曲線は直交する。
焦点をとする楕円と双曲線の束（共焦点有心円錐曲線族;Family of confocal central conics,Family of confocal centred conics;共焦点有心二次曲線）を作る。
より、直交座標系において、座標軸を軸、原点を焦点の中点（中心）とする円錐曲線を作ることができる。cを線型離心率 （焦点の距離の半分）としたとき、焦点の座標はとなる。 
ファイル:Confocal_conics_parametrized_by_semi-major_axis.png|サムネイル|線型離心率をcとする共焦点円錐曲線の長軸aによる表示。  0  pならば左に開く。は頂点となる。
共焦点放物線の束。
放物線の定義式より、x軸上にない任意の点について、焦点と軸をそれぞれ原点、x軸とする放物線は、右に開いたものと左に開いたものが一つずつ存在する。また、これらは直交する。
共焦点な楕円と双曲線によって、楕円座標系が作られるのと同様に、共焦点放物線の束はParabolic coordinatesの基底となる。
等角写像によって共焦点放物線のnetは、座標軸に平行な直線の像と、複素平面の右半分と見なせる（外部リンク参照）。left

**同心円**
円は二つの焦点を一致させた楕円である。一方、焦点を一致させた双曲線は、その点を通る2直線に退化する。
したがって共焦点な楕円と双曲線によってもたらされたorthogonal netは、同心円とその中心を通る直線になる。これは極座標系の基底となるp= 6。
焦点を反対方向に無限遠まで離すと楕円は長軸に平行な2直線に退化し、双曲線は長軸に垂直な2直線に退化する。したがって、直交する網は共焦点円錐曲線の束であるとみなせる。このようにして特に直交座標系を作ることができる。

**グレイヴスの定理**
共焦点楕円の構築
1850年、アイルランドの司祭label=チャールズ・グレイヴスは、糸を用いた共焦点楕円の作成方法を発表した。
 周長よりも長い糸を楕円Eにまきつける。ある点に糸を掛けて、糸が張るような点の集合はEと共焦点な楕円となる。
フェリックス・クラインの書籍で示された証明は楕円積分を用いる。Otto Staudeは同様の方法を楕円体へ拡張した（クラインの書籍を見よ）。
楕円Eが線分に退化するときは、糸で楕円を描く特殊な場合になる。

**二次曲面**
共焦点二次曲面

(赤), (青),  (紫)
の値と曲面の関係 
2つの二次曲面が共焦点であるとは、軸を共有し、平面との交面が共焦点楕円になっている状態を指す。円錐曲線の場合に類推して、非退化な共焦点二次曲面の束は3軸楕円体、一葉双曲面 と二葉双曲面、楕円放物面、双曲放物面、双方向に開いた楕円放物面の2種類がある。
3軸の長さの半分を（）とする3軸楕円体は共焦点二次曲面の束を決定する。変数で作られたそれぞれの二次曲面は、次の式を満たす点の集合となる。
 
ならば楕円体、ならば一葉双曲面、ならば二葉双曲面となり、  ならば解は存在しない。

**焦点曲線**
焦点円錐曲線（黒い楕円、放物線）
(楕円体、赤)、
(一葉双曲面、青)、
(一葉双曲面、青),
(ニ葉双曲面、紫)下部は極限の場合。
極限:
がに下から近づくと、楕円体は次の式で示されるx-y平面の楕円に退化する（図左上の赤い部分）。
 
がに上から近づくと、一葉双曲面はx-y平面の楕円の外側の部分に退化する（図左下、青い部分）。
どちらの極限の場合も上に点を持つ。
極限: 
同様に  が上下から  に近づくと、それぞれの双曲面の極限の面（図右下、青と紫）は、共通の双曲線
 
を持つ。
焦点曲線
の焦点はの頂点である。逆もまた然り。したがって、とはFocal conicsの組である。
逆に、共焦点二次曲面の束の任意の二次曲面はピンと糸の方法によって構築できる。この際、焦点円錐曲線は無数の焦点の役割を果たし、束の焦点曲線（focal curves）と呼ばれる。

**直交系**
共焦点楕円、双曲線から類推して、
 任意の点   （ただし  ）は3種類の共焦点二次曲面のいずれかひとつ上に存在する。
 を通る3つの二次曲面は垂直に交わる（外部リンクを参照）。
の例
・点を通る3つの二次曲面が一意に存在する証明で点 について、関数を定める。この関数は3つの直交する漸近線を持ち、区間の中で、連続で単調増加な関数である。垂直な漸近線付近での振る舞いとから次のことが分かる。は3つの根（）を持つ。
・面の直交の証明
の束を用いて、共焦点二次曲面はと書ける。交差する2つの二次曲面について、共通の点をとる。
 
 
この方程式より、共通の点における勾配のスカラー積を得る。
 
よって題意は示された。
共焦点双曲面との交線に曲率線を持つ楕円体。

**応用**
より、任意の2つの二次曲面の交線は曲率線となる。Elliptic coordinate systemから類推して、これはEllipsoidal coordinatesの基底となる。
物理学において、共焦点楕円体は帯電した楕円体のlabel=等位面として現れる。

**アイヴォリーの定理**
アイボリーの定理
アイヴォリーの定理（Ivory's theorem）またはアイヴォリーの補題は、スコットランドの数学者ジェームズ・アイヴォリーに因んだ、直交する曲線が成す四角形（net-rectangle）の対角線に関する定理である。
 それぞれ2つの共焦点楕円、双曲線の成す任意のnet-rectangleについて、2つの対角線の長さは等しい。  
を、焦点がである次の式で表される楕円とする。
 
また、を次の式で表される楕円と共焦点な双曲線とする。
 
と の4交点を計算する。
  
としても一般性を失わない（cを変えると原点中心に相似拡大される）。4交点の中から第一象限にある物を選ぶ。
4つの曲線が焦点を共有するように、を二つの共焦点楕円、を二つの共焦点双曲線として、net-rectangle の頂点と対角線の長さを次のように得る。
 
 
最後の辺において、としても値は変化しない。つまり の赤黒を入れ替えても値は変化しないから、 を得る。
共焦点放物線については、より簡単な計算で証明できる。
アイヴォリーは3次元への一般化を示した1954。
 三次元において、共焦点二次曲面からなる直方体の対角線の長さは等しい。

**出典**

**参考文献**
 ref=harv- isbn=978-3-662-45449-7 See also "10. Other Geometries", 10.1007/978-3-662-45450-3_10.- Citation|title=Geometry and the Imagination|last=Hilbert|first=David|author-link=David Hilbert|last2=Cohn-Vossen|first2=Stephan|author2-link=Stephan Cohn-Vossen|year=1952|publisher=Chelsea|pages=19–25|chapter=§1.4 The Thread Construction of the Ellipsoid, and Confocal Quadrics|chapter-url=https://archive.org/details/geometryimaginat0000dhil/page/19- 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.- pages=224–250

**関連項目**
 アポロニウスの円束- Focaloid- 連合準円- 共点- 共線- 共円- 共面- 双極座標系

**外部リンク**
 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.