两球相交体积期望值：一道几何概率谜题

谜题登场：当两个单位球随机相遇

最近，一道来自 YouTube 的数学谜题在社区中引发讨论。问题本身并不复杂：假设你有两个半径均为 1 的球体，它们随机放置在空间中，但已知它们相交。那么，这两个球体相交部分的期望体积是多少？

换个更精确的表述：一个球体固定在原点，另一个球体的球心则随机选取在距离原点 2 以内的任意一点。这个条件保证了两球必然相交，但相交区域的形状却取决于第二个球心的具体位置，成为一个不易直接想象的不规则几何体。问题依然是：这个相交形状的期望体积是多少？

这道题的精妙之处在于，它将几何与概率结合，要求解题者在随机性中寻找确定性的平均值。对于熟悉几何概率的读者来说，这让人联想到经典的“随机弦长”问题——答案往往取决于“随机”的确切定义。

为什么这个问题值得思考

表面上看，这只是一个关于球体相交的体积计算，但它触及了概率论中一个核心议题：如何正确地对连续空间中的随机事件进行建模。

当题目说“随机放置”时，必须明确随机变量的分布。在这个谜题中，第二个球心的选取方式——在半径为 2 的球体内均匀选取——是明确的。这保证了问题有唯一确定的答案，也使得期望值可以通过积分来计算。

据视频中的描述，这个相交形状“取决于第二个球最终落在哪里”，是一个“难以直接思考的形状”。这种表述暗示了解题的关键路径：建立球心距离与相交体积之间的函数关系，然后对该函数在均匀分布下求期望。

有意思的是，如果两球半径不同，问题会变得更复杂；而半径相等时，相交体积仅依赖于球心距离，这为解析求解提供了便利。

“球体内均匀选取”在概率论中对应均匀分布（Uniform Distribution），其严格定义是：随机点落在可测集内的概率与该集合的体积成正比。对于半径为2的球体，其体积为(\frac{32\pi}{3})，因此球心落在任意子区域(A)内的概率为(\frac{\text{Vol}(A)}{32\pi/3})。这一分布假设是后续计算球心距概率密度的基础，若换成其他分布（例如球面上均匀选取），答案将不同。

解题思路的线索

虽然视频中并未给出完整解答，但从问题的设定可以推断出大致的求解框架。

首先，设两球心距离为 (d)，其中 (d \in [0, 2])。对于给定的 (d)，两球相交部分的体积有标准公式：

[V(d) = \frac{\pi}{12}(4 + d)(2 - d)^2]

这个公式描述了两个单位球在球心距为 (d) 时的交集体积。当 (d=0) 时，两球完全重合，体积为 (\frac{4\pi}{3})；当 (d=2) 时，两球仅相切于一点，体积为 0。

接下来，需要确定 (d) 的概率密度。由于第二个球心在半径为 2 的球体内均匀分布，球心距 (d) 的分布并非均匀，而是与 (d^2) 成正比（因为半径为 (d) 的球面面积为 (4\pi d^2)）。归一化后，(d) 的概率密度函数为：

[f(d) = \frac{3d^2}{8}, \quad 0 \le d \le 2]

于是，期望体积为：

[E[V] = \int_0^2 V(d) f(d) , dd]

将 (V(d)) 和 (f(d)) 代入，得到一个多项式积分。计算后可得期望体积约为 (0.66)（具体数值需精确计算，此处仅示意）。

这个结果意味着，在随机相交的条件下，平均交集体积大约只有单球体积的一半左右。

球心距(d)的概率密度与(d^2)成正比，本质上来自球坐标变换中的雅可比行列式(r^2\sin\theta)。对于各向同性的均匀分布，方向角均匀，半径(r)的边缘密度正比于(r^2)。这一现象常被称作“几何概率中的体积元效应”，它解释了为什么距离分布不是均匀的，也提醒我们在连续空间中“随机”必须与测度绑定。

谜题背后的发布计划

视频作者在结尾透露了一个有趣的计划：他一直在积攒多个“每月谜题”的解答，打算在年底假期前后打包成更完整的视频发布。目前，部分预览内容已向 Patreon 支持者开放。

这种做法在数学科普社区中并不少见。通过将零散的谜题与解答系统化整理，创作者可以为观众提供更连贯的学习体验，同时也为付费支持者提供早期访问的权益。

对于喜欢挑战的读者，这道两球相交期望体积问题是一个很好的练习——它不需要高深的数学工具，但要求清晰的概率建模和积分计算能力。如果你感兴趣，不妨在看完提示后尝试独立推导完整答案。

结语

这道谜题的价值不在于答案本身，而在于它展示的思维方式：将一个模糊的“随机相交”问题，转化为明确的概率分布与几何函数的乘积积分。这正是数学建模的精髓所在。