Статья: Элементарное доказательство Великой теоремы Ферма

= (a(k+1) + nk+1ak+2 + nk+2Pa)n + (b(k+1) + nk+1bk+2 + nk+2Pb)n – (c(k+1) + nk+1ck+2 + nk+2Pc)n =

= (a(k+1)n + b(k+1)n – c(k+1)n) + nk+2(ak+2a(k+1)n - 1 + bk+2b(k+1)n - 1 – ck+2c(k+1)n - 1) + nk+3P =

= U' + U'' = 0, где

U' = a(k+1)n + b(k+1)n – c(k+1)n,

(20a°) U'' = nk+2(ak+2a(k+1)n -1 + bk+2b(k+1)n -1 – ck+2c(k+1)n -1) + nk+3P,

где (ak+2a(k+1)n -1 + bk+2b(k+1)n -1 – ck+2c(k+1)n -1)1 = (см. 0.1°)=

(20b°) = (ak+2 + bk+2 – ck+2)1 = U''k+3 = v (см. 4°).

(21°) Следствие: (U'k+3 + U''k+3)1 = (U*'k+3 + U*''k+3)1 = 0.

(22°) Вычислим цифру (11nU')k+3:

[так как числа (11u')(k+2) и u*'(k+2) отличаются только k+2-ми цифрами на величину

(11u')k+2), то на эту величину будут отличаться и цифры (11nU')k+3 и U*'k+3, это означает,

что цифра (11nU')k+3 будет на (11u')k+2 превышать цифру U*'k+3 (см. 0.2°)]

(11nU')k+3 = U'k+3 = (U*'k+3 + (11u')k+2)1 = (U*'k+3 + u'k+1)1.

(23°) Откуда U*'k+3 = U' k+3 – u'k+1.

(24°) Вычислим цифру U*'' k+3 :

U*'' k+3 = v* = (uk+2 + uk+1)1 – (–1, 0 или 1) – см. (18°);

(25°) Наконец, вычислим цифру (U*'k+3 + U*''k+3)1:

(U*'k+3 + U*''k+3)1 = (U*'k+3 + U*''k+3 – U'k+3 – U''k+3)1 = (U*'k+3 – U'k+3 + U*''k+3 – U''k+3)1 =

(см. 23° и 24°) = (– u'k+1 + v* – v) = (см. 18° и 10°) =

= (– u'k+1 + [uk+2 + uk+1 – (–1, 0 или 1)] – [uk+2 – (–1, 0 или 1)])1 =

= (– u'k+1 + uk+1 + (–2, –1, 0, 1, или 2))1 = (см. 3a°) =

( u''k+1 + (–2, –1, 0, 1, или 2))1 = (см. 6°) = (2, 3, 4, 5, 6, 7 или 8) № 0,

что противоречит 21° и, следовательно, выражение 1° есть неравенство.

Случай 2 [доказывается аналогично, но намного проще]: b (или c) = ntb', где b1 = 0 и bt+1 = b'1 № 0.

(26°) Введем число u = c – a > 0, где u(nt – 1) = 0, а unt ? 0 (см. §1 в Приложении).

(27°) После умножения равенства 1° на число d1n (с целью превратить цифру unt в 5)

(см. §§2 и 2a в Приложении) обозначения чисел сохраняются.

(28°) Пусть: u' = a(nt – 1) – c(nt – 1), u'' = (a – a(nt – 1)) – (c – c(nt – 1)) (где, очевидно, u''nt = (ant – cnt)1);

U' = a(nt)n + bn – c(nt)n (где U'(nt + 1) = 0 – см. 1° и 26°), U'' = (an – a(nt)n) – (cn – c(nt)n),