Теперь, когда найдено исчерпывающее доказательство Великой теоремы Ферма (из особого уважения пишу слово «Великая» с большой буквы), можно поискать и более простую его форму. Сегодня я заметил, что доказательство может быть представлено и в статической форме. Вот как оно будет выглядеть всё в той же системе счисления с простым основанием n>4 для приведенного, самого базового случая теперь. (На кубическом уравнении, имеющем специфику, задерживаться не буду.)
Если в равенстве Ферма число U=A+B-C оканчивается на k нулей, то после возведения равенства Ферма в (n-1)-ю степень оно по (k+1)-м цифрам не выполняется. [Этот факт доказан в лемме для сложностепенных чисел вида A в степени n^(k-1).]
Яснее и короче не скажешь, ну а всё остальное – школьная арифметика за 5-й и алгебра за 9-й классы (нужно уметь перемножать двучлены и знать бином Ньютона). Ферма эти вычисления провел в уме, а современным школьникам нужно с неделю поработать с системой счисления с простым основанием n>4. Но для того, кто хочет НЕ поверить на слово, а ЛИЧНО убедиться в фантастической красоте Великой теоремы Ферма, овчинка выделки стоит! Ибо это действительно другая планета...
[Доказательство запрещено к публикации на всех российских матфорумах, за исключением г.Луга. Доказательство в worde см. на сайте http://rm.pp.net.ua/]