Доказательство Великой теоремы Ферма

с помощью метода бесконечных (неопределенных) спусков

§1.

Решение задач в науке определяется верифицированным методом доказательства. Как мы видим из разнообразной литературы по проблеме решения Великой теоремы Ферма неразличение исторических счастливых случайных, и оттого многообразных, находок и  логических т.е. теоретических нормальных закономерных изобретений сделало из числового уравнения задачу «икс» для многих поколений математиков.

Анализ монографий и учебников по самым различным наукам и, в том числе, т.н. математическим показывает, что представление наук «об их предмете» является самым слабым звеном.  Затем идет «представление о методе», о «научном законе» и «языке науки».

Как соотносится решение конкретной задачи с  представлением наук о предмете, методе, научном законе и языке конкретной науки? Обычно этим вопросом никто и не задается. Но первое же действие по решению задачи привело автора к необходимости определиться,  узнать, с помощью какой науки или совокупности наук надо подойти к решению задачи, какой инструмент необходим? При нынешнем плюрализме в науках уже одно это занятие ставит исследователя в неловкое положение. Что говорить, если даже из предмета т.н. точных, математических наук явно не увидеть явно то, чем занимается наука (предмет науки).

Условия задачи указывают на необходимость привлечения к исследованию науки о числах и науки о действиях с числами (и в общем виде с величинами). С наукой о числах больших проблем не возникло, это область теории чисел, но вот то, что действие с числами  это предмет алгебры – может догадаться только очень искушенный в т.н. математических трудах исследователь. И то неявно. Недоумение вызвал и тот факт, что понятие границ величины автор так и не нашел. Т.е. как математики отличают  величину от не-величны в явном виде автор так и не смог определить (для себя принял условие, что границы величины должны быть несоизмеримы с величиной и выражаются нулевым числом  т.е. они могут соизмеряться с величиной, но должны быть меньше самой малой дискретной меры величины).

Сама математика при изучении ее фактического материала представляется автору, скорее, в виде научной дисциплины по созданию моделей с определенными (описанными) величинами, которая использует закономерности всего круга т.н. математических наук.

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

В настоящей статье предлагается использовать теоретико-числовой и  алгебраический метод доказательства, с наглядной геометрической верификацией, который был изобретен  П.Ферма, автором Великой гипотезы (и как мы увидим далее - теоремы), названной в его честь. Изобретенный им метод доказывания,  называемый методом бесконечных (неопределенных) спусков основан на интеллектуальной возможности производить определенные (имеющие свойства) действия с существующими числами и действительными числовыми выражениями.

Этот математический метод П. Ферма описывал в своем письме к Каркави (август 1659 года) следующим образом:

«Если бы существовал некоторый прямоугольный треугольник в целых числах, который имел бы площадь, равную квадрату, то существовал бы другой треугольник, меньший этого, который обладал бы тем же свойством. ............