走在大街上，你是否思考过脚下的下水道井盖（Manhole Cover）为什么几乎全都是圆的？这道由诺贝尔物理学奖得主理查德·费曼推广、后来成为微软面试经典名题的工程谜题，背后隐藏着一个基本的几何不等式。

如果井盖是边长为 \(w\) 的正方形，虽然井口边长也是 \(w\)，但根据勾股定理，井口的对角线长度达到了 \(\sqrt{2}w \approx 1.4142\,w\)。一旦工人将正方形井盖竖立起来并旋转 \(45^\circ\) 对准井口对角线，由于 \(w < \sqrt{2}w\)，沉重的铸铁井盖就会直接掉进下水道井底。矩形、椭圆或正三角形同样如此：只要图形的最小卡尺宽度 \(w_{\min}\) 小于最大卡尺直径 \(w_{\max}\)，它就能沿着最宽方向掉入自己的孔洞中。相反，直径为 \(w\) 的圆在任何方向上的宽度恒为 \(w\)，无论怎样倾斜都绝不会掉下去。

那么，“不会掉进洞里的井盖”或“能平稳托起平板而不产生任何上下颠簸的滚木”，其截面形状一定是圆吗？

答案是否定的！在平面凸几何（Convex Geometry）中，存在无穷多种非圆凸图形，它们在任意方向上两条平行支撑切线之间的距离恒为常数 \(w\)——这就是定宽曲线（Curve of Constant Width）。其中最著名、性质最极端的代表，正是以19世纪德国机械运动学之父弗朗茨·勒洛（Franz Reuleaux）命名的勒洛三角形（Reuleaux Triangle）。

如果把一排截面为勒洛三角形的滚木铺在水平地面上，上面放一块水平木板，推动木板前进时，木板会保持在恒定高度 \(y = w\) 完全水平地平滑移动，不会有哪怕一毫米的上下起伏！更令人称奇的是，1914年英国工程师哈里·瓦茨（Harry James Watts）将勒洛三角形刀头装在浮动卡盘上，用普通旋转钻床竟然直接在金属板上钻出了覆盖率高达 \(98.77\%\) 的方孔！本文将从凸几何、微分几何、积分几何与运动学四个维度，完整推导定宽曲线的数学结构。

1. 滚动悖论：为什么勒洛三角形当滚木极其平稳，当车轮却剧烈颠簸？

1.1 平板下的勒洛三角形滚木

设水平地面为直线 \(y = 0\)，宽度为 \(w\) 的勒洛三角形滚木置于地面上，其顶部托着一块水平平板。根据定宽图形的定义，无论勒洛三角形旋转到什么角度 \(\theta \in [0, 2\pi)\)，夹住它的上下两条水平支撑切线之间的距离恒为 \(w\)。因此，平板底面始终锁定在高度

平板在滚动过程中没有任何垂直颠簸。

1.2 固定车轴（形心 \(G\)）的周期性跳动

然而，如果我们在勒洛三角形的几何中心（形心）\(G\) 处安装一根固定车轴来制造自行车轮，骑行体验将是一场灾难。对于边长为 \(w\) 的正三角形 \(\triangle ABC\) 构成的勒洛三角形：

• 形心 \(G\) 到三个顶点 \(A, B, C\) 的距离（外接圆半径）为： \(R = \frac{w}{\sqrt{3}} = \frac{\sqrt{3}}{3} w \approx 0.57735\,w\)
• 形心 \(G\) 到对边圆弧中点的距离为： \(r = w - R = \left(1 - \frac{\sqrt{3}}{3}\right) w \approx 0.42265\,w\)

当勒洛三角形在地面 \(y = 0\) 上滚动一周时，车轴 \(G\) 的高度 \(y_G\) 每转一圈就会在 \(y_{G,\max} = \frac{\sqrt{3}}{3}w\) 与 \(y_{G,\min} = \left(1 - \frac{\sqrt{3}}{3}\right)w\) 之间上下剧烈跳动 3 次，其垂直振幅高达：

也就是说，虽然图形最高点始终保持在 \(y = w\)，但它的形心 \(G\) 却有約 \(15.5\%\) 的上下摆动。正是“外包络线恒定”与“中心轨迹偏心运动”之间的分离，构成了方孔钻头与转子发动机的核心运动学基础。

2. 凸几何与闵可夫斯基支撑函数 \(h_K(\theta)\)

2.1 支撑函数、包络线与曲率半径

设 \(K \subset \mathbb{R}^2\) 为平面紧致凸体。对于任意方向角 \(\theta \in [0, 2\pi)\)，定义外单位法向量 \(\mathbf{u}(\theta) = (\cos\theta, \sin\theta)^\top\) 与单位切向量 \(\mathbf{t}(\theta) = (-\sin\theta, \cos\theta)^\top\)。凸体 \(K\) 的闵可夫斯基支撑函数（Minkowski Support Function）定义为：

几何上，\(h_K(\theta)\) 是原点 \(O(0,0)\) 到法向为 \(\mathbf{u}(\theta)\) 的支撑直线 \(L(\theta) : x\cos\theta + y\sin\theta = h_K(\theta)\) 的有向垂直距离。

  flowchart TD
    A["平面凸体 K ⊂ ℝ²"] --> B["外单位法向量 u(θ) = (cos θ, sin θ)"]
    B --> C["闵可夫斯基支撑函数 h(θ) = max_{(x,y)∈K} (x cos θ + y sin θ)"]
    C --> D["反向支撑函数 h(θ + π)"]
    C --> E["边界包络线参数方程 r(θ) = h(θ)u(θ) + h'(θ)t(θ)"]
    D --> F["方向卡尺宽度 W(θ) = h(θ) + h(θ + π)"]
    E --> G["曲率半径 ρ(θ) = ds/dθ = h(θ) + h''(θ) ≥ 0"]
    F --> H["定宽条件 W(θ) ≡ w  ⇔  所有正偶次傅里叶系数为零 (a_{2m} = b_{2m} = 0)"]

当 \(h(\theta) \in C^2(\mathbb{S}^1)\) 时，边界曲线 \(\partial K\) 作为支撑直线族的包络线，由联立方程 \(x\cos\theta + y\sin\theta = h(\theta)\) 与 \(-x\sin\theta + y\cos\theta = h'(\theta)\) 唯一确定：

利用 \(\mathbf{u}'(\theta) = \mathbf{t}(\theta)\) 和 \(\mathbf{t}'(\theta) = -\mathbf{u}(\theta)\) 对 \(\theta\) 求导，得到切向量与微弧长 \(ds\)：

其中 \(\rho(\theta)\) 为边界在法向角 \(\theta\) 处的曲率半径。周期函数 \(h(\theta)\) 对应严格凸闭曲线的充要条件是处处满足凸性微分不等式：

2.2 定宽条件与奇次谐波傅里叶级数

凸体 \(K\) 在方向 \(\theta\) 上的平行卡尺宽度为 \(W_K(\theta) = h_K(\theta) + h_K(\theta + \pi)\)。因此，\(K\) 为宽度 \(w\) 的定宽曲线当且仅当：

由此立即推出定宽曲线的两条基本定理：

1. 双重法线性质（Double Normals）：对向接触点之差为 \(\mathbf{r}(\theta) - \mathbf{r}(\theta + \pi) = w\mathbf{u}(\theta)\)，即连接任意一对平行支撑线切点的弦长恒为 \(w\)，且同时垂直于两条支撑切线。
2. 对向曲率半径之和守恒：\(\rho(\theta) + \rho(\theta + \pi) = w\)。若一侧为尖角（\(\rho(\theta) = 0\)），则正对面必然是以该顶点为圆心、半径为 \(w\) 的圆弧（\(\rho(\theta + \pi) = w\)）。

将 \(h_K(\theta)\) 展开为傅里叶级数，由于 \(\cos(n(\theta+\pi)) = (-1)^n\cos(n\theta)\)，代入 \(h_K(\theta) + h_K(\theta+\pi) = w\) 可知：所有正偶次谐波系数必然恒等于零（\(a_{2m} = b_{2m} = 0\)），而任意奇次谐波均可自由选取（只需满足 \(\rho(\theta) \ge 0\)）：

例如，仅取第3次谐波 \(h(\theta) = \frac{w}{2} + \varepsilon\cos(3\theta)\)（其中 \(0 < |\varepsilon| \le \frac{w}{16}\)），其曲率半径 \(\rho(\theta) = \frac{w}{2} - 8\varepsilon\cos(3\theta) \ge 0\)。当 \(w = 16, \varepsilon = 1\) 时，\(h(\theta) = 8 + \cos(3\theta)\) 给出了一条没有任何尖角的无穷阶光滑（\(C^\infty\) 实解析）非圆定宽曲线（Rabinowitz 8次多项式代数曲线）！

3. 勒洛三角形与奇正勒洛多边形的面积推导

3.1 尺规作图与勒洛三角形面积

以边长为 \(w\) 的正三角形 \(\triangle ABC\) 的三个顶点 \(A, B, C\) 为圆心、\(w\) 为半径分别作 \(60^\circ\)（\(\frac{\pi}{3}\) 弧度）圆弧 \(\widehat{BC}, \widehat{CA}, \widehat{AB}\)，所得图形即为勒洛三角形。

利用容斥原理计算其面积 \(A_{\text{Reuleaux}}\)：3个半径为 \(w\)、圆心角为 \(\frac{\pi}{3}\) 的扇形面积之和，减去重复叠加了2次的中心正三角形 \(\triangle ABC\) 的面积：

• 单个 \(60^\circ\) 扇形面积：\(A_{\text{sector}} = \frac{1}{2}w^2\left(\frac{\pi}{3}\right) = \frac{\pi}{6}w^2\)
• 正三角形 \(\triangle ABC\) 面积：\(A_{\triangle} = \frac{\sqrt{3}}{4}w^2\)
• 勒洛三角形的面积： \(A_{\text{Reuleaux}} = 3 A_{\text{sector}} - 2 A_{\triangle} = \frac{1}{2}\left(\pi - \sqrt{3}\right) w^2 \approx 0.7047709\,w^2\)

相比之下，直径为 \(w\) 的圆面积为 \(A_{\text{circle}} = \frac{\pi}{4}w^2 \approx 0.7853982\,w^2\)。勒洛三角形的宽度和周长与圆完全相同，但面积却比圆小了 \(10.27\%\)！

3.2 任意奇数边正勒洛 \(n\) 边形（\(n = 2k+1\)）

定宽正多边形的边数 \(n\) 必须是奇数 \(n = 2k+1\)（\(n = 3, 5, 7, 9, \dots\)），因为只有奇数边正多边形的每个顶点正对面才是一条边（对应一段半径为 \(w\)、圆心角为 \(\frac{\pi}{n}\) 的圆弧）。将内部核心正 \(n\) 边形（外接圆半径 \(R_n = \frac{w}{2\cos(\pi/(2n))}\)）与外侧 \(n\) 个半径为 \(w\) 的弓形面积相加，利用三角恒等式可导出正勒洛 \(n\) 边形的通用面积公式：

4. 巴比耶定理（1860）的两种完整严格证明与布拉施克-勒贝格定理（1914）

\[L(\partial K) = \pi w\]

4.1 证明一：微分几何与支撑函数法

对于光滑定宽曲线，微弧长 \(ds = \rho(\theta)\,d\theta = \left(h(\theta) + h''(\theta)\right)d\theta\)。沿 \([0, 2\pi]\) 积分并利用 \(h'(\theta)\) 的 \(2\pi\)-周期性：

对于带有尖角的定宽曲线（如勒洛多边形），由于定宽曲线不可能包含平直边（否则对向顶点处将产生矛盾），\(h_K(\theta)\) 处处属于 \(C^1(\mathbb{S}^1)\)（也可通过光滑软化子 \(h_\varepsilon = h_K * \eta_\varepsilon\) 在 Hausdorff 度量下逼近），因此 \(\big[h'(\theta)\big]_0^{2\pi} = 0\) 与 \(L = \pi w\) 严格成立。 \(\blacksquare\)

4.2 证明二：积分几何、柯西-克罗夫顿公式与“蒲丰投面条（Buffon’s Noodle）”

平面上所有有向直线 \(\ell(p, \theta) : x\cos\theta + y\sin\theta = p\) 具有刚体运动不变的运动学测度 \(d\ell = dp \wedge d\theta\)。对于任意长为 \(L\) 的可求长曲线（“面条”）\(\gamma\)，其微元 \(ds\) 在方向 \(\theta\) 上的投影长度为 \(ds\,|\cos(\theta - \alpha)|\)。对 \(\theta \in [0, 2\pi)\) 积分得 \(\int_0^{2\pi} |\cos(\theta - \alpha)|\,d\theta = 4\)。由期望的线性可加性（无论曲线如何弯曲），交点个数 \(n_\gamma(p, \theta) = \#(\gamma \cap \ell(p, \theta))\) 满足著名的柯西-克罗夫顿公式（Cauchy–Crofton Formula）：

取 \(\gamma = \partial K\) 为凸体 \(K\) 的边界。几乎所有与 \(K\) 相交的直线都与 \(\partial K\) 恰好交于 2 个点（\(n_{\partial K} = 2\)）。在固定方向 \(\theta\) 上，与 \(K\) 相交的直线参数 \(p\) 构成的区间长度恰为方向宽度 \(W_K(\theta) = h_K(\theta) + h_K(\theta + \pi) = w\)。因此：

4.3 布拉施克-勒贝格定理（Blaschke–Lebesgue Theorem, 1914）

由格林公式与分部积分，凸体 \(K\) 的面积表示为 \(A(K) = \frac{1}{2}\int_0^{2\pi} \left(h(\theta)^2 - h'(\theta)^2\right)d\theta\)。代入奇次谐波傅里叶展开式并应用帕塞瓦尔（Parseval）恒等式，立即得到定宽曲线的谱面积公式：

1. 圆最大化面积：由于 \(k \ge 2\) 时 \((2k-1)^2 - 1 \ge 8 > 0\)，所有高阶奇次谐波均严格减小面积，故 \(A(K) \le \frac{\pi}{4}w^2\)，当且仅当 \(K\) 为圆时取等号。
2. 勒洛三角形最小化面积（布拉施克-勒贝格定理）：在凸性约束 \(0 \le \rho(\theta) \le w\) 与 \(\rho(\theta) + \rho(\theta+\pi) = w\) 下极小化凹泛函 \(A(\rho)\)，根据庞特里亚金极大值原理，极小值必在端点（Bang-Bang 控制 \(\rho(\theta) \in \{0, w\}\)）且切换次数最少（\(n = 3\)）时达到，从而唯一确定勒洛三角形达到面积下确界 \(\frac{1}{2}(\pi - \sqrt{3})w^2\)。

5. 勒洛三角形如何钻出方孔：哈里·瓦茨钻头（1914）与精确轨迹解析

设固定正方形导板为 \(S = \left[-\frac{w}{2}, \frac{w}{2}\right]^2\)。由四重旋转对称性，只需考察基本角区间 \(\theta \in \left[\frac{\pi}{6}, \frac{\pi}{3}\right]\)，其中顶点 \(A\) 沿左壁 \(x = -\frac{w}{2}\) 滑动，顶点 \(B\) 沿底壁 \(y = -\frac{w}{2}\) 滑动，弦 \(AB\)（长 \(w\)）与底壁夹角为 \(\theta\)：

  flowchart TD
    S["边长为 w 的固定正方形导板 S = [-w/2, w/2]²"] --> R["宽为 w 的勒洛三角形与四壁同时保持相切旋转"]
    R --> G["形心轨迹 G(θ): 4段椭圆弧组成的闭合微轨道（直径 ≈ 0.07735 w，反向3倍频公转）"]
    R --> V["顶点包络线 C(θ): 每边中央 73.2% 为精确直线 + 四角微小椭圆弧"]
    G --> W["通过瓦茨浮动十字滑块联轴器（Oldham Coupling）连接旋转主轴"]
    V --> H["切削出面积覆盖率高达 98.77005% 的近似完美方孔！"]

5.1 形心 \(G(\theta)\) 的四段椭圆弧偏心轨道

正三角形 \(\triangle ABC\) 的形心 \(G\) 到 \(A, B\) 的距离为 \(\frac{w}{\sqrt{3}}\)，从而形心坐标为：

旋转坐标系 \(45^\circ\) 可证：这是一段以正方形左下角 \(\left(-\frac{w}{2}, -\frac{w}{2}\right)\) 为中心、长半轴 \(a_G = \frac{\sqrt{3}+1}{2\sqrt{3}}w\)、短半轴 \(b_G = \frac{\sqrt{3}-1}{2\sqrt{3}}w\) 的精确椭圆弧！四段椭圆弧围绕原点拼成一条直径为

的近似圆轨道，且以与钻头自转方向相反、角速度为3倍（\(\omega_{\text{orbit}} = -3\omega_{\text{spin}}\)）的规律公转。瓦茨钻头正是利用浮动奥尔德姆联轴器（Oldham Coupling）吸收这一微小偏心摆动，从而用普通旋转主轴驱动勒洛三角形刀头。

5.2 顶点 \(C(\theta)\) 的四角切削轨迹与 \(98.77\%\) 面积覆盖率证明

在同一区间 \(\theta \in \left[\frac{\pi}{6}, \frac{\pi}{3}\right]\) 内，令 \(\alpha = \frac{\pi}{3} - \theta \in \left[0, \frac{\pi}{6}\right]\)，右上角顶点 \(C\) 的轨迹方程为：

• 在正方形每条边的中央区间 \(\left[-\frac{\sqrt{3}-1}{2}w, +\frac{\sqrt{3}-1}{2}w\right]\) 上，顶点紧贴正方形侧壁笔直滑动，因此方孔每条边有 \((\sqrt{3}-1)w \approx 73.205\%\) 的长度是数学上绝对笔直的直线段！
• 单个角落未切削区域的精确面积积分为： \(A_{\text{corner}} = \int_0^{\pi/6} \left(\frac{w}{2} - y_C(\alpha)\right) w\sin\alpha\,d\alpha = w^2 \int_0^{\pi/6} \left(1 - \cos\left(\frac{\pi}{6}-\alpha\right)\right)\sin\alpha\,d\alpha = \left(1 - \frac{\sqrt{3}}{2} - \frac{\pi}{24}\right) w^2 \approx 0.0030749\,w^2\)
• 扣除四个角落后，勒洛三角形钻孔扫过的精确面积 \(A_{\text{swept}}\) 为： \(A_{\text{swept}} = w^2 - 4 A_{\text{corner}} = \left(2\sqrt{3} + \frac{\pi}{6} - 3\right) w^2 \approx 0.9877005\,w^2\) 即削去了正方形 \(98.77005\%\) 的面积！

6. 现代工程应用与三维前沿：迈斯纳体（1911）及未解的迈斯纳猜想（1934）

1. 汪克尔转子发动机（马自达 RX-7 / 787B）与英国 20p/50p 硬币：转子发动机在双叶外旋轮线（Epitrochoid）缸体内配置变形勒洛三角形转子；英国 20 便士和 50 便士硬币采用正勒洛七边形（\(n = 7\)），既便于盲人触觉识别，又因具有恒定宽度而能顺利通过自动售货机的平行卡尺检测器。
2. 为什么三维“勒洛四面体”不是定宽体？ 取边长为 \(w\) 的正四面体四个顶点为球心、\(w\) 为半径的四个球体的交集，得到勒洛四面体（Reuleaux Tetrahedron）。虽然顶点到对面的距离为 \(w\)，但正四面体相对两条直边中点的距离为 \(\frac{\sqrt{2}}{2}w\)，而每条弧形棱边以对边中点为圆心、半径为 \(\frac{\sqrt{3}}{2}w\)。因此，相对两条弧形棱边中点之间的距离为： \(w_{\text{edge}} = \frac{\sqrt{3}}{2}w + \frac{\sqrt{3}}{2}w - \frac{\sqrt{2}}{2}w = \left(\sqrt{3} - \frac{\sqrt{2}}{2}\right) w \approx 1.024944\,w > w\) 它比 \(w\) 超出了 \(2.494\%\)！
3. 迈斯纳体（Meissner Bodies, 1911）与迈斯纳猜想（1934）： 1911年，瑞士数学家恩斯特·迈斯纳（Ernst Meissner）将勒洛四面体三对相对棱边中的各一条棱边切削掉，替换为以对边为旋转轴、半径为 \(w\) 的圆弧旋转而成的纺锤环面（Spindle Torus）曲面片，成功构造出两种非全等的三维定宽凸体——第一类迈斯纳体 \(M_1\)（三修圆棱交于同一顶点）与第二类迈斯纳体 \(M_2\)（三修圆棱围成同一底面），两者的体积完全相等： \(V(M_1) = V(M_2) = \pi w^3 \left(\frac{2}{3} - \frac{\sqrt{3}}{4}\arccos\left(\frac{1}{3}\right)\right) + \frac{\sqrt{2}}{12} w^3 \approx 0.419860\,w^3 < V_{\text{sphere}} = \frac{\pi}{6}w^3 \approx 0.523599\,w^3\) 在三维定宽体中，体积与表面积满足布拉施克线性关系式 \(V(K) = \frac{1}{2}w S(K) - \frac{\pi}{3}w^3\)。1934年 Bonnesen 与 Fenchel 提出的迈斯纳猜想（即 \(M_1, M_2\) 在所有三维定宽凸体中体积最小）至今仍是凸几何学界最著名的未解难题之一。