Ферма утверждал, что уравнение
не имеет решений в рациональных числах.
Попробуем доказать обратное.
Предположим, что такое решение существует
при
,
,
,
, где
,
,
- целые положительные взаимно простые числа и
, то есть
.
- целое нечётное
положительное число
1.1.
, где
- целое положительное число
, где
- целое положительное число.
1.2.
,
Перемножаем левые и правые части, получаем:
,
1.3.
,
(п.1.1). Перемножаем левые и правые части, получаем:
, следовательно,
.
2.1.1 функция
в точках
и
принимает одинаковые значения разных знаков и она является целой рациональной функцией, непрерывна и определена при всех значениях
, следовательно, между
и
существует точка ( назовем ее
, значение функции в которой равно
.
2.1.3 Найдем все точки, значение функции в которых равно нулю.
.
или
,
отсюда
или
.
Поскольку
,
,
-рациональное число.
3.1.1.Найдём критические точки функции
если
(при
и
3.1.1 Найдём точки перегиба функции
если
(при
) или
функция
является целой рациональной функцией, непрерывна и определена при всех значениях
и ее значение равно нулю в точках 0, h и с,
существует три действительные точки, в которых она принимает одинаковые отрицательные значения (
,
и
) и три , в которых она принимает одинаковые положительные значения (
,
и
).
Очевидно, что может существовать варианта расположения
относительно
- точки перегиба функции (
и
и
три варианта расположения
,
,
,
относительно друг друга:
1.
, 2.
, 3.
3.множество корней многочлена тождественно множеству корней соответствующего уравнения,
,
,
Рассмотрим на примере
вариант
4.Выполним параллельный перенос и графика f(x) ( график на рисунке чёрной плотной линии) параллельно оси
вверх на расстояние
(удвоенное значение функции
в точке перегиба
взятое с противоположным знаком)
. Получившийся график
на рисунке обозначен жёлтым цветом.
Затем выполним параллельный перенос графика
параллельно оси
вправо на расстояние
где
- точка перегиба функции
.
Получившийся график
на рисунке обозначен красным цветом.
,
В результате этих двух последовательных параллельных переносов
получаем симметрию относительно
:
точка
симметрична точке
,
точка
симметрична точке
точка
симметрична точке
точка
симметрична точке
точка
симметрична точке
точка
симметрична точке
точка
симметрична точке
,
.
5.Выполним параллельный перенос графика
параллельно оси
влево на расстояние
Получим точки
,
,
6.
,
,
.
, следовательно,
Аналогично
отсюда
7.
,
, следовательно
8.
,
;
.
Далее
,
,
.
Отсюда
- рациональное число,
- рациональное число.
9.
- рациональное число
,
, поскольку
не может быть целым числом,
следовательно
5.1.2.
- рациональное число.
аналогично
- рациональное число.
но у нас
- рациональное число.
- рациональное число,
,
- рациональное число, следовательно,
-рациональное число, следовательно,
,
,
- рациональные числа.
6.1.1
(4.1.3)
(5.1.1),
, следовательно,
-целое число, следовательно
должно иметь общий делитель с
, отличный от
. То есть, либо
, либо
( либо, и
, и
должны иметь общий делитель с
, отличный от
.
Но это невозможно, поскольку
,
,
,
и
- взаимно простые числа.
Вариант . Тогда
,
По аналогии с первым вариантом, этот вариант тоже невозможен.
Вариант ,
, следовательно,
-рациональное число
-рациональное число , следовательно,
-рациональное число.
,
,
.
,
,
, следовательно, поскольку
-рациональное число.
--рациональное число.
, следовательно
,
,
,
- рациональные числа.
, следовательно,
-целое число
-целое число, следовательно
-целое число.
Но у нас
-целое число, следовательно,
-целое число или
-целое число,
что невозможно, поскольку
и
,
,
-взаимно простые числа.
Мы рассмотрели все возможные варианты и в каждом пришли к противоречию.
Значит, наше первоначальное предположение было ошибочно. уравнение
не имеет решений при
.
Теорема доказана.