蒲丰问题的下结论.docxVIP

蒲丰问题的下结论 蒲丰问题分为狭义和广义。狭义蒲丰问题可分为短针和长针。其中，短针问题的解决导致了蒙特卡罗法的出现，蒲丰的广义问题可以得出以下结论。 引理1 在平面内有间隔为d的等距平行线,将一直径为R(≤d)、周长为S的平面凸形投掷在平面上,则凸形与平行线相交的概率为SdπSdπ(所谓平面凸形是图形内任意两点的连线均在图形内的封闭曲线,且平面凸形的直径R为凸形内任意两点之间距离的最大值). 证明可以将这个凸形看成一个凸多边形的极限形式.将多边形的边从1到n标号.如果这个多边形与某一平行线相交,则应交于两条边上.以 Pij=Pji 表示相交于i边与j边的概率.显然所投的这个多边形与任一条平行线相交这一事件A可以表示成下面两两互不相容事件和的形式,即 A=(A12+…+A1n)+(A23+ …+A2n)+…+A(n-1)n, 这里Aij表示凸形同时与第i边和第j边相交的事件.根据概率的有限可加性有 P(A)=(P12+…+P1n)+(P23+ …+P2n)+…+P(n-1)n. 又因为 Pij=Pji, Pii=0, 所以 P(A)=12∑i=1n∑j=1nPij,Ρ(A)=12∑i=1n∑j=1nΡij, 其中∑j=1nPij∑j=1nΡij可看成是第i边与一条平行线相交的概率.如果设第i边长为ai,则根据蒲丰短针问题的结论,就有 ∑j=1nPij=2aidπ.∑j=1nΡij=2aidπ. 对n取极限有 P(A)=12∑j=1n2aidπ=Sdπ.Ρ(A)=12∑j=1n2aidπ=Sdπ. 下面研究蒲丰弯针问题. 定理1 在平面内有间隔为d的等距平行线,将一任意形状的平面弯针投掷到平面上,则弯针与平行线相交的概率为SdπSdπ,其中S为包含弯针之最小凸形的周长,且最小凸形的直径R≤d. 证明首先我们将曲线变形为一个首尾相连的曲线l.如果曲线两个端点不连接在一起(包括一个端点搭在曲线上,形如数字“6”),连接两个端点.如果曲线首尾相连,则不必连接.将变形后首尾相连的曲线l围成的区域记为D,用D′表示区域D的内点集.这时曲线l上的点分为两类.一类是作为切点其切线k不与D′相交,即 k∩D′=?. 另一类点是若作为切点其切线k与D′相交.接下来汇集所有的第一类点成若干段曲线G1,然后在l上顺次用线段连接G1上的各个端点,得到若干线段G2,那么 G1∩G2=G 便是包含弯针的最小凸形,而且这个最小凸形是唯一的.根据G的构造,弯针与平行线相交就等价于这个最小凸形G于平行线相交,根据引理,结论得证.