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

и вычислим две последние значащие цифры в этих числах:

(3a°) uk+1 = (u'k+1 + u''k+1)1 = 5;

(5°) u'k+1 = (–1, 0 или 1) – так как – nk < a'(k) < nk, – nk < b'(k) < nk, – nk < c'(k) < nk

и числа a, b, c имеют различные знаки;

(6°) u''k+1 = (4, 5 или 6) (см. 3a° и 5°) [важно: 1 < u''k+1 < n – 1];

(7°) u'k+2 = 0 [всегда!] – так как \u'\ < 2nk ;

(8°) u''k+2 = uk+2 [всегда!];

(9°) u''k+2 = [v + (ak+1 + bk+1 – ck+1)2]1, где (ak+1 + bk+1 – ck+1)2 = (–1, 0 или 1);

(10°) v = [uk+2 – (a(k+1) + b(k+1) – c(k+1))k+2]1 [где (a(k+1) + b(k+1) – c(k+1))k+2 = (–1, 0 или 1)] =

= [uk+2 – (–1, 0 или 1)]1;

(11°) u*k+1 = uk+1 = 5 – т.к. u*k+1 и uk+1 – последние значащие цифры в числах u* и u;

(12°) u*'k+1 = u'k+1 – т.к. u*'k+1 и u'k+1 – последние значащие цифры в числах u*' и u';

(13°) u*''k+1 = (u*k+1 – u*'k+1)1 = (3 – u*'k+1)1 = (4, 5 или 6) [важно: 1 < u*''k+1 < n – 1];

(14°) (11u')k+2 = (u'k+2 + u'k+1)1 (затем – в результате приведения чисел к каноническому виду –

величина u'k+1 «уходит» в u*''k+2, поскольку u*'k+2 = 0);

(14a°) важно: числа (11u')(k+2) и u*'(k+2) отличаются только k+2-ми цифрами, а именно:

u*'k+2 = 0, но (11u')k+2 № 0 в общем случае;

(15°) (11u'')k+2 = (u''k+2 + u''k+1)1;

(16°) u*k+2 = (uk+2 + uk+1)1 = (u''k+2 + uk+1)1 = (u''k+2 + 5)1;

(16а°) к сведению: u*'k+2 = 0 (см. 7°);

(17°) u*''k+2 = (u*k+2 +1, u*k+2 или u*k+2 – 1)1 = (см. 9°) = (u''k+2 + 4, u''k+2 + 5 или u''k+2 + 6)1;

(18°) v* = [u*k+2 – (a*(k+1) + b*(k+1) – c*(k+1))k+2]1

[где u*k+2 = (uk+2 + uk+1)1 (см. 16°), а (a*(k+1) + b*(k+1) – c*(k+1))k+2 = (–1, 0 или 1) – см. 10°] =

= [(uk+2 + uk+1)1 – (–1, 0 или 1)]1.

(19°) Введем числа U' = (ak+1)n + (bk+1)n – (ck+1)n, U'' = (an + bn – cn) – U', U = U' + U'',

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

(19а°) к сведению: U'(k+1) = U*'(k+1) = 0.

(20°) Лемма: U(k+2) = U'(k+2) = U''(k+2) = U*(k+2) = U*'(k+2) = U*''(k+2) = 0 [всегда!].

Действительно, из 1° мы имеем: