Someone писал(а):
Сорокин Виктор писал(а):
Согласно ключевому равенству (в предпоследней версии старого доказательства)
Виктор, это безобразие! Кто же сможет разобраться, какая версия у Вас предпоследняя и где её искать? Я совершенно точно не смогу.
Объединил всё, что нужно для случая n=3.
+++++++++++++++++++++++++++++++++++++
Великая теорема Ферма. 2 марта 2006
Великая теорема Ферма. Март, 2006
Инструментарий:
Обозначения:

–

-значное окончание (число) в числе a в системе счисления с простым основанием

. Пример для

:

.

–

-ая цифра в числе

,

≠

. Пример для

:

.
Доказательство основано на известных леммах:
1* Лемма. Если

≠

и

, тогда

, и
если

и

≠

, тогда

и

,

≠

, где

.
2* Лемма. Если

≠

и

, тогда существует такое

, что

.
3* Лемма. Если числа

и

взаимопростые и число
![$r [= c-b] $ $r [= c-b] $](https://dxdy-01.korotkov.co.uk/f/0/e/0/0e06a7437b7c327b722a55002a6e0b5282.png)
не делится на

, то числа

и

являются взимопростыми.
Доказательство Великой теоремы Ферма для частного случая: n=3 и k=2
(1°) Допустим, что

,

≠

,

,

,

взаимопростые, следовательно, числа

и

являются взаимопростыми и
(2a°)

,
(2b°)

,
(2с°)

, где

, цифра

≠

,

(следствие из 1° и малой теоремы).
(3°)

[КЛЮЧ доказательства!], поскольку

-значные окончания в числах:

,

,
![$[(c-b)-a]Q$ $[(c-b)-a]Q$](https://dxdy-02.korotkov.co.uk/f/5/b/0/5b07441bf5be9936b7515f73dbec5b6e82.png)
,

равны

,
так как

(см. 2c°) и

(см. 1*).
Случай 1:

≠

.
Так как в 2b° числа

и

оканчиваются на

, то числа

и

оканчиваются на

, а цифра

≠

, то равенство

, очевидно, НЕВОЗМОЖНО.
Случай 2:

, но

≠

.
Согласно ключевому равенству 3°, число

оканчивается на

нуля. Этот факт не меняется от преобразования

-значного окончания числа

в

(с помощью умножения равенства Ферма на некоторое число

с сохранением свойств 2a° - 2c° – см. 2*; для ясности восприятия обозначения букв остаются прежними, но теперь числа

и

оканчиваются на 001). И если у нас

, то число

по-прежнему оканчивается на 2 нуля, а число

оканчиваются на 3 нуля (поскольку число

оканчивается даже на 5 нулей – см. 1*).
Но из непосредственного вычисления окончания числа

мы видим, что третья цифра (от конца) в этом числе НЕ РАВНА нулю:
второй член в

есть

, а в

есть

, и потому третья цифра в

равна
![$[b-2b]_3= (-b)_3$ $[b-2b]_3= (-b)_3$](https://dxdy-03.korotkov.co.uk/f/6/8/a/68a663e8fecda894bb24dbe40aeecec982.png)
, где

≠

.
Доказательство второго случая обобщается на любое простое

и

без каких-либо дополнительных операций. Этот случай считается самым трудным для доказательства. Первый же случай для всех простых n как будто бы доказан. Свое доказательство я представлю сразу же после подтверждения верности доказательства для случая n=3.