共焦点円錐曲線

幾何学において、2つの円錐曲線が**共焦点**（きょうしょうてん、）あるいは**共焦**であるとは、円錐曲線が'''焦点'''（focus;複数形はfoci）を共有している状態である。共焦点である円錐曲線は、共焦点円錐曲線、共焦点二次曲線、共焦円錐曲線、共焦二次曲線（confocal conics）などと言われる。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

### 直交

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

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

## 共焦点放物線

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

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

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

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

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

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

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

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

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

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

## グレイヴスの定理

1850年、アイルランドの司祭は、糸を用いた共焦点楕円の作成方法を発表した。

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

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

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

## 二次曲面

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ならば一葉双曲面、b^2ならば二葉双曲面となり、 a^2 ならば解は存在しない。

### 焦点曲線

**極限:<math>\lambda\to c^2</math>**

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

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

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

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

**極限: <math>\lambda\to b^2</math>**

同様に \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は無数の焦点の役割を果たし、束の焦点曲線（）と呼ばれる。

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

: 任意の点 (x_0, y_0, z_0)\in \R^3  （ただし x_0 \ne 0,\; y_0 \ne 0,\; z_0 \ne 0 ）は3種類の共焦点二次曲面のいずれかひとつ上に存在する。
: (x_0, y_0, z_0)を通る3つの二次曲面は垂直に交わる（外部リンクを参照）。

・点を通る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を持ち、区間(-\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}）を持つ。

・面の直交の証明
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\ ,

よって題意は示された。

### 応用
より、任意の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{align}
P_{11}&=\left(a_1u_1,\; \sqrt{(a_1^2-1)(1-u_1^2)}\right), &
P_{22}&=\left(a_2u_2,\; \sqrt{(a_2^2-1)(1-u_2^2)}\right), \\[5mu]
P_{12}&=\left(a_1u_2,\; \sqrt{(a_1^2-1)(1-u_2^2)}\right), &
P_{21}&=\left(a_2u_1,\; \sqrt{(a_2^2-1)(1-u_1^2)}\right)
\end{align}

: \begin{align}
|P_{11}P_{22}|^2 &= (a_2u_2-a_1u_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_1a_2u_1u_2+\sqrt{(a_1^2-1)(a_2^2-1)(1-u_1^2)(1-u_2^2)}\right)
\end{align}

最後の辺において、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次元への一般化を示した。

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

## 出典

## 参考文献

* 
*  See also "10. Other Geometries", .
* 
* 
* Ernesto Pascal: *Repertorium der höheren Mathematik.* Teubner, Leipzig/Berlin 1910, p.&nbsp;257.
* A. Robson: *An Introduction to Analytical Geometry* Vo. I, Cambridge, University Press, 1940, p.&nbsp;157.
* 
## 関連項目
* アポロニウスの円束
* 
* 連合準円
* 共点
* 共線
* 共円
* 共面
* 双極座標系

## 外部リンク

* T. Hofmann: ''Miniskript Differentialgeometrie I, p. 48''
* B. Springborn: ''Kurven und Flächen'', 12. Vorlesung: Konfokale Quadriken (S.&nbsp;22&nbsp;f.).
* H. Walser: *[http://e-collection.library.ethz.ch/eserv/eth:25629/eth-25629-08.pdf Konforme Abbildungen.]* p.&nbsp;8.