山羊与栅栏：绳索尽头的几何博弈

作者 | Patrick Honner

译者 | 慕容玖

原文发布于 | Quanta Magazine

想象一下，你正站在一片绿油油的草坪中央。草坪上立着一个方形的木质栅栏，而在栅栏的正中心，拴着一只饥饿的山羊。绳子被拉得很紧，山羊拼命向外伸着脖子，试图吃到远处的嫩草。

你很快会发现一个有趣的现象：随着山羊的移动，绳子不再总是一条笔直的半径，它会被栅栏的拐角“勾住”，变得折折叠叠。这只羊在草地上留下的“进食轨迹”，究竟是一个简单的圆，还是某种更复杂的几何拼图？

这就是著名的山羊问题 (The Goat Problem)。从 1748 年它第一次出现在伦敦期刊上开始，这个关于“绳索、栅栏与草地”的博弈就吸引了无数数学爱好者。

最简单的山羊问题是：如果山羊被拴在一条无限长的直栅栏的一侧。

在这种情况下，山羊的活动范围非常直观：这是一个以拴桩点为圆心、绳长为半径的半圆。

如果绳长为，面积就是圆面积的一半：。

如果我们将场景升级，把山羊拴在方形栅栏的外侧中点，情况会发生微妙的变化。

假设栅栏边长和绳长都是。

第一步演化：因为山羊在正面可以自由活动，所以它首先扫出一个半径为的半圆。

第二步推演： 这意味着，当山羊走到栅栏的拐角处时，绳子会被拐角“截断”。此时，原本个单位长度的绳子，被栅栏扣掉了个单位（中点到拐角的距离）。剩下的个单位长度会以拐角为新的“支点”，扫出两个更小的扇形。

阶段结论：由此可见，山羊的进食总面积由三个部分拼接而成：

$中心半圆拐角处的新扇形$

真正具有挑战性的是“逆向问题”：如果我想让山羊吃到恰好平方单位的草，绳子需要多长？

这就不再是简单的代入公式，而是一场分类讨论的智力博弈。

此时的总面积公式写成：

因为我们需要，所以我们得到一个关于的一元二次方程：

利用求根公式，我们得出。这个结果恰好落在到的讨论区间内，完美符合逻辑！

为了直观感受绳子长度对区域形状的影响，你可以通过下方的交互组件调整滑动条。观察山羊在不同长度下，如何“激活”新的扇形区域，甚至在栅栏后方形成复杂的重叠。

基于本文的逻辑推导，如果我们将栅栏改为一个等边三角形，并将山羊拴在其中一个顶点的外侧。如果绳长正好等于三角形的边长，你认为山羊吃草的区域会由几个扇形组成？它的总面积公式中，扇形的圆心角会是多少度？

这只是一类简单的山羊问题，真实的数学世界中，山羊甚至可能被拴在圆柱体、椭球体甚至是更复杂的三维障碍物旁。

脚注