碰撞的方块为什么会产生 π 的数字

两个相撞的方块可以产生与 π 开头数字相同的碰撞次数。本课重新讨论理想化物理模型，将它变成几何问题，并解释把这一规律推广到任意多位数字时的微妙限制。后续视频讨论它与 Grover 量子搜索算法的类比。

在无摩擦平面上，把一个静止的小方块放在墙与一个向它运动的大方块之间。计数方块之间以及方块与墙之间的每次碰撞。质量相等时为 3 次；质量比 100∶1 时为 31 次；10,000∶1 时为 314 次；1,000,000∶1 时为 3,141 次。

模型假设碰撞完全弹性且没有摩擦。动画中的声音是艺术处理：完全弹性碰撞不会以声音形式损失能量。质量比很大时，小方块的速度会使相对论和其他现实效应变得重要，因此这里计算的是理想化经典物理谜题。

一种解题策略是列出相关定律。总动能 E = ½m₁v₁² + ½m₂v₂² 保持不变。两个方块相撞时总动量 m₁v₁ + m₂v₂ 守恒；小方块撞墙时则会向墙传递动量，方块的总动量因此改变。

把两个速度表示为平面上的一个点。碰撞改变 v₁ 和 v₂ 时，这个点也随之移动。在这些坐标中，动能不变对应一条椭圆；初速度改变规模和时间，但不改变碰撞次数。

将坐标重新缩放为 x = √m₁ v₁、y = √m₂ v₂。现在能量守恒变成 x² + y² = 2E，也就是一个圆。这一坐标变换让 π 背后的对称性显现出来。

在缩放后的平面中，动量不变是一条直线 √m₁x + √m₂y = P，斜率为 −√(m₁/m₂)。方块之间的碰撞让状态在该直线与能量圆的两个交点之间移动。撞墙则使 y 的符号反转，并改变两个方块的总动量。

当两个方块都远离墙运动，且小方块无法追上大方块时，碰撞结束。在状态空间中，这对应正 x 轴与等速度直线之间的一个楔形区域。物理问题因此变成围绕圆的一系列直线移动。

圆周角定理表明，相邻相关圆弧跨越的角度都等于 2θ，其中 θ 是竖直方向与碰撞斜线之间的夹角。计数碰撞因此变成：到达终止区域之前能容纳多少个这样的步骤。

等价地，碰撞次数是满足 Nθ < π 的最大整数 N。如果 π/θ 恰好是整数，严格小于号很重要：一般公式为 N = ⌈π/θ⌉ − 1。这是所述理想模型下的精确几何计数。

由斜率可得 tan θ = √(m₂/m₁)，因此 θ = arctan √(m₂/m₁)。质量比为 100∶1 时，θ = arctan(0.1)，并不恰好等于 0.1。小角度下 arctan x 接近 x，这解释了碰撞次数为何像 π 的数字。

在单位圆上，以弧度表示的小角度接近对应弧长，也接近竖直位移；水平坐标接近 1。这个几何图像解释了论证中使用的小角近似。

足够接近并不自动证明每一位数字都正确。如果某个倍数足够接近 π，微小近似误差就可能改变整数计数。视频指出，π 的十进制展开中极长的连续 9 可能带来相差一的问题；它表示，对所有 100 的幂都成立的一般证明仍是开放问题。

碰撞次数本身有精确公式，因此物理模型并非神秘或未解决。视频所说尚未解决的是对任意位数都匹配的断言。其他进制也有类似质量比构造，例如二进制可考虑 4 的幂。

理想化有两种用途：简单解可以逐步修正，以纳入能量损失等真实效应；它也能揭示被物理细节掩盖的联系。讲述者提到 Gregory Galperin 的镜面类比，以及另一个单独讲解 Grover 算法联系的视频。

把问题提炼到核心结构，可以在另一个背景中揭示同一难题更清晰的形式。即便原始物理实验在极端规模下不可行，这些联系仍能推动数学进步。