Г-н Cepesh, две несущественные описки давно исправлены. Вы видите что-то еще?
Сорокин Виктор писал(а):
И одна такая идея нашлась.
Вот суть идеи:
Очевидно (что было многократно показано ранее), любое уравнение простой степени

легко приводится к виду:
1°.

, где

[или

– если

кратно

],
где простое

,

,

, числа

,

,

,

и

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

нечетно.
Допустим, что существует целочисленное решение системы уравнений 2°:
И тогда невозможность равенства

очевидна.
Дело стало за «немногим» - за обеспечением условий, при которых указанная система уравнений имеет решение. В общем виде эта система имеет вид:
Интересных претендентов на роль чисел

,

и

большое множество. Они будут рассматриваться постепенно.
Первоочередные кандидаты на роль числа

:

и его

и его

и их сомножители.
Аномалии (интересные и подозрительные моменты):
Для случая

число

не есть 1, но в

-й степени и в базе

оканчивается на 1. Таким образом, в базе

для каждой ненулевой последней цифры числа

существуют четыре таких цифры, что в

-й степени они оканчиваются на

. Не удивительно ли? И не здесь ли зарыта собака?
==================
И еще:
Допустим, что существует целочисленное решение системы уравнений 2°:
И тогда равенство Ферма

непротиворечиво (по меньшей мере относительно r).
НО: решение системы 2° не целочисленно: так как из

следует

, или

, где

и

взаимопростые!
Не является ли это обстоятельство достаточным для доказательства ВТФ?
+++
И вот последняя мысль:
После уможения равенства Ферма на

и, следовательно, чисел

из решения первого уравнения в системе 2° мы имеем:

и, следовательно (поскольку последняя система 2° целочисленного решения не имеет), число

не является целым. Кроме того, очень интересным является и соотношение между

и

.