Пт Ферма. Редукция показателей

Редукция показателей

********
В.К. Петросян (Вадимир). Метатеорема Ферма и ее следствия. В 3-х томах. Том 1.


Том I. История доказательства и границы математического переноса
*********
© В.К.
Петросян (Вадимир) © Lag.ru [Large Apeironic Gateway, Большой Апейронический
Портал (Шлюз), Суперпортал в Бесконечность].
При копировании данного материала и размещении его на другом сайте, ссылки
на соответствующие локации порталов Lag.ru и Proza.ru обязательны
Работа написана на основе концепции и разработок В.К. Петросяна при полноценном соавторстве (активном творческом и вычислительном участии) ChatGPT (OpenAI), GPT-5.6 Sol
*********


1. Составные показатели
Последняя теорема Ферма формулируется для всех целых показателей n > 2. На первый взгляд это означает необходимость независимо исследовать бесконечную последовательность уравнений для n = 3, 4, 5, 6 и далее. Однако элементарная структура степеней сразу показывает, что большинство этих случаев не являются независимыми.

Пусть n = ab, где a > 1 и b > 1. Если существует решение X^n + Y^n = Z^n, то X^(ab) + Y^(ab) = Z^(ab), а значит, (X^b)^a + (Y^b)^a = (Z^b)^a. То же самое можно сделать и с показателем b. Следовательно, контрпример при составном показателе автоматически порождает контрпример при одном из его собственных делителей.

Если n имеет нечётный простой делитель p и n = pm, гипотетическое равенство X^n + Y^n = Z^n немедленно превращается в (X^m)^p + (Y^m)^p = (Z^m)^p. Значит, любой контрпример с показателем, имеющим нечётный простой делитель p, создаёт контрпример для простого показателя p. Поэтому, например, отдельное исследование n = 15 не требуется, если исключены n = 3 и n = 5.

Отдельно остаются степени двойки n = 2^r при r ; 2. Но и здесь достаточно случая n = 4. Если n = 2^r, то n = 4·2^(r;2), и из решения при n получилось бы решение X;; + Y;; = Z;; после подстановки X; = X^(2^(r;2)), Y; = Y^(2^(r;2)), Z; = Z^(2^(r;2)). Поскольку случай четвёртой степени исключается бесконечным спуском, автоматически исключаются показатели 8, 16, 32 и так далее.

Таким образом, для общего исследования ТФ достаточно случая n = 4 и нечётных простых показателей p > 2. После устранения четвёртой степени вся потенциальная проблема концентрируется на уравнениях X^p + Y^p = Z^p для нечётного простого p.

Эта редукция имеет значение, намного превышающее техническое удобство. Исходное бесконечное множество показателей 3, 4, 5, 6, 7, 8, 9, 10, … схлопывается к одному специальному показателю 4 и последовательности нечётных простых 3, 5, 7, 11, 13, 17, 19, …. Мы не проверяем каждый показатель самостоятельно, а выявляем отношение между их классами и сводим существование решения к более простым представителям. Это ранний пример структурной типизации и один из простейших прототипов будущей теории схлопывания.

2. Простые показатели
После стандартной редукции основной объект исследования принимает вид X^p + Y^p = Z^p, где p > 2 — простое число. Из однородности уравнения достаточно рассматривать примитивные решения, то есть gcd(X,Y,Z) = 1. При необходимости переменные можно упорядочить, например 0 < X < Y < Z. Таким образом, вместо произвольной четверки X, Y, Z, n возникает существенно более жёсткий нормализованный объект: примитивная положительная тройка и нечётный простой показатель.

Простота показателя резко усиливает арифметическую структуру задачи. Для нечётного p сумма степеней факторизуется как X^p + Y^p = (X + Y)(X^(p;1) ; X^(p;2)Y + … ; XY^(p;2) + Y^(p;1)). Возникают вопросы о взаимной простоте факторов, их p-адических валюациях, распределении простых делителей и возможной степенности отдельных множителей. Именно вокруг этих характеристик исторически формировались многие классические методы исследования ТФ.

Но для нашей программы важен прежде всего сам принцип редукции. Мы не просто уменьшаем количество значений n, а переводим бесконечный класс в структурно однородную среду, где один и тот же набор инструментов может применяться ко всем нечётным простым показателям. Показатель перестаёт быть произвольным целым числом и становится объектом особого типа — простым числом, что существенно усиливает доступные средства факторизации, сравнений и локального анализа.

3. Первый и второй случаи
Для нечётного простого показателя p классическая теория разделяет гипотетические примитивные решения на два фундаментальных типа.

В первом случае p не делит произведение XYZ, то есть ни одна из трёх координат не делится на показатель. Во втором случае p делит XYZ. Для примитивной тройки это означает, что p делит ровно одну из координат. Если бы p делил одновременно X и Y, то из X^p + Y^p = Z^p следовало бы p | Z, а значит, p делил бы gcd(X,Y,Z), что противоречит примитивности. Аналогично исключаются любые две одновременно делящиеся координаты.

При нечётном p удобно использовать симметрическую запись X^p + Y^p + (;Z)^p = 0. Благодаря ей второй случай можно после перестановки переменных и изменения знаков привести к канонической ориентации p | Z и p ; XY. Это именно нормализация, а не утверждение, что в исходной положительной записи показатель обязательно делит правую часть.

Первый и второй случаи различаются не терминологически, а структурно. В первом случае v_p(X) = v_p(Y) = v_p(Z) = 0. Во втором после нормализации v_p(Z) > 0, тогда как v_p(X) = v_p(Y) = 0. Поэтому одна и та же внешняя формула X^p + Y^p = Z^p оказывается помещена в две различные p-адические среды. Особенно заметно это по поведению факторизации суммы степеней и по делимости X + Y.

Во втором случае из сравнения a^p ; a mod p следует X + Y ; 0 mod p, а значит, p | X + Y. Это лишь первый уровень дополнительной структуры; дальнейший p-адический анализ приводит к значительно более сильным ограничениям. Именно поэтому второй случай исторически оказался более устойчивым и трудным и именно поэтому в дальнейшей программе TF-Sieve он будет выделен как самостоятельный объект интенсивного исследования.

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

4. Структура пространства возможных решений
После выполненных редукций гипотетический контрпример к Последней теореме Ферма оказывается значительно более специальным объектом, чем это видно из исходной формулы. Сначала имеется произвольное X^n + Y^n = Z^n при n > 2. Затем показатель сводится к n = 4 или нечётному простому p. Случай n = 4 устраняется бесконечным спуском. Следовательно, общий гипотетический контрпример должен иметь вид X^p + Y^p = Z^p при p > 2 простом. После примитивизации выполняется gcd(X,Y,Z) = 1, после упорядочивания можно считать 0 < X < Y < Z, после p-классификации остаются первый или второй случай, причём второй допускает каноническую ориентацию p | Z, p ; XY.

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

Процесс можно понимать как последовательность сокращения избыточности. Сначала общее решение приводится к примитивному, затем произвольный показатель — к 4 или нечётному простому, после чего переменные упорядочиваются и производится p-классификация. Каждый шаг ещё не доказывает ТФ, но уменьшает пространство возможных состояний и переводит его в более жёсткую нормальную форму.

Здесь естественно возникает переход от вопроса «существует ли конкретная тройка X, Y, Z?» к вопросу «какого типа должна быть любая возможная тройка?». Появляются тип показателя, тип взаимной простоты, тип p-делимости, тип факторизации и тип локального остатка. Из этой элементарной классической конструкции вырастает одна из центральных идей второго и третьего томов: исследовать не отдельные числа, а классы их поведения.

Классическую редукцию можно интерпретировать как первую систему фильтрации. Исходное пространство четверок X, Y, Z, n проходит через фильтр самого ферматовского равенства, затем через примитивизацию, редукцию показателя, деление на первый и второй случаи и канонизацию второго случая. Каждый новый математический результат выступает как оператор, удаляющий несовместимые состояния. Позднее именно эта логика станет основой TF-Sieve.

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

Для дальнейшей позитивной программы второй случай имеет особое значение. После нормализации p | Z, p ; XY немедленно возникает p | X + Y, а затем — целый каскад более сильных необходимых условий. Здесь содержится дополнительная внутренняя структура, отсутствующая в первом случае. Именно поэтому в третьем томе второй случай станет одним из центральных объектов TF-Sieve.

Редукция показателей уже демонстрирует в элементарной форме общий механизм схлопывания. Составные показатели сводятся к простым делителям, степени двойки — к четвёртой степени, общие решения — к примитивным, второй случай — к канонической ориентации. Большое пространство последовательно переходит в меньшее, а затем в нормальную форму. Позднее та же идея будет применяться к хвостам, показателям, алгебраическим отношениям, геометрическим состояниям и p-адическим профилям.

Итог этой главы можно сформулировать методологически. Перед тем как исследовать бесконечное множество объектов, необходимо выяснить, сколько действительно различных структурных типов в нём содержится. Именно этот принцип ведёт от классического разделения на первый и второй случаи к TailTypes, ExponentTypes, RelationTypes, GeometricTypes и в конечном счёте — к общей программе «Метатеоремы Ферма».