ПТ Ферма. Софи Жермен

Софи Жермен

********
В.К. Петросян (Вадимир). Метатеорема Ферма и ее следствия. В 3-х томах. Том 1.
http://proza.ru/2026/10/02/665

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


1. Вспомогательные простые
После Эйлера исследование ТФ оказалось перед фундаментальной трудностью: простых показателей бесконечно много, поэтому даже большое число доказанных специальных случаев не закрывает общее утверждение. Софи Жермен изменила саму постановку исследовательской задачи. Вместо вопроса «как доказать ТФ для данного p?» она поставила другой: можно ли подобрать к p другое простое q, арифметика которого заставит предполагаемое ферматовское решение удовлетворять столь сильным условиям, что определённый класс решений станет невозможным?

Простое q превращается не в новый показатель исходного уравнения, а во внешний арифметический инструмент. Особенно естественны простые вида q = 2kp + 1. Тогда p делит q ; 1, а мультипликативная группа ненулевых остатков по модулю q имеет порядок 2kp. Отображение a ; a^p уже не переставляет все ненулевые остатки: p-е степени занимают лишь часть группы. Поэтому множество p-х степенных остатков можно исследовать как конечный объект и использовать в качестве фильтра.

Глобальная задача проецируется в конечное пространство: если существует целочисленное решение X^p + Y^p = Z^p, его остатки по модулю q должны удовлетворять тому же сравнению. Это принципиальный методологический сдвиг. Вместо прямого доказательства отсутствия решения строится конечная локальная модель, через которую обязано пройти любое глобальное решение.

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

Особенно красив случай q = 2p + 1, когда это число также простое. Тогда ненулевых p-х степенных классов по модулю q остаётся всего два, и локальная структура резко упрощается. Именно отсюда происходит современный термин «простое Софи Жермен».

2. Первый общий механизм
Значение Софи Жермен определяется не только конкретной теоремой. Ферма исключил специальный показатель 4, Эйлер работал с показателем 3. Жермен пыталась создать механизм, применимый к целому классу показателей.

Вместо схемы «конкретный p ; специальное доказательство» возникает схема «p ; подходящий вспомогательный q ; конечное локальное условие ; глобальное ограничение». Показатель характеризуется уже не только своим числовым значением, но наличием определённого доказательного сертификата — вспомогательного простого с нужными свойствами. Это переход от индивидуального объекта к структурному типу.

Особенно далеко эта идея была развита в так называемом великом плане Жермен. Она стремилась для каждого нечётного простого p находить целые семейства вспомогательных простых вида 2Np + 1, каждый из которых заставлял бы гипотетическое решение накапливать дополнительные условия делимости. Замысел состоял не в том, чтобы одним ударом уничтожить контрпример, а в том, чтобы подвергнуть его последовательности независимых локальных испытаний. Чем больше таких испытаний он проходит, тем жёстче становится его арифметическая структура.

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

Это важно и методологически. Универсальное доказательство и универсальный механизм генерации необходимых условий — не одно и то же. Второй может существовать без первого и сам по себе уже представлять глубокую математическую структуру.

3. Возникновение фильтрационной логики
Метод Жермен можно рассматривать как один из первых ярких образцов фильтрационной логики в истории ТФ. Пусть S — пространство потенциальных состояний. Каждое необходимое условие F выделяет подпространство S_F, в котором обязано находиться любое реальное решение. Все состояния вне S_F удаляются. При нескольких независимых условиях потенциальное решение должно лежать в пересечении S_F1 ; S_F2 ; … . Если пересечение оказывается пустым, задача закрыта.

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

Особенно важно, что отдельный фильтр не обязан самостоятельно доказывать всю теорему. Достаточно, чтобы из существования решения следовало условие F. Другой фильтр даёт G, третий H; решающим становится совместное действие ограничений. Так возникает логика решета.

Великому плану Жермен соответствует и другой важный эффект — накопление арифметических обязательств. Если каждый новый вспомогательный простой заставляет одну из координат или связанных величин делиться на дополнительный множитель, гипотетическое решение испытывает всё возрастающее арифметическое давление. В терминологии нашего проекта этот принцип позднее получит название Arithmetic Pressure. Исторический метод Жермен и будущий MetaFilter, конечно, не тождественны, но логика одна и та же: кандидат можно уничтожить не одним абсолютным запретом, а совокупностью необходимых свойств, которые по отдельности допустимы, а совместно становятся несовместимыми.

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

4. Скрытая предыстория современных локальных методов
Работа Жермен особенно интересна в ретроспективе. В её распоряжении не было современной p-адической теории, теории локальных полей, вычислительной алгебры или автоматизированного перебора остатков. Но логическая архитектура её метода удивительно современна: глобальный объект изучается через множество конечных локальных проекций; локальный тест даёт необходимое условие; несколько условий пересекаются; выжившее пространство становится меньше исходного.

В этом смысле её программа является исторической предысторией не только классических конгруэнтных методов, но и более общего принципа локально-глобального анализа. Разумеется, локальные данные не обязаны полностью определять глобальный объект. Именно поэтому локальный фильтр является необходимым условием, а не автоматическим доказательством. Но правильно организованная система локальных фильтров способна резко сокращать глобальное пространство.

Для «Метатеоремы Ферма» это одна из ключевых исторических линий. В будущей системе TF-Sieve та же общая архитектура будет существенно расширена: вместо одного типа модульного фильтра предполагается совместно применять хвостовые, реляционные, p-адические, геометрические, факторизационные и резонансные ограничения. Идея Жермен остаётся в основании: прежде чем пытаться исследовать бесконечное множество объектов целиком, следует построить максимальное число дешёвых, конечных и воспроизводимых необходимых условий, а затем исследовать не исходное множество, а остаточное ядро после фильтрации.