焦点 (幾何学)

初等幾何学（特に平面射影幾何学）における焦点（しょうてん、テンプレート:Lang-en-short）は、ある種の一連の曲線群に属する任意の曲線を構成するための特別な参照点の対である。焦点を用いて、例えば円錐曲線（円、楕円、放物線、双曲線）やさらにカッシーニの卵形線やテンプレート:仮リンクなども定義することができる。

円錐曲線論

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

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

になる。焦点までの距離を固定して、準線を無限遠直線へ飛ばせば離心率はテンプレート:Math となり、円錐曲線は円になる。

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

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

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

焦点の概念は任意の代数曲線に対して一般化することができる。曲線テンプレート:Mvar はクラステンプレート:Mvar でテンプレート:Mvar は無限遠円点（任意の円が通過する無限遠点の対）とし、テンプレート:Mvar の各々を通るテンプレート:Mvar の接線テンプレート:Mvar 本を描く。これで、特異点などの影響で例外となる場合を除き、テンプレート:Math 個の交点を持つテンプレート:Mvar 本の直線からなる二つの集合が得られたことになる。これらの交点がテンプレート:Mvar の焦点と定義される。すなわち、点テンプレート:Math が焦点であるとは、テンプレート:Mvar がともにテンプレート:Mvar の接線となるときにいう。テンプレート:Mvar が実数体上定義された曲線ならば、共軛な対の交点は実点しかないから、テンプレート:Mvar 個の実焦点とテンプレート:Math 個の虚焦点を持つ。テンプレート:Mvar が円錐曲線ならば、この方法て定義された実焦点は上で述べたテンプレート:Mvar の幾何学的構成で用いた意味での焦点の概念とちょうど一致する。

クラステンプレート:Mvar の曲線テンプレート:Mvar の焦点テンプレート:Math について、テンプレート:Mvar はこれら焦点の接線の方程式の積とし、テンプレート:Mvar は無限遠円点の接線の方程式の積とする。テンプレート:Math およびテンプレート:Math に対する共通接線はすべて、テンプレート:Mvar に接するから、テンプレート:仮リンクにより、テンプレート:Mvar の接線の方程式はテンプレート:Math の形を持つ。テンプレート:Mvar はクラステンプレート:Mvar だから、テンプレート:Mvar は定数かつテンプレート:Mvar は次数テンプレート:Math 以下とならなければならない。テンプレート:Math の場合は退化しているものとして除くことができるから、テンプレート:Mvar の接線の方程式は、テンプレート:Mvar を次数テンプレート:Math の任意の多項式としてテンプレート:Math の形に書ける^[1]。

例えばテンプレート:Math とする。接線の方程式はテンプレート:Math だから、テンプレート:Math である。一方、無限遠円点の接線の方程式はテンプレート:Math だからテンプレート:Math となる。従って、与えられた二点を焦点に持つ円錐曲線の接線の方程式は、テンプレート:Math またはテンプレート:Math で与えられる。ここでテンプレート:Mvar は任意の定数である。点の座標を用いて書けば

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

となる。