# Знаменитые задачи глазами великих математиков
## Пример 4. Золотая теорема Гаусса (Квадратичный закон взаимности)
**Жесткий каркас (Math-ControlNet):** Для любых двух различных нечетных простых чисел \(p\) и \(q\) символы Лежандра \(\left(\frac{p}{q}\right)\) и \(\left(\frac{q}{p}\right)\) связаны фундаментальным соотношением:
\[
\left(\frac{p}{q}\right)\left(\frac{q}{p}\right) = (-1)^{\frac{p-1}{2}\frac{q-1}{2}}
\]
*(Уравнение \(x^2 \equiv p \pmod q\) разрешимо тогда и только тогда, когда разрешимо \(y^2 \equiv q \pmod p\), кроме случая, когда оба числа имеют вид \(4k+3\), когда знаки противоположны).*
---
### Стиль 1. Гаусс и Эйзенштейн
*Геометрия целочисленных решеток: прямоугольник и диагональ (1844)*
> **Парадигма:** «Арифметика вычетов — это просто подсчет узлов сетки по разные стороны диагонали».
**Ход мысли:**
1. По **лемме Гаусса**, знак символа \(\left(\frac{q}{p}\right)\) определяется четностью числа точек в дискретном наборе \(\{q, 2q, \dots, \frac{p-1}{2}q\}\), чьи остатки от деления на \(p\) превышают \(p/2\).
2. Фердинанд Эйзенштейн перевел это в наглядную геометрию. Нарисуем на плоскости прямоугольник с вершинами \((0,0)\) и \((\frac{p}{2}, \frac{q}{2})\).
3. Общее число целых точек \((x, y)\) внутри этого прямоугольника равно в точности:
\[
N = \left(\frac{p-1}{2}\right) \times \left(\frac{q-1}{2}\right)
\]
4. Проведем диагональ от \((0,0)\) до \((p/2, q/2)\). Так как \(\operatorname{НОД}(p, q) = 1\), на самой диагонали нет ни одного целого узла.
5. Диагональ делит прямоугольник на два треугольника:
* Число узлов в нижнем треугольнике (\(y < \frac{q}{p}x\)) в точности равно сумме \(\sum_{x=1}^{\frac{p-1}{2}} \lfloor \frac{qx}{p} \rfloor\), которая задает степень для \(\left(\frac{q}{p}\right)\).
* Число узлов в верхнем треугольнике (\(y > \frac{q}{p}x\)) аналогично задает степень для \(\left(\frac{p}{q}\right)\).
6. Сумма точек в обоих треугольниках равна общему числу точек в прямоугольнике:
\[
\sum_{x=1}^{\frac{p-1}{2}} \left\lfloor \frac{qx}{p} \right\rfloor + \sum_{y=1}^{\frac{q-1}{2}} \left\lfloor \frac{py}{q} \right\rfloor = \left(\frac{p-1}{2}\right)\left(\frac{q-1}{2}\right)
\]
**Результат:** Возводя \(-1\) в эту степень, мы мгновенно получаем закон взаимности из геометрии прямоугольника.
---
### Стиль 2. Гаусс
*Гармонический анализ корней из единицы: суммы Гаусса (6-е доказательство, 1811)*
> **Парадигма:** «Скрытая симметрия простых чисел проявляется при разложении дискретного пространства на комплексные гармоники (преобразование Фурье над конечным полем)».
**Ход мысли:**
1. Пусть \(\zeta = e^{2\pi i / p}\) — первообразный корень из единицы. Гаусс вводит квадратичную сумму:
\[
g = \sum_{x=0}^{p-1} \left(\frac{x}{p}\right) \zeta^x
\]
2. Вычисление квадрата этой суммы дает фундаментальное тождество:
\[
g^2 = (-1)^{\frac{p-1}{2}} p := p^*
\]
*(Сумма Гаусса — это "квадратный корень из \(p^*\)", построенный в круговом поле).*
3. Возведем сумму \(g\) в степень \(q\) по модулю простого числа \(q\).
* С одной стороны, в характеристике \(q\) верна формула Фробениуса \((a+b)^q \equiv a^q + b^q\):
\[
g^q \equiv \sum_{x=0}^{p-1} \left(\frac{x}{p}\right)^q \zeta^{qx} = \sum_{x=0}^{p-1} \left(\frac{x}{p}\right) \zeta^{qx} = \left(\frac{q}{p}\right) g \pmod q
\]
* С другой стороны, используя \(g^2 = p^*\) и критерий Эйлера:
\[
g^q = g \cdot (g^2)^{\frac{q-1}{2}} = g \cdot (p^*)^{\frac{q-1}{2}} \equiv g \cdot \left(\frac{p^*}{q}\right) \pmod q
\]
4. Сравнивая оба выражения, сокращаем \(g\):
\[
\left(\frac{q}{p}\right) = \left(\frac{p^*}{q}\right) = \left(\frac{(-1)^{\frac{p-1}{2}} p}{q}\right) = (-1)^{\frac{p-1}{2}\frac{q-1}{2}} \left(\frac{p}{q}\right)
\]
**Результат:** Чистый спектральный анализ конечных полей.
---
### Стиль 3. Егор Иванович Золотарёв (1872)
*Теория групп: четность перестановок*
> **Парадигма:** «Символ Лежандра — это не просто арифметический остаток, а знак перестановки в симметрической группе!»
**Ход мысли:**
1. **Лемма Золотарёва:** Умножение на число \(a\) элементов поля вычетов \(\mathbb{F}_p = \{0, 1, \dots, p-1\}\) задает перестановку \(\pi_a(x) = ax \pmod p\). Золотарёв доказал, что знак этой перестановки в точности равен символу Лежандра:
\[
\operatorname{sgn}(\pi_a) = \left(\frac{a}{p}\right)
\]
2. По китайской теореме об остатках прямое произведение колец \(\mathbb{Z}_{pq} \cong \mathbb{Z}_p \times \mathbb{Z}_q\) задает канонический изоморфизм.
3. Рассмотрим перестановку на двумерной таблице размеров \(p \times q\), которая циклически сдвигает элементы по модулю \(pq\).
4. Знак этой двумерной перестановки можно посчитать двумя путями:
* Считая ее по строкам через знак перестановки \(\pi_q\) в \(\mathbb{Z}_p\), получаем \(\left(\frac{q}{p}\right)\).
* Считая ее по столбцам через знак перестановки \(\pi_p\) в \(\mathbb{Z}_q\), получаем \(\left(\frac{p}{q}\right)\).
* А транспонирование матрицы \(p \times q\) дает знак перестановки \((-1)^{\frac{p-1}{2}\frac{q-1}{2}}\).
**Результат:** Закон взаимности оказывается элементарным следствием перестановки строк и столбцов в конечной матрице.
---
### Стиль 4. Эмиль Артин и Роберт Ленглендс (XX–XXI век)
*Теория полей классов: автоморфизмы Фробениуса и функториальность*
> **Парадигма:** «Закон взаимности — это мост между геометрией расширений Галуа и гармоническим анализом на аделях».
**Ход мысли:**
1. В квадратичном поле чисел \(K = \mathbb{Q}(\sqrt{p^*})\) закон взаимности описывает, как простое число \(q\) раскладывается на простые идеалы в кольце целых чисел \(\mathcal{O}_K\).
2. **Закон взаимности Артина:** Элемент Фробениуса \(\operatorname{Frob}_q \in \operatorname{Gal}(K/\mathbb{Q})\) однозначно соответствует одномерному характеру группы классов иделей:
\[
\operatorname{Frob}_q = \left(\frac{p^*}{q}\right)
\]
3. В терминах программы Ленглендса квадратичный закон взаимности — это простейший 1-мерный абелев случай (для группы \(\operatorname{GL}_1\)), связывающий автоморфные представления поля рациональных чисел с характерами Галуа.
**Результат:** Закон взаимности Гаусса превращается в первую ступень колоссального здания современной арифметической геометрии.
=====================================================================
Собственно, не сомневаюсь, что так это и будет работать. В этом ИИ силен. Это не обязыательно интеллект - это широта взгляда и опора на великих математиков. Собственно так люди и делают математику. Учатся у великих. А великие не учатся вообще, ни у кого, учатся у природы.
