Это трудная задача, любимая задача Гаусса, и ошибки были неизбежны, поэтому пришлось дважды прорецензировать (машина рецензировала другую машину) - и все это напомнило реальную подготовку к публикации, кроме растущей ненависти к каждой новой рецензии, но возможно машина скоро научится ненавидеть ... не факт, что не научится.
========================================================================
# Знаменитые задачи глазами великих математиков
## Пример 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}}
\]
*(В частности, если \(p \equiv q \equiv 3 \pmod 4\), то символы имеют противоположные знаки: одно сравнение разрешимо, а другое — нет; во всех остальных случаях знаки совпадают: оба сравнения либо одновременно разрешимы, либо одновременно неразрешимы).*
---
### Стиль 1. Лемма Гаусса → геометрия Эйзенштейна (1844)
*Геометрия целочисленных решеток: точный подсчет узлов в прямоугольнике*
> **Парадигма:** «Арифметика вычетов — это подсчет целочисленных точек внутри координатного прямоугольника по разные стороны от его диагонали».
**Ход мысли:**
1. **Лемма Гаусса:**
По лемме Гаусса, символ Лежандра выражается через четность суммы целых частей:
\[
\left(\frac{q}{p}\right) = (-1)^{\sum_{x=1}^{\frac{p-1}{2}} \left\lfloor \frac{qx}{p} \right\rfloor}
\]
2. **Геометрическая сетка Эйзенштейна:**
Рассмотрим множество целочисленных точек \((x, y)\), строго ограниченных пределами:
\[
1 \le x \le \frac{p-1}{2}, \quad 1 \le y \le \frac{q-1}{2}
\]
Общее число таких точек в прямоугольнике в точности равно:
\[
N = \left(\frac{p-1}{2}\right) \left(\frac{q-1}{2}\right)
\]
3. **Диагональ:**
Проведем прямую \(y = \frac{q}{p}x\) из начала координат. Так как \(\operatorname{НОД}(p, q) = 1\), ни одна целая точка внутри сетки не лежит на самой прямой.
4. **Разбиение на треугольники:**
* Для каждого фиксированного \(x \in \{1, \dots, \frac{p-1}{2}\}\) значение \(\frac{qx}{p}\) не превосходит \(\frac{q}{2}\). Поэтому число точек сетки, лежащих **строго под диагональю** (\(1 \le y < \frac{qx}{p}\)), равно \(\lfloor \frac{qx}{p} \rfloor\). Суммируя по всем \(x\), получаем \(\sum_{x=1}^{\frac{p-1}{2}} \lfloor \frac{qx}{p} \rfloor\).
* Симметрично, меняя роли осей \(x\) и \(y\), число точек сетки **строго над диагональю** равно \(\sum_{y=1}^{\frac{q-1}{2}} \lfloor \frac{py}{q} \rfloor\).
5. **Замыкание:**
Так как каждая точка сетки лежит либо выше, либо ниже диагонали:
\[
\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\) в степень каждой части равенства, получаем произведение символов:
\[
\left(\frac{q}{p}\right)\left(\frac{p}{q}\right) = (-1)^{\sum \left\lfloor \frac{qx}{p} \right\rfloor + \sum \left\lfloor \frac{py}{q} \right\rfloor} = \mathbf{(-1)^{\frac{p-1}{2}\frac{q-1}{2}}}
\]
**Результат:** Арифметический закон взаимности выводится из разбиения дискретной сетки на два треугольника.
---
### Стиль 2. Карл Фридрих Гаусс (Шестое доказательство, 1818)
*Дискретный гармонический анализ: квадратичные суммы Гаусса*
> **Парадигма:** «Скрытая симметрия простых чисел проявляется при разложении конечной группы \(\mathbb{Z}/p\mathbb{Z}\) по аддитивным характерам».
**Ход мысли:**
1. **Сумма Гаусса:**
Пусть \(\zeta = e^{2\pi i / p}\) — первообразный корень из единицы. Гаусс рассматривает сумму:
\[
g = \sum_{x=0}^{p-1} \left(\frac{x}{p}\right) \zeta^x
\]
Ее квадрат равен числу:
\[
g^2 = (-1)^{\frac{p-1}{2}} p := p^*
\]
2. **Работа в остаточном поле характеристики \(q\):**
Рассмотрим кольцо целых кругового поля \(\mathbb{Z}[\zeta]\) и выберем простой идеал \(\mathfrak{q} \subset \mathbb{Z}[\zeta]\), лежащий над простым числом \(q\).
В поле вычетов \(\mathbb{Z}[\zeta]/\mathfrak{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{\mathfrak{q}}
\]
3. **Сравнение через степень:**
С другой стороны, группируя степени и применяя критерий Эйлера:
\[
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{\mathfrak{q}}
\]
4. **Сокращение на \(g\):**
Так как \(p \neq q\), число \(g^2 = p^* = \pm p\) не делится на \(q\), а значит, \(g \not\equiv 0 \pmod{\mathfrak{q}}\) и обратим в остаточном поле. Сокращая на \(g\):
\[
\left(\frac{q}{p}\right) \equiv \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) \pmod{\mathfrak{q}}
\]
Так как обе части принимают значения \(\pm 1\), а \(q > 2\), сравнение превращается в точное равенство.
**Результат:** Доказательство опирается на спектральные свойства суммы Гаусса и эндоморфизм Фробениуса.
---
### Стиль 3. Егор Иванович Золотарёв (1872)
*Теория групп: перестановочная интерпретация символа Лежандра*
> **Парадигма:** «Символ Лежандра — это не абстрактный вычет, а знак естественной перестановки на элементах поля».
**Ход мысли:**
1. **Лемма Золотарёва:**
Умножение на вычет \(a\) (\(\operatorname{НОД}(a, p) = 1\)) на элементах поля \(\mathbb{F}_p\) задает перестановку \(\pi_a(x) = ax \pmod p\). Золотарёв доказал, что четность (знак) этой перестановки в симметрической группе совпадает с символом Лежандра:
\[
\operatorname{sgn}(\pi_a) = \left(\frac{a}{p}\right)
\]
2. **Перестановки порядка на сетке:**
Рассмотрим прямоугольную таблицу индексов \((i, j) \in \{0, 1, \dots, p-1\} \times \{0, 1, \dots, q-1\}\).
Перестановка, переводящая перечисление элементов таблицы из построчного порядка (*row-major*) в порядок по столбцам (*column-major*), имеет число инверсий:
\[
\binom{p}{2}\binom{q}{2} = \frac{p(p-1)}{2} \frac{q(q-1)}{2} \equiv \left(\frac{p-1}{2}\right)\left(\frac{q-1}{2}\right) \pmod 2
\]
Ее знак равен \((-1)^{\frac{p-1}{2}\frac{q-1}{2}}\).
3. **Связь через Китайскую теорему об остатках (CRT):**
Золотарёв строит отображения на группе \(\mathbb{Z}_{pq} \cong \mathbb{Z}_p \times \mathbb{Z}_q\). Сравнивая действие умножения на образующие элементы вдоль строк и вдоль столбцов с переупорядочиванием сетки, вычисление знака результирующей перестановки дает произведение \(\left(\frac{q}{p}\right)\left(\frac{p}{q}\right)\).
**Результат:** Закон взаимности формулируется как баланс инверсий перестановок на двумерной решетке вычетов.
---
### Стиль 4. Эмиль Артин и Роберт Ленглендс (XX–XXI век)
*Теория полей классов: закон взаимности Артина и автоморфные характеры*
> **Парадигма:** «Закон взаимности связывает геометрию расширений Галуа с одномерными автоморфными представлениями».
**Ход мысли:**
1. **Квадратичное расширение:**
Рассмотрим расширение \(K = \mathbb{Q}(\sqrt{p^*})\), где \(p^* = (-1)^{\frac{p-1}{2}} p\). Группа Галуа этого расширения изоморфна \(\operatorname{Gal}(K/\mathbb{Q}) \cong \{\pm 1\}\).
2. **Закон взаимности Артина:**
В абелевой теории полей классов квадратичный характер расширения \(\chi_K: \operatorname{Gal}(K/\mathbb{Q}) \to \{\pm 1\}\), вычисленный на автоморфизме Фробениуса \(\operatorname{Frob}_q\) для неразветвленного простого \(q\), дает точное равенство:
\[
\chi_K(\operatorname{Frob}_q) = \left(\frac{p^*}{q}\right)
\]
Характер \(\chi_K(\operatorname{Frob}_q)\) определяет закон расщепления простого идеала \(q\) в кольце целых чисел поля \(K\).
3. **Контекст программы Ленглендса:**
В современном языке программы Ленглендса классический закон взаимности рассматривается как простейший одномерный абелев случай (для группы \(\operatorname{GL}_1\)), связывающий одномерные представления Галуа с характерами Гекке на группе иделей.
**Результат:** Элементарный квадратичный закон взаимности оказывается частным случаем глобальной теории взаимности Артина.
===========================================================
ну тут, под желанием не допустить глупостей теряется контакт с потенциальным читателем - даже символ лежандра не расшифрован. места не хватило, типа, и все это уже начинает напоминать молодых докладчиков которые хотят сказать много, но не говорят ничего по-существу... их слова не слышат, слишком быстро.
