Говорит и показывает ИИ 2

# Знаменитые задачи глазами великих математиков
## Пример 2. Изопериметрическая задача

**Жесткий каркас (Math-ControlNet):** Среди всех замкнутых кривых на плоскости с фиксированной длиной периметра \(L\) найти кривую, ограничивающую максимальную площадь \(A\).
\[
L^2 \ge 4\pi A
\]
Равенство достигается тогда и только тогда, когда кривая — окружность.

---

### Стиль 1. Якоб Штейнер
*Синтетическая геометрия: ножницы, зеркала и симметрия*

> **Парадигма:** «Никаких уравнений и координат! Истина познается через чистую форму и симметрию».

**Ход мысли (Симметризация Штейнера, 1838):**

1. Предположим, что искомая фигура — не круг.

2. Разрежем ее прямой линией на две половины равного периметра. Если их площади не равны, заменим меньшую половину зеркальным отражением большей (площадь строго вырастет, а периметр не изменится). Значит, фигура обязана быть симметричной.

3. Теперь возьмем на контуре любую точку \(C\), соединенную с концами линии разреза \(A\) и \(B\). Если угол \(\angle ACB \neq 90^\circ\), мы можем «пошевелить» треугольник \(ABC\), сделав его угол прямым (как в школьной теореме: треугольник имеет максимальную площадь при фиксированных сторонах, когда угол прямой).

4. При этом «горбы» кривой на отрезках \(AC\) и \(BC\) просто жестко переносятся. Площадь строго увеличилась, а периметр остался прежним!

5. Значит, для любой точки \(C\) угол \(\angle ACB\) обязан быть прямым. А геометрическое место точек, из которых отрезок \(AB\) виден под прямым углом — это **полуокружность** (теорема Фалеса).

**Результат:** Абсолютно наглядное геометрическое доказательство. *(Вейерштрасс позже лишь строго доказал, что максимум вообще существует).*

---

### Стиль 2. Адольф Гурвиц
*Гармонический анализ: ряды Фурье и формула Грина, 1901*

> **Парадигма:** «Любая замкнутая кривая — это периодический музыкальный аккорд. Разложим ее на обертоны!»

**Ход мысли:**

1. Параметризуем кривую длиной дуги: пусть \(t \in [0, 2\pi]\). Длина \(L\) фиксирована, а скорость постоянна: \(x'^2 + y'^2 = (L/2\pi)^2\).

2. Раскладываем координаты \((x(t), y(t))\) в **ряды Фурье**:
\[
x(t) = a_0 + \sum_{k=1}^\infty (a_k \cos kt + b_k \sin kt), \quad y(t) = c_0 + \sum_{k=1}^\infty (c_k \cos kt + d_k \sin kt)
\]

3. По формуле Парсеваля квадрат длины равен сумме квадратов гармоник:
\[
\frac{L^2}{2\pi} = \int_0^{2\pi} (x'^2 + y'^2) dt = \pi \sum_{k=1}^\infty \mathbf{k^2} (a_k^2 + b_k^2 + c_k^2 + d_k^2)
\]

4. Площадь \(A\) по формуле Грина (\(\iint dx dy = \frac{1}{2} \int (x dy - y dx)\)) раскладывается на те же гармоники:
\[
A = \pi \sum_{k=1}^\infty \mathbf{k} (a_k d_k - b_k c_k)
\]

5. Сравниваем разность \(L^2 - 4\pi A\):
\[
L^2 - 4\pi A = 2\pi^2 \sum_{k=1}^\infty \left[ k^2 (a_k^2 + b_k^2 + c_k^2 + d_k^2) - 2k(a_k d_k - b_k c_k) \right]
\]
Выделяем полные квадраты:
\[
L^2 - 4\pi A = 2\pi^2 \sum_{k=1}^\infty \Big[ (k a_k - d_k)^2 + (k b_k + c_k)^2 + \mathbf{(k^2 - 1)}(c_k^2 + d_k^2) \Big] \ge \mathbf{0}
\]

**Результат:**
* Сумма квадратов всегда \(\ge 0 \implies L^2 \ge 4\pi A\).
* Чтобы равенство обратилось в ноль, член \((k^2 - 1)\) требует, чтобы **все высшие гармоники \(k \ge 2\) были равны нулю!**
* А для первой гармоники \(k=1\) получаем: \(a_1 = d_1\) и \(b_1 = -c_1\), что в точности задает **уравнение окружности**: \(x(t) = R\cos t, y(t) = R\sin t\).

---

### Стиль 3. Герман Минковский
*Выпуклая геометрия: сложение множеств и раздувание границ*

> **Парадигма:** «Форма определяется тем, как она взаимодействует с другими телами при сложении».

**Ход мысли (Неравенство Брунна — Минковского, 1897):**

1. Возьмем нашу фигуру \(K\) площади \(A\) и единичный круг \(B\) площади \(\pi\).

2. Сложим их по Минковскому: множество \(K + \epsilon B\) — это фигура \(K\), «раздутая» на толщину \(\epsilon\) (ее \(\epsilon\)-окрестность).

3. Площадь этой раздутой фигуры легко вычисляется через формулу Штейнера:
\[
\operatorname{Area}(K + \epsilon B) = \operatorname{Area}(K) + \epsilon \cdot \operatorname{Perimeter}(K) + \epsilon^2 \operatorname{Area}(B) = A + \epsilon L + \pi \epsilon^2
\]

4. Но фундаментальное **неравенство Брунна — Минковского** гласит, что корень из площади ведет себя вогнуто:
\[
\sqrt{\operatorname{Area}(K + \epsilon B)} \ge \sqrt{\operatorname{Area}(K)} + \epsilon \sqrt{\operatorname{Area}(B)} = \sqrt{A} + \epsilon \sqrt{\pi}
\]

5. Возводим обе части в квадрат:
\[
A + \epsilon L + \pi \epsilon^2 \ge A + 2\epsilon \sqrt{\pi A} + \pi \epsilon^2
\]
Сокращаем \(A\) и \(\pi \epsilon^2\), делим на \(\epsilon\):
\[
L \ge 2\sqrt{\pi A} \implies \mathbf{L^2 \ge 4\pi A}
\]

**Результат:** Неравенство доказывается буквально в три строчки алгебры и мгновенно обобщается на любую размерность \(n\) (шары в \(\mathbb{R}^n\)).

---

### Стиль 4. Эйлер — Лагранж
*Вариационное исчисление и физика мыльных пленок*

> **Парадигма:** «Природа ленива: любая система минимизирует энергию натяжения при заданном давлении».

**Ход мысли:**

1. Задача формулируется как условная оптимизация:
\[
\text{Максимизировать } A = \frac{1}{2} \int (x \dot{y} - y \dot{x}) dt \quad \text{при условии } \int \sqrt{\dot{x}^2 + \dot{y}^2} dt = L
\]

2. Вводим множитель Лагранжа \(\lambda\) (в физике это разность давлений внутри и снаружи мыльного пузыря — формула Лапласа).

3. Составляем функционал Лагранжа: \(\mathcal{L} = \frac{1}{2}(x\dot{y} - y\dot{x}) + \lambda \sqrt{\dot{x}^2 + \dot{y}^2}\).

4. Записываем уравнения Эйлера — Лагранжа:
\[
\frac{d}{dt}\left(\frac{\partial \mathcal{L}}{\partial \dot{x}}\right) - \frac{\partial \mathcal{L}}{\partial x} = 0 \implies \kappa(t) = \frac{1}{\lambda} = \mathbf{\text{const}}
\]
где \(\kappa(t)\) — кривизна кривой в каждой точке.

5. Единственная регулярная плоская замкнутая кривая с **постоянной кривизной \(\kappa = \text{const}\)** — это **окружность** радиуса \(R = \lambda\).

**Результат:** Прямая связь с механикой сплошных сред и геометрией кривизны.