Введение: сколько царства поместится в бычьей шкуре?
В «Энеиде» Вергилия финикийская царевна Дидона просит у правителя Северной Африки продать ей столько земли, «сколько можно охватить бычьей шкурой». Дидона разрезает шкуру на тончайшие ремешки, связывает их в длинную веревку и, используя прямой берег моря как границу, очерчивает огромный полукруг, основав Карфаген.
Математически Дидона решала древнейшую вариационную задачу — изопериметрическую задачу: какая простая замкнутая плоская кривая \(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)}\)