Доказательство великой теоремы Ферма
Статья - Математика и статистика
Другие статьи по предмету Математика и статистика
Автореферат к доказательству теоремы Ферма.
Данное доказательство, оформленное в виде статьи, посвящено объяснению того факта, что формальное математическое доказательство великой теоремы Ферма тривиально.
Вот оно:
допустим, что диофантово уравнение (1)
имеет целые решения при n>2, тогда
(2)
и должно быть целым. Однако, правая часть выражения (2) не является целым рациональным выражением и не даёт целый результат по определению. Следовательно, предположение о том, что диофантово уравнение имеет целые решения, не верно.
Автор выражает удивление, что до него никто не осветил данную математическую проблему с этой стороны. В статье, однако, затронуты глубинные вопросы гносеологии, сопутствующие решению проблемы. Автор считает, что статья доступна для понимания не только суперматематикам, но и обычным людям, проявляющим интерес к данной проблеме.
Доказательство теоремы Ферма.
Посвящаю моему учителю математики
Зильбербергу Осипу Михайловичу.
1. Введение.
Математика это абстрактная наука для описания конкретных процессов. То есть, математический абстрактный процесс описывает множество реальных физических процессов.
Например, 1+1 = 2
может означать, что в копилку с одной монетой бросили еще одну; что в комнату, где находится человек, зашел еще один человек; что рыболов поймал рыбу и поместил ее в садок, а потом поймал еще рыбу и поместил ее в тот же садок и т.д. и т.п.
Любой математический процесс оперирует абстрактными (условными) величинами. Не исключение и понятие целого числа. Рассмотрим понятие математической единицы и целого числа. Математическая единица это самое простое из всех целых чисел, основа понятия целого числа. Ведь любое целое число это просто сумма целых единиц. Однако же, реально не существует ничего целого, все можно разделить. Тем более, не существует двух абсолютно одинаковых объектов, с которыми можно было бы произвести физически реальную операцию добавления, как в приведенном примере. Т.е. реально будет или чуть больше или чуть меньше двух. (Ведь монеты могут быть разных номиналов, а если номинал один, то все равно монеты различаются по массе и размерам, тут все зависит от точности измерений. Еще больше различий у рыб и людей.)
Исторически понятие целого числа возникло из простых арифметических действий, простейшее из которых приведено в примере. Исходя из вышеизложенного очевидно, что арифметика это теория целых чисел, и служит для описания простейших процессов, единичных процессов, процессов очень сильно ограниченных в пространстве и времени. Уяснив, что такое целое число, перейдем к теореме Ферма.
Теорема Ферма утверждает, что уравнение вида
(1)
Не имеет целых положительных решений при n > 2.
Применим к теореме способ доказательства от противного. Допустим, что уравнение (1) имеет целые решения при n > 2, тогда все три переменных x, y, z будут целыми числами, тогда два из трех тоже будут целыми; пусть это будут x и y, тогда (1) можно записать в виде
(2)
Или
(3)
Подкорневое выражение можно привести к элементарным арифметическим действиям:
n раз,
или
раз.
Причем, сколько именно раз не так важно. Важно то, что суть этого математического процесса сводится к повторению операции сложения целого числа с самим собой. Результат такой операции тоже будет целым.
Аналогично для .
(Замечание: естественно, что n должно быть конечным и целым.)
Теперь посмотрим, что такое .
Это обратная возведению в степень операция, по аналогии, как вычитание обратная сложению операция. (Заметим, что в природе не существует обратных процессов. Нельзя дважды войти в одну и ту же реку. Невозможно вернуться точно в то же исходное положение. Это можно сделать с большей или меньшей степенью приближения по одному или нескольким параметрам. Таким образом, обратные процессы это мысленные, абстрактные, или другими словами, теоретические математические процессы.)
Целые числа можно получить из целых только с помощью целых рациональных выражений. Т.е. с помощью сложения, вычитания, умножения и возведения в целую положительную степень. Извлечение корня (или возведение в дробную степень) не является целым рациональным выражением. Поэтому выражения вида (2) и (3) не дают целый результат по определению.
Или подробнее:
Операцию извлечения корня невозможно определить через вычитание при неизвестном основании прямого процесса.
То есть, возведение в целую положительную степень можно представить как сложение целого числа с самим собой определенное число раз. Это (исходное) целое число можно получить, вычитая его из результата такое же число раз.
раз , прямой процесс.
раз, обратный процесс.
При этом, очевидно, для того, чтобы получить тот же математический объект в результате обратного процесса, необходимо совершить точную последовательность обратных действий над результатом прямого процесса. Если же для обратного процесса предлагается не выражение вида , где
- целое, то тогда неизвестно, что нужно вычитать и какое число раз. Задачу невозможно определить в рамках понятия о целых числах и целочисленных операциях. Следовательно, и о каком-либо решении неопределенной задачи говорить не приходится. Следовательно, предположение о том, что уравнение (1) имеет целые решения при n &g