Теорема Ферма - доказательство самого Ферма
(с) Юркин Павел МАГАТЭ
Русский физик-ядерщик Григорий Леонидович Деденко восстановил исходное рассуждение Пьера Ферма, приведшее последнего к выводу о непредставимости суммы двух одинаковых натуральных степеней рациональных чисел одной такой же степенью для показателя выше квадрата - знаменитой (великой) теореме Ферма.
Ферма оставил, как известно, в 1637 г. пометку на полях (читаемой им, видимо) "Арифметики" Диофанта с формулировкой обнаруженного факта и добавлением - "я нашёл этому поистине чудесное доказательство, но эти поля для него слишком узки".
Как понял Г.Л. Деденко, Ферма анализировал разности степеней новым на тот момент методом - разложением этих разностей в сумму попарных произведений (названным позднее "бином Ньютона" ). Ферма обнаружил, что коэффициенты разложения удовлетворяют тогда некоторым простым условиям, которым эквивалентно некое простое логарифмическое (ещё одно понятие, только вызревавшее к середине XVII века) уравнение относительно степени разлагаемой суммы (или, вернее, разности). Последнее имеет лишь два корня - числа единица и два.
Таким образом, поля книги действительно оказались узки для полной записи чудесного доказательства - её требовалось предварять и перемежать введением и леммированием новых тогда понятий: разложение с комбинаторными коэффициентами (бином Ньютона) , логарифм и пр. Сейчас неясно, записал ли Пьер Ферма своё рассуждение подробно где-либо и - если записал - лежит ли эта запись теперь в каком-нибудь неожиданном архиве. Историкам естествознания предлагается поискать заново.