ビュフォンの麺

提供: testwiki
2022年8月30日 (火) 11:56時点におけるimported>おいらのオイラーによる版 (Category:エポニムを除去; Category:数学のエポニムを追加 (HotCat使用))
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
ナビゲーションに移動 検索に移動

テンプレート:仮リンクの問題、ビュフォンの麺(ビュフォンのめん、テンプレート:Lang-en-short)は、有名な問題ビュフォンの針(名称は18世紀を生きたジョルジュ=ルイ・ルクレール・ド・ビュフォンにちなむ)の変種である。ビュフォンが解いた問題は幾何学的確率論において最初に解決されたものであった。

ビュフォンの針

テンプレート:Main 平行線が無限に、等間隔に引かれているとし、長さが平行線間の距離以下である針をランダムに投げる。針が着地したとき、平行線と交わる確率はいくらか?

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

ここで x,θ はそれぞれ一様分布に従う確率変数で、標本空間は横と縦の辺長が D2π2 の長方形とする。

針が平行線と交わるという事象は、標本空間が x=l2cosθ で表される曲線で切り取られる左側の部分で表せる。この面積は

Area (event)=0π2l2cosθdθ=l2sinπ2l2sin0=l2

標本空間の面積は

Area (sample space)=D2×π2=Dπ4

よって、この事象の起こる確率[1]

P=Area (event)Area (sample space)=l24Dπ=2lπD

ビュフォンの麺

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

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

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

このことは次のようにして示せる[2]。まず、麺がテンプレート:仮リンク、つまり n 本の線分から成っているとする。Xii 番目の線分が平行線群と交わる回数とする。これらの確率変数族は独立ではないが、独立でないときも期待値の加法性が成り立つので、

E(X1++Xn)=E(X1)++E(Xn)

となる。

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

もう一つ驚くべき結論がある。麺が幅 D定幅閉曲線であるとき、交わる回数はやはり常に2回であるが、これはテンプレート:仮リンク

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

を意味する。

脚注

テンプレート:Reflist

参考文献

外部リンク