## Пример 3. Теорема Ферма о двух квадратах
**Жесткий каркас (Math-ControlNet):** Всякое простое число вида \(p = 4k + 1\) (например, \(5, 13, 17, 29, 41, \dots\)) представимо в виде суммы двух квадратов целых чисел:
\[
p = x^2 + y^2
\]
---
### Стиль 1. Пьер де Ферма
*Арифметика: «Бесконечный спуск»*
> **Парадигма:** «Если задача не решается сразу, сведем ее к строго меньшей задаче того же типа, пока процесс не завершится за конечное число шагов».
**Ход мысли:**
1. **Квадратичный вычет:**
По критерию Эйлера (или свойству символа Лежандра), для простого \(p = 4k + 1\) число \(-1\) является квадратичным вычетом: существует целое число \(x\), для которого \(x^2 + 1\) делится на \(p\).
2. **Стартовая позиция:**
Выберем вычет \(x\) среди наименьших положительных вычетов: \(0 < x < p\). Тогда \(x^2 + 1 < p^2\), и следовательно:
\[
x^2 + 1^2 = m \cdot p \quad \text{для некоторого целого } 1 \le m < p
\]
3. **Шаг спуска (конструкция меньшего кратного):**
Пусть \(m > 1\). Разделим \(x\) и \(1\) на \(m\) с **симметричными остатками** относительно нуля (\(-\frac{m}{2} < u, v \le \frac{m}{2}\)):
\[
x = m a + u, \quad 1 = m b + v
\]
* Тогда \(u^2 + v^2 \equiv x^2 + 1 \equiv 0 \pmod m\), значит, \(u^2 + v^2 = m' m\).
* Оценка сверху: \(u^2 + v^2 \le (\frac{m}{2})^2 + (\frac{m}{2})^2 = \frac{m^2}{2} \implies \mathbf{m' \le \frac{m}{2} < m}\).
* Оценка снизу: если бы \(m'=0\), то \(u=v=0\), откуда \(m \mid 1\), что невозможно при \(m > 1\). Значит, \(\mathbf{1 \le m' < m}\).
4. **Тождество Брахмагупты — Фибоначчи:**
Перемножая равенства \(x^2 + 1^2 = mp\) и \(u^2 + v^2 = m'm\):
\[
(xu + v)^2 + (xv - u)^2 = m^2 m' p
\]
Так как \(xu + v \equiv u^2 + v^2 \equiv 0 \pmod m\) и \(xv - u \equiv uv - vu = 0 \pmod m\), обе скобки делятся на \(m\).
Положив \(x_1 = \frac{xu + v}{m}\) и \(y_1 = \frac{xv - u}{m}\), делим уравнение на \(m^2\):
\[
x_1^2 + y_1^2 = m' p \quad (1 \le m' \le \frac{m}{2} < m)
\]
5. **Завершение спуска:**
Последовательность натуральных множителей \(m > m' > m'' > \dots \ge 1\) строго убывает и обязана оборваться на шаге **\(m = 1\)**, давая искомое представление: \(X^2 + Y^2 = p\).
> *Историческая ремарка:* Ферма открыл этот метод, но оставил доказательство без подробностей; детальную и строгую реализацию спуска с помощью тождества для сумм квадратов опубликовал Леонард Эйлер в 1755 году.
---
### Стиль 2. Карл Фридрих Гаусс
*Алгебра: выход в комплексную плоскость \(\mathbb{Z}[i]\)*
> **Парадигма:** «Чтобы понять структуру обычных целых чисел, нужно расширить арифметику до кольца гауссовых целых».
**Ход мысли:**
1. **Кольцо \(\mathbb{Z}[i]\):**
Рассматриваются целые гауссовы числа \(\mathbb{Z}[i] = \{a + bi \mid a, b \in \mathbb{Z}\}\), в которых сумма квадратов факторизуется: \(x^2 + y^2 = (x + yi)(x - yi)\). Гаусс показал, что в \(\mathbb{Z}[i]\) сохраняется евклидово деление с остатком и **однозначность разложения на простые множители**.
2. **Делимость в \(\mathbb{Z}[i]\):**
Так как \(p = 4k+1\), существует целое \(z\), для которого \(p \mid (z^2 + 1) = (z + i)(z - i)\).
3. **Почему \(p\) не может быть простым в \(\mathbb{Z}[i]\):**
Если бы число \(p\) оставалось простым (неприводимым) элементом кольца \(\mathbb{Z}[i]\), то по свойству простоты оно обязано было бы делить хотя бы один из сомножителей: \(p \mid (z + i)\) или \(p \mid (z - i)\).
* Но если \(p \mid (z + i)\), то существует \(a + bi \in \mathbb{Z}[i]\), такое что:
\[
z + i = p(a + bi) = pa + pbi
\]
* Сравнивая мнимые части, получаем \(1 = pb\), что невозможно для целого \(b\) при простом \(p > 1\).
4. **Факторизация:**
Следовательно, \(p\) **составное в \(\mathbb{Z}[i]\)** и раскладывается на нетривиальные множители:
\[
p = (x + yi)(x - yi) = \mathbf{x^2 + y^2}
\]
**Результат:** Теорема превращается в прямое следствие факториальности кольца \(\mathbb{Z}[i]\).
---
### Стиль 3. Герман Минковский
*Геометрия чисел: решётка и выпуклое тело (1896)*
> **Парадигма:** «Диофантово уравнение — это поиск узла решётки внутри раздутой геометрической фигуры».
**Ход мысли:**
1. **Построение решётки:**
Выберем целое \(z\) с условием \(z^2 \equiv -1 \pmod p\).
Зададим на плоскости \(\mathbb{R}^2\) двумерную решётку:
\[
\Lambda = \{(x, y) \in \mathbb{Z}^2 \mid x \equiv z y \pmod p\}
\]
Определитель этой решётки (площадь фундаментальной ячейки) равен \(\det \Lambda = p\).
2. **Выпуклое тело:**
Рассмотрим открытый круг \(D = \{(x, y) \in \mathbb{R}^2 \mid x^2 + y^2 < 2p\}\) с центром в начале координат.
Его площадь равна:
\[
\operatorname{Area}(D) = \pi (\sqrt{2p})^2 = 2\pi p \approx 6.28 p
\]
3. **Теорема Минковского:**
По двумерной теореме Минковского, любая центрально-симметричная выпуклая фигура площади строго больше \(4 \det \Lambda\) содержит хотя бы один ненулевой узел решётки \(\Lambda\).
Поскольку \(2\pi p > 4p\), такой ненулевой узел \((x, y) \in \Lambda\) гарантированно существует.
4. **Замыкание:**
* С одной стороны, для любой точки решётки: \(x^2 + y^2 \equiv (z^2 + 1)y^2 \equiv 0 \pmod p\), то есть \(x^2 + y^2\) кратно \(p\).
* С другой стороны, точка лежит внутри круга: \(0 < x^2 + y^2 < 2p\).
* Единственное кратное \(p\) в этом интервале — само число \(p\). Следовательно:
\[
\mathbf{x^2 + y^2 = p}
\]
**Результат:** Сумма двух квадратов найдена как длина кратчайшего вектора решётки.
---
### Стиль 4. Дон Цагир (Don Zagier, 1990)
*Комбинаторная инволюция: разбиение на орбиты*
> **Парадигма:** «Однострочное доказательство. Никакого анализа, никаких комплексных чисел — только нечётность числа неподвижных точек инволюции».
**Ход мысли:**
1. **Конечное множество:**
Для простого \(p = 4k + 1\) рассмотрим конечное множество троек натуральных чисел:
\[
S = \{(x, y, z) \in \mathbb{N}^3 \mid x^2 + 4yz = p\}
\]
2. **Первая инволюция Цагира:**
Зададим отображение \(f: S \to S\):
\[
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}
\]
Прямой проверкой убеждаемся, что \(f(f(v)) = v\) (это инволюция), и она имеет **ровно одну неподвижную точку**: \((1, 1, k)\).
3. **Принцип орбит:**
Инволюция на конечном множестве разбивает его на орбиты размера 1 (неподвижные точки) и размера 2. Так как неподвижная точка ровно одна, **мощность множества \(|S|\) нечётна**.
4. **Вторая инволюция:**
Рассмотрим вторую, тривиальную инволюцию: \(g(x, y, z) = (x, z, y)\).
Поскольку \(|S|\) нечётно, \(g\) обязана иметь хотя бы одну неподвижную точку на \(S\), то есть точку, где \(y = z\).
5. **Финал:**
Подставляя \(y = z\) в уравнение множества \(S\), получаем:
\[
p = x^2 + 4yz = x^2 + 4y^2 = \mathbf{x^2 + (2y)^2}
\]
> *Комментарий к методу:* Записать это доказательство можно буквально в одну строку, но его эвристическая глубина заключается в нетривиальном нахождении самого отображения \(f\), все скрытые проверки которого (конечность, корректность областей, инволютивность) требуют аккуратной работы.
Комментариев нет:
Отправить комментарий