О последней теореме Ферма
Бугрий Виталий Андреевич,
Ведущие математики всего мира утверждали, что элементарное доказательство Последней теоремы Ферма во-первых не существует, во-вторых не будет иметь никакого значения для науки. С другой стороны, по мнению Д. Гильберта математическая теория должна быть понятна «любому встречному». Так что вопрос доказательства последней теоремы Ферма в указанном смысле остается открытым. В данной работе изложена еще одна попытка элементарного решения задачи.
Введение
П. Ферма утверждал, что в целых числах невозможно разложить степень zn на две степени xn + yn при натуральном n > 2. Доказательство не было представлено.
Это
утверждение не удавалось доказать в течение более 360 лет. Так, например, для
доказательства использовали теорию делимости, основанную на единственности
разложения натурального числа на простые множители (основная теорема арифметики),
были попытки (Э. Куммер) использовать представление xn = zn
– yn = (z – λky),
k = 1, 2, .., n, где λ1, λ2,…– корни n-й степени из
единицы. Поиски рациональных
точек на кривой Ферма:
un
+ vn =1, где u v =
также не имели
успеха. Применение матриц, теории групп также не дали желаемого результата. Практически
в каждой попытке решения задачи в том или ином виде постулировался контр пример,
т. е. уравнение zn = xn + yn, n
> 2, или zр = xр + yр, где р – нечетное
простое число. Цель заключалась в получении заведомо ложного утверждения. Но не
были найдены противоречия ни с какими – либо утверждениями методов,
используемых для решения задачи (Л.1,2,3,4,7,8,…).
Безуспешность вариантов доказательства теоремы даже приводила некоторых ученых мужей к мнению о некорректности постановки задачи.
Не трудно показать (Л.2), что теорему Ферма достаточно доказать в случаях, когда n = 4 и n = p. Случай n = 4 был решен Эйлером (и самим Ферма) методом бесконечного спуска. Э.Уайлс доказал (1993г.) (Л.3) гипотезу Шимуры - Таниямы («каждой эллиптической кривой соответствует определенная модулярная форма»), откуда следует теорема Ферма для случая n = p.
Итак, принято считать, что проблема Ферма решена. Но изощренное доказательство Уайлса не прозрачно, сложно даже для профессионалов. Наконец, оно объемно (150 страниц печатного текста) (Л.4). К тому же случаи n = 4 и n = p – это принципиально разные теории. Кроме того, лаконично сформулированная задача должна иметь и решение подобного рода.
Постановка задачи
Начнем с тривиальных фактов. Во-первых, если (вопреки утверждению Ферма) разложение zn = xn + yn для некоторого показателя n > 2 возможно, то не вызывает сомнений тот факт, что числа x, y, z связаны треугольником z < x + y. Во-вторых, любая степень числа с показателем n > 2 без степеней с показателями n = 1 и n = 2 не бывает (например, x3 = x2 x). Так что оставлять эти степени без внимания не разумно.
Поскольку в задаче числа подчиняются неравенствам z > x, z > y, интуиция подсказывает, что с ростом показателя, начиная с n = 1, при одной и той же тройке чисел x, y, z степень zn растет быстрее степеней xn и yn в отдельности и при некотором показателе n > 2, очевидно, станет больше суммы xn + yn. Возможно, на этом пути найдется решение.
Решение
Используем обычный подход. Пусть утверждение Ферма не верно. Тогда существуют целые числа x, y, z такие, что при натуральном n
zn = xn + yn, n > 2 (1)
Не изучая уравнение (1), будем считать его частным случаем неопределенного соотношения
zn
xn + yn, n
(2)
где
символом обозначены знаки < , = , >.
Геометрически
соотношение (2) при n = представляет
собой треугольник z < x + y, при n = 2 имеем теорему Пифагора (z2
x2 + y2), а при
n
можно трактовать
как зависимость между объемами параллелепипедов с высотами zn-2,
xn-2, yn-2 и
площадями оснований z2, x2, y2, построенных на
сторонах треугольника z < x + y.
Этот треугольник должен удовлетворять условию
z > x > y > 0 (или z > y > x > 0). (3)
Условие (3) диктует границы угла в таком треугольнике:
> x ^ y =
α >
. (4)
Здесь
следует заметить, что при α
условие (3)
нарушается: треугольник (3) вырождается в равносторонний (x = y = z) или получаем
треугольник, где z < x, либо z < y. Все множество треугольников (3) разделим
на три подмножества, в которых α >
,
=
,
< α <
, соответственно.
Используя теорему косинусов, рассмотрим изменения соотношения (2)
с ростом показателя n для любой неизменной тройки чисел x, y, z на каждом из этих подмножеств.
1)
α > z < x + y,
z2 = x2 +
y2 – 2xy
z2
> x2 + y2,
…, → zn
> xn + yn, n > 1. (5)
2)
α = (пифагоровы
треугольники ). z
z2 =
x2 + y2,
z3
= z x2 + z y2, z3
> x3 + y3,
…, →
zn > xn
+ yn, n > 2. (6)
3) < α
<
z < x + y,
z2 = x2 + y2
– 2xy
z2 < x2
+ y2. (7)
В
треугольнике (7) угол x2 ^ y2 = β > . Действительно,
представим исходный треугольник z < x + y в векторной форме на комплексной
плоскости в полярных координатах: z = x – y, где
x = xy = y
z = z
.
Тогда
z2 = (x – y)2 = x2 y2
2xy, где,
в частности, X2 = x2
y2
= y2
откуда x2 ^
y2 = 2α = β >
. Следовательно,
из треугольника (7) получаем
z4
= x4 + y4 – 2 x2 y2 z4
> x4 + y4, …, →
zn >
xn + yn, n > 3. (8)
Итак, неравенства (5), (6), (8) дают результат:
Zn > xn + yn, n > 3. (9)
Случай n = 3 решен Эйлером (был известен П. Ферма). Так что в натуральных числах
z3 x3 + y3. (10)
Примечание
Пусть
в целых числах выполняется z3 x3 + y3. Можно
записать
(z2 = (x
)2 + (y
2.
Все
множество примитивных решений последнего уравнения определяется формулами
(Л.7): z = m2 +
n2, y
= m2 –
n2, x
= 2mn, где m и n
< m – любые натуральные взаимно простые числа разной четности. Тогда из
последней формулы следует x3 = q2, что в целых числах невозможно.
Таким образом, неравенства (9) и (10) противоречит уравнению (1), что доказывает последнюю теорему Ферма.
Литература
1. П. Ферма. Исследования по теории чисел и диофантову анализу. – М.: Наука, 1992.
2. Боревич З. И., Шафаревич И. Р. Теория чисел. – М.: Наука, 1985.
3. Эдвардс Г. Последняя теорема Ферма. Генетическое введение в алгебраическую теорию чисел. – М.: Мир, 1980.
4. Соровский образовательный журнал, №2, 1998. Ю. П. Соловьев. Гипотеза Таниямы и последняя теорема Ферма.
5. Констанс Рид. Гильберт. М.: «Наука», 1977.
6. Неопубликованные материалы Л. Эйлера. Рос. АН, С.– П. «Наука», 1997.
7. К. Айерленд, М. Роузен. Классическое введение в современную теорию чисел. – М.: Мир, 1987.
8. Рибенбойм П. Последняя теорема Ферма для любителей. - М.: МИР, 2003.
Поступила в редакцию 23.12.2015 г.