Проблема Ферма для простых показателей > 3

Автор:

Полежаев В.Ф.

Новосибирск:

Аннотация

Книга предназначена для школьников старших классов, студентов физико-математических факультетов, учителей и любителей математики. В книге приведены в рамках элементарных математических знаний, за исключением метода сравнения чисел по модулю, доказательства Великой теоремы Ферма для простых показателей вида 6n + 1 и для простых показателей вида 6n + 5.

Введение

Утверждение великого французского математика Пьера Ферма (1601 - 1665) о том, что неопределенное уравнение Xn + Yn = Zn не имеет решений в целых (не равных нулю) рациональных числах для n > 2 признано мировым математическим сообществом верным, после представления в 1995 г. его доказательства группой математиков Оксфордовского университета во главе с английским математиком Эндрю Уайльсом.

Это утверждение великого француза, получившее название Проблема Ферма или Великая теорема Ферма (она же «Большая» или «Последняя»), более чем 300 лет оставалось проблемной задачей теории чисел. Свое Утверждение Пьер Ферма написал на полях книги Диофанта «Арифметика» и сопроводил его следующим известным комментарием: “Я открыл этому поистине чудесное доказательство, которое из-за недостатка места не может разместиться на этих полях”.3

Этот комментарий Пьера Ферма (учитывая его авторитет) указывал на возможность решения Проблемы в рамках математических знаний XVII века, это обстоятельство и другие, социально - психологические причины, толкали сотни любителей математики на поиск элементарного решения Великой теоремы.

Проблема Ферма вышла за пределы математического сообщества, стала популярной, привлекая к себе не только сотни любителей математики, но и представителей культуры, которые сделали ее неким украшением художественных героев.

Показанный С.П. Капица фильм «Черт и математик» в одной из передач «Очевидное - Невероятное» в начале 70-х годов прошлого столетия и его комментарий послужили толчком моего увлечения этой Проблемой.

В основе настоящей работы лежит моя книжка “Проблема Ферма и другое”2008 г. выпуска, в которой отсутствовало доказательство ПФ 2-го случая для простых показателей вида 6n + 5.

Известно, что для показателя n = 4 Проблема решена Пьером Ферма, а для показателя n = 3 доказана гениальным Леонардом Эйлером, а потому я стал искать решение приведенного уравнения для простых показателей P> 3 т.е. для простых показателей вида 6n + 5 и вида 6n = 1.

Элементарные алгебраические преобразования многочленов, вспомогательные числа, и вспомогательные сравнения позволили найти элементарное доказательство Проблемы, если не считать примененный в работе метод сравнения чисел по модулю, введенный в математику К.Ф.Гауссом (1777 - 1855).

1.Проблемы Ферма для простых показателей > 3

Доказательство Великой теоремы для простых показателей вида 6n + 1 и для простых показателей вида 6n + 5

Множество простых чисел > 3 разбиваем на два класса: на класс простых чисел вида 6n + 1 и на класс простых чисел вида 6n + 5.

Докажем сначала вспомогательные утверждения.

1.1 Вспомогательные утверждения

Теорема 1.1. Для любого простого числа P 2 существуют целые числа, которые обозначим через А1, А2, А3, …, Ar, …, АP-1/2, такие, что для любых чисел Z и X выполняется:

ZP - XP = (Z - X)P + A1ZX(Z - X)P-2 + A2Z 2X 2(Z - X)P-4 +

+ A3Z 3X 3(Z - X)P-6 + А4Z 4X 4(Z - X)Р-8+ … +AР-3/2

ZP-3/2XP-3/2(Z - X)3 + AP-1/2 ZР-1/2 XР-1/2 (Z - X), (1.1)

при этом числа A1 = AР-1/2 = P, а числа? ?А2, А3,…, Ar, …, АР-3/2 - целые и кратные Р. Доказательство. Пусть имеем многочлен вида

(Z - X)P-1 + A1ZX (Z - X)P-3 + A2Z 2 X 2 (Z - X)P-5 +

+ А3Z 3 X 3 (Z - X)P-7+ A4Z 4 X 4 (Z - X)Р-9+… ... + AР-3/2 Z P-3/2 X Р-3/2 (Z - X)2 + AР-1/2Z Р-1/2 X P-1/2 . (1.2)

Покажем, что существуют такие целые числа (кратные Р) A1, A2, …, AР-1/2, что многочлен (1.2) тождественно равен многочлену вида:

Z P-1 + Z P-2X + Z P-3X 2 + …+ Z 2X P-3 + ZX P-2 + X P-1. (1.3)

Пусть многочлены (1.2) и (1.3) тождественно равны, тогда их коэффициенты при подобных членах будут равны.

Чтобы сравнить коэффициенты при подобных членах многочленов (1.2) и (1.3) воспользуемся табл. 1. Благодаря равенству биноминальных коэффициентов от начала и конца разложения бинома Ньютона в табл. 1 внесены коэффициенты от начала разложения соответствующих биномов многочлена (1.2) до серединного их члена (включительно) (строки 1, ..., Р + 1/2).

В строке 1 записаны биноминальные коэффициенты разложения бинома (Z - X)P-1.

В строке 2 (начиная со столбца 2) записаны биноминальные коэффициенты разложения бинома (Z - X)P-3, умноженные на число А1.

В строке 3 (начиная со столбца 3) записаны биноминальные коэффициенты разложения бинома (Z - X)P-5, умноженные на число А2 и т. д.

B строке (Р-1)/2 записаны (начиная со столбца (Р-1)/2) биноминальные коэффициенты разложения бинома (Z-X)2, умноженные на число АР-3/2.

В строке (Р+1)/2 записан коэффициент последнего члена многочлена (1.2) - число АР-1/2.

В последней строке табл. 1 записаны коэффициенты многочлена (1.3), которые равны +1.

Обратим внимание на то, что в каждом столбце табл. 1 (до строки Р + 1/2 включительно) записаны все коэффициенты подобных членов многочлена (1.2), а в строке без номера записаны коэффициенты членов многочлена (1.3).

Это обстоятельство позволяет вычислять числа А1, А2, …

Суммируя последовательно коэффициенты столбцов табл. 1 от столбца 2 до столбца (Р + 1)/2 и приравнивая полученные суммы (в силу тождества (1.2) и (1.3)) к (+1), получим значения чисел А1, А2,

Из столбца 2 получим + А1 = 1, тогда А1 = + 1, отсюда

А1 = Р. (1.4)

Таблица 1.Таблица коэффициентов

	1	2	3	4	5	.	.	…	…	p - 1/2	P + 1/2
1	+1					.	.	.	.	…
2						.	.	.	.	…
3						.	.	.	.	…
4						.	.	.	.	…
5						.	.	.	.	…
.						.	.	.	.	…
.							.	.	.	…
.								.	.	…
.									.	…
P-1/2
P+1/2
	+ 1	+ 1	+ 1	+ 1	+ 1	.	.	.	.	+ 1	+ 1

Из столбца 3 (с учетом (1.4)) получим +- + А2 = 1, отсюда А2 = - (- 1) = Р(Р - 3)/2, а значит, А2 - число целое и кратное Р.

Для доказательства того, что А3 - число целое и кратное Р, достаточно определить, что (+ 1) - число кратно Р, (то , что оно целое очевидно) так как остальные коэффициенты столбца 4 - числа целые и кратные Р, множители А1 и А2 которых, как показано выше, целые и кратные Р. Далее, + 1 = Р(Р2 - 6Р + 11)/6 - число кратное Р, так как при Р = 6n + 1 или Р = 6n + 5 дробь (Р2 - 6Р + 11)/6 - целое число, где n = N+, а значит А3 - число целое и кратное Р.

Если нами найдено, что А1, А2, …, Аk -1 - числа целые и кратные Р, то число Аk будет целым и кратным Р, если - число кратное Р (то , что оно целое очевидно), где k = 1, 2, …, P-1/2. Пусть k - число четное, тогда имеем - целое и кратное Р, так как = (P - 1)(P - 2)…(P - k)/k! - 1= (mP + k!)/k! - 1 = mP/k! - число целое и кратное Р , где (m, P)=1 и m кратное k!

Пусть k - число нечетное, тогда имеем - - число кратное Р(то , что оно целое очевидно), так как = (P - 1)(P - 2)…(P - k)/k! + 1 = (m1P - k!)/k! + 1 =m1P/k!- - число целое и кратное Р, где (m1,P)=1 и m1 кратно k!

Таким образом, при любой четности k число Аk будет числом целым и кратным Р.

Осталось доказать, что число АР-1/2 = Р.

Пусть Z = X = 1, тогда многочлен (1.2) будет равен АР-1/2, а многочлен (1.3) равен Р и их тождество возможно, если

АР-1/2 = Р. (1.5)

Запишем тождество многочленов (1.2) и (1.3) с учетом (1.4) и (1.5):

ZP-1 + Z P-2 X + ZP-3 X 2 + Z 2X P-3 + ZX P-2 + Z P-1 =

= (Z - X) P-1 + PZX (Z - X)P-3 + A2Z 2X 2(Z - X) P-5 +…

+ AP-3/2 Z P-3/2 X P-3/2(Z - X)2 + PZ P-1/2 X P-1/2. (1.6)

Умножая правую и левую части тождества (1.6) на (Z - X), получим (1.1), что и требовалось доказать. Следствие. Если Z и X натуральные взаимно простые числа и ZP - XP = (Z - X) M1, то

a) (Z - X, M1) = 1, если (Z - X, P) = 1;

б) (Z - X, M1) = P, если (Z - X, P) =P,

где M1 - многочлен вида (1.3) и для б) M1= G1P, (G1,P) = 1.

Так как Z P + X P = Z P - (- X) P= Z - (- X) M2, то

M2 = Z P-1 - Z P-2X + Z P-3X 2 -…+ Z 2X P-3 - ZX P-2 +X P-1 =

= (Z + X) P-1 - PZX (Z + X)P-3 + A2Z 2X 2 (Z + X) P-5 -

- A3Z 3X 3 (Z + X) P-7 + ……….+ (-1)P-1/2 P (ZX) P-1/2, (1.7)

тогда:

г) (Z + X, M2) = 1, если (Z + X, P) = 1,

д) (Z + X, M2) = P, если (Z + X, P) = P,

где для д) М2 = G2P, (G2, P) = 1.

Теорема 1.2. Для любого простого числа Р 3 существуют целые числа, которые обозначим через В1, В2, Вi, …, Вn1 такие, что для любых чисел Z и X выполняется:

(Z - X) P-3 + ZX (Z - X) P-5 + Z 2X 2(Z - X) P-7 +… Z P-5/2X P-5/2 (Z - X)2 + (ZX)P-3/2 = (Z - X)2 + ZX)P-3/2+ В1Z 2X 2 (Z - X)2 (Z - X)2 + ZXP-9/2 + B2Z 4X 4(Z - X)4(Z - X)2 + ZXP-15/2 +…+BiZ 2iX 2i (Z - X)2i (Z - X)2 + ZX R +…+ Вn1Z 2n1 X 2n1 (Z - X)2n1 (Z - X)2 + ZXS, (1.8)

где = А2/Р, = А3/Р, …,Ak1 = Ak/P, …, = АР- 3/2/Р, = =/P = 1.

Здесь Аk - коэффициенты полиномов Чебышева. Обратим внимание на то, что разница показателей степеней любых двух соседних чисел в квадратных скобках правой части (1.8) равна 3, тогда Р - 3/2 = = 3n1 + s, где s - число натуральное < 3, а R = P - 3/2 - 3i. Пусть Р = 6n + 1, тогда Р - 3/2 = (6n + 1 - 3)/2 = 3 (n - 1) + 2 = 3n1 + s, отсюда s = 2, а n1 = n - 1.

Пусть Р = 6n + 5, тогда Р - 3/2 = (6n + 5 - 3)/2 = 3n + 1 = 3n1 + s, отсюда s = 1, а n1 = n.

Доказательство. Доказательство будет аналогично доказательству теоремы 1.1.

Пусть ZX = V, (Z - X)2 = U, тогда (1.8) будет иметь вид

U P-3/2 + VUP-5/2 + V 2UP-7/2 +…+VР-5/2U + VP-3/2 =

= (U + V)P-3/2 + B1V 2U (U + V)P-9/2 + B2V 4U 2 (U + V) P-15/2 + …

…+ BiV 2iU i (U + V)R … Вn1V 2n1U n1(U + V)S. (1.9)

Покажем, что существуют такие целые числа В1, В2, …, Bi, ..., Вn1, что равенство (1.9) справедливо.

Пусть левая часть формулы (1.9) тождественно равна ее правой части, тогда их коэффициенты при подобных членах равны.

Чтобы сравнить коэффициенты (значит, найти Вi) при подобных членах левой и правой частей (1.9), воспользуемся табл. 2.

В строке 1 записаны биноминальные коэффициенты разложения бинома (U + V)P-3/2.

В строке 2 (начиная со столбца 3) записаны биноминальные коэффициенты разложения бинома (U + V)P-9/2, умноженные на число В1.

В строке 3 (начиная со столбца 5) записаны биноминальные коэффициенты разложения бинома (U + V)P-15/2, умноженные на число В2.

В строке n1 + 1 записаны биноминальные коэффициенты разложения последнего бинома (U + V)S, умноженные на число Вn1.

В последней строке табл. 2 записаны коэффициенты левой части (1.9).

В каждом столбце табл. 2 (до строки n1 + 1) записаны все коэффициенты подобных членов правой части (1.9). Это обстоятельство позволяет последовательно вычислять числа В1, В2, …, Вi, …, Bn1. суммируя коэффициенты столбца и приравнивая полученную сумму к , находим В1, далее, суммируя коэффициенты столбца 5 и приравнивая полученную сумму к , находим В2 и т. д.

Из столбца 3 следует, что + В1 = , отсюда В1 - число целое, так как и числа целые.

Из столбца 5 следует, что =, отсюда В2 - число целое, так как остальные числа этого равенства целые.

Из столбца 7 следует, что = , отсюда В3 число целое, так как остальные числа этого равенства целые, и т.д.

Из столбца (3 + 2i) следует, что число Вi+1 целое, так как числа В1, В2, …, Вi целые.

Обратим внимание, что в каждом последующем столбце (3 + 2i) числа В1, В2, …, Вi+1 целые, где i = 0, 1, 2, …, n1-1, а значит, из столбца 3 + 2(n1 - 1) следует, что Вn1 - число целое.

Таким образом, доказано, что существуют такие целые числа В1, В2, Bn1 и левая часть (1.9) тождественно равна правой части (1.9), а значит, и левая часть (1.8) тождественно равна правой части (1.8).

Запишем (1.8) для степени Р вида 6n + 1, принимая во внимание, что s = 2.

(Z - X)P-3 + ZX(Z - X)P-5 + Z 2X 2(Z - X)P-7 +…...+ ZP-5/2 XP-5/2(Z - X)2 + ZP-3/2XP-3/2 = (Z - X)2 + ZX2 W, (1.10)

где W = (Z - X)2 + ZX)P-7/2 + B1Z 2X 2(Z - X)2 (Z - X) + ZXP-13/2 + B2Z 4X 4(Z - X)4(Z - X)2 + ZX)P-19/2 + …+ Bi Z 2iX 2i (Z - X)2i (Z - X)2 + ZXR-2 + Bn1Z 2n1 X 2n1 (Z -X)2n1.

Следствие. Пусть X = - X0, а Z = Z0, где (X0, Z0) N +, тогда

(Z0 + X0)P-3 - Z0X0 (Z0 + X0)P-5+ (Z0 + X0)P-7 -…

...+ (-1)P-3/2 = (Z0 + X0)2 - Z0X02 W0, (1.11)

где W0 имеет форму многочлена W.

Таблица 2.Таблица коэффициентов

	1	2	3	4	5	6	7
1	1
2			B1
3					B2
4							B3
5
.
n1 + 1
	1
	8	…	3 + 2(n1- 1)	…	P-9/2	P-7/2	P-5/2	P-3/2	P-1/2
1		…	…	…					1
2		…	…	…				B1
3		…	…	…			B2
4		…	…	…		B3
5		…	…	…	B4
.			…	…
n1 + 1		…		…
		…	…	…					1

1.2 Основная теорема

Теорема: Неопределенное уравнение X P + Y P = Z P не имеет решений в натуральных числах, где P - простое число >3.

Доказательство ведем от противного.

Пусть существует решение неопределенного уравнения

X P + Y P = Z P (1.12)

в натуральных числах и пусть это решение примитивное, т.е.

(X, Y) = 1, (Z, X) = 1, (Z, Y) = 1. (1.13)

1.3 Основные обозначения и соотношения

Все вводимые ниже числа принадлежат N +.

Благодаря (1.12) и (1.13) одно из чисел (X, Y и Z) четное.

Пусть

d0 = НОД+(X + Y, Z) пусть X + Y = C0d0, (1.14)

а Z = 0d0, (1.15)

где (0, С0) = 1; (1.16)

d1 = НОД+(Z - X, Y) пусть Z - X = C1d1, (1.17)

а Y = 1d1, (1.18)

где (1, C1) = 1; (1.19)

d2 = НОД+(Z - Y, X) пусть Z - Y = C2d2, (1.20)

а X = 2d2, (1.21)

где (2, С2) = 1. (1.22)

Благодаря (1.13) (d0, d1) = 1, (d0, d2) = 1 и (d2, d1) = 1.

Запишем трехчлен (X + Y - Z) в трех формах и, учитывая (1.14) и (1.15), (1.17) и (1.18), (1.20) и (1.21), получим соответственно:

(X + Y) - Z = C0d0 - 0d0 = d0(C0 - 0), (1.23)

Y - (Z - X) = 1d1 - C1d1 = d1(1 - C1), (1.24)

X - (Z - Y) = 2d2 - C2d2 = d2(2 - C2). (1.25)

С учетом условия п. 1.3.3 и равенств (1.23), (1.24) и (1.25) будет справедливо равенство и сравнение

X + Y - Z = Kd0d1d2, X + Y - Z 0 mod K (1.26)

где K 3 (докажем ниже).

Решая совместно (1.26) и (1.23), (1.26) и (1.24), (1.26) и (1.25), получим соответственно:

С0 - 0 = Kd1d2, (1.27)

1 - C1 = Kd0d2, (1.28)

2 - C2 = Kd0d1. (1.29)

Из равенства (1.27) с учетом условия (1.16) следует, что (0,K) =1 и (C0,K) = 1, но тогда и (Z,K) = 1.

Из равенства (1.28) с учетом условия (1.19) следует, что (1,K) =1 и (C1,K) = 1, но тогда и (Y,K) = 1.

Из равенства (1.29) с учетом условия (1.21) следует, что (2,K) =1 и (C2,K) = 1, но тогда и (X,K) = 1.

Так как число K попарно взаимно простое с числами X, Y и Z, а одно из этих чисел четное (п.1.3.1.), то K - число нечетное.

В дальнейшем мы будем использовать числа K и K2 в качестве модулей вспомогательных сравнений, для чего ниже будет дано углубленное представление об числе K.

1.4 Формулы Абеля в наших обозначениях и их связь с другими установленными соотношениями

Для 1-го случая Проблемы Ферма (далее ПФ), т.е. когда (X, P) = 1, (Z, P) = 1, (Y, P) = 1, формулы Абеля и основные соотношения(1.3.2) будут связаны соответственно:

X + Y = =C0d0, отсюда С0=, (1.30)

Z - X = = C1d1, отсюда С1 = , (1.31)

Z - Y = = C2d2, отсюда C2 = ; (1.32)

X P-1 - X P-2 Y + …- XY P-2 + Y P-1 = , (1.33)

Z P-1 + Z P-2 X + …+ ZX P-2 + X P-1 = , (1.34)

Z P-1 + Z P-2 Y +…+ ZY P-2 + Y P-1 = . (1.35)

Для 2-го случая ПФ ограничимся вариантом, когда

(Z, P) = P, (X, P) = 1, (Y, P) = 1, в этом случае формулы Абеля и основные соотношения (1.3.2) будут связаны соответственно:

X + Y = /P = C0d0,

C0 = d0P -1/P, (1.36)

Левые части формул Абеля (1.33),(1.34),(1.35) и (1.37), запишем с учетом (1.7) и (1.6) - теоремы 1.1., , а также с учетом (1.11) теоремы 1.2.вынося PXY за квадратные скобки:

С учетом теоремы 1.1.

(X + Y)P-1 - PXY (X + Y)P-3 +XY(X +Y)P-5 +…+(-1)P-5/2 X P-5/2 Y P-5/2 (X + Y)2 + (-1)P-3/2X P-3/2Y P-3/2 = для (1.33), (1.38)

(Z - X)P-1 + PZX (Z - X)P-3 + ZX(Z - X)P-5 Z P-5/2 X P-5/2 (Z - X )2 + Z P-3/2 X P-3/2 = для (1.34), (1.39)

(Z - Y)P-1 + PZY (Z - Y)P-3 +ZY(Z - Y)P-5 +…Z P-5/2 Y P-5/2 (Z - Y)2 + ZP-3/2Y P-3/2 = для (1.35), (1.40)

(X + Y)P-1 - PXY (X + Y)P-3 - XY(X +Y)P-5 + -1)P-5/2 X P-5/2 Y P-5/2 (X + Y)2 + (-1)P-3/2X P-3/2Y P-3/2 = P для (1.37), (1.41)

(X + Y)P -1 - PXY (X + Y)2 - XYS = для (1.33); (1.42)

(X + Y)P -1 - PXY (X + Y)2 - XYS = для (1.37), (1.43)

(Z - X)P -1 +PZX (Z - X)2 + ZXSW11 = 1P для (1.34);

(Z - Y)P -1 + PZY (Z - Y)2 + ZYSW21= 2P для (1.35);

А принимая во внимание, что с учетом(1.30) и (1.36) степень

(X + Y)P -1 = (C0d0)P -1 =C0P - для 1- го случая ПФ и

(X + Y)P -1 = (C0d0)P -1 = PC0P - для 2 -го случая ПФ.

Тогда последние равенства для формул Абеля (1.33) и (1.37) будут:

C0P- PXY (X + Y)2 - XYS = для (1.33),

PC0P- PXY (X + Y)2 - XYS = для (1.37),

из которых следуют для (1.33), PXY (X + Y)2 - XYS = C0P - 0P, (1.44)

для (1.37), PXY (X + Y)2 - XYS = P(C0P - 0P),

а после сокращения на P

XY (X + Y)2 - XYS = (C0P - 0P), (1.45)

где соответствует W0 и W11, W21соответствуют W cм. (1.11) теоремы 1.2., а

s = 1 для P вида 6n + 5,

s = 2 для P вида 6n + 1.

Таким образом мы установили связь формул Абеля и полученных нами соотношений.

Далее о модуле K, а затем используя вспомогательные числа и вспомогательные сравнения по модулю K, доказательство того, что

(X + Y)2 - XY 0 mod K, (Z - X)2 + ZX 0 mod K, (Z - Y)2 + ZY 0 mod K.

Модуль K

Дальнейшие рассуждения требуют расширенного представления о модуле K.

Ниже покажем:

---- что для 1-го случая ПФ модуль K =P2;

---- что для 2-го случая ПФ модуль K >3; ----- что для 2-го случая ПФ имеет место (K,P) = 1;

---- что простые числа вида 6n + 5, не могут быть делителями K (см. в разделе 1.7.);

--- что числа 3, где > 1, не могут быть делителями K (см.в разделе1.7.).

а) Для доказательства того, что K = P2 для 1-го случая ПФ,

из равенств (1.38), (1.39) и (1.40) находим, что

(X + Y)P -1 0P mod P,

(Z - X)P -1 1P mod P,

(Z - Y)P -1 0P mod P, тогда благодаря Малой теореме Ферма имеем

0P 1 mod P, 0P 1 mod P2, 0 = 0P + 1,

1P 1 mod P, 1P 1 mod P2, 1 = 1P + 1,

2P 1 mod P, 2P 1 mod P2, 2 = 2P + 1.

Очевидно, что XP + YP - ZP 0 mod P2

Тогда, с учетом последних сравнений и равенств (1.15), (.18) и (1.21) имеем

2Рd2P + 1PdP - 0Pd0P .d0P - d2P -d1P 0 mod P2. (1.46)

Но левая часть последнего сравнения с учетом (1.14), (1.17) и (1.20), а также равенства (1.26) будет

d0P - d2P -d1P = (X + Y) - (Z - Y) - (Z - X) = 2 (X + Y - Z) = 2Kd0d1d2 0 mod P2

K = P2, что и т.д. (1.47)

в) Модуль K > 3.

Это условие докажем для двух вариантов 2-го случая, а именно:

---для варианта 1, когда (Z,P) =P, а (X,P) = 1 и (Y,P) =1;

---для варианта 2, когда (Z,P) = 1, а (X,P) = P и (Y,P) = 1.

Вариант, когда (Z,P) =1, (X,P) =1 и (Y,P) = P рассматривать не будем ввиду его полной аналогии с вариантом 2.

Доказательство того, что K >3 для варианта 1.

Пусть для определенности (для вариантов 1 и 2)

Z > X > Y (1.48)

Из неравенств P(X + Y) .> Z - Y > Z - X, и с учетом (1.36) имеем

d0P > d2P >d1P, отсюда d0 > d2 > d1.

Составим алгебраическую сумму (X + Y) - (Z - Y) - (Z - X) = 2(X + Y - Z и умножим правую и левую части полученного равенства на P получим P(X + Y) - P(Z - Y) - P(Z - X) = 2P(X + Y - Z), тогда благодаря равенствам (1.36) и (1.26) имеем d0P - Pd2P - Pd1P = 2PKd0d1d2 d0P = Pd2P + Pd1P + 2PKd0d1d2. Разделим левую часть и последнее слагаемое правой части полученного равенства на d0 получим очевидное неравенство d0P-1 < Pd2P + Pd1P + 2PKd1d2. (в1)

Выразим d0 через числа d1 и d2 для чего из равенства (1.28) вычтем равенство (1.29) и учитывая равенства (1.31) и (1.32) получим 1 - 2 + d2P-1 - d1P-1 = 1 - 2 + (d2 - d1)(d2 + d1) = Kd0 (d2 - d1), (в2) где = .d2P-3 + d2P-5d12 + …..+ d22d1P-4 + d1P-3. Обозначим (для P =5) как min = d22 + d12. Из (1.34), (1.35) с учетом условия (1.48) имеем 1 - 2 > 0. В п.1.4.4.(а) найдено, что 1 = 1P +1 и 2 = 2P + 1, тогда 1 - 2 = P(1 - 2).

Пусть K = 3, тогда из равенства (в2) имеем d0 = (1 - 2)/3( d2 - d1) + (d2 + d1)/3 = P(1 - 2)/3( d2 - d1) + (d2 + d1)/3

Будем минимизировать d0, приняв d2 + d1 = 3, = min и (1 - 2) =3( d2 - d1) и, учитывая, что (d2 - d1, P) = 1** получим d0 = P + min = P + (d22 + d12). (в3) ** Если(d2 - d1, P) = P, то (X - Y, P) =P, но из (1.36) следует, что (X + Y,P) = P, тогда после сложения X - Y и X + Y получим (2X,P) = P, что противоречит варианту 1.

Неравенство (в1) с учетом (в3) будет

P + (d22 + d12)P-1 < Pd2P + Pd1P + 2P3d1d2 (в4) PP-1 + (P -1)PP-2(d22 + d12) + ….+ (d22 + d12)P-1< Pd2P + Pd1P + 2P3d1d2. Далее при доказательстве будем минимизировать P + (d22 + d12)P-1 отбрасывая часть членов разложения.

Покажем, что 3-и члена разложения бинома (d22 + d12)P-1 > Pd2P + Pd1P. Так (d22 + d12)P-1 = (d22)P- 1 + (P - 1) (d22)P- 2d12 + …..+ (d12)P - 1 > Pd2P + Pd1P.

Одно слагаемое левой части разложения (d22)P- 1 = d2Pd2P - 2 > Pd2P d2P - 2> P, это неравенство справедливо для d2 2 (d2 не может равняться 1, так как d2 >d1). Пусть d2 =2, тогда 2P - 2 = (1 + 1)P -2 = 1 + P - 2 + (P - 2)(P -3)/2 + ……+ P - 2 + 1 = = P + (P - 2)(P - 3)/2 + ……+ P - 2 > P (P - 2)(P - 3)/2 + ……+ P - 2 > 0, что и подтверждает наше утверждение.

Предпоследние два слагаемых разложения бинома (d22 + d12)P-1 а именно: (P - 1) (d22)P- 2d12 + (d12)P -1 > Pd1P.

Для d1 2 имеем (d12)P- 1= d1Pd1P - 2> Pd1P d1P - 2 P, . доказательство аналогичное вышеприведенному для (d22)P- 1.

Для d1 =1 имеем (P - 1) (d22)P- 2d12 + (d12)P -1 = (P - 1) (d22)P- 2 + 1 > P, это неравенство справедливо, т.к. доказано, что (d22)P- 2 > P .

Таким образом, мы показали, что

(d22 + d12)P-1 > Pd2P + Pd1P.

Теперь покажем, что второе слагаемое разложения P + (d22 + d12)P-1, а именно (P -1)PP-2(d22 + d12) > 2P3d1d2 =6Pd1d2

Сократим правую и левую части неравенства на P и, принимая во внимание, что d22 +d12 > d1d2, так как d2 > d1 получим (P - 1)PP - 3 > 6, полученное неравенство справедливо для любых P > 3.

Нами показано, что несмотря на минимизацию d0 и d0P - 1, которая должна усиливать неравенство (в4), получили обратный результат

d0P-1 > Pd2P + Pd1P + 2P3d1d. (в5)

Пришли к противоречию с одной стороны

d0P-1 < Pd2P + Pd1P + 2P3d1d., а с другой стороны d0P-1 > Pd2P + Pd1P + 2P3d1d. (в.5)

Вывод: так как число K нечетное и не равно 3(тем более 1), то K >3, что и требовалось доказать для варианта 1.

.(г). Доказательство того, что K> 3 для вариант 2, когда

(X,P) = P, (Z,P) =1 и (Y,P) = 1.

(г.1) Выпишем часть формул Абеля для этого варианта.

X + Y = d0P = C0d0,

C0 = d0P -1,

Z - X = d1P = C1d1,

C1 = d1P -1,

Z - Y = d2P/P = C2d2,

C2 = d2P -1/P.

Найдем иные соотношения, которые будем использовать в дальнейших рассуждениях

Из равенства 2 (X + Y - Z) = (X + Y) - (Z - Y) - (Z - X) = 2Kd0d1d2 с учетом (г.1) получим

d0P - d2P/P - d1P = 2 Kd0d1d2, отсюда

d0P - d1P 0 mod P, а значит и d0P - d1P 0 mod P2 и d0 - d1 0 mod P, где d0 > P.

Пусть K =3.

Чтобы получить противоречие (для K =3) сложим равенства (1.27) и (1.28) и с учетом (г.1) имеем

d0P- 1 - d1P -1 + 2 - 0 = 3d3(d0 + d1) 3d3 = (d0 - d1)(d0P -3 + d0P -5d12 + …+ d02 d1P - 5 + d1P -3) + + (2 - 0)/(d0 + d1). Это равенство не справедливо. Минимизируем правую часть полученного равенства, для чего принимаем d0 - d1 =P, отбросим слагаемое (2 - 0)/(d0 + d1), а также принимаем P = 5, тогда 3d3 > P(d02 + d12), но и это неравенство несправедливо, так как P > 3, а d02 > d3, что следует из неравенства P(X + Y) > P(Z - Y), которое с учетом (г.1) будет Pd0P > d3P, но d02P > Pd0P , тогда d02P > d3P, отсюда после извлечения корня P-степени из правой и левой части неравенства получим d02 > d3, что и требовалось доказать.

Таким образом мы пришли к противоречию с одной стороны 3d3 > P(d02 + d12), с другой стороны

3d3 < P(d02 + d12).

Вывод: так как число K нечетное и не равно 3(тем более 1), то K >3, что и требовалось доказать для варианта 2, а по аналогии и для варианта, когда (Y,P)=P, (X,P) =1 и (Z,P) =1.

б) (K,P) = 1 для 2- го случая ПФ

Для второго случая только одно из чисел X, Y, Z кратно Р, а значит, только одно из чисел С0, С1 и С2 кратно Р (см., как пример, (1.36)). Пусть для определенности (С1,P) = P, тогда левая часть равенств (1.28), не будет делиться на Р, так как (1,C1) =1 , а значит, и правая часть этого равенства, содержащая множителем число K, не будет делиться на Р, а это значит, что для второго случая ПФ

(K, Р) = 1. (1.49)

1.5 Вспомогательные числа и вспомогательные сравнения

Пусть 1, 2, …, ri, …, mi, ..., i, …, K - 1 - приведенная система наименьших, натуральных вычетов по модулю K. Тогда, очевидно, существуют такие числа r1, r2, r3, m1, m2, m3 и 1, 2 и 3, принадлежащие этой системе, что

r1Z - X 0 mod K или r1Z X mod K, (1.50)

Z - r2Y 0 mod K или r2Y Z mod K, (1.51)

r3X + Y 0 mod K или r3X -Y mod K, (1.52)

Z - m1X 0 mod K, (1.53)

m2Z - Y 0 mod K, (1.54)

X + m3Y 0 mod K, (1.55)

Z 2 - 1XY 0 mod K, (1.56)

Y 2 + 2ZX 0 mod K, (1.57)

X 2 + 3ZY 0 mod K. (1.58)

Умножая сравнения (1.50)-(1.52), получим

r1r2r3ZXY - ZXY mod K,

отсюда

r1r2r3 -1 mod K. (1.59)

Cложим сравнение (1.50) и (1.51) и, учитывая (1.26), получим

r1Z - X + Z - r2Y r1Z + (Z - X) - r2Y r1Z + Y - r2Y

r1Z - Y(r2 - 1) 0 mod K,

а учитывая, что Z r2Y mod K (cм. (1.51)), получим

r1r2Y - Y(r2 - 1) 0 mod K,

отсюда

r1r2 - r2 + 1 0 mod K r1r2 r2 - 1 mod K. (1.60)

Умножая сравнение (1.60) на r3 и учитывая (1.59), получим

r2r3 - r3 + 1 0 mod K r2r3 r3 - 1 mod K. (1.61)

Умножая (1.61) на r1 и учитывая (1.59), получим

r1r3 - r1 + 1 0 mod K r1r3 r1 - 1 mod K. (1.62)

Из сравнений (1.50) и (1.53) получим

r1m1 1 mod K, (1.63)

а из сравнений (1.51), (1.54) и (1.52),(1.55) получим соответственно

r2m2 1 mod K, (1.64)

r3m3 1mod K. (1.65)

Сложим сравнения (1.50) и (1.55) и, учитывая (1.51) и (1.60), получим

r1Z - X + X + m3Y r1r2Y + m3Y Y (r2 - 1 + m3) 0 mod K

m3 1 - r2 mod K. (1.66)

Cложим сравнения (1.52) и (1.54) и, учитывая (1.50) и (1.62), получим

m2Z - Y + r3X + Y m2Z + r3r1Z Z(m2 + r3r1) Z(m2 +r1 - 1) 0 mod K, m2 1 - r1 mod K. (1.67)

Из сравнения (1.51) вычтем сравнение (1.53) и, учитывая (1.52) и (1.61), получим

Z - r2Y - Z + m1X m1X - r2(-r3X) X(m1 + r2r3)

X(m1 + r3 - 1) 0 mod K m1 1 - r3 mod K. (1.68)

Решая совместно сравнения (1.56) и (1.50) и принимая во внимание сравнение (1.51), получим

Z 2 - 1XY Z 2 - 1r1ZY Z(Z - 1r1Y) Z(r2Y - 1r1Y)

ZY(r2 - 1r1) 0 mod K 1r1 r2 mod K. (1.69)

Решая совместно сравнения (1.57) и (1.51) и принимая во внимание (1.52), получим

Y 2 + 2ZX Y 2 + 2r2YX Y(Y + 2r2X) Y(-r3X + 2r2X) XY(2r2 - r3) 0 mod K 2r2 r3 mod K. (1.70)

Решая совместно сравнения (1.58) и (1.52) и принимая во внимание (1.50), получим

X 2 + 3ZY X2 + 3Z(-r3X) X(X - 3r3Z) X(r1Z - 3r3Z) ZX(r1 - 3r3) 0 mod K, 3r3 r1 mod K. (1.71)

Из сравнения (1.69) вычтем сравнение (1.63) и, принимая во внимание (1.60), получим

1r1 - m1r1 r2 - 1 r1r2 mod K,

отсюда, сокращая на r1, получим 1 - m1 r2 mod K, а с учетом (1.68) имеем

1 r2 + m1 r2 + 1 - r3 mod K,

отсюда, так как 1, r2 и r3 меньше K, получим

1 = r2 - r3 + 1. (1.72)

Из сравнения (1.70) вычтем сравнение (1.64) и, принимая во внимание (1.61), получим

2r2 - m2r2 r3 - 1 r2r3 mod K,

отсюда, сокращая на r2, получим 2 - m2 r3 mod K, а с учетом (1.67) имеем

2 r3 + m2 r3 + 1 - r1 mod K,

отсюда, так как 2, r3 и r1 меньше K, получим

2 = r3 - r1 + 1. (1.73)

Из сравнения (1.71) вычтем сравнение (1.65) и, принимая во внимание (1.62), получим

3r3 - m3r3 r1 - 1 r1r3 mod K,

отсюда, сокращая на r3, получим 3 - m3 r1 mod K, а с учетом (1.66) имеем

3 r1 + m3 r1 + 1 - r2 mod K,

отсюда, так как 3, r1 и r2 меньше K, имеем

3 = r1 - r2 + 1. (1.74)

1.5.6. Проведем анализ равенств, полученных в п. 1.5.5.

Из равенства (1.72) следует, что

а) r2 r3,

тогда сложим равенства (1.73) и (1.74):

2 +3 = r3 - r1 + 1 + r1 - r2 + 1 = r3 - r2 + 2,

отсюда, так как числа 2 и 3 натуральные, следует, что

б) r3 r2.

отношения а) и б) возможны только при условии, что

r2 = r3. (1.75)

Из равенства (1.73) следует, что

в) r3 r1,

тогда сложим равенства (1.72) и (1.74):

1 + 3 = r2 - r3 + 1 + r1 - r2 + 1 = r1 - r3 + 2,

отсюда, так как числа 1 и 3 натуральные, следует, что

г) r1 r3,

отношения в) и г) возможны только при условии, что

r1 = r3. (1.76)

Благодаря равенствам (1.75) и (1.76) имеем равенство чисел r1, r2 и r3, тогда

r1 = r2 = r3 = r. (1.77)

Из равенств (1.72)-(1.74) с учетом равенств (1.77) следует, что

1 = 1, 2 = 1 и 3 = 1. (1.78)

Благодаря (1.77) сравнения (1.60)-(1.62) примут вид

r2 - r + 1 0 mod K, (1.79)

а сравнение (1.59) будет выглядеть следующим образом:

r3 -1 mod K. (1.80)

Благодаря (1.78) сравнения (1.56)-(1.58) примут вид

Z 2 - XY 0 mod K,

Y 2 + ZX 0 mod K,

X 2 + ZY 0 mod K,

а с учетом (1.26) -

(X + Y)2 - XY 0 mod K, (1.81)

(Z - X)2 + ZX 0 mod K, (1.82)

(Z - Y)2 + ZY 0 mod K. (1.83)

1.6 Противоречия сравнений и равенств

Противоречие 1

Все сравнения по модулю K, в том числе и (1.79) и (1.80), будут справедливы для любого простого делителя, принадлежащего числу K. Для первого случая ПФ благодаря (1.49) таким простым делителем, принадлежащим K, будет число Р, тогда сравнения (1.79) и (1.80) по модулю Р будут соответственно

r2 - r + 1 0 mod P, (1.84)

r3 -1 mod P. (1.85)

Благодаря Малой теореме Ферма имеем

r P-1 - 1 0 mod P. (1.86)

Пусть Р = 6n + 5, тогда сравнение (1.86) с учетом сравнения (1.85) будет выглядеть следующим образом:

r 6n + 5 - 1 - 1 = r 6n+ 4 - 1 = (r3)2n + 1r - 1 (-1)2n + 1r - 1 0 mod P,

отсюда r - 1 mod P, тогда с учетом этого сравнения (1.50) и (1.51) будет иметь вид (-1)Z X mod P , Z (-1)Y 0 mod P. Тогда после вычитания сравнений получим

- 2Z X + Y mod P с учетом (1.26) 3Z 0 mod P, что невозможно, так как (Z,K) =1 и Р = 6n + 5 > 3. Пришли к противоречию .

Первый случай ПФ для простых показателей вида 6n + 5 доказан.

Противоречие 2

Сравним равенства (1.44) и (1.45) по модулю K 2 с учетом сравнения (1.81). для P вида 6n + 1 (S = 2). Очевидно, что левые части равенств (1.44) и (1.45) сравнимы с нулем по модулю K 2, т.е.

РXY (X + Y)2 - XY2 0 mod K 2, XY (X + Y)2 - XY2 0 mod K 2, тогда и правые части равенств (1.44) и (1.45) должны быть сравнимы с нулем по модулю K 2, т.е.

0 mod K2.

Разложим левую часть полученного сравнения, воспользовавшись теоремой 1.1, получим

- = (С0 - 0)P + PC00(C0 - 0)P-2 + … AP-3/2 (C0 - 0)3 + (C0 - 0) 0 mod K2.

Из (1.27) следует, что С0 - 0 0 mod K, учитывая это, отбросим все слагаемые полученного разложения, содержащие множитель (С0 - 0)i, где i 3, получим (C0 - 0) 0 mod K 2,

отсюда с учетом (1.27) d1d2 0 mod K, что невозможно, так как ни один простой делитель числа K, не принадлежит ни С0, ни 0 , ни d1.ни d2 (см. 1.3.6.). Число Р, также не может делиться на K, так как для первого случая ПФ K кратно Р2 (1.47), а для второго случая (K, Р) = 1 см. (1.49).

Пришли к противоречию: левые части (1.44) и (1.45) делятся на K 2, а правые их части не делятся на K 2.

Проблема Ферма (первый и второй случаи) для всех простых показателей Р = 6n + 1 доказана.

1.7 Второй случай ПФ для простых показателей вида 6n + 5

В это разделе в качестве модулей будем использовать числа K и K2.

Расширим представление о модуле K еще двумя свойствами:

(д). Простые числа вида 6n + 5 не принадлежат к делителям K.

Пусть простое число P1= 6n + 5 является делителем K.

Тогда благодаря (1.80) имеем r3 - 1 mod P1, но и rP1 -1 (r3)2n + 1r 1 mod P1 (-1)2n +1 r 1 mod P1 r - 1 mod P1.

Тогда сравнения (1.50) и (1.51) примут вид

(-1)Z X mod P1 Z + X 0 mod P1,

Z (-1)Y mod P1 Z + Y 0 mod P1.

После сложения полученных сравнений с учетом того, что благодаря (1.26) X + Y Z mod P1 имеем 3Z 0 mod P1, что не возможно, так как P1 > 3 и (Z,P) =1. Пришли к противоречию, а значить простые числа вида 6n + 5 не могут быть делителями K.

(е). Числа 3, где > 1, не принадлежит к делителям K.

Пусть 32 = 9 является делителем модуля K, тогда из (1.80) следует

r3 - 1 mod 9. Этому сравнению удовлетворяют, из приведенной системы наименьшие натуральные вычеты по модулю 9, следующие числа: 2, 5 и 8 , так 23 + 1=9 0 mod 9, 53 + 1= 126 0 mod 9, 83 + 1 = 513 0 mod 9

Но и XP + YP - ZP 0 mod 9

Последнее сравнение с учетом сравнений (1.50), (1.51) и (1.52) будет

rPZP + (-rPXP) - ZP rPZP + (-rPrPZP) - ZP 0 mod 9 rP - r2P - 1 0 mod 9,

Сравним каждое слагаемое левой части полученного сравнения по модулю 9, так

rP = r6n +5 = (r3)2n + 1r2 (-1)2n + 1r2 - r2 mod 9,

r2P = r2 (6n +5) = (r3)4n + 3r (-1)4n + 3r - r mod 9, тогда

rP - r2P - 1 (-r2) - (-r) - 1 r2 -r + 1 0 mod 9, (е.1)

Ни один вычет (2,5 и 8) не удовлетворяет сравнению (е.1) так:

22 - 2 + 1 3 0 mod 9, что не возможно.

52 - 5 + 1 21 0 mod 9, что не возможно,

82 - 8 + 1 57 0 mod 9, что не возможно.

Тем самым мы доказали, что числа 3 где > 1 не могут быть делителями модуля K.

Из найденных свойств модуля K следует, что простыми делителями его могут быть только числа вида 6n + 1 и число 3. Тогда функция Эйлера (K) будет иметь множитель 6 и среди натуральных вычетов найдутся числа принадлежащие 6 по модулю K и таких чисел будет (6) = 2. 1

Для доказательства 2-го случая ПФ для простых показателей вида 6n + 5 составим три начальных сравнения по модулю K2, используя наименьшие

натуральные вычеты, приведенной системы по модулю K2 и числа X,Y и Z.

r1Z X mod K2, r2Y Z mod K2, r3X -Y mod K2.

Перемножим левые, и правые части полученных сравнений получим r1 r2 r3ZYX - ZYX mod K2 , отсюда r1 r2 r3 - 1mod K2.

Перемножим первое и второе, первое и третье сравнения так

r1Z2 r2XY mod K2, r3X2 - r1ZY mod K2.

Благодаря сравнениям . Z2 - XY 0 mod K и X2 + ZY 0 mod K, из полученных сравнений следует, что r1 r2 mod K, r1 r3 mod K, а значит и

r2 r3 mod K, тогда

r1 = 1K + , r2 = 2K + , r3 = 3K + , где (1, 2, 3) K. C учетом этого r1 r2 r3 3 -1 mod K, а значит число принадлежит показателю 6 по модулю K (6 1 mod K), но таких чисел может быть только (6) = (2)(3) = 2 и они нами найдены это число r и (K + 1 - r), поэтому число = r или = (K +1 - r).

Пусть для определенности = r.(

Учитывая, то что 3 + 1 ( + 1)(2 - + 1) r3 + 1 (r + 1)( r2 - r + 1) 0 mod K, то будут справедливы сравнения:

r13 + 1 (r1 + 1) (r12 - r1 + 1) 0 mod K, r23 + 1 (r2 + 1)(r22 - r2 + 1) 0 mod K, r33 + 1 (r1+ 1)(r32 - r3 + 1 0 mod K.

Так как ни r1,ни r2, ни r3 не могут быть сравнимы с (-1) по модулю K в противном случае r -1mod K, противоречивость этого сравнения, показана в п. (д) раздела 1.7., то имеем:

r12 - r1 + 1 0 mod K,

r22 - r2 + 1 0 mod K, r32 - r3 + 1 0 mod K, а благодаря этим сравнениям будут справедливы и нижеследующие сравнения

r12P - r1P + 1 r12 - r1 + 1 0 mod K, (1)

r22P - r2P + 1 r22 - r2 + 1 0 mod K, (2) r32P - r3P + 1 r32 - r3 + 1 0 mod K, так как (3)

так как:

r12P r12(6n + 5) (r13)4n + 3r1 (-1)4n + 3r1 - r1 mod K,

r1P r16n + 5 (r13)2n + 1r12 (-1)2n + 1r12 - r12 mod K,

r22P r22(6n + 5) (r23)4n + 3r2 (-1)4n + 3r2 - r2 mod K,

r2P r26n + 5 (r23)2n + 1r22 (-1)2n + 1r22 - r22 mod K,

r32P r32(6n + 5) (r33)4n + 3r3 (-1)4n + 3r3 - r3 mod K ,

r3P r36n + 5 (r33)2n + 1r32 (-1)2n + 1r32 - r32 mod K.

Введем еще три сравнения по модулю K2.

Очевидно XP + YP - ZP 0 mod K2, тогда с учетом 3-х начальных сравнений имеем

r1PZP + YP - r2PYP r1P r2P YP - r2PYP + YP 0 mod K2, так как (Y,K) =1, то

r1P r2P - r2P + 1 0 mod K2

r1P r2P r2P - 1 mod K2. (4)

XP +(-r3PXP) - r2P(- r3PXP) XP(1 - r3P + r2P r3P) 0 mod K2 , так как (X,K) =1,то r2P r3P - r3P +1 mod K2 r2P r3P r3P - 1 mod K2. (5)

r1PZP + (-r3PXP) - ZP r1PZP + (-r3Pr1PZP) - ZP ZP(r1P + (-r3Pr1P) - 1) 0 mod K2, так как (Z, K) = 1, то r3Pr1P - r1P + 1 0 mod K2 r3Pr1P r1P - 1 mod K2 (6)

Поиск противоречий

Перемножим сравнения (1) и (2), а так же сравнения(1) и (3)

(r12P - r1P + 1)( r22P - r2P + 1) 0 mod K2, (7) (r12P - r1P + 1)( r32P - r3P + 1) 0 mod K2. (8)

1.7.2. После раскрытия скобок сравнения (7) с учетом сравнения (4)

получим

r12P r22P - r12P r2P + r12P - r1Pr22P + r1Pr2P - r1P + r12P - r1P + 1 (r2P - 1)2 - r1P(r2P - 1) - r2P(r2P - 1) + (r2P - 1) + 2r12P - 2 r1P +1 (r2P - 1)( r2P - 1 - r1P - r2P + 1) +2r12P - 2r1P + + 1 - r1P(r2P - 1) +2r12P - 2r1P +1 0 mod K2. (9)

После раскрытия скобок сравнения (8) с учетом сравнения (6)

Получим

- r1P(r3P - 1) +2r12P - 2r1P +1 0 mod K2. (10)

Из сравнения (9) вычтем сравнение (10) получим

r1P(r2P - 1) + r1P(r3P - 1) r1P(r3P - r2P) 0 mod K2,так как (r1P,K2) = 1, то r3P - r2P 0 mod K2, r2P r3P mod K2, (11) тогда из (5) следует, что (а) r2Pr2P r2P - 1 mod K2, а из (4) имеем

(б) r1P r2P r2P - 1 mod K2.

Из сравнения (а) вычтем сравнение (б) и принимая во внимание, что (r2P, K2) =1 получим

r2P r1P mod K2

Таким образом, с учетом (11)имеем

r1P r2P r3P mod K2, теперь докажем, что

r1 = r2 = r3

Воспользуемся результатами для r1, r2 и r3 и, отбрасывая в разложении биномов числа кратные K2, получим сравнения:

r1P = (1K + )P (P1KP-1 + P) mod K2,

r2P = (2K + )P (P2KP-1 + P) mod K2, r3P = (2K + )P (P3K P-1 + P) mod K2

Отсюда

r1P - r2P P1KP-1 - P2KP-1 PKP-1(1 - 2) 0 mod K2,

r1P- r3P P1KP-1 - P3KP-1 PKP-1(1 - 3) 0 mod K2,

r2P- r3P P2KP-1 - P3KP-1 PKP-1(2 - 3) 0 mod K2.

Так как для 2-го случая ПФ справедливо условие (P, K) = 1, то

1 - 2 0 mod K,

1 - 3 0 mod K,

2 - 3 0 mod K, отсюда с учетом условия (1, 2 и 3) < K получим

1 = 2 = 3. Пусть 1 = 2 = 3 = 0, тогда

r1 = 0K + ,

r2 = 0K + ,

r3 = 0K + , а значит

r1 = r2 = r3, что и требовалось доказать.

Пусть r1 = r2 = r3= r0, тогда из

r1r2r3 = r03 - 1 mod K2 r03 + 1 (r0 + 1)( r02 - r0 + 1) 0 mod K2.

Одно из множителей левой части полученного сравнения должно делиться на K2

Пусть r0 + 1 0 mod K2 r0 -1 mod K2, тогда из (4) следует

r0Pr0P r0P - 1mod K2 (-1)P(-1)P 1 (-1)P - 1 mod K2 3 0 mod K2, что не возможно так как модуль K > 3.

Следовательно, множитель r0 + 1 не может делиться на K2.

Тогда r02 - r0 + 1 0 mod K2.

Сравним трехчлен X + Y -Z по модулю K2.

Пусть X + Y -Z 0 mod K2, тогда с учетом начальных сравнений имеем

r0Z + (-r0X) - Z r0Z +(-r0r0Z) - Z - Z( r02 - r0 + 1) 0 mod K2, отсюда левая часть полученного сравнения делиться на K2, тогда и 0 должно делиться на K2, т.е.

0 0 mod K2, а это значит, что

X + Y - Z 0 0 mod K2, но

X + Y - Z = K d0d1d2, тогда Kd0d1d2 0 mod K2 d0d1d2 0 mod K, что не возможно так как (d0,K) =1, (d1,K) =1, (d2,K) =1.

Пришли к противоречию.2-ой случай ПФ для простых показателей P вида 6n + 5 доказан.

Используя элементарные алгебраические преобразования многочленов и, метод сравнения чисел по модулю, удалось доказать справедливость Утверждения Пьера Ферма для всех простых показателей > 3.

Известно, что Леонард Эйлер нашел решение ПФ для простого показателя Р =3.

Предложенная в настоящей работе методика позволяет решить1-ый случай ПФ для P =3.

Так очевидное сравнение X3 + Y3 - Z3 0 mod K после преобразования левой части примет вид (X + Y - Z)3 + 3Z(X + Y)(X + Y - Z) - 3XY(X + Y) 0 mod K 3XY(X + Y) 0 mod K.

Так как для 1-го случая K = P2 = 32, то полученное сравнение невозможно и тем самым 1-ый случай ПФ доказан.

Для 2-го случая необходимо доказать, что K > 1, что автору сделать не удалось.

Библиографический список

1. Виноградов И.М. Основы теории чисел. - М.: Наука, 1973.

2. Депман И.Я. История арифметики. - М.: Просвещение, 1965.

3. Ляпин Е.С., Евсеев А.Е. Алгебра и теория чисел. - М.: Просвещение, 1974. - Ч. 1.

4. Ожигова Е.П. Что такое теория чисел. - М.: Знание, 1970.

5. Постников М.М. Введение в теорию алгебраических чисел. - М.: Наука, 1982.

6. Постников М.М. Теорема Ферма. - М.: Наука, 1978.