# 焦点 (幾何学)

点 WIKINIUM\_MATH\_PH\_0 は楕円（赤）・抛物線（緑）双曲線（青）に対する焦点
初等幾何学（特に平面射影幾何学）における**焦点**（しょうてん、英: *focus*）は、ある種の一連の曲線群に属する任意の曲線を構成するための特別な参照点の対である。焦点を用いて、例えば円錐曲線（円、楕円、放物線、双曲線）やさらにカッシーニの卵形線やデカルトの卵形線なども定義することができる。

## 円錐曲線論

### 二つの焦点を用いる定義

* 楕円は与えられた二焦点からの距離の和が一定となるような点の軌跡として定義することができる。
* 円を二つの焦点が一致する特別の場合の楕円として定義することもできる（これは、与えられた一つの焦点からの距離が一定であるような点の軌跡と述べる方がより簡明である）。また、円を相異なる二焦点に関するアポロニウスの円として、すなわち与えられた二焦点からの距離の比が一定であるような点の集合として得ることもできる。
* 放物線は一方の焦点が無限遠点となっているような楕円の極限的な場合として定義できる。
* 双曲線は与えられた二焦点からの距離の差（の絶対値）が一定であるような点の軌跡として定義される。

### 焦点と準線を用いた定義

任意の円錐曲線は、一つの焦点と一つの準線（これは焦点を含まない直線の形で与えられる）を用いて記述することもできる。
すなわち、円錐曲線は焦点からの距離を準線からの距離で割った値（離心率 WIKINIUM\_MATH\_PH\_1 ）が一定であるような点の軌跡として定義される。各円錐曲線は、離心率 WIKINIUM\_MATH\_PH\_2 が

* WIKINIUM\_MATH\_PH\_3 ならば楕円、
* WIKINIUM\_MATH\_PH\_4 ならば放物線、
* WIKINIUM\_MATH\_PH\_5 ならば双曲線

になる。焦点までの距離を固定して、準線を無限遠直線へ飛ばせば離心率は WIKINIUM\_MATH\_PH\_6 となり、円錐曲線は円になる。

### 焦点と準円を用いた定義

任意の円錐曲線は一つの焦点と一つの準円から等距離にある点の軌跡としても記述できる。

* 楕円の場合、焦点と準円の中心はともに有限の座標を持ち（つまり無限遠に無い）、準円の半径が焦点と円の中心との距離よりも大きい（焦点は準円の内部にある）。そして、準円の中心を第二の焦点として楕円が生成される。この楕円は準円の全く内側にできる。
* 放物線の場合、準円の中心は無限遠点にある（このとき、準「円」は曲率零の曲線となって直線と見分けがつかない）。放物線の二本の腕はそれらを延長するときどんどん平行に近くなるように伸びて「無限遠」で平行になる。射影幾何の原理によれば、平行線は無限遠点において交わり、閉じた曲線となる。
* 双曲線を生成するには、準円の半径を焦点と円の中心との距離よりも小さくする（焦点は準円の外部にある）。双曲線の腕は漸近線に近づき、双曲線の一方の枝の「右側」の腕は無限遠点において他方の枝の「左側」の腕と交わる。これは射影幾何学における原理「一つの直線は自分自身と無限遠点で交わる」に基づく。双曲線の二つの枝は、閉じた曲線を無限遠点で捩じったそれぞれの半円部分ということになる。

射影幾何学において、任意の種類の円錐曲線は「その一つについて述べられた射影幾何学の定理は他の円錐曲線に対しても成立する」という意味で同値である。

## 卵形線

* デカルトの卵形線は与えられた二焦点からの距離の重み付けられた和が一定となるような点の軌跡をいう。
* カッシーニの卵形線は与えられた二焦点からの距離の積が一定であるような点の軌跡をいう。

## 一般化

焦点の概念は任意の代数曲線に対して一般化することができる。曲線 WIKINIUM\_MATH\_PH\_7 はクラス WIKINIUM\_MATH\_PH\_8 で WIKINIUM\_MATH\_PH\_9 は無限遠円点（任意の円が通過する無限遠点の対）とし、 WIKINIUM\_MATH\_PH\_10 の各々を通る WIKINIUM\_MATH\_PH\_11 の接線 WIKINIUM\_MATH\_PH\_12 本を描く。これで、特異点などの影響で例外となる場合を除き、 WIKINIUM\_MATH\_PH\_13 個の交点を持つ WIKINIUM\_MATH\_PH\_14 本の直線からなる二つの集合が得られたことになる。これらの交点が WIKINIUM\_MATH\_PH\_15 の焦点と定義される。すなわち、点 WIKINIUM\_MATH\_PH\_16 が焦点であるとは、 WIKINIUM\_MATH\_PH\_17 がともに WIKINIUM\_MATH\_PH\_18 の接線となるときにいう。 WIKINIUM\_MATH\_PH\_19 が実数体上定義された曲線ならば、共軛な対の交点は実点しかないから、 WIKINIUM\_MATH\_PH\_20 個の実焦点と WIKINIUM\_MATH\_PH\_21 個の虚焦点を持つ。 WIKINIUM\_MATH\_PH\_22 が円錐曲線ならば、この方法て定義された実焦点は上で述べた WIKINIUM\_MATH\_PH\_23 の幾何学的構成で用いた意味での焦点の概念とちょうど一致する。

### 共焦曲線族

クラス WIKINIUM\_MATH\_PH\_24 の曲線 WIKINIUM\_MATH\_PH\_25 の焦点 WIKINIUM\_MATH\_PH\_26 について、 WIKINIUM\_MATH\_PH\_27 はこれら焦点の接線の方程式の積とし、 WIKINIUM\_MATH\_PH\_28 は無限遠円点の接線の方程式の積とする。 WIKINIUM\_MATH\_PH\_29 および WIKINIUM\_MATH\_PH\_30 に対する共通接線はすべて、 WIKINIUM\_MATH\_PH\_31 に接するから、マックス・ネーターの基本定理により、 WIKINIUM\_MATH\_PH\_32 の接線の方程式は WIKINIUM\_MATH\_PH\_33 の形を持つ。 WIKINIUM\_MATH\_PH\_34 はクラス WIKINIUM\_MATH\_PH\_35 だから、 WIKINIUM\_MATH\_PH\_36 は定数かつ WIKINIUM\_MATH\_PH\_37 は次数 WIKINIUM\_MATH\_PH\_38 以下とならなければならない。 WIKINIUM\_MATH\_PH\_39 の場合は退化しているものとして除くことができるから、 WIKINIUM\_MATH\_PH\_40 の接線の方程式は、 WIKINIUM\_MATH\_PH\_41 を次数 WIKINIUM\_MATH\_PH\_42 の任意の多項式として WIKINIUM\_MATH\_PH\_43 の形に書ける。

例えば WIKINIUM\_MATH\_PH\_44 とする。接線の方程式は WIKINIUM\_MATH\_PH\_45 だから、 WIKINIUM\_MATH\_PH\_46 である。一方、無限遠円点の接線の方程式は WIKINIUM\_MATH\_PH\_47 だから WIKINIUM\_MATH\_PH\_48 となる。従って、与えられた二点を焦点に持つ円錐曲線の接線の方程式は、 WIKINIUM\_MATH\_PH\_49 または WIKINIUM\_MATH\_PH\_50 で与えられる。ここで WIKINIUM\_MATH\_PH\_51 は任意の定数である。点の座標を用いて書けば

 WIKINIUM\_MATH\_PH\_52
となる。

* Hilton, Harold (1920). *Plane Algebraic Curves*. Oxford. p. 69.