放物線

**放物線**（ほうぶつせん、希:παραβολή「*parabolē*」、羅、英: *parabola*、独: *Parabel*）には、次のように物理的な意味と数学的意味がある。
*(1)（物理的な意味）その名の通り、物を投げ放った際に物が描く軌跡のことである。
*(2)（数学的な意味）円錐曲線の一つで、定直線の頂点から準線までの等距離の状態で、頂点を曲線で結ぶ点の集合。古代ギリシア時代から数学者が研究している曲線。（#数学史で解説）　グラフとしては、二次曲線で、頂点を目指して上昇し、その後下降するような曲線。 

数学的円錐曲線は古代ギリシアから研究され、物理的な放物線の本格的な研究ははるか後の時代に始まる。この2つの概念はもともと別のものとして扱われていたが、不思議なことに、数学的な円錐曲線が、物理的な放物線とほぼ一致するということに人類は17世紀から18世紀ころに気づいてゆくことになった。

## 物理学的な定義


質量  の物体を斜めに投射するとき、投げ出されたあとの物体に掛かる力は、空気抵抗の存在しない理想的な状況下では下向きに掛かる重力  のみ（ は重力加速度）である。したがって、運動方程式  から、物体の加速度は
: \boldsymbol{a} = \frac{d^2\boldsymbol{r}}{dt^2} = \frac{d^2}{dt^2} \begin{bmatrix} x \\ y \end{bmatrix} = \begin{bmatrix} 0 \\ -g \end{bmatrix}
となる。初速が \boldsymbol{v}_{0}=(v_{x}(0),v_{y}(0))^{T}=v_{0}(\cos\theta,\sin\theta)^{T}(v=|\boldsymbol{v}|) であるならば、積分して
: \boldsymbol{v} = \frac{d\boldsymbol{x}}{dt} = \boldsymbol{v}(0) + \int_0^t \boldsymbol{a} \, dt = \begin{bmatrix} v_0 \cos\theta \\ v_0\sin\theta - gt \end{bmatrix} 
となり、初期位置を ***r***0 = (0, *y*0) にとると、さらに積分して
: \boldsymbol{r} = \begin{bmatrix} x \\ y \end{bmatrix} = \boldsymbol{r}_0 + \int_0^t \boldsymbol{v} \, dt = \begin{bmatrix} v_0 t \cos\theta \\ y_0 + v_0 t \sin\theta - gt^2/2 \end{bmatrix}
が時刻  における物体の位置である。 を消去すれば、適当な定数  によって
: y = ax^2 + bx + c
の形に書くことができる。

## 数学におけるパラボラ（放物線）
数学のパラボラという概念は、（もともとは"物を投げた際の軌跡"という意味(漢字圏の意味）ではなく、）古代ギリシアで数学者たちが、円錐を切断した際に現れる曲線を研究し、分類している中で現れたものである。

### 数学史

パラボラは、古代ギリシアの数学者 アポロニウス（Apollonius of Perga） の著作『円錐曲線論（Conics）』（紀元前3世紀ごろの著作）においてパラボレという語で登場する。アポロニウスは、円錐をいろいろな角度で切断して得られる曲線を研究し、次の3つに分類した。
*エリプシス（ἔλλειψις）- "足りない"、という意味。現代で言う楕円を指してそう呼んだ。
***パラボレ**（παραβολή）- "等しい"、という意味。現代でいうパラボラ（放物線）を指してそう呼んだ。
*ヒュペルボレ（ὑπερβολή）- "超過している"、という意味。現代でいう双曲線を指してそう呼んだ。

アポロニウスがなぜこのような3分類をしたかについて理解するには、さらに数学史をさかのぼる必要がある。
古代ギリシアの『円錐曲線論』以前の幾何学（例えば ユークリッド の『原論』）では、「面積をある線分に“応用”する」という操作が定義されていた。つまり、ある線分を底辺にして、与えられた面積を作る矩形を“当てはめる”という操作が定義されていた。たとえば、線分 × 線分 = 面積”という枠組みに対して次のように分類していた。
*もし与えられた面積をちょうど当てはめることができれば → パラボレ（παραβολή）「ちょうど」
*もし与えられた面積を「底辺」に当てはめようとしたとき、矩形が不足したら（つまり底辺に対して面積が足りないなら） → エレプシス（ἔλλειψις）「欠如・足りない」
*逆に 底辺に対して当てはめる矩形が大きすぎて余るなら → ヒュペルボレ（ὑπερβολή）「超過」
このように3分類していた。
そのような分類習慣があったので、円錐の曲線を分類する際にも、アポロニウスは同じ分類法（言葉づかい）を応用し、エリプシス、パラボレ、ヒュペルボレという3語を使い、次のように分類したのである。
*切断平面の角度が「円錐の母線（generatrix）＝側面線」と等しい ＝「平行」している場合 → 曲線は “ちょうど当てはまる” 性質をもつ → パラボレ ἡ παραβολή  
*切断平面の角度が母線よりも小さい（＝側面に比べてゆるい角度）＝「当てはめが不足している」状態 → エリプシス ἡ ἔλλειψις（楕円）
*切断平面の角度が母線よりも大きい（急である）＝「当てはめが超過している」状態 → ヒュペルボレ ὑπερβολή（双曲線）

### 円錐曲線

現代ではとりあえずは次のように説明する。

「円錐面を母線に平行な平面で切ると、切断面は放物線になる」（円錐曲線）

### 現代の数学的定義

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

### 軌跡

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

#### 一般形
放物線上の点を P(*x*, *y*)、焦点を F(*p*, *q*)、準線の式を *ax + by + c = 0* とすると、PQ = PF より、放物線の方程式は、
: \frac{\sqrt{a^2+b^2}} = \sqrt{(x-p)^2 + (y-q)^2}
で与えられる。この式は**一般形**と呼ばれる。

#### 標準形
放物線上の点を P(*x*, *y*)、焦点を F(0, *a*)、準線の式を *y = −a* とすると PQ = PF より、
: y+a = \sqrt{x^2 + (a-y)^2} 
なので
: x^2 = 4ay
となる。*x* と *y* を入れ替えた *y*2 = 4*ax* も放物線の方程式である。この式は**標準形**と呼ばれる。

### 二次曲線

放物線は二次曲線の一種で、離心率は 1 である。
* 焦点が (0, *c*)、準線が *y* = −*c* のとき、放物線の式 *x*2 = 4*cy* となる。
* 焦点が (*c*, 0)、準線が *x* = −*c* のとき、放物線の式は *y*2 = 4*cx* となる。
* 二次関数 *y* = *ax*2 + *bx* + *c* （*a* は 0 ではない）が描くグラフは放物線になる。

## 作図

焦点と準線による定義から実際に放物線を糸や三角定規などを用いて作図することができる。
# 放物線の焦点 *F* と準線 *l* をとる
# 三角定規の直角を挟む一辺の長さ |*AB*| に合わせた糸を用意する（右図参照）
# 糸の両端を点 *A* と焦点 *F* に固定する
# 三角定規の直角を挟む残りの一辺が準線に沿ってを滑るにようにする（たとえば準線に定規をおいて合わせる）
# 鉛筆で糸を辺 *AB* 上の点 *P* に押し当て、糸を張る
# 三角定規を準線に沿って滑らすと、鉛筆は放物線を描く（軌跡は |*PF*| = |*PB*| ゆえ放物線になる）

## 性質・例示
### 正射影と焦点

* 焦点から準線に引いた垂線は、この放物線の唯一の対称軸になる。放物線とその対称軸との交点を、この放物線の頂点と呼ぶ。放物線をその対称軸の周りに回転させてできる曲面を**回転放物面**、または単に**放物面**  と呼ぶ。

### 包絡線

直線LとL上にない1点Fを固定し、L上に任意の点Pをとると、
直線PFと直線Lのなす角の2等分線は、直線Lを準線、点Fを焦点とする放物線の包絡線となる。

これを利用して、紙の折り跡から放物線を浮かび上がらせることができる。

### 微積分

## 二次近似

ある曲線 &gamma; が（&gamma; 上の）ある点 P において C<sup>2</sup>-級ならば、&gamma; は P の十分近くである放物線（の一部）にほぼ一致する。&gamma; が必ずしも一定の平面上にある曲線ではないとしても、P において C2-級という条件から、P の十分近くであれば一定の平面上にほぼ乗っていると考えられる。別な言い方をすれば、任意の *C*2-級曲線は各点で放物線と二次の接触を持つ。
: これは、C1-級曲線が各点の近傍で接線と呼ばれる直線（線分）で近似されることの類似である。

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

## 混同されやすいが全く別の曲線

カテナリー曲線（懸垂線）は、見た目が放物線と似ていて混同されることがあるが、全く別物である。共通した性質として、
* 唯一の極小な頂点を持つ
* 下に凸な滑らかな曲線
* 頂点を通る直線を対称の軸として線対称
があり、両者は頂点付近の十分近くで微視的にはほぼ一致するが、巨視的にはかけ離れた形状を示す。

## 現実世界のさまざまな放物線
* 物が空中に放たれた際の軌跡
** 公園の噴水の水の軌跡
** 打ち上げ花火がはじけた際の、ひとつひとつの火が目にやきつける光の軌跡
*自由電子のバンド構造は放物線となる。また、自由電子の状態密度（三次元）も放物線となる。
*建造物のアーチ形状には、カテナリー曲線と並んで放物線が使われることが多い。
**エッフェル塔や東京タワーなどの鉄塔では、下部アーチはもちろん、塔体側面の曲線も放物線で近似される。


Water fountain near South Australian Museum.jpg|噴水の水の軌跡
Fireworks display at night.jpg|花火の火の軌跡
Tour Eiffel pic11.jpg|エッフェル塔の下部アーチ


## 放物面

放物線をその対称軸を中心として回転させた曲面を**放物面**という。

*: パラボラアンテナの形も放物線の回転により得られる放物面である（パラボラ Parabola[英]=放物線）。放物面の形をした反射板は平行な光線（あるいは電波、その他の放射線）を焦点に集めるので、アンテナや太陽炉に使う凹面鏡の形として利用される。発信の際にも、焦点に置いた点源の球面波から平行な放射を得るために利用される。

## 参考文献
* 『曲線の事典　性質・歴史・作図法』　礒田正美、Maria G. Bartolini Bussi編、田端毅、讃岐勝、礒田正美著:共立出版、2009年　ISBN 9784320019072

## 脚注
;注釈
 

;出典


## 関連項目
* 放物線の求積
* 曲線
* 放物面
* 円錐曲線
** 楕円
** 双曲線

## 外部リンク

* Köller, Jürgen, "Parabeln" - Mathematische Basteleien. (ドイツ語)
* 
* スコーテンの放物線作図器
* 「みんなここに集まってくる」 ― 大科学実験