この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "円錐曲線"
出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2015年1月）
円錐の切断
円錐曲線（えんすいきょくせん、英語: conic curve）とは、円錐面を任意の平面で切断したときの断面、円錐断面（英語: conic section）として得られる曲線群の総称である。 古代ギリシャのアポロニウスが円錐曲線論の体系を著書にまとめ、[1]中世ヨーロッパではケプラーによって天体の軌道との関連が見出された。またアポロニウスによる総合幾何学的な円錐曲線論はオイラーによって解析幾何学を用いて現代的に書き換えられた。
歴史
概要
楕円
放物線
双曲線
断面
円錐曲線は、xy-平面 R2 上で定義され、次の陰関数曲線によって与えることが出来る。 A x 2 + B x y + C y 2 + D x + E y + F = 0 {\displaystyle Ax^{2}+Bxy+Cy^{2}+Dx+Ey+F=0\,}
また、任意の2次式 P(x,y) に対し、P(x,y) = 0 が円錐曲線になTることから、円錐曲線は二次曲線とも呼ばれる。
任意の円錐曲線は、適当に直交変換することによって、次の形のいずれかに変形することができる（括弧内は円錐の切断方法）。
円（全ての母線と交わり、底面に平行な平面で切断）
X 2 + Y 2 = r 2 {\displaystyle X^{2}+Y^{2}=r^{2}\quad }
楕円（全ての母線と交わり、底面に平行でない平面で切断）
p X 2 + q Y 2 = 1 {\displaystyle pX^{2}+qY^{2}=1\quad }
放物線（母線に平行な面で切断）
2 p X − q Y 2 = 1 {\displaystyle 2pX-qY^{2}=1\quad }
双曲線（母線に平行でない平面で切断）
p X 2 − q Y 2 = 1 {\displaystyle pX^{2}-qY^{2}=1\quad }
二直線（軸を全て含む平面で切断）
p X 2 − q Y 2 = 0 {\displaystyle pX^{2}-qY^{2}=0\quad }
尚、全て p>0, q>0 である。上の形の式を円錐曲線の標準形という。ただし、二直線は退化していると考え、円錐曲線に含まない場合も多い。また、楕円と正円とは円錐曲線の種別としてはしばしば区別を受けない。学問によっては、正円を円錐曲線に含まないこともある。 次の式を考える x 2 a 2 − k + y 2 b 2 − k = 1 {\displaystyle {\frac {x^{2}}{a^{2}-k}}+{\frac {y^{2}}{b^{2}-k}}=1\quad } ① ただし、a > 0 , b > 0 , k ≠ b2 , k < a2 である。 この式は楕円の式そして双曲線の式に似ている。この式は、 x 2 a 2 + y 2 b 2 = 1 {\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1\quad } ② に対して k の値により次の曲線になる。 になり、焦点は ( ± a 2 − b 2 , 0 {\displaystyle \pm {\sqrt {a^{2}-b^{2}}},0} ) になる。 上の3つの場合に置いて、楕円と双曲線はともに円錐曲線であり、かつ焦点が同じなので、①は共焦点有心円錐曲線族という。 別な定義のしかたとして、直線と、その直線上に含まれないような点 F を取り、点 F から直線への垂線に対して点 F のある方向が正と定めそれを x 軸とする。直線上で点 M' を動かすとき、その直角位置上で FM : MM' = e : 1 (e > 0) を満たすような点 M の集合は円錐曲線を描く。この時、FM と MM' の比の値 e を離心率といい、直線を準線、 点 F を焦点という。 ここで、焦点 F を極とする平面極座標 (r, θ) を新たにとれば、動点 P の軌道は r ( θ ) = l 1 − e cos θ {\displaystyle r(\theta )={\frac {l}{1-e\cos \theta }}} という極方程式によって表すことができる。r は線分 FM の長さ、θ は線分 FM が x 軸となす角度である。この式は、e と l という2つのパラメーターを通じて、楕円・放物線・双曲線の3種の円錐曲線を統一的に表しているといえる。 離心率 e は、描かれる円錐曲線の概形を次のように決定するパラメーターである。 他方、l は半通径または半直弦と呼ばれるパラメーターで、焦点 F から準線 l までの距離に離心率 e を掛けたものである。 なお、この方法で円錐曲線を描画した際、正円は現れない。これが円錐曲線に正円を含まないことがある由来になっているのだが、数学で円錐曲線を考える際は、便宜上 e = 0 であるとき円を描くとされる（実際は点となる）。あるいは、準線と焦点を無限に離した極限で円になると考える。 円錐曲線 C は種数 0 をもつ。したがって一変数 t の有理関数 f(t), g(t) によって と表すことができる。C から一点をとり、その点を通る直線と C と交点を求めることでこのような表示を求めることができる。 もし C が有理数の係数によって定義され、なおかつ有理点を持てば、f(t), g(t) は有理係数の有理関数となり、これによってすべての有理点を表す式が得られる。
共焦点有心円錐曲線族
k < 0 のとき、②の外側の楕円
0 < k < b2 のとき、②の内側の楕円
b2 < k < a2 のとき、双曲線
離心率による分類準線を共有する、いくつかの離心率 e に対応する円錐曲線焦点を共有する、いくつかの離心率 e に対応する円錐曲線
0 < e < 1： 楕円
e = 1： 放物線
e > 1： 双曲線
代数構造
x = f(t), y = g(t)
脚注[脚注の使い方]^ アポッロニオス、ポール・ヴェル・エック『円錐曲線論
