抛物線のソースを表示

'''抛物線'''（ほうぶつせん）とは、その名の通り地表（つまり[[重力]]下）で投射した物体の運動（抛物運動）が描く軌跡のことである。

抛物線をその[[対称軸]]を中心として回転させた[[曲面]]を'''抛物面'''という。

== 数学的定義 ==
数学的な定義としてよく知られたものはいくつかの方法があるが、いずれも適当な枠組みで互いに他を導出することができる等価なものである。

=== 軌跡 ===

[[平面幾何学]]において'''抛物線'''（'''parabola'''）とは、[[準線]] (directrix) と呼ばれる直線 ''d'' と、その上に無い[[焦点]] (focus) と呼ばれる一点 ''F'' が与えられるとき、準線 ''d'' と焦点 ''F'' とをともに含む唯一つの平面 &pi; 上の点 ''P'' であって、''P'' から焦点 ''F'' への距離 ''PF'' と等しい距離 ''PQ'' を持つような準線 ''d'' 上の点 ''Q'' が存在するようなものの軌跡として定義される平面[[曲線]]。



=== 円錐の断面 ===
* [[円錐|円錐面]]を母線に平行な平面で切ると、切断面は抛物線になる([[円錐曲線]])。
[[Image:Conicas2.PNG|300px|thumb|left|]]
{{-}}

=== 二次曲線 ===
[[Image:Square root.svg|250px|thumb|right|''y'' = ''x''<sup>2</sup> と ''x'' = ''y''<sup>2</sup> (''y'' &lt; 0)]]
抛物線は[[円錐曲線|二次曲線]]の一種で、[[離心率]]は 1 である。
* 焦点が<math>(0,c)</math>、準線が<math>y=-c</math>のとき、抛物線の式は<math>x^2=4cy</math>となる。
* 焦点が<math>(c,0)</math>、準線が<math>x=-c</math>のとき、抛物線の式は<math>y^2=4cx</math>となる。
* [[二次関数]] ''y'' = ''ax''<sup>2</sup> + ''bx'' + ''c'' （aは0ではない）が描く[[グラフ]]は抛物線になる。
[[Image:Parabola-with-samples.svg|200px|thumb|right|''y'' = ''x''<sup>2</sup> とその上の格子点]]
{{-}}

== 物理学的な導出 ==
質量 ''m'' の物体を斜めに投射するとき、投げ出されたあとの物体に掛かる力は、空気抵抗の存在しない理想的な状況下では下向きに掛かる重力 ''mg'' のみ（''g'' は重力加速度）である。したがって、運動方程式 ''F'' = ''m'''''a'''から、物体の加速度は
: <math>\mathbf{a} = (a_x, a_y) = \frac{d^2\mathbf{x}}{dt^2} = \left(\frac{d^2x}{dt^2}, \frac{d^2y}{dt^2}\right) = (0, -g)</math>
となる。初速が '''v'''<sub>0</sub> = (''v''<sub>''x''</sub>(0), ''v''<sub>''y''</sub>(0)) = (''v''<sub>0</sub> cos &theta;, ''v''<sub>0</sub> sin &theta;) (''v'' = |'''v'''|) であるならば、積分して
: <math>\mathbf{v} = (v_x, v_y) = \frac{d\mathbf{x}}{dt} = \left(v_x(0) + \textstyle\int_0^t 0\, dt, v_y(0) + \textstyle\int_0^t -g\, dt\right) = (v_0\cos\theta, v_0\sin\theta - gt)</math>
となり、初期位置を '''x'''<sub>0</sub> = (0, ''y''<sub>0</sub>) にとると、さらに積分して
: <math>\mathbf{x} = (x,y) = \left(0 + \textstyle\int_0^t v_x dt, y_0 + \textstyle\int_0^t v_y dt\right) = (v_0 t \cos\theta, y_0 + v_0 t \sin\theta - gt^2/2)</math>
が時刻 ''t'' における物体の位置である。''t'' を消去すれば、適当な定数 ''a'', ''b'', ''c'' によって
: <math>y = ax^2 + bx + c</math>
の形に書くことができる。

== 性質・例示 ==
=== 正射影と焦点 ===
[[Image:Parabola1.png|300px|thumb|right|準線（緑）と焦点（青丸）は同じ長さの線（青）を半径と思うと、抛物線上の点を中心とする同じ円（水色の破線）の上にある。放物線に無限遠から来る、準線への直交射影となる光線は、抛物線と直交する直線（赤）を軸として対称に反射して焦点を結ぶ。]]
* 焦点から準線に引いた垂線は、この放物線の唯一の対称軸になる。放物線とその対称軸との交点を、この抛物線の頂点と呼ぶ。放物線をその対称軸の周りに回転させてできる[[曲面]]を'''回転放物面'''、または単に'''抛物面''' {{lang|en|(paraboloid)}} と呼ぶ。
** [[パラボラアンテナ]]の形も抛物線の回転により得られる抛物面である（パラボラ Parabola[英]=抛物線）。抛物面の形をした反射板は平行な光線（あるいは電波、その他の放射線）を焦点に集めるので、アンテナや[[太陽炉]]に使う[[凹面鏡]]の形として利用される。発信の際にも、焦点に置いた点源の[[球面波]]から平行な放射を得るために利用される。

{{-}}

=== 包絡線 ===


=== 微積分 ===
[[Image:Krümmungskreis-Parabel.png|200px|thumb|right|原点での曲率円]]

=== 電子 ===
* [[自由電子]]の[[バンド構造]]は抛物線となる。また、自由電子の[[状態密度]]（三次元）も抛物線となる。
{{-}}

== 二次近似 ==
{{main|テイラーの定理}}
ある曲線 &gamma; が（&gamma; 上の）ある点 ''P'' において [[滑らかな関数|C<sup>2</sup>-級]]ならば、&gamma; は ''P'' の十分近くである抛物線（の一部）にほぼ一致する。&gamma; が必ずしも一定の平面上にある曲線ではないとしても、''P'' において C<sup>2</sup>-級という条件から、''P'' の十分近くであれば一定の平面上にほぼ乗っていると考えられる。別な言い方をすれば、任意の ''C''<sup>2</sup>-級曲線は各点で抛物線と二次の接触を持つ。
: これは、C<sup>1</sup>-級曲線が各点の近傍で[[接線]]と呼ばれる直線（線分）で近似されることの類似である。

[[画像:Simpsons method illustration.png|200px|thumb|right|シンプソンの近似]]
関数のグラフを抛物線によって近似し、その関数の積分を計算する数値積分法に[[シンプソンの公式|シンプソンの方法]]がある。このときの近似誤差は[[テイラーの定理|テイラーの式]]の3次の剰余項を適当に評価することで測れる。被積分関数が3次までの多項式関数ならば、シンプソンの公式による数値積分は誤差無しに積分値を得ることができる。

{{-}}

== 雑多な類似物 ==
抛物線となんらかの関係があるわけではないが、たまたまただなんとなく似ている曲線。

=== カテナリ ===
抛物線が持つ性質のうち
* 唯一つの極小な頂点を持つ
* 下に凸な滑らかな曲線で
* 頂点を通る直線を対称の軸として線対称
という条件を満足するような直線の別な例を、やはり自然現象の中から見つけることができる。

鎖やロープのような均一な線質量密度を持つ線状物の両端を固定すると、重力下で下に凸の曲線となる。この曲線は[[カテナリー曲線|カテナリ]]（懸垂曲線）と呼ばれ、頂点付近の十分近くで微視的にはほぼ抛物線として記述できるが、巨視的には抛物線とはかけ離れた形状を示す。

== 脚注 ==
<references />

== 関連項目 ==
* [[曲線]]
* [[円錐曲線]]
* [[楕円]]
* [[双曲線]]
{{DEFAULTSORT:ほうふつせん}}
[[Category:曲線]]
[[Category:数学に関する記事]]