ПТ Ферма. Эйлер и отдельные показатели

Эйлер и отдельные показатели

1. Третья степень
После четвёртой степени следующим естественным испытанием Последней теоремы Ферма становится уравнение X; + Y; = Z;. Именно здесь проблема впервые заметно выходит за пределы того арифметико-геометрического аппарата, который оказался достаточным для ферматовского случая n = 4. Для четвёртой степени существовал прямой спуск к квадратичной структуре: X; + Y; = W; превращалось в (X;); + (Y;); = W;, после чего вступали в действие пифагорова параметризация, свойства взаимно простых чисел и бесконечный спуск. Для третьей степени столь непосредственного геометрического маршрута уже нет.

Исторически доказательство кубического случая связывается с Леонардом Эйлером. В 1753 году он сообщил Кристиану Гольдбаху о полученном доказательстве, а позднее изложил его в своей «Алгебре». Однако опубликованная аргументация содержала недостаточно обоснованный переход. Последующая математика смогла восполнить этот пробел, поэтому случай n = 3 по праву остаётся связанным с именем Эйлера, но для нашей книги существенна именно структура возникшей трудности: обычная арифметика целых чисел оказалась слишком грубой для нужной факторизации, и Эйлер фактически начал использовать расширенную числовую область, работая с выражениями, содержащими ;;3.

Так впервые особенно отчётливо возникает проблема, которая позже станет центральной для первого тома: что происходит, когда исследователь ради усиления математического языка покидает исходную область целых чисел? Какие свойства переходят вместе с объектом автоматически, какие требуют нового обоснования, а какие вообще исчезают?

Для кубов имеется факторизация X; + Y; = (X + Y)(X; ; XY + Y;). Если предположить X; + Y; = Z;, произведение двух целых множителей становится полным кубом. В обычной арифметике, если взаимно простые A и B удовлетворяют AB = C;, уникальность разложения на простые позволяет заключить, что A и B сами являются кубами с точностью до знаков. Но множители X + Y и X; ; XY + Y; не всегда взаимно просты. Их возможный общий делитель жёстко связан с числом 3: если d делит оба множителя, из X ; ;Y mod d следует, что второй множитель сравним с 3Y; mod d; в примитивной ситуации это означает, что возможный общий простой делитель должен быть связан именно с 3.

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

Это видно даже без расширенной арифметики. Куб любого целого числа по модулю 9 сравним только с 0, 1 или ;1. Если ни X, ни Y, ни Z не делятся на 3, то их кубы сравнимы с ±1. Но сумма двух элементов из множества {1,;1} даёт лишь 2, 0 или ;2, ни одно из которых не сравнимо с ±1 по модулю 9. Следовательно, в любом примитивном гипотетическом решении X; + Y; = Z; ровно одна координата должна делиться на 3. Здесь впервые особенно ясно виден принцип, который будет постоянно усиливаться далее: глобальное диофантово решение обязано иметь определённый локальный остаточный профиль, и даже небольшой модуль способен уничтожить целый класс потенциальных решений.

2. Развитие методов факторизации
Главная идея, к которой вёл кубический случай, состояла в усилении факторизации. В обычных целых числах X; + Y; раскладывается на два множителя. Если же ввести примитивный кубический корень единицы ;, удовлетворяющий условиям ;; = 1, ; ; 1 и 1 + ; + ;; = 0, возникает полное линейное разложение

X; + Y; = (X + Y)(X + ;Y)(X + ;;Y).

Квадратичный множитель X; ; XY + Y; распадается на два линейных. Язык стал сильнее, но одновременно изменилась предметная область: множители X + ;Y и X + ;;Y уже не являются обычными целыми числами.

В современном языке естественной средой становится кольцо эйзенштейновых целых Z[;], элементы которого имеют вид a + b;. Для такого элемента определяется норма N(a + b;) = a; ; ab + b;, обладающая мультипликативностью. Главное структурное преимущество состоит в том, что Z[;] является евклидовым кольцом и потому допускает уникальное разложение на неприводимые элементы с точностью до единиц. Именно это свойство позволяет строго реализовать ту факторизационную идею, которая в исторической аргументации Эйлера ещё не была снабжена современным структурным аппаратом.

Особенно показателен характер пробела. Эйлер получил определённую параметризацию, из которой следовало, что выражение вида p; + 3q; является кубом. Но в нужной части рассуждения требовалось фактически контролировать и обратный переход: из кубичности такого выражения восстановить параметры необходимого вида. То есть было установлено направление A ; B, тогда как доказательная цепочка нуждалась в достаточном контроле перехода B ; A при дополнительных арифметических условиях. Уже здесь возникает ранний пример той проблемы, которую позднее мы будем называть семантической достаточностью доказательного переноса.

Исторический и современный уровни поэтому необходимо различать. Эйлер не располагал понятиями евклидова кольца, области уникальной факторизации или современным аппаратом алгебраической теории чисел. Позднейшая реконструкция позволила точно выделить свойства расширенной области, необходимые для корректности аргумента. Из этого следует важный методологический вывод: расширение математической области само по себе не является ошибкой. Ошибка возникает тогда, когда свойства исходной области молчаливо переносятся в новую или когда нужная обратная связь используется без достаточного основания.

Каждое усиление языка поэтому создаёт дополнительные доказательные обязательства. Если вводится новая факторизация, необходимо знать, что в новой области считается единицей и простым элементом, существует ли НОД, действует ли лемма Евклида, уникально ли разложение, как устроены ассоциированные элементы и каким образом вывод в новой арифметике возвращается к исходному утверждению о целых числах. Богатство языка увеличивает не только доказательную мощность, но и объём того, что необходимо контролировать. Это один из ранних исторических предшественников ЗНП.

Особая роль числа 3 проявляется и внутри новой арифметики. Если ; = 1 ; ;, то 3 раскладывается через квадрат ; с точностью до единицы. То, что на элементарном локальном уровне обнаруживалось сравнением по модулю 9, в эйзенштейновой арифметике получает структурное объяснение через поведение самого числа 3. Возникает важный принцип: один и тот же арифметический объект способен раскрывать различные свойства в различных представлениях, если переходы между этими представлениями контролируются.

3. Локальные результаты
После Ферма постепенно формируются два различных типа продвижения. Первый состоит в полном исключении отдельного показателя. Второй — в получении необходимого условия, которому обязан удовлетворять любой гипотетический контрпример. Эти результаты нельзя смешивать. Доказательство для n = 3 полностью уничтожает один показатель, тогда как, например, условие делимости одной координаты на 3 только сокращает пространство потенциальных решений.

Но именно второй тип результатов имеет огромное будущее. Вместо немедленного уничтожения всего класса можно последовательно отбрасывать невозможные подтипы. Локальная арифметика становится не самостоятельной заменой глобального доказательства, а фильтром. Решение, если оно существует, обязано пройти через все такие фильтры одновременно.

Термин «локальный» здесь имеет два связанных смысла. Во-первых, можно исследовать поведение решения по конкретному простому числу или модулю. Во-вторых, можно изучать отдельную ограниченную характеристику глобального объекта: чётность, делимость, остаточный класс, p-адическую валюацию. В обоих случаях вместо полного объекта исследуется его специальная проекция. Такая стратегия оказывается особенно мощной, если набор проекций становится достаточно жёстким.

Именно здесь начинается переход от прямого доказательства к системе необходимых условий. Формируется логика, согласно которой гипотетический контрпример должен одновременно удовлетворять всё большему числу ограничений. Позднее Софи Жермен превратит этот подход в общий механизм, а в нашей собственной программе он будет развит в систему фильтров TF-Sieve.

4. Проблема перехода от частного к общему
Главный предел метода отдельных показателей очевиден. Даже если удаётся полностью доказать ТФ для n = 3, затем для n = 5, n = 7 и множества других конкретных значений, множество простых показателей остаётся бесконечным. Накопление частных побед само по себе не превращается в универсальное доказательство.

История XVIII — начала XIX века постепенно показывает эту проблему во всей её остроте. Каждый новый показатель может требовать новой факторизации, особого локального аргумента, специальных параметризаций и собственного спуска. Доказательный аппарат становится всё более специализированным. Математика продвигается вперёд, но движение напоминает покорение бесконечной последовательности отдельных вершин без общего маршрута.

С методологической точки зрения здесь впервые возникает вопрос, принципиальный для «Метатеоремы Ферма»: что должно переноситься от одного показателя к другому? Если переносится только окончательный вывод, универсального механизма не появляется. Требуется выделить структурное свойство класса показателей или общий оператор, который уничтожает сразу бесконечное семейство случаев.

Поэтому важнейшим итогом эпохи Эйлера становится не только доказательство кубического случая. Более существенный результат состоит в переходе от непосредственной арифметики Ферма к расширенной факторизации и локальному анализу, а также в обнаружении двух будущих проблем: необходимости контролировать свойства новых числовых областей и необходимости заменить бесконечное накопление специальных доказательств единым структурным механизмом.