焦点 (幾何学)のソースを表示

[[Image:Excentricidad.svg|thumb|点 {{math|F}} は楕円（赤）・抛物線（緑）双曲線（青）に対する焦点]]
[[初等幾何学]]（特に平面[[射影幾何学]]）における'''焦点'''（しょうてん、{{lang-en-short|''focus''}}）は、ある種の一連の曲線群に属する任意の曲線を構成するための特別な参照点の対である。焦点を用いて、例えば[[円錐曲線]]（[[円 (数学)|円]]、[[楕円]]、[[放物線]]、[[双曲線]]）やさらに[[カッシーニの卵形線]]や{{仮リンク|デカルトの卵形線|en|Cartesian oval}}なども定義することができる。

== 円錐曲線論 ==
<!--{{See also|Conic section#Eccentricity, focus and directrix |Ellipse#Focus|Parabola#Position of the focus|Hyperbola#Directrix and focus}}-->

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

=== 焦点と準線を用いた定義 ===
任意の円錐曲線は、一つの焦点と一つの準線（これは焦点を含まない直線の形で与えられる）を用いて記述することもできる。
すなわち、円錐曲線は焦点からの距離を準線からの距離で割った値（離心率 {{mvar|e}}）が一定であるような点の軌跡として定義される。各円錐曲線は、離心率 {{mvar|e}} が
* {{math|0 < ''e'' < 1}} ならば楕円、
* {{math|''e'' {{=}} 1}} ならば放物線、
* {{math|''e'' > 1}} ならば双曲線
になる。焦点までの距離を固定して、準線を[[無限遠直線]]へ飛ばせば離心率は {{math|0}} となり、円錐曲線は円になる。

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

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

== 卵形線 ==

* {{仮リンク|デカルトの卵形線|en|Cartesian oval}}は与えられた二焦点からの距離の{{仮リンク|荷重和|label=重み付けられた和|en|weighted sum}}が一定となるような点の軌跡をいう。
* [[カッシーニの卵形線]]は与えられた二焦点からの距離の積が一定であるような点の軌跡をいう。

== 一般化 ==
焦点の概念は任意の代数曲線に対して一般化することができる。曲線 {{mvar|C}} はクラス {{mvar|m}} で {{mvar|I, J}} は[[無限遠円点]]（任意の円が通過する無限遠点の対）とし、 {{mvar|I, J}} の各々を通る {{mvar|C}} の接線 {{mvar|m}} 本を描く。これで、特異点などの影響で例外となる場合を除き、{{math|''m''{{exp|2}}}} 個の交点を持つ {{mvar|m}} 本の直線からなる二つの集合が得られたことになる。これらの交点が {{mvar|C}} の焦点と定義される。すなわち、点 {{math|P}} が焦点であるとは、{{mvar|PI, PJ}} がともに {{mvar|C}} の接線となるときにいう。{{mvar|C}} が実数体上定義された曲線ならば、共軛な対の交点は実点しかないから、{{mvar|m}} 個の実焦点と {{math|''m''{{exp|2}} &minus; ''m''}} 個の虚焦点を持つ。{{mvar|C}} が円錐曲線ならば、この方法て定義された実焦点は上で述べた {{mvar|C}} の幾何学的構成で用いた意味での焦点の概念とちょうど一致する。

=== 共焦曲線族 ===
クラス {{mvar|m}} の曲線 {{mvar|C}} の焦点 {{math|''P''{{ind|1}}, ''P''{{ind|2}}, …, ''P''{{ind|''m''}}}} について、{{mvar|P}} はこれら焦点の接線の方程式の積とし、{{mvar|Q}} は無限遠円点の接線の方程式の積とする。{{math|''P'' {{=}} 0}} および {{math|''Q'' {{=}} 0}} に対する共通接線はすべて、{{mvar|C}} に接するから、{{仮リンク|マックス・ネーターの基本定理|en|AF+BG theorem}}により、{{mvar|C}} の接線の方程式は {{math|''HP'' + ''KQ'' {{=}} 0}} の形を持つ。{{mvar|C}} はクラス {{mvar|m}} だから、{{mvar|H}} は定数かつ {{mvar|K}} は次数 {{math|''m'' &minus; 2}} 以下とならなければならない。{{math|''H'' {{=}} 0}} の場合は退化しているものとして除くことができるから、{{mvar|C}} の接線の方程式は、{{mvar|f}} を次数 {{math|''m'' &minus; 2}} の任意の多項式として {{math|''P'' + ''fQ'' {{=}} 0}} の形に書ける<ref>Follows {{harv|Hilton|1920|p=69}} with an appeal to AF+BG for simplification.</ref>。

例えば {{math|''P''{{ind|1}} {{=}} (1,0), ''P''{{ind|2}} {{=}} (−1,0)}} とする。接線の方程式は {{math|''X'' + 1 {{=}}0, ''X'' &minus; 1 {{=}}0}} だから、{{math|''P'' {{=}} ''X''{{exp|2}} &minus; 1 {{=}} 0}} である。一方、無限遠円点の接線の方程式は {{math|''X'' + ''iY'' {{=}}0, ''X'' &minus; ''iY'' {{=}} 0}} だから {{math|''Q'' {{=}} ''X''{{exp|2}} + ''Y''{{exp|2}}}} となる。従って、与えられた二点を焦点に持つ円錐曲線の接線の方程式は、{{math|''X''{{exp|2}} &minus; 1 + ''c''(''X''{{exp|2}} + ''Y''{{exp|2}}) {{=}}0}} または {{math|(1 + ''c'')''X''{{exp|2}} + ''cY''{{exp|2}} {{=}} 1}} で与えられる。ここで {{mvar|c}} は任意の定数である。点の座標を用いて書けば
: <math>\frac{x^2}{1+c}+\frac{y^2}{c}=1</math>
となる。

== 参考文献 ==
{{reflist}}
*{{cite book |title=Plane Algebraic Curves|first=Harold|last=Hilton|publisher=Oxford|year=1920|page=69
|url=https://archive.org/details/cu31924001544216}}

{{DEFAULTSORT:しようてん}}
[[Category:二次曲線論]]
[[Category:幾何学的中心]]
[[Category:円錐曲線]]
[[Category:数学に関する記事]]