最速降下曲線のソースを表示

[[Image:brachistochrone.png|thumb|300px|right|最速降下曲線のイメージ図]]
'''最速降下曲線'''（さいそくこうかきょくせん、{{lang-en-short|Brachistochrone curve}}）は、任意の2点間を結ぶ全ての[[曲線]]のうちで、曲線上に軌道を束縛された物体に対して[[重力]] (に代表される[[保存力]]) のみが[[作用 (物理学)|作用]]する仮定の下、物体が速度0で[[ポテンシャル]]が高い方の点を出発してからもう一方の点に達するまでの所要時間がもっとも短いような曲線である。

最速降下曲線は[[サイクロイド]]である。AとBが与えられAがBよりも高いとき、Aを無限斜面で通り、またBも通りAとBの間で最大値をとらない上下逆のサイクロイドがひとつだけある。これが最速降下曲線である。したがって最速降下曲線は物体の重さと重力定数の強さにはよらない。この問題は[[変分法]]を使って解くことが出来る。 注意すべきは、Aで初速度があったり、[[摩擦]]が考慮されていると時間を最小にする曲線は上記の曲線から外れることである。

==サイクロイドであることの証明==
[[File:Brachistochrone.gif|thumb|right|300px|赤い曲線（サイクロイド）上の点が、まっすぐな線や直角状の線の上の点よりも早く目的地に到達する]]

[[フェルマーの原理]]より、2点間で[[光]]のビームが通る実際の道筋は、最短の時間で光が横切るものである。したがって最速降下曲線は、[[光]]が[[媒質]]の中で垂直方向の加速を受けるとき（''g''を重力加速度とする）の光のビーム軌道である。[[エネルギー保存の法則]]を用いれば、''h'' を現在の位置とはじめの位置との高さの差とすると、物体が一定の重力の中にあるときその速度は
{{Indent|<math>v=\sqrt{2gh}</math>}}
となる。速度は水平方向の変位によらないことに注意。
&theta;は軌道が垂直方向となす角とする。[[スネルの法則]]によれば軌道上で光のビームは次の式に従う：

{{Indent|<math>\frac{\sin{\theta}}{v}=\frac{1}{v_{\mathrm{max}}}</math>.}}

''<math>v_{\mathrm{max}}</math>'' は最高速度である。（<math>\sin \theta</math>が最大値1となるとき）

上記の式の速度を代入すると次の2つの結論が得られる。

# 粒子の速度がゼロの始めは角度はゼロである。したがって最速降下曲線は原点で垂直方向である。（つまり下方向）
# 速度は軌道が水平になるとき最大である。

簡単のために粒子（またはビーム）が座標(0,0)から離れているとして、最大速度が高さ''D'' で得られると考える。
{{Indent|<math>v_{\mathrm{max}} = \sqrt{2gD}</math>.}}
すべての軌道上の位置で軌道の傾き角度&theta;は(x,y)座標では次のように表される：
{{Indent|<math>\sin{\theta}=\frac{dx}{\sqrt{dx^2+dy^2}}</math>.}}

この式を前の式に代入し項を整理しなおすと次の式が結果として得られる：
{{Indent|<math>\left(\frac{dy}{dx}\right)^2=\frac{D}{y}-1</math>.}}

ここで半径rのサイクロイドの微分方程式は
{{Indent|<math>\left(\frac{dy}{dx}\right)^2=\frac{2r}{y}-1</math>.}}

である。比較すると、結果の式は半径''<math>r=D/2</math>'' の円が作る反対のサイクロイドの微分方程式である。

==歴史==
[[ガリレオ・ガリレイ]]は[[1638年]]に著書『Two New Sciences』で、最速降下曲線は[[円弧]]であるとしたが誤りであった。[[ヨハン・ベルヌーイ]]は（以前に解析した等時曲線を参照して）この問題を解いた後、[[1696年]]6月に著書『Acta Eruditorum』で読者に対して問題を提示した。4人の数学者がこれに応じて解答した。[[アイザック・ニュートン]]、[[ヤコブ・ベルヌーイ]]（ヨハンの兄）、[[ゴットフリート・ライプニッツ]]、[[ギヨーム・ド・ロピタル]]である。ロピタルを除く3人の解答は[[1697年]]の同じ版で出版された。

弟に対抗して[[ヤコブ・ベルヌーイ]]はより難しい最速降下曲線問題を作った。それを解いている間に新しい手法を開発し、それが[[レオンハルト・オイラー]]によって改良され後に[[変分法]]と呼ばれるものになった。[[ジョゼフ＝ルイ・ラグランジュ]]は現代の[[微積分学]]に帰着するさらなる仕事を進めた。

ニュートンとライプニッツの間の異なった競争もまたこの発展に貢献している。それぞれが、最速降下曲線問題を相手より先に解いたと主張している。また計算法における次の仕事でも彼らは言い争いを続けている。

==語源==
[[ギリシア語]]でbrachistosは最も短いという意味で、chronosは時間という意味である。

==関連項目==
* [[サイクロイド]]
* [[変分法]]
* [[等時曲線]]

==外部リンク==
* {{MathWorld | urlname=BrachistochroneProblem | title=Brachistochrone Problem}}
* Iagsoft's "''[http://home.ural.ru/~iagsoft/BrachJ2.html Brachistochrone Construction]''" ([[Java Applet]])
*[http://www.mathcurve.com/courbes2d/brachistochrone/brachistochrone.shtml www.mathcurve.com] (フランス語だが、わかりやすい動画が見られるサイト）

{{Normdaten}}
{{DEFAULTSORT:さいそくこうかきよくせん}}
[[Category:物理学の曲線]]
[[Category:最適化]]
[[Category:解析学]]
[[Category:数学に関する記事]]