shwedka писал(а):
Хорошо-то как!!!
Сорокин на самообслуживание перешел!!!
Мсье Сорокин,
Напоминаю Вам, что на добром десятке форумов
по-прежнему торчат Ваши заявления, что Вы ВТФ
доказали.
Может, все же, совесть проснется и Вы их дезавуируете???
=================================
Да не переживайте Вы за них! Я постараюсь удовлетворить их интерес.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
А ларчик просто открывался…
Сегодня обнаружил интересную вещь: с момента открытия мною (29 декабря 2005) ключевой формулы (

) простейшее (с противоречием всего-навсего по второй цифре!) доказательство ВТФ лежало буквально под ногами. Но для начала напомню уже набившие оскомину тривиальные факты по теории равенства Ферма:
1. Числа

взаимопростые и

не кратно

.
2. Числа

и

взаимопростые.
3. Числа

,

и

имеют вид:

,

и

.
4. Все простые сомножители числа

имеют вид:

(простая лемма).
5.

.
6.

и

.
7.

(ключевая формула) и

.
8.

.
9. Из равенства

, или

,

и что

, видно, что

.
Для окончательного доказательства ВТФ не хватает одной простой леммы (на форуме я о ней еще не говорил):
10. Среди цифр

существует такая

, что

≠

(допустив обратное, вторая цифра в сумме от

до

≠

, что невозможно).
И вот
доказательство ВТФ:
Возьмем такую

, что

≠

и превратим цифру

в

, а цифру

в

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

с сохранением степенных свойств всех чисел-букв, входящих в равенство Ферма. При этом должно сохраниться и свойство 9:

. Однако это равенство не выполняется, поскольку

, а

, где цифра

≠

.
ВТФ доказана.