Идея предлагаемого вниманию читателя элементарного доказательства Великой теоремы Ферма исключительно проста: после разложения чисел a, b, c на пары слагаемых, затем группировки из них двух сумм U
'
и U
''
и умножения равенства a
^
n
+
b
^
n
–
c
^
n
= 0
на 11^
n
(т.е. на 11
в степени n
, а чисел a
,
b
,
c
на 11
) (
k
+3)
-я цифра в числе a
^
n
+
b
^
n
–
c
^
n
(где k
– число нулей на конце числа a
+
b
–
c
) не равна 0
(числа U
'
и U
''
умножаются по-разному!). Для постижения доказательства нужно знать лишь формулу бинома Ньютона, простейшую формулировку малой теоремы Ферма (приводится), определение простого числа, сложение двух-трех чисел и умножение двузначного числа на 11
. Вот, пожалуй, и ВСЁ! Самое главное (и трудное) – не запутаться в десятке цифр, обозначенных буквами. Формальное описание истории теоремы и библиография в русском тексте опущены.
Доказательство приводится в редакции от 1 июня 2005 года (с учетом дискуссии на мехматовском сайте).
В.С.
Элементарное доказательство Великой теоремы Ферма
ВИКТОР СОРОКИН
ИНСТРУМЕНТАРИЙ:
[В квадратных скобках приводится поясняющая, не обязательная информация.]
Используемые обозначения:
Все числа записаны в системе счисления с простым основанием n
> 10
.
[Все случаи с составным n, кроме n
= 2
k
(который сводится к случаю n
= 4
), сводятся к случаю
простого n с помощью простой подстановки. Случаи n = 3, 5 и 7 здесь не рассматриваются.]
ak
– k
-я цифра от конца в числе a
(a
1
– последняя цифра).
[Пример
для
a = 1043:
1043 = 1
x53
+ 0
x52
+ 4
x51
+ 3
x50
; a1
= 3
, a2
= 4
, a3
= 0
, a4
= 1
.]
a(
k
)
– окончание (число) из k
цифр числа a
(a
(1)
=
a
1
; 1043(3)
= 043
). Везде в тексте a
1
№
0
.
[Если все три числа a
, b
и c
оканчиваются на ноль, следует разделить равенство 1° на nn
.]
(ai
n
)1
= ai
и(ai
n - 1
)1
= 1
(см. Малую теорему Ферма
для ai
№
0
). (0.1°)
(
n
+ 1)
n
= (10 + 1)
n
= 11
n
= …101
(см. Бином Ньютона
для простого n
).
Простое следствие из бинома Ньютона и малой теоремы Ферма для s
№
1
[a
1
№
0
]:
если цифра as
увеличивается/уменьшается на 0
< d
<
n
,
то цифра an
s
+1
увеличивается/уменьшается на d
(или d
+
n
, или d
–
n
). (0.2°)
[В отрицательных числах цифры считаются отрицательными.]
***
(1°) Допустим, что an
+
bn
–
cn
= 0
.
Случай 1
:
(
bc
)1
?
0.
(2°) Пусть u
=
a
+
b
–
c
, где u
(
k
)
= 0,
uk
+1
?
0
,k
> 0
[известно, что в 1° u
> 0
иk
> 0
].
(3°) Умножим равенство 1° на число d
1
n
(см. §§2 и 2a в Приложении) с целью превратить
цифру uk
+1
в 5
. После этой операции обозначения чисел не меняются
и равенство продолжает идти под тем же номером (1°).
Очевидно, что и в новом равенстве (1°) u
=
a
+
b
–
c
, u
(
k
)
= 0
,uk
+1
= 5
.
(1*°) И пусть a
*
n
+
b
*
n
–
c
*
n
= 0
, где знаком “*” обозначены записанные в каноническом виде числа в равенстве (1°) после умножения равенства (1°) на 11
n
.
(4°) Введем в указанной здесь очередности следующие числа:u
,u
' =
a
(
k
)
+
b
(
k
)
–
c
(
k
)
,
u'' = u – u' = (a – a(k)
) + (b – b(k)
) – (c – c(k)
)
, v = (ak+2
+ bk+2
– ck+2
)1
, u*' = a*(k)
+ b*(k)
– c*(k)
,
u*'' = u* – u*' = (a* – a*(k)
) + (b* – b*(k)
) – (c* – c*(k)
)
, 11u'
, 11u''
,v* = (a*k+2
+ b*k+2
– c*k+2
)1
,
и вычислим две последние значащие цифры в этих числах:
(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
' < 2
nk
;
(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°) (11
u
')
k
+2
= (
u
'
k
+2
+ u
'
k
+1
)1
(затем – в результате приведения чисел к каноническому виду –
величина u
'
k
+1
«уходит» в u
*''
k
+2
, поскольку u
*'
k
+2
= 0
);
(14a°) важно:
числа (11
u
')(
k
+2)
и u
*'(
k
+2)
отличаются только k
+2
-ми цифрами, а именно:
u
*'
k
+2
= 0
, но (11
u
')
k
+2
№
0
в общем случае;
(15°) (11
u
'')
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
–
) – 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° мы имеем:
U = an
+ bn
– cn
=
= (a(k+1)
+ nk+1
ak+2
+ nk+2
Pa
)n
+ (b(k+1)
+ nk+1
bk+2
+ nk+2
Pb
)n
– (c(k+1)
+ nk+1
ck+2
+ nk+2
Pc
)n
=
= (a(k+1)
n
+ b(k+1)
n
– c(k+1)
n
) + nk+2
(ak+2
a(k+1)
n - 1
+ bk+2b(k+1)
n - 1
– ck+2c(k+1)
n - 1
) + nk+3
P =
= U' + U'' = 0
, где
U' = a(k+1)
n
+ b(k+1)
n
– c(k+1)
n
,
(20a°)U'' = nk+2
(ak+2
a(k+1)
n -1
+ bk+2b(k+1)
n -1
– ck+2c(k+1)
n -1
) + nk+3
P
,
где(ak+2
a(k+1)
n -1
+ bk+2
b(k+1)
n -1
– ck+2
c(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°) Вычислимцифру(11n
U')k+3
:
[так как числа (11
u
')(
k
+2)
и u
*'(
k
+2)
отличаются только k+2-ми цифрами на величину
(11
u
')
k
+2
)
, то на эту величину будут отличаться и цифры (11
n
U
')
k
+3
и U
*'
k
+3
, это означает,
что цифра (11
n
U
')
k
+3
будет на (11
u
')
k
+2
превышать цифру U
*'
k
+3
(см. 0.2°)]
(11n
U')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
) = nt
b
'
, где b
1
= 0
и bt
+1
=
b
'1
№
0
.
(26°) Введем число u
=
c
–
a
> 0
, где u
(
nt
– 1)
= 0
,а unt
?
0
(см. §1 в Приложении).
(27°) После умножения равенства 1° на число d
1
n
(с целью превратить цифру unt
в 5
)
(см. §§2 и 2a в Приложении) обозначения чисел сохраняются.
(28°) Пусть: u
' =
a
(
nt
– 1)
–
c
(
nt
– 1)
, u
'' = (
a
–
a
(
nt
– 1)
) – (
c
–
c
(
nt
– 1)
)
(где, очевидно, u
''
nt
= (
a
nt
–
c
nt
)1
);
U
' =
a
(
nt
)
n
+
bn
–
c
(
nt
)
n
(гдеU
'(
nt
+ 1)
= 0
–
см. 1° и 26°),U
'' = (
an
–
a
(
nt
)
n
) – (
cn
–
c
(
nt
)
n
)
,
U
*' =
a
*(
nt
)
n
+
b
*
n
–
c
*(
nt
)
n
(гдеU
*'(
nt
+ 1)
= 0
),U
*'' = (
a
*
n
–
a
*(
nt
)
n
) – (
c
*
n
–
c
*(
nt
)
n
)
,
v = ant+1
– cnt+1
.
Вычисления, полностью аналогичные вычислениям в случае 1, показывают, что nt+2-я цифра в равенстве Ферма не равна нулю. Число b
во всех расчетах (кроме самой последней операции и в п. 27°) можно проигнорировать, т.к. цифры bn
nt
+1
и bn
nt
+2
при умножении равенства 1° на 11n
не меняются (т.к. 11n
(3)
= 101).
Таким образом, для простых n > 7 теорема доказана.
==================
ПРИЛОЖЕНИЕ
§1. Если числа a
,
b
,
c
не имеют общих сомножителей и b
1
=
(
c
–
a
)1
= 0
,
тогда из числа R
= (
cn
–
an
)/(
c
–
a
) =
= cn –1
+ cn –2
a + cn –3
a2
+ … c2
an - 3
+ can - 2
+ an - 1
=
= (cn –1
+ an –1
) + ca(cn –3
+ an –3
) + … + c(n –1)/2
a(n –1)/2
=
= (cn –1
– 2c(n –1)/2
a(n –1)/2
+ an –1
+ 2c(n –1)/2
a(n –1)/2
) + ca(cn –3
– 2c(n –3)/2
a(n –3)/2
+ an –3
+ 2c(n –3)/2
a(n –3)/2
) +
+ … +
c
(
n
–1)/2
a
(
n
–1)/2
= (
c
–
a
)2
P
+
nc
(
n
–1)/2
a
(
n
–1)/2
следует, что:
c
–
a
делится на n
2
, следовательно R
делится на n
и не делится на n
2
;
так как R
>
n
,
то число R
имеет простой сомножитель r
не равный n
;
c
–
a
не делится на r
;
если b
= nt
b
'
, где b
'1
№
0
, то число c – a делится на ntn
– 1
и не делится ntn
.
§2. Лемма
.
Все n цифр (
a
1
di
)1
, где di
= 0, 1, …
n
– 1
, различны.
Действительно, допустив, что (
a
1
d
1
*)1
= (
a
1
d
1
**)1
, мы находим: ((
d
1
* –
d
1
**)
a
1
)1
= 0
.
Откуда d
1
* =
d
1
**
. Следовательно, множества цифр a
1
(здесь вместе с a
1
= 0
) и d
1
совпадают.
[Пример для
a
1
= 2
:
0: 2
x0 = 0
; 1: 2
x3 = 11
; 2: 2
x1 = 2
; 3: 2
x4 = 13
; 4: 2
x2 = 4
.
При составном nЛемма
несправедлива: в базе 10
и
(2х2)1
= 4
, и
(2х7)1
= 4
.]
§2a. Следствие
.
Для любой цифры
a
1
№
0
cуществует такая цифра
di
, что (
a
1
di
)1
= 1
.
[Пример для
a
1
= 1, 2, 3, 4:
1x1
= 1
; 2x3
= 11
; 3x2
= 11
; 4x4
= 31
.]
ВИКТОР СОРОКИН
e
-
mail
:
victor.sorokine@wanadoo.fr
4 ноября 2004, Франция
P.S. Доказательство для случаев n
= 3, 5
, 7
аналогично, но в (3°) цифра uk
+1
превращается не в 5
, а в 1
, и в (1*°) равенство (1°) умножается не на 11
n
, а на некоторое hn
, где h
– некоторое однозначное число.