把一根长度为L的针随机扔向间距为W的木地板,这根针平均会穿过2L/πW条地板缝。这就是经典的布丰投针问题。公式里那个π暗示着圆的存在,但针明明是直的,圆藏在哪里?答案出人意料:把针掰弯,变成一根"面条",圆自然就浮现了。

传统的解法需要计算双重积分,虽然严谨,却把几何直觉埋在了符号运算里。我们换条路走:从直针到弯针,再到圆,全程只用基本的几何推理和期望的线性性质。

打开网易新闻 查看精彩图片

先固定一些记号。在平面上画一组间距为W>0的平行线,随机扔一根长度为L>0的线段。设X₁为这根线段穿过的平行线条数,我们要找的是期望E[X₁]=:f(L)关于L的表达式。

现在扔两根针,长度分别为L₁和L₂,穿过的线条数记为X₁和X₂。根据期望的线性性:

E[X₁+X₂] = E[X₁] + E[X₂] = f(L₁) + f(L₂)

关键点在于:期望的线性性不需要独立性。我们可以把两根针首尾焊在一起,等式依然成立。这意味着f(L₁+L₂)=f(L₁)+f(L₂)对所有长度都成立。结合f非负、递增且f(0)=0,直接推出f(L)=cL,其中c≥0是待定常数。

接下来把针"掰弯"。考虑一条由N段组成的多折线,每段长L/N。设第i段穿过Xᵢ条线,则:

E[X₁+⋯+Xₙ] = N·f(L/N) = cL

折线的期望穿线数只与总长度成正比,与形状无关。取极限让N→∞,任意光滑曲线都满足这个规律——这就是布丰的面条:扔一根任意弯曲的曲线,平均穿线数只取决于它的长度。

最后确定常数c。取一个半径为W/2的圆,其周长L=πW。这个圆几乎必然恰好穿过两条平行线(与两条线相切的概率为零),因此:

E[半径W/2的圆的穿线数] = 2

代入cL=2,立得c=2/(πW)。证毕。

这个证明的精妙之处在于:线性期望让我们可以把任意曲线拆解重组,而圆作为"最弯曲"的曲线,恰好提供了计算常数所需的干净数据。布丰在1777年发现这个结论时,大概也没想到一根针的弯曲竟能揭示π的几何本质。