victor_sorokin, освежите в памяти мое предупреждение, высказанное Вам больше года назад
здесь.[/mod]
Да, думаю, пора кончать эту бодягу! Как я и предполагал, ВТФ доказываатся с помощью самого примитивного аппарата – исчисления четностей. Вот доказательство.
***
В равенстве Ферма (после устранения общих делителей чисел
)
1°)
, где нечетное
,
степень четности, или показатель степени
в числе
(где
нечетно и
,
или
кратно 8-ми), равна по меньшей мере 2-м. Действительно, при записи равенства 1° в бинарной системе счисления в виде
2°)
-я степень при четном числе оканчивается на 00, а степени при нечетных числах – на 01. И тогда по двузначным окончаниям число
делится на 4, т.е.
.
Покажем, что, с другой стороны, в числе
3°)
показатель степени
.
Возьмем нечетное число
[или
] и вычтем [а в случае нечетного
– прибавим] из чисел
и
число
(от чего, очевидно, степень четности числа
не изменится):
4°)
.
Очевидно также, что и степень четности числа
5°)
(ибо
нечетно) должна оставаться равной степени четности числа
.
Но
6°)
(ибо
нечетно).
И мы имеем противоречие (ср. 2° и 6°).