Почему чугунные крышки канализационных люков на улицах городов почти всегда круглые? Эта знаменитая инженерная загадка, популяризированная нобелевским лауреатом Ричардом Фейнманом и собеседованиями в Microsoft, опирается на простое геометрическое неравенство.
Если бы крышка люка была квадратом со стороной $w$, то квадратное отверстие имело бы сторону $w$, но его диагональ по теореме Пифагора равнялась бы $\sqrt{2}w \approx 1{,}4142\,w$. Если поставить тяжёлую квадратную крышку вертикально и повернуть на $45^\circ$ вдоль диагонали проёма, то из-за $w < \sqrt{2}w$ она свободно провалится сквозь собственное отверстие на дно шахты. Напротив, круг диаметра $w$ имеет одинаковую ширину $w$ во всех направлениях и ни при каком наклоне не может упасть в люк.
Поставим теперь обратный математический вопрос: Должна ли крышка люка — или каток, по которому плоская доска катится строго горизонтально без малейших вертикальных колебаний, — обязательно быть круглой?
Ответ — нет! В выпуклой геометрии существует бесконечно много некруглых плоских фигур, у которых расстояние между параллельными опорными касательными прямыми во всех направлениях постоянно и равно $w$: это фигуры (кривые) постоянной ширины (названные Леонардом Эйлером в 1778 году орбиформами). Самый знаменитый и экстремальный их представитель — треугольник Рёло (Reuleaux Triangle), названный в честь немецкого механика и кинематика Франца Рёло (Franz Reuleaux, 1829–1905).
Если положить плоскую доску на катки с сечением в форме треугольника Рёло ширины $w$, доска будет двигаться на постоянной высоте $y = w$ абсолютно горизонтально без единого миллиметра тряски. Ещё удивительнее то, что в 1914 году инженер Гарри Джеймс Уаттс закрепил сверло с профилем треугольника Рёло в плавающем патроне, позволив обычному сверлильному станку высверливать в металле квадратные отверстия, охватывающие ровно $98{,}77005\,\%$ площади квадрата!
1. Кинематический парадокс: Плавный каток против прыгающей оси колеса
1.1 Идеально горизонтальное движение плиты по каткам Рёло
Когда треугольник Рёло ширины $w$ катится без проскальзывания по горизонтальному полу $y = 0$, при любом угле поворота $\theta \in [0, 2\pi)$ он одновременно касается пола ($y = 0$) и нижней поверхности лежащей сверху плиты. Поскольку вертикальная ширина между параллельными опорными прямыми тождественно равна $w$, плита остаётся на неизменной высоте $y_{\text{плиты}}(\theta) \equiv w$.
1.2 Вертикальные биения оси, закреплённой в центре тяжести $G$
Почему же тогда колёса велосипедов и автомобилей не делают в форме треугольника Рёло? Потому что кузов транспортного средства опирается на фиксированную ось, проходящую через геометрический центр тяжести (центроид) $G$. В треугольнике Рёло, построенном на равностороннем треугольнике $\triangle ABC$ со стороной $w$:
- Расстояние от центроида $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$.
За один полный оборот колеса высота оси $G$ трижды подскакивает и опускается с размахом:
$$\Delta y_G = R - r = \left(\frac{2\sqrt{3}}{3} - 1\right) w \approx 0{,}15470\,w$$Именно это расщепление между неподвижной внешней огибающей и эксцентрично обращающимся центром тяжести лежит в основе сверла Уаттса и роторно-поршневого двигателя Ванкеля.
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$. Опорная функция Минковского (Support Function) тела $K$ определяется как:
$$h_K(\theta) \triangleq \max_{(x, y) \in K} \left(x\cos\theta + y\sin\theta\right)$$
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{r}(\theta) = \begin{pmatrix} x(\theta) \\ y(\theta) \end{pmatrix} = h(\theta)\mathbf{u}(\theta) + h'(\theta)\mathbf{t}(\theta) = \begin{pmatrix} h(\theta)\cos\theta - h'(\theta)\sin\theta \\ h(\theta)\sin\theta + h'(\theta)\cos\theta \end{pmatrix}$$Дифференцируя по $\theta$ ($\mathbf{u}' = \mathbf{t}, \mathbf{t}' = -\mathbf{u}$), получаем дифференциал дуги $ds$ и радиус кривизны $\rho(\theta)$:
$$\frac{d\mathbf{r}}{d\theta} = \left(h(\theta) + h''(\theta)\right)\mathbf{t}(\theta) \implies \rho(\theta) = \frac{ds}{d\theta} = h(\theta) + h''(\theta) \ge 0$$2.2 Условие постоянной ширины и нечётные ряды Фурье
Ширина тела в направлении $\theta$ равна $W_K(\theta) = h_K(\theta) + h_K(\theta + \pi)$. Следовательно, $K$ имеет постоянную ширину $w$ тогда и только тогда, когда:
$$h_K(\theta) + h_K(\theta + \pi) = w \qquad (\forall \theta \in [0, 2\pi))$$Отсюда следует, что сумма радиусов кривизны в противоположных точках постоянна: $\rho(\theta) + \rho(\theta + \pi) = w$, а разложение $h_K(\theta)$ в ряд Фурье содержит только нечётные гармоники ($a_{2m} = b_{2m} = 0$ при всех $m \ge 1$):
$$h_K(\theta) = \frac{w}{2} + \sum_{k=1}^{\infty} \left(a_{2k-1}\cos((2k-1)\theta) + b_{2k-1}\sin((2k-1)\theta)\right)$$Например, взяв $h(\theta) = \frac{w}{2} + \frac{w}{16}\cos(3\theta)$, получаем $\rho(\theta) = \frac{w}{2}(1 - \cos 3\theta) \ge 0$ — бесконечно гладкую ($C^\infty$) аналитическую некруглую кривую постоянной ширины без единого угла (алгебраическая кривая 8-й степени Рабиновица, 1997).
3. Площадь треугольника Рёло и правильных нечётных многоугольников Рёло
Построив три дуги окружности радиуса $w$ с центрами в вершинах $A, B, C$ равностороннего треугольника со стороной $w$, получим треугольник Рёло. По формуле включений-исключений его площадь равна сумме площадей трёх секторов с углом $\frac{\pi}{3}$ (по $\frac{\pi}{6}w^2$) минус удвоенная площадь центрального равностороннего треугольника ($\frac{\sqrt{3}}{4}w^2$):
$$A_{\text{Reuleaux}} = 3\left(\frac{\pi}{6}w^2\right) - 2\left(\frac{\sqrt{3}}{4}w^2\right) = \frac{1}{2}\left(\pi - \sqrt{3}\right) w^2 \approx 0{,}7047709\,w^2$$Это на $10{,}27\,\%$ меньше площади круга того же диаметра $w$ ($A_{\text{круга}} = \frac{\pi}{4}w^2 \approx 0{,}7853982\,w^2$). Для правильного $n$-угольника Рёло с нечётным числом сторон $n = 2k+1$ ($n = 3, 5, 7, \dots$) общая формула площади имеет вид:
$$A_n = \frac{w^2}{2}\left(\pi - n\tan\left(\frac{\pi}{2n}\right)\right) \qquad (n = 3, 5, 7, 9, \dots)$$| Фигура постоянной ширины $w$ | Число вершин $n$ | Периметр $L$ | Точная формула площади $A(w)$ | Численная площадь | Отношение $A / A_{\text{круга}}$ |
|---|---|---|---|---|---|
| Треугольник Рёло | $3$ | $\pi w$ | $\frac{1}{2}\left(\pi - \sqrt{3}\right)w^2$ | $0{,}704771\,w^2$ | $89{,}73\%$ (Минимум) |
| Пятиугольник Рёло | $5$ | $\pi w$ | $\frac{1}{2}\left(\pi - 5\tan\frac{\pi}{10}\right)w^2$ | $0{,}756827\,w^2$ | $96{,}36\%$ |
| Семиугольник Рёло (Монеты Великобритании 20p/50p) | $7$ | $\pi w$ | $\frac{1}{2}\left(\pi - 7\tan\frac{\pi}{14}\right)w^2$ | $0{,}770921\,w^2$ | $98{,}16\%$ |
| Гладкая аналитическая кривая ($h = \frac{w}{2} + \frac{w}{16}\cos 3\theta$) | $0$ ($C^\infty$) | $\pi w$ | $\frac{63\pi}{256}w^2$ | $0{,}773126\,w^2$ | $98{,}44\%$ |
| Круг (Circle) | $0$ ($C^\infty$) | $\pi w$ | $\frac{\pi}{4}w^2$ | $0{,}785398\,w^2$ | $100{,}00\%$ (Максимум) |
4. Два полных доказательства теоремы Барбье (1860) и теорема Бляшке — Лебега (1914)
$$L(\partial K) = \pi w$$
4.1 Доказательство 1: Дифференциальная геометрия и опорная функция
Интегрируя элемент дуги $ds = \left(h(\theta) + h''(\theta)\right)d\theta$ по $[0, 2\pi]$ и учитывая $2\pi$-периодичность $h'(\theta)$:
$$L(\partial K) = \int_0^{2\pi} h(\theta)\,d\theta + \Big[h'(\theta)\Big]_0^{2\pi} = \int_0^{\pi} \underbrace{\left(h(\theta) + h(\theta + \pi)\right)}_{= w} d\theta = \int_0^{\pi} w\,d\theta = \pi w$$Поскольку кривая постоянной ширины не может содержать прямолинейных отрезков, $h_K$ всюду принадлежит классу $C^1(\mathbb{S}^1)$ (либо аппроксимируется свёрткой $h_\varepsilon = h_K * \eta_\varepsilon$ в метрике Хаусдорфа), поэтому равенство $L = \pi w$ строго справедливо и для кривых с изломами. $\blacksquare$
4.2 Доказательство 2: Интегральная геометрия, формула Коши — Крофтона и «Лапша Бюффона»
В пространстве ориентированных прямых $\ell(p, \theta) : x\cos\theta + y\sin\theta = p$ с инвариантной кинематической мерой $d\ell = dp \wedge d\theta$ линейность математического ожидания для числа пересечений $n_\gamma(p, \theta) = \#(\gamma \cap \ell(p, \theta))$ спрямляемой кривой («лапши Бюффона») даёт формулу Коши — Крофтона:
$$\int_0^{2\pi} \int_{-\infty}^{\infty} n_\gamma(p, \theta)\,dp\,d\theta = 4 L(\gamma)$$Для границы $\gamma = \partial K$ выпуклого тела почти каждая секущая прямая пересекает $\partial K$ ровно в $n_{\partial K} = 2$ точках на интервале длины $W_K(\theta) = w$. Следовательно:
$$4 L(\partial K) = \int_0^{2\pi} 2 W_K(\theta)\,d\theta = 2 \int_0^{2\pi} w\,d\theta = 4\pi w \implies L(\partial K) = \pi w \quad \blacksquare$$4.3 Теорема Бляшке — Лебега (1914)
Подстановка нечётного ряда Фурье в формулу площади Бляшке $A(K) = \frac{1}{2}\int_0^{2\pi} \left(h(\theta)^2 - h'(\theta)^2\right)d\theta$ по равенству Парсеваля даёт:
$$A(K) = \frac{\pi}{4} w^2 - \frac{\pi}{2} \sum_{k=2}^{\infty} \left((2k-1)^2 - 1\right)\left(a_{2k-1}^2 + b_{2k-1}^2\right)$$Таким образом, круг единственным образом максимизирует площадь ($\frac{\pi}{4}w^2$), а минимизация при ограничении $0 \le \rho(\theta) \le w$ по принципу максимума Понтрягина приводит к релейному («bang-bang») управлению $\rho(\theta) \in \{0, w\}$ с 3 переключениями: треугольник Рёло единственным образом минимизирует площадь среди всех фигур постоянной ширины $w$ (Анри Лебег 1914, Вильгельм Бляшке 1915).
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}$:
$$A(\theta) = \begin{pmatrix} -\frac{w}{2} \\ -\frac{w}{2} + w\sin\theta \end{pmatrix}, \qquad B(\theta) = \begin{pmatrix} -\frac{w}{2} + w\cos\theta \\ -\frac{w}{2} \end{pmatrix}$$
flowchart TD
S["Квадратный кондуктор S = [-w/2, w/2]² со стороной w"] --> R["Треугольник Рёло ширины w вращается, постоянно касаясь всех 4 стенок"]
R --> G["Траектория центроида G(θ): 4 дуги эллипсов (диаметр ≈ 0,07735 w, обратное обращение -3ω)"]
R --> V["Огибающая вершин C(θ): 73,2% каждой стороны идеально прямые + 4 эллиптические дуги в углах"]
G --> W["Соединение со шпинделем через плавающую муфту Ольдгэма конструкции Уаттса"]
V --> H["Высверливает ровно 98,77005% площади квадрата!"]
5.1 Эллиптическая орбита центроида $G(\theta)$ и покрытие $98{,}77\,\%$ площади квадрата
- Траектория центра тяжести $G(\theta)$: $$x_G(\theta) + \frac{w}{2} = \frac{w}{\sqrt{3}}\cos\left(\theta - \frac{\pi}{6}\right), \qquad y_G(\theta) + \frac{w}{2} = \frac{w}{\sqrt{3}}\sin\left(\theta + \frac{\pi}{6}\right)$$ Это точная дуга эллипса с центром в углу $\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$. Четыре такие дуги образуют замкнутую орбиту диаметра $d_G = \left(\frac{2\sqrt{3}-3}{3}\right)w \approx 0{,}07735\,w$, по которой центр обращается со скоростью $-3\omega$, что компенсируется плавающей муфтой Ольдгэма.
- Угловая траектория вершины $C(\alpha)$ и площадь высверливания $A_{\text{swept}}$: Полагая $\alpha = \frac{\pi}{3} - \theta \in \left[0, \frac{\pi}{6}\right]$, получаем параметризацию дуги эллипса, описываемой вершиной $C$ в правом верхнем углу: $$x_C(\alpha) = -\frac{w}{2} + w\cos\alpha, \qquad y_C(\alpha) = -\frac{w}{2} + w\cos\left(\frac{\pi}{6} - \alpha\right)$$ На каждой стороне квадрата центральный участок длины $(\sqrt{3}-1)w \approx 0{,}73205\,w$ ($73{,}2\,\%$ стороны) является математически идеально прямым! Невысверленная площадь одного угла равна: $$A_{\text{угла}} = 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{высв}} = w^2 - 4 A_{\text{угла}} = \left(2\sqrt{3} + \frac{\pi}{6} - 3\right) w^2 \approx 0{,}9877005\,w^2 \quad (98{,}77\,\%!)$$
6. Инженерные применения и 3D-рубеж: Тела Мейсснера (1911) и открытая гипотеза Мейсснера (1934)
Помимо роторного двигателя Ванкеля (двухвершинная эпитрохоида), британских монет 20p и 50p (семиугольники Рёло, $n=7$) и грейферного кулачка кинопроектора «Луч-2», переход в трёхмерное пространство обнаруживает, что тетраэдр Рёло не является телом постоянной ширины: расстояние между серединами двух противоположных криволинейных рёбер составляет
$$w_{\text{ребра}} = \left(\sqrt{3} - \frac{\sqrt{2}}{2}\right) w \approx 1{,}024944\,w > w$$В 1911 году Эрнст Мейсснер и Фридрих Шиллинг скруглили три из шести рёбер участками веретенообразного тора (spindle torus), построив два тела Мейсснера $M_1$ и $M_2$ объёмом $V \approx 0{,}419860\,w^3$. Гипотеза Мейсснера (Боннезен — Фенхель, 1934) о том, что тела Мейсснера минимизируют объём (и площадь поверхности в силу соотношения Бляшке $V = \frac{1}{2}wS - \frac{\pi}{3}w^3$) среди всех трёхмерных тел постоянной ширины $w$, по сей день остаётся одной из главных нерешённых задач геометрии.