Теорема Ферма - доказательство самого Ферма (с) Юркин Павел МАГАТЭ
Русский физик-ядерщик Григорий Леонидович Деденко восстановил исходное рассуждение Пьера Ферма, приведшее последнего к выводу о непредставимости суммы двух одинаковых натуральных степеней рациональных чисел одной такой же степенью для показателя выше квадрата - знаменитой (великой) теореме Ферма.
Ферма оставил, как известно, в 1637 г. пометку на полях (читаемой им, видимо) "Арифметики" Диофанта с формулировкой обнаруженного факта и добавлением - "я нашёл этому поистине чудесное доказательство, но эти поля для него слишком узки".
Как понял Г.Л. Деденко, Ферма анализировал разности степеней новым на тот момент методом - разложением этих разностей в сумму попарных произведений (названным позднее "бином Ньютона" ). Ферма обнаружил, что коэффициенты разложения удовлетворяют тогда некоторым простым условиям, которым эквивалентно некое простое логарифмическое (ещё одно понятие, только вызревавшее к середине XVII века) уравнение относительно степени разлагаемой суммы (или, вернее, разности). Последнее имеет лишь два корня - числа единица и два.
Таким образом, поля книги действительно оказались узки для полной записи чудесного доказательства - её требовалось предварять и перемежать введением и леммированием новых тогда понятий: разложение с комбинаторными коэффициентами (бином Ньютона) , логарифм и пр. Сейчас неясно, записал ли Пьер Ферма своё рассуждение подробно где-либо и - если записал - лежит ли эта запись теперь в каком-нибудь неожиданном архиве. Историкам естествознания предлагается поискать заново.
Публикации на русском статьи Г.Л. Деденко первый раз вышли в 2019 году, но они были в незавершенном виде, поэтому ссылки на них тут не даю
Завершенная английская версия (v.37 от 19.02.2025), переработан раздел благодарности согласно требованиям журнала, и небольшие косметические правки улучшающие стилистику версии v.35 от 16.02.2025. Версия 37 доступна тут: Восстановленное доказательство Пьера Ферма
Завершенная русская версия (v.25ru от 16.02.2025), соответствующая английской версии 35 доступна по этой ссылке: Восстановленное доказательство Пьера Ферма
Г.Л. Деденко начал штурм теоремы в феврале 1990 года, первое и основное озарение пришло в середине июля 1990 года, на доработку которого автору потребовалось ровно долгих 35 лет с перерывами.
Отзывы (к версии 27) новейших моделей GPT-o1 и Gemeni 2.0 о работе Деденко Г.Л., вместе с присоединенными данными (Linked data) объяснения ядра доказательства, - решения уравнения o=sqrt[n]{2n}.
В версии 28en, и соотвественно, 19ru, было сделано важное уточнение, позволяющее лучше объяснить суть уравнения o=sqrt[n]{2n}.
Код Coq успешно верифицирующий ядро доказательства в упрощенном варианте и обоснующий o=2 .
DeepResearch вышешдший 14.02.25 подтвердил что значимых работ по теме моей публикации не было.
А вот мнение новейшей модели Grok 3 от Илона Маска:
В первой декаде октября 2025 года, завершена полная верификация через Coq