Ферма и метод бесконечного спуска

Ферма и метод бесконечного спуска

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


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


1. Историческая запись Ферма

История Последней теоремы Ферма начинается с текста необычного жанра. Это не опубликованная статья, не трактат, не последовательность лемм и теорем и не доказательство, предъявленное математическому сообществу. Это краткая запись на полях книги.

Пьер де Ферма сделал её в принадлежавшем ему экземпляре латинского издания «Арифметики» Диофанта. После смерти математика его сын Самюэль собирал письма, заметки и маргиналии отца; благодаря этой работе знаменитое утверждение вошло в издание Диофанта 1670 года. Исторические источники обычно относят появление записи к началу 1630-х годов.

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

Математическая теорема и сообщение автора о том, что он умеет её доказывать, принадлежат к разным доказательным категориям. Первое может быть независимо проверено, второе является историческим свидетельством. Поэтому вопрос о том, действительно ли Ферма располагал доказательством общего случая, нельзя смешивать с вопросом об истинности самой теоремы.

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

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

2. Случай четвёртой степени
Рассмотрим уравнение X; + Y; = Z;. Для исключения его ненулевых целочисленных решений достаточно установить более сильное утверждение: уравнение X; + Y; = W; не имеет нетривиальных решений в положительных целых числах. Действительно, из гипотетического X; + Y; = Z; после подстановки W = Z; немедленно получилось бы X; + Y; = W;.

Но последнее равенство можно записать как (X;); + (Y;); = W;. Возникает примитивная пифагорова структура: X;, Y; и W образуют стороны прямоугольного треугольника. Таким образом, задача четвёртой степени переходит на уровень второй степени. Это обстоятельство имеет принципиальное значение для всей нашей программы: уже в сохранившемся ферматовском методе высокая степень исследуется не только как высокая степень, а переводится в квадратичную структуру, где появляется геометрический аппарат пифагоровых троек.

Предположим противное и выберем среди всех положительных целочисленных решений X; + Y; = W; решение с минимальным W. После устранения общего делителя соответствующую пифагорову тройку можно считать примитивной. Тогда классическая параметризация после возможной перестановки X и Y даёт X; = 2mn, Y; = m; ; n;, W = m; + n;, где m > n > 0, gcd(m,n) = 1, а m и n имеют различную чётность.

Далее используется жёсткость распределения простых множителей. Поскольку X; = 2mn является полным квадратом, а m и n взаимно просты, один из параметров в подходящей нормализации должен иметь квадратную структуру, а другой — структуру удвоенного квадрата. Последующая факторизация вновь приводит к объекту того же типа, но с меньшим положительным параметром. В стандартной современной реконструкции из решения X; + Y; = W; строится новое решение u; + v; = w; с 0 < w < W.

Следовательно, существование любого положительного решения порождало бы меньшее решение того же типа. Из него можно было бы построить ещё меньшее, затем следующее и получить бесконечную строго убывающую последовательность положительных целых чисел W > w > w; > w; > … > 0. Такой последовательности не существует. Поэтому исходного решения также не существует. Именно в этом состоит логическое ядро бесконечного спуска.

Историческая геометрическая форма аргумента особенно интересна. Для целочисленного прямоугольного треугольника a; + b; = c; его площадь равна S = ab/2. Ферматовский результат утверждает, что площадь прямоугольного треугольника с целочисленными сторонами не может быть точным квадратом. Если бы такой треугольник существовал, из него можно было бы построить меньший прямоугольный треугольник с тем же запрещённым свойством. Сохранившийся аргумент такого типа историки рассматривают как единственное дошедшее до нас полноценное доказательство самого Ферма.

Связь с четвёртой степенью здесь принципиальна. Из X; + Y; = W; получается прямоугольный треугольник со сторонами X;, Y;, W, а его площадь S = X;Y;/2 = (XY);/2 непосредственно связана с квадратной структурой произведения XY. Взаимодействие пифагоровой параметризации, взаимной простоты, квадратности произведений и построения меньшего объекта создаёт механизм спуска. Содержательно он имеет форму: высокая степень ; квадратичная форма ; геометрия ; новое арифметическое ограничение.

Бесконечный спуск иногда сравнивают с математической индукцией, но логическое направление здесь противоположно. Индукция движется вверх: n ; n + 1. Спуск движется вниз: N ; N; < N. Предполагается существование объекта с запрещённым свойством, после чего из него строится меньший объект с тем же свойством. Если сразу выбрать минимальный объект, противоречие возникает без необходимости буквально конструировать бесконечную последовательность: существование минимального решения влечёт существование ещё меньшего. Поэтому спуск можно понимать как применение принципа наименьшего элемента к классу гипотетических решений.

3. Арифметика как непосредственный язык исследования
Для методологии настоящей книги случай четвёртой степени важен ещё и потому, что исходная задача и доказательный аппарат здесь находятся практически в одном математическом мире. Используются целочисленность, взаимная простота, чётность, делимость, квадратность, параметризация пифагоровых троек и порядок положительных целых чисел. Даже появление прямоугольного треугольника не переносит проблему в далёкую математическую область: равенство a; + b; = c; и прямоугольный треугольник связаны теоремой Пифагора настолько непосредственно, что геометрическая и арифметическая записи можно рассматривать как два языка одного объекта.

Такой режим будем называть непосредственным исследовательским языком. Его важнейшая особенность состоит в том, что почти каждое новое понятие непосредственно возвращается к целочисленным параметрам исходной задачи. Прямоугольность возвращается к равенству a; + b; = c;, площадь — к ab/2, меньший треугольник — к меньшим положительным целым параметрам. На каждом этапе остаётся прозрачным отношение текущей конструкции к исходной диофантовой задаче.

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

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

В этом содержится идея, весьма современная по духу: вместо проверки всех потенциальных решений достаточно установить универсальный механизм преобразования всего класса решений. Можно было бы проверять 1; + 1;, 1; + 2;, 2; + 3; и миллиарды других сочетаний, бесконечно расширяя вычислительный диапазон и никогда не закрывая бесконечность. Спуск действует иначе: из любого решения следует меньшее решение. Одно структурное правило уничтожает весь класс.

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

4. Семантическая локальность доказательства
Теперь можно ввести понятие, которое будет играть важную роль во всём первом томе. Будем говорить, что доказательство обладает семантической локальностью относительно исходной задачи, если его основные объекты и преобразования непосредственно выражаются через исходные объекты, сохраняют явно контролируемые свойства этих объектов и позволяют прозрачно вернуть результат в язык первоначального утверждения.

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

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

Ферматовский спуск особенно ценен тем, что замыкание происходит внутри той же арифметической среды. Здесь не требуется проверять огромное число случаев, вводить вероятностную оценку или предполагать продолжение обнаруженной закономерности. Устанавливается структурная импликация «решение ; меньшее решение», а затем применяется хорошая упорядоченность положительных целых чисел. Бесконечный класс закрывается конечным логическим механизмом.

Для нашего проекта этот пример становится своеобразным эталоном. Теория схлопывания будет искать структурную характеристику гипотетического ферматовского решения, которая заставляла бы множество допустимых состояний переходить в строго меньшее множество до достижения невозможности. Роль уменьшающегося параметра могут потенциально играть число допустимых TailTypes, количество RelationTypes, размер остаточного ядра, ранг структурного состояния, величина Arithmetic Pressure либо иной хорошо упорядоченный инвариант. Пока это исследовательская программа, а не установленный результат, однако историческая аналогия с бесконечным спуском содержательна.

В спуске присутствует и зачаточная идея будущей метаиндукции. В обычной индукции переносится свойство при движении n ; n + 1; в спуске запрещённая структура сохраняется при движении N ; N; < N. Переносится не конкретное число, а тип объекта: новый объект снова является решением той же запрещённой задачи. Таким образом, уже здесь появляется схема «объект ; структурно эквивалентный объект другого масштаба». В будущей метаиндукции состояние будет существенно богаче и сможет включать арифметические, геометрические, локальные, хвостовые и типологические характеристики.

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

В последующих столетиях история ТФ пойдёт по иной траектории. Исследовательский аппарат будет расширяться, появятся новые числовые области, идеалы, циклотомические поля, эллиптические кривые, модулярные формы и представления Галуа. Доказательная мощность будет возрастать, но вместе с ней будет увеличиваться дистанция между исходной формулой и объектами, внутри которых решается задача. Именно это движение от семантической локальности к всё более удалённым математическим переносам станет одним из центральных сюжетов первого тома.