円錐曲線

出典: フリー百科事典『ウィキペディア(Wikipedia)』

円錐曲線(えんすいきょくせん、英語: conic curve)とは、円錐面を任意の平面で切断したときの断面、円錐断面(英語: conic section)として得られる曲線群の総称である。

古代ギリシャのアポロニウスが円錐曲線論の体系を著書にまとめ、^[1] 中世ヨーロッパではケプラーによって天体の軌道との関連が見出された。またアポロニウスによる総合幾何学的な円錐曲線論はオイラーによって解析幾何学を用いて現代的に書き換えられた。

• 楕円
  楕円
• 放物線
  放物線
• 双曲線
  双曲線
• 断面
  断面
• 円を含む円錐曲線の図の例(学問によっては、正円を円錐曲線に含まない。)
  円を含む円錐曲線の図の例(学問によっては、正円を円錐曲線に含まない。)

円錐曲線は、xy-平面 R² 上で定義され、次の陰関数曲線によって与えることが出来る。

${\displaystyle Ax^{2}+Bxy+Cy^{2}+Dx+Ey+F=0,円}${\displaystyle Ax^{2}+Bxy+Cy^{2}+Dx+Ey+F=0,円}

また、任意の2次式 P(x,y) に対し、P(x,y) = 0 が円錐曲線になることから、円錐曲線は二次曲線とも呼ばれる。

任意の円錐曲線は、適当に直交変換することによって、次の形のいずれかに変形することができる(括弧内は円錐の切断方法)。

• 円(全ての母線と交わり、底面に平行な平面で切断)

${\displaystyle X^{2}+Y^{2}=r^{2}\quad }${\displaystyle X^{2}+Y^{2}=r^{2}\quad }

• 楕円(全ての母線と交わり、底面に平行でない平面で切断)

${\displaystyle pX^{2}+qY^{2}=1\quad }${\displaystyle pX^{2}+qY^{2}=1\quad }

• 放物線(母線に平行な面で切断)

${\displaystyle 2pX-qY^{2}=1\quad }${\displaystyle 2pX-qY^{2}=1\quad }

• 双曲線(母線に平行でない平面で切断)

${\displaystyle pX^{2}-qY^{2}=1\quad }${\displaystyle pX^{2}-qY^{2}=1\quad }

• 二直線(軸を全て含む平面で切断)

${\displaystyle pX^{2}-qY^{2}=0\quad }${\displaystyle pX^{2}-qY^{2}=0\quad }

尚、全て p>0, q>0 である。上の形の式を円錐曲線の標準形という。ただし、二直線は退化していると考え、円錐曲線に含まない場合も多い。また、楕円と正円とは円錐曲線の種別としてはしばしば区別を受けない。学問によっては、正円を円錐曲線に含まないこともある。

次の式を考える

${\displaystyle {\frac {x^{2}}{a^{2}-k}}+{\frac {y^{2}}{b^{2}-k}}=1\quad }${\displaystyle {\frac {x^{2}}{a^{2}-k}}+{\frac {y^{2}}{b^{2}-k}}=1\quad }1

ただし、a > 0 , b > 0 , k ≠ b² , k < a² である。

この式は楕円の式そして双曲線の式に似ている。この式は、

${\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1\quad }${\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1\quad }2 に対して

k の値により次の曲線になる。

1. k < 0 のとき、2の外側の楕円
2. 0 < k < b² のとき、2の内側の楕円
3. b² < k < a² のとき、双曲線

になり、焦点は (${\displaystyle \pm {\sqrt {a^{2}-b^{2}}},0}${\displaystyle \pm {\sqrt {a^{2}-b^{2}}},0}) になる。

上の3つの場合に置いて、楕円と双曲線はともに円錐曲線であり、かつ焦点が同じなので、1は共焦点有心円錐曲線族という。

別な定義のしかたとして、直線と、その直線上に含まれないような点 F を取り、点 F から直線への垂線に対して点 F のある方向が正と定めそれを x 軸とする。直線上で点 M' を動かすとき、その直角位置上で FM : MM' = e : 1 (e > 0) を満たすような点 M の集合は円錐曲線を描く。この時、FM と MM' の比の値 e を離心率 といい、直線を準線、 点 F を焦点という。

ここで、焦点 F を極とする平面極座標 (r, θ) を新たにとれば、動点 P の軌道は

${\displaystyle r(\theta )={\frac {l}{1-e\cos \theta }}}${\displaystyle r(\theta )={\frac {l}{1-e\cos \theta }}}

という極方程式によって表すことができる。r は線分 FM の長さ、θ は線分 FM が x 軸となす角度である。この式は、e と l という2つのパラメーターを通じて、楕円・放物線・双曲線の3種の円錐曲線を統一的に表しているといえる。

離心率 e は、描かれる円錐曲線の概形を次のように決定するパラメーターである。

• 0 < e < 1: 楕円
• e = 1: 放物線
• e > 1: 双曲線

他方、l は半通径または半直弦と呼ばれるパラメーターで、焦点 F から準線 l までの距離に離心率 e を掛けたものである。

なお、この方法で円錐曲線を描画した際、正円は現れない。これが円錐曲線に正円を含まないことがある由来になっているのだが、数学で円錐曲線を考える際は、便宜上 e = 0 であるとき円を描くとされる(実際は点となる)。あるいは、準線と焦点を無限に離した極限で円になると考える。

円錐曲線 C は種数 0 をもつ。したがって一変数 t の有理関数 f(t), g(t) によって

• x = f(t), y = g(t)

と表すことができる。C から一点をとり、その点を通る直線と C と交点を求めることでこのような表示を求めることができる。

もし C が有理数の係数によって定義され、なおかつ有理点を持てば、f(t), g(t) は有理係数の有理関数となり、これによってすべての有理点を表す式が得られる。

• アポロニウス
• エウクレイデス
• オイラー
• フェルマー
• パスカル

• ブリタニカ国際大百科事典 小項目事典『円錐曲線』 - コトバンク
• Weisstein, Eric W. "Conic Section". mathworld.wolfram.com (英語).
• Weisstein, Eric W. "Conic Section Directrix". mathworld.wolfram.com (英語).
• Weisstein, Eric W. "Conic Section Discriminant". mathworld.wolfram.com (英語).

「https://ja.wikipedia.org/w/index.php?title=円錐曲線&oldid=101809188」から取得

カテゴリ:

• 幾何学
• 曲線
• 円錐曲線
• ペルガのアポロニウス
• ヨハネス・ケプラー
• レオンハルト・オイラー
• 数学に関する記事

隠しカテゴリ:

• 出典を必要とする記事/2021年4月
• 参照方法
• BNF識別子が指定されている記事
• BNFdata識別子が指定されている記事
• J9U識別子が指定されている記事
• LCCN識別子が指定されている記事
• NDL識別子が指定されている記事
• NKC識別子が指定されている記事