Введение: сколько царства поместится в бычьей шкуре?
В «Энеиде» Вергилия финикийская царевна Дидона просит у правителя Северной Африки продать ей столько земли, «сколько можно охватить бычьей шкурой». Дидона разрезает шкуру на тончайшие ремешки, связывает их в длинную веревку и, используя прямой берег моря как границу, очерчивает огромный полукруг, основав Карфаген.
Математически Дидона решала древнейшую вариационную задачу — изопериметрическую задачу: какая простая замкнутая плоская кривая $C$ фиксированной длины $L > 0$ ограничивает наибольшую площадь $A$? Ответ — круг. Для любой простой замкнутой кривой длины $L$ и площади $A$ выполняется плоское изопериметрическое неравенство:
$$\boxed{4\pi A \le L^2 \quad \Longleftrightarrow \quad Q(C) := \frac{4\pi A}{L^2} \le 1}$$Безразмерный изопериметрический коэффициент $Q(C) \in (0, 1]$ равен $1$ тогда и только тогда, когда $C$ — окружность. Несмотря на очевидность ответа, человечеству потребовалось более двух тысяч лет для строгого доказательства.
Глава 1: Правильные многоугольники и античная интуиция
Еще во II веке до н. э. Зенодор доказал, что среди всех $n$-угольников периметра $L$ наибольшую площадь имеет правильный $n$-угольник:
$$A_n = \frac{L^2}{4n \tan(\pi/n)}, \qquad Q_n = \frac{4\pi A_n}{L^2} = \frac{\pi/n}{\tan(\pi/n)} \xrightarrow{n \to \infty} 1$$| Плоская фигура ($L$ фикс.) | Площадь $A(L)$ | Коэффициент $Q = \frac{4\pi A}{L^2}$ | Эффективность к кругу (%) |
|---|---|---|---|
| Правильный треугольник ($n = 3$) | $\frac{\sqrt{3}}{36} L^2 \approx 0.04811 L^2$ | $\frac{\pi}{3\sqrt{3}} \approx 0.6046$ | $60.46\%$ |
| Квадрат ($n = 4$) | $\frac{1}{16} L^2 = 0.06250 L^2$ | $\frac{\pi}{4} \approx 0.7854$ | $78.54\%$ |
| Правильный шестиугольник ($n = 6$) | $\frac{\sqrt{3}}{24} L^2 \approx 0.07217 L^2$ | $\frac{\pi}{2\sqrt{3}} \approx 0.9069$ | $90.69\%$ |
| Круг ($n \to \infty$) | $\frac{1}{4\pi} L^2 \approx 0.07958 L^2$ | $1.0000$ (Максимум) | $100.00\%$ |
Отразив веревку Дидоны длины $L_{\text{rope}}$ относительно прямой береговой линии, получаем замкнутую кривую периметра $2L_{\text{rope}}$; значит, оптимальная форма у берега — полукруг с площадью $A_{\max} = \frac{L_{\text{rope}}^2}{2\pi}$.
Глава 2: Метод четырех шарниров Штейнера и критика Вейерштрасса
В 1838 году Якоб Штейнер предложил симметризацию Штейнера и метод четырех шарниров:
- Овыпукление: Любая впадина, отраженная наружу относительно опорной прямой, сохраняет $L$ и строго увеличивает $A$.
- Четыре шарнира: Если точки $P, Q$ делят периметр пополам, а точка $R$ дает $\angle PRQ \neq 90^\circ$, четыре жестких сегмента поворачиваются на шарнирах в $P, R, Q, S$ до $\angle PRQ = \angle PSQ = 90^\circ$. Так как площадь $\frac{1}{2}ab\sin\theta$ максимальна при $\theta = 90^\circ$, общая площадь строго растет при неизменном периметре! По теореме Фалеса улучшить нельзя только окружность.
flowchart TD
Curve["Некруговая замкнутая кривая C (длина L, площадь A)"]
Steiner["Деформация Штейнера: Овыпукление / 4 шарнира / Симметризация"]
Strict["Длина L инвариантна, площадь строго растет A' > A"]
Trap["Логический пробел (Вейерштрасс): Доказано лишь 『Некруг ≠ максимум』"]
Perron["Парадокс Перрона: Без существования 『1 — наибольшее натуральное число』"]
Direct["Решение: Компактность + Полунепрерывность (Теорема Бляшке)"]
Curve --> Steiner --> Strict --> Trap --> Perron --> Direct
Однако Карл Вейерштрасс указал на фатальный пробел: Штейнер доказал лишь, что если максимальная фигура существует, то это круг, но не доказал само существование максимума! Оскар Перрон проиллюстрировал ошибку парадоксом Перрона: «Пусть существует наибольшее натуральное число $N$. Если $N > 1$, то $N^2 > N$ (противоречие), значит $N = 1$ — наибольшее число!» Пробел был закрыт теоремой выбора Бляшке.
Глава 3: Доказательство Гурвица через ряды Фурье (1901)
В 1901 году Адольф Гурвиц обошел проблему существования с помощью рядов Фурье. Масштабированием положим $L = 2\pi$ и параметризуем $(x(s), y(s))$ длиной дуги $s \in [0, 2\pi]$, так что $(x')^2 + (y')^2 = 1$:
$$\left(x'(s)\right)^2 + \left(y'(s)\right)^2 = 1 \quad \Longrightarrow \quad L = \int_0^{2\pi} \left(x'(s)^2 + y'(s)^2\right) ds = 2\pi$$Разлагая $x(s) = \sum_{n=-\infty}^{\infty} a_n e^{ins}$ и $y(s) = \sum_{n=-\infty}^{\infty} b_n e^{ins}$ ($a_{-n} = \overline{a_n}, b_{-n} = \overline{b_n}$), из равенства Парсеваля и формулы Грина $A = \frac{1}{2}\oint (x\,dy - y\,dx)$ получаем:
$$\frac{L}{2\pi} = 1 = \sum_{n \neq 0} n^2 \left(|a_n|^2 + |b_n|^2\right), \qquad \frac{A}{\pi} = \sum_{n \neq 0} i n \left(a_n \overline{b_n} - \overline{a_n} b_n\right)$$Вычитая одно из другого ($L^2 - 4\pi A = 4\pi^2(1 - A/\pi)$):
$$\boxed{\frac{L^2 - 4\pi A}{4\pi^2} = \sum_{n \neq 0} \Big[ \underbrace{(n^2 - 1)\left(|a_n|^2 + |b_n|^2\right)}_{\ge 0 \ (\forall |n| \ge 1)} + \underbrace{|a_n + i b_n|^2}_{\ge 0} \Big] \ge 0}$$Равенство достигается тогда и только тогда, когда все высшие гармоники $|n| \ge 2$ равны нулю ($a_n = b_n = 0$) и $a_1 + i b_1 = 0$, что задает окружность радиуса $R = 1$ — чистый основной тон без гармонических искажений.
Глава 4: Трехмерные мыльные пузыри и теорема Фабера–Крана
flowchart TD
Iso["Изопериметрический принцип: Минимум границы / Максимум объема"]
Planar["2D-плоскость: 4πA ≤ L² (Полукруг Дидоны и Круг)"]
Bubble["3D-пространство: 36πV² ≤ S³ (Юнг–Лаплас ΔP = 2γH → Сфера)"]
Drum["Спектральная геометрия (Фабер–Кран): λ₁(Ω) ≥ λ₁(B*) (Круглый барабан)"]
Iso --> Planar
Iso --> Bubble
Iso --> Drum
- 3D-неравенство и мыльные пузыри: В $\mathbb{R}^3$ площадь поверхности $S$ и объем $V$ связаны неравенством $36\pi V^2 \le S^3$ (равенство только для сферы). Мыльная пленка минимизирует энергию $E = \gamma S$ согласно уравнению Юнга–Лапласа $\Delta P = 2\gamma H$ (поверхность постоянной средней кривизны — сфера по теореме Александрова 1956).
- Неравенство Фабера–Крана: Среди всех мембран барабана $\Omega \subset \mathbb{R}^2$ одинаковой площади круглая мембрана $B^*$ имеет наименьшую основную частоту: $$\lambda_1(\Omega) = \inf_{u \in H_0^1(\Omega)\setminus\{0\}} \frac{\int_\Omega |\nabla u|^2 \, dx}{\int_\Omega u^2 \, dx} \ge \lambda_1(B^*) = \frac{\pi j_{0,1}^2}{A(\Omega)}$$