ビュフォンの麺のソースを表示

{{仮リンク|幾何学的確率論|en|geometric probability}}の問題、'''ビュフォンの麺'''（ビュフォンのめん、{{Lang-en-short|Buffon's noodle}}）は、有名な問題[[ビュフォンの針]]（名称は18世紀を生きた[[ジョルジュ＝ルイ・ルクレール・ド・ビュフォン]]にちなむ）の変種である。ビュフォンが解いた問題は幾何学的確率論において最初に解決されたものであった。

==ビュフォンの針==
{{main|ビュフォンの針}}
平行線が無限に、等間隔に引かれているとし、長さが平行線間の距離以下である針をランダムに投げる。針が着地したとき、平行線と交わる確率はいくらか？

これを解くのに、<math> l </math> を針の長さ、<math> D </math> を平行線間の距離とする。また <math> \theta </math> を針の向きと平行線群の法線方向がなす鋭角、<math> x </math> を針の中点と最も近い平行線との距離とする。針が平行線と交わるための条件は <math> x < \frac{l \cos \theta}{2} </math> である。

ここで <math> x, \theta </math> はそれぞれ[[一様分布]]に従う[[確率変数]]で、[[標本空間]]は横と縦の辺長が <math> \frac{D}{2} </math> と <math> \frac{\pi}{2} </math> の長方形とする。

針が平行線と交わるという[[事象 (確率論)|事象]]は、標本空間が <math> x = \frac{l}{2} \cos \theta </math> で表される曲線で切り取られる左側の部分で表せる。この面積は

:<math> \text{Area (event)} = \int^{\frac{\pi}{2}}_{0} \frac{l}{2} \cos \theta d \theta = \frac{l}{2}  \sin \frac{\pi}{2} - \frac{l}{2} \sin 0 = \frac{l}{2} </math>

標本空間の面積は

:<math> \text{Area (sample space)} = \frac{D}{2} \times \frac{\pi}{2} = \frac{D \pi}{4} </math>

よって、この事象の起こる[[確率]]は<ref>{{Citation | author1 = Charles M. Grinstead | author2 = J. Laurie Snell | title = Introduction to Probability | publisher = [[American Mathematical Society]] | pages = 44–46 | isbn=978-0-821-80749-1 | url=http://www.dartmouth.edu/~chance/teaching_aids/books_articles/probability_book/amsbook.mac.pdf | chapter = Chapter 2. Continuous Probability Densities}}</ref>

:<math> P = \frac{\text{Area (event)}}{\text{Area (sample space)}} = \frac{l}{2} \frac{4}{D \pi} = \frac{2 l}{\pi D} </math>

==ビュフォンの麺==

この式は興味深いことに、針をどのように自由に折り曲げたとしても、一平面上に収まっている限りそのままである（ <math> P </math> は針が平行線と交わる回数の[[期待値]]に等しいが、この期待値が不変であるということ）。折り曲げを続けて針を「麺」— 剛性のある[[平面曲線]]にしてもよい。

ここで全長が平行線間の距離以下であるという仮定を外す。

麺が平行線群と交わる回数の[[確率分布]]はその形状に依存する。しかし、回数の期待値はそうではなく、麺の全長 ''L'' と平行線間の距離 ''D'' だけに依存する（麺は平行線群の中の1本と2回以上交わることができることに注意する）。

このことは次のようにして示せる<ref>{{Cite book | year=1997 | title = Introduction to geometric probability | author1=Daniel A. Klain | author2=Gian-Carlo Rota | publisher=[[Cambridge University Press]] | isbn=978-0-521-59654-1 | url=https://books.google.com/books?id=Q1ytkNM6BtAC&pg=PA1 | authorlink2=Gian-Carlo Rota | postscript=<!--None-->}}</ref>。まず、麺が{{仮リンク|折れ線|en|polygonal chain}}、つまり ''n'' 本の線分から成っているとする。''X''<sub>''i''</sub> を ''i'' 番目の線分が平行線群と交わる回数とする。これらの確率変数族は[[独立 (確率論)|独立]]ではないが、独立でないときも期待値の加法性が成り立つので、

:<math> E(X_1+\cdots+X_n) = E(X_1)+\cdots+E(X_n) </math>

となる。

曲線である麺をこのような折れ線の極限とみなすと、平行線群と交わる回数の期待値は曲線の[[弧長]]に比例すると推論できる。よって問題は、弧長 ''L'' に乗じて期待値を得るための比例定数を定めることに帰着する。麺が、平行線間の距離 ''D'' と等しい直径を持つ真円だとすると、''L'' = π''D'' であり、交わる回数は必ずちょうど2回になる。よって、''L'' = π''D'' のとき期待値は 2 である。したがって（一般に）、交わる回数の期待値は 2''L''/(π''D'') でなければならない。

もう一つ驚くべき結論がある。麺が幅 ''D'' の[[定幅図形|定幅閉曲線]]であるとき、交わる回数はやはり常に2回であるが、これは{{仮リンク|バルビエの定理|en|Barbier's theorem}}：

:幅が等しい定幅閉曲線の周長は等しい（円の場合と一致する）。

を意味する。

== 脚注 ==
{{Reflist}}

== 参考文献 ==
* {{Cite journal
| doi = 10.2307/2317945
| issn = 0002-9890
| volume = 76
| issue = 8, October 1969
| pages = 916–918
| last = Ramaley
| first = J. F.
| title = Buffon's Noodle Problem
| journal = [[The American Mathematical Monthly]]
| year = 1969
| publisher = Mathematical Association of America
| jstor = 2317945
}}

==外部リンク==
* [http://www.cut-the-knot.org/Curriculum/Probability/Buffon.shtml Interactive math page]

{{DEFAULTSORT:ひゆふおんのめん}}
[[Category:確率論]]
[[Category:ジョルジュ＝ルイ・ルクレール・ド・ビュフォン]]
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]