选择任何具有正面积的有界二维区域。使其变得丑陋。添加凹陷。拉伸它。打洞。现在选择罗盘上的任何方向。有一个清晰的数学保证：总会有至少一条直线，沿着那个确切的方向，将你的形状分成两个相同面积的部分。你不需要猜测是否存在解决方案；数学保证它确实存在。有趣的部分是尝试找到它。最近，我围绕这个想法创建了一个名为Bisecto的小型浏览器游戏，在实现切割引擎时，我碰到了数学确定性与人类感知之间的迷人差距。 1. 保证：平面上的平滑扫过 为什么在任何方向上都有完美的切割保证？基础是连续性的一项基本结果：中值定理（IVT）。 （这里我们讨论的是一个二维区域和一条一维直线。在三维中，相同的论证适用于平面和体积。）考虑一个有限正面积A > 0的有界二维区域S。选择任何直线方向θ。想象着一条具有该方向的直线从形状的一侧滑动到另一侧，以它的位置偏移t进行参数化。 令f(t)为位于直线一侧的形状面积：f(t) = 位置t处直线左侧的S的面积 考虑当直线扫过时发生的情况：当直线完全位于形状左侧时，f(t) = 0。当直线完全右侧穿过形状时，f(t) = A。由于面积不断累积，f(t)是一个连续的、单调不减的函数。因为0 < A / 2 < A，中值定理保证f(t)在某些点上必须恰好达到A / 2：f(t*) = ½ A 对于每一种取向，都存在完美的切割。虽然带有内部空洞的形状有时可以允许产生50/50分割的小范围偏移，但总会至少存在一条有效的切割线。 2. 意外之处：存在性并没有帮助你找到它 该定理解决了存在性问题，但没有解决搜索问题。这就是数学停止帮助你的地方。该定理告诉我们，完美的切割存在。但它没有告诉人类玩家该在何处下刀。当你给某人一个不规则的多边形并让他们将其切成两半时，他们几乎完全依赖于视觉直觉。我们自然使用视觉捷径，但这些捷径对于不规则形状变得不可靠。 3. 为什么显而易见的答案失败：质心陷阱 当人们试图划分一个不熟悉的形状时，自然的本能是寻找质心。这个假设看起来很显然：“如果我的切割线穿过形状的平衡点，两侧必定面积相等。” ⚠️ 质心谬误 对于中心对称形状（如圆形、矩形和正多边形），每条穿过对称中心的直线都能平分面积。然而对于不对称形状来说，穿过质心通常是不够的。 右三角形反例 考虑一个简单的直角三角形，底边为b，高为h。其质心位于高度y = h / 3。如果你在那个质心上做一个水平切割：顶部区域是一个类似的小三角形，高为⅔ h。由于面积与线性高度平方成比例：顶部面积 = (⅔)² × 总面积 = 4/9 ≈ 44.44% 底部梯形获得剩余的5/9 ≈ 55.56%。穿过质心的切割产生44.44% / 55.56%的分割：两侧之间有一个11.11个百分点的差距。要获得真正的50/50分割，水平切割实际上需要位于y = (1 − 1/√2) h ≈ 0.2929 h，明显低于质心。为什么？质心是由面积的第一矩定义的：离参考轴越远的点对矩的贡献越大。均等面积的切割有不同的目标：它只要求每侧相同的面积，无论距离如何。对于一般的不对称形状，不同角度的50/50切割并不都通过一个共同点。 4. 更奇怪的是：火腿三明治定理 如果你在平面上有两个独立形状，比如一池墨水和一片面包，会发生什么？是否有一条直线可以同时切割它们？可以。二维案例有时被称为煎饼定理，是火腿三明治定理的特例。二维案例的几何直觉优雅：对于在切割线随角度θ连续移动的表现良好的形状，我们可以跟踪该线与第二个形状的相互作用：对于每个角度θ，考虑一条直线L1(θ)，它将形状1分割。现在测量这条线如何分割形状2。定义差异：g(θ) = 形状2（左侧）面积 - 形状2（右侧）面积 将你的角度旋转180度（π弧度）。线的左侧和右侧交换位置，这意味着：g(θ + π) = -g(θ) 因为g(θ)是连续变化的并且翻转信号…