Утверждение великого французского математика Пьера Ферма, получившее название "Великая теорема Ферма". Элементарные алгебраические преобразования многочленов. Коэффициенты полиномов Чебышева и формулы Абеля. Система наименьших вычетов по модулю K.
Краткое сожержание материала:

Проблема Ферма для простых показателей > 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						.	.	.	.	…
.						.	.	.	.