Someone писал(а):
Сорокин Виктор писал(а):
Согласно ключевому равенству (в предпоследней версии старого доказательства)
Виктор, это безобразие! Кто же сможет разобраться, какая версия у Вас предпоследняя и где её искать? Я совершенно точно не смогу.
Объединил всё, что нужно для случая n=3.
+++++++++++++++++++++++++++++++++++++
Великая теорема Ферма. 2 марта 2006
Великая теорема Ферма. Март, 2006
Инструментарий:
Обозначения:
–
-значное окончание (число) в числе a в системе счисления с простым основанием
. Пример для
:
.
–
-ая цифра в числе
,
≠
. Пример для
:
.
Доказательство основано на известных леммах:
1* Лемма. Если
≠
и
, тогда
, и
если
и
≠
, тогда
и
,
≠
, где
.
2* Лемма. Если
≠
и
, тогда существует такое
, что
.
3* Лемма. Если числа
и
взаимопростые и число
не делится на
, то числа
и
являются взимопростыми.
Доказательство Великой теоремы Ферма для частного случая: n=3 и k=2
(1°) Допустим, что
,
≠
,
,
,
взаимопростые, следовательно, числа
и
являются взаимопростыми и
(2a°)
,
(2b°)
,
(2с°)
, где
, цифра
≠
,
(следствие из 1° и малой теоремы).
(3°)
[КЛЮЧ доказательства!], поскольку
-значные окончания в числах:
,
,
,
равны
,
так как
(см. 2c°) и
(см. 1*).
Случай 1:
≠
.
Так как в 2b° числа
и
оканчиваются на
, то числа
и
оканчиваются на
, а цифра
≠
, то равенство
, очевидно, НЕВОЗМОЖНО.
Случай 2:
, но
≠
.
Согласно ключевому равенству 3°, число
оканчивается на
нуля. Этот факт не меняется от преобразования
-значного окончания числа
в
(с помощью умножения равенства Ферма на некоторое число
с сохранением свойств 2a° - 2c° – см. 2*; для ясности восприятия обозначения букв остаются прежними, но теперь числа
и
оканчиваются на 001). И если у нас
, то число
по-прежнему оканчивается на 2 нуля, а число
оканчиваются на 3 нуля (поскольку число
оканчивается даже на 5 нулей – см. 1*).
Но из непосредственного вычисления окончания числа
мы видим, что третья цифра (от конца) в этом числе НЕ РАВНА нулю:
второй член в
есть
, а в
есть
, и потому третья цифра в
равна
, где
≠
.
Доказательство второго случая обобщается на любое простое
и
без каких-либо дополнительных операций. Этот случай считается самым трудным для доказательства. Первый же случай для всех простых n как будто бы доказан. Свое доказательство я представлю сразу же после подтверждения верности доказательства для случая n=3.