Говорит и показывает ИИ (3)

 # Знаменитые задачи глазами великих математиков
## Пример 3. Теорема Ферма о сумме двух квадратов

**Жесткий каркас (Math-ControlNet):** Всякое простое число вида \(p = 4k + 1\) (например, \(5, 13, 17, 29, 41, \dots\)) можно представить в виде суммы двух квадратов:
\[
p = x^2 + y^2
\]

---

### Стиль 1. Пьер де Ферма и Леонард Эйлер
*Арифметика: «Бесконечный спуск»*

> **Парадигма:** «Если мы не можем решить задачу сразу, сведем ее к меньшей задаче того же типа, пока не дойдем до единицы».

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

1. Из теории сравнений легко доказать, что \(-1\) является квадратичным вычетом по модулю \(p\) (то есть существует число \(x\), для которого \(x^2 + 1\) делится на \(p\)).

2. Значит, мы сразу можем найти какое-то кратное: \(m \cdot p = x^2 + 1^2 = x^2 + y^2\) (где \(1 \le m < p\)).

3. **Спуск:** Эйлер говорит: пусть \(m > 1\). Разделим \(x\) и \(y\) на \(m\) с остатком: \(x = m a + u, y = m b + v\).

4. Подставив их обратно и применив тождество Брахмагупты \((x^2+y^2)(u^2+v^2) = (xu+yv)^2 + (xv-yu)^2\), мы находим **новое, строго меньшее кратное**:
\[
m' \cdot p = {x'}^2 + {y'}^2, \quad \text{где } 1 \le m' < m
\]

5. Так как целые положительные числа не могут уменьшаться бесконечно, этот спуск неизбежно обрывается на шаге **\(m = 1\)**.

**Результат:** Мы получаем в точности \(1 \cdot p = x^2 + y^2\). Чистая, строгая арифметика целых чисел.

---

### Стиль 2. Карл Фридрих Гаусс
*Алгебра: выход в комплексную плоскость \(\mathbb{Z}[i]\)*

> **Парадигма:** «Чтобы понять поведение целых чисел, нужно расширить само понятие числа».

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

1. Гаусс вводит новое числовое кольцо — **целые гауссовы числа** \(\mathbb{Z}[i] = \{a + bi \mid a, b \in \mathbb{Z}\}\).

2. В этом мире число \(x^2 + y^2\) раскладывается на множители: \(x^2 + y^2 = (x + yi)(x - yi)\).

3. Гаусс доказывает, что в \(\mathbb{Z}[i]\) (как и в обычной арифметике) работает алгоритм Евклида и есть **однозначное разложение на простые множители**.

4. Так как \(p = 4k+1\), то \(p\) делит число \(z^2 + 1 = (z + i)(z - i)\).

5. **Алгебраический тупик для \(p\):** Если бы число \(p\) оставалось «простым» в мире \(\mathbb{Z}[i]\), оно обязано было бы делить либо \((z + i)\), либо \((z - i)\). Но дробь \(\frac{z}{p} + \frac{1}{p}i\) очевидно не является целым гауссовым числом!

6. Значит, число \(p\) **перестает быть простым** в \(\mathbb{Z}[i]\) и обязано разложиться:
\[
p = \pi \cdot \bar{\pi} = (x + yi)(x - yi) = \mathbf{x^2 + y^2}
\]

**Результат:** То, что в обычной арифметике казалось сложной теоремой, в расширенной алгебре стало тривиальным следствием разложения на множители.

---

### Стиль 3. Герман Минковский
*Геометрия чисел: решетка и раздувание круга*

> **Парадигма:** «Уравнения в целых числах — это просто поиск узлов решетки внутри геометрических фигур».

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

1. Возьмем то же число \(z\), для которого \(z^2 \equiv -1 \pmod p\).

2. Построим на плоскости \(\mathbb{R}^2\) **точечную решетку** \(\Lambda\), состоящую из всех пар целых чисел \((u, v)\), таких что \(u \equiv z v \pmod p\).

3. Площадь элементарной ячейки (определитель этой решетки) в точности равна \(\det \Lambda = p\).

4. Нарисуем на этой решетке круг с центром в нуле: \(x^2 + y^2 < 2p\).

5. Площадь этого круга равна \(S = \pi \cdot R^2 = \pi \cdot 2p \approx 6.28 p\).

6. **Теорема Минковского о выпуклом теле:** Любая центрально-симметричная выпуклая фигура площади \(> 4 \det \Lambda\) обязана содержать внутри себя хотя бы один ненулевой узел решетки!

7. Так как \(6.28 p > 4p\), такой узел \((x, y) \in \Lambda\) гарантированно существует.

8. С одной стороны, раз точка из решетки, то \(x^2 + y^2\) делится на \(p\) (\(x^2 + y^2 \equiv (z^2+1)y^2 \equiv 0 \pmod p\)).  
   С другой стороны, точка лежит внутри круга, то есть \(0 < x^2 + y^2 < 2p\).

9. Единственное целое число в интервале \((0, 2p)\), делящееся на \(p\) — это само \(p\). Значит, \(\mathbf{x^2 + y^2 = p}\).

**Результат:** Диофантово уравнение решено через площадь круга!

---

### Стиль 4. Дон Цагир (Don Zagier, 1990)
*Комбинаторная магия и топология конечных множеств*

> **Парадигма:** «Доказательство в одно предложение. Никакого анализа, никаких комплексных чисел — только неподвижные точки инволюций».

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

1. Рассмотрим конечное множество троек натуральных чисел:
\[
S = \{(x, y, z) \in \mathbb{N}^3 \mid x^2 + 4yz = p\}
\]

2. Цагир задает на этом множестве отображение (инволюцию \(f: S \to S\), \(f(f(v)) = v\)):
\[
f(x, y, z) = \begin{cases}
(x + 2z, \, z, \, y - x - z), & \text{если } x < y - z \\
(2y - x, \, y, \, x - y + z), & \text{если } y - z < x < 2y \\
(x - 2y, \, x - y + z, \, y), & \text{если } x > 2y
\end{cases}
\]

3. Прямой проверкой видно, что у этого отображения есть **ровно одна неподвижная точка** \((1, 1, k)\).  
   Поскольку все остальные элементы разбиваются на пары \((v, f(v))\), **размер множества \(|S|\) строго нече́тен**.

4. А теперь введем вторую, очевидную инволюцию: \(g(x, y, z) = (x, z, y)\).

5. **Топологическая лемма:** Любая инволюция на нечетном множестве обязана иметь хотя бы одну неподвижную точку!

6. Значит, для \(g\) существует точка, где \(y = z\). Подставляем ее в уравнение множества \(S\):
\[
p = x^2 + 4yz = x^2 + 4y^2 = \mathbf{x^2 + (2y)^2}
\]

**Результат:** Тройка \((x, 2y)\) найдена комбинаторно. Доказательство занимает всего несколько строк.