Доказательство

Великой теоремы Ферма

в общем виде и её графическое изображение

1. Первый вариант доказательства

2. Второй вариант доказательства

3. Расширение Великой теоремы Ферма

 © Лемякин Борис Александрович

 email: lemyakin@yandex.ru

Дискуссионная страница

English

    В 1630 году французский математик - любитель, юрист по профессии, Пьер Ферма (1601-1665) записал на полях Арифметики Диофанта Александрийского: «невозможно разложить ни куб на два куба, ни биквадрат на два биквадрата и вообще никакую степень, больше квадрата, на две степени с тем же показателем» и добавил: «я открыл этому поистине чудесное доказательство, но эти поля для него слишком малы» (Математическая энциклопедия. М.СЭ.1985.т.5,с.605-608). После его смерти в бумагах П. Ферма нашли доказательство только для степени, равной 4.

    Известно, что П. Ферма в своих математических изысканиях считал ценным лишь вывод, результат поиска. При его жизни не было опубликовано ни одной работы. Однако учёные того времени во многом обязаны Ферма, результаты исследований которого становились известными благодаря переписке и личным встречам. В переписке он нередко формулировал лишь теорему, полагая излишними рассуждения по её доказательству. Поэтому, когда его выводы находили подтверждение, учёным стоило немалого труда найти доказательства. Некоторые из них были доказаны уже после смерти Ферма, а Великая теорема Ферма, как её именуют потомки, в том виде, как она была сформулирована Пьером Ферма, не доказана до сих пор.

Теперь Великая теорема Ферма формулируется так: «для любого натурального числа n>2 уравнение xⁿ + yⁿ = zⁿ не имеет решений в целых ненулевых числах x, y, z» (Математическая энциклопедия. М.СЭ.1985.т.5,с.605-608). Сравнение этой формулировки с формулировкой Ферма свидетельствует о том, что потомки не только изложили её более корректно, но и существенно упростили. В этом виде доказательства ей, по некоторым сведениям, найдены, но «чудесными» их не называют. Признанное математическим миром доказательство американского математика Эндрю Уайлса при помощи его коллеги Тейлора, использующее теорию Ивасавы (раздел теории чисел), гипотезу Таниямы (аналог Великой теоремы, которая устанавливает связь между двухмерными и четырёхмерными формами), преобразования Фрея (приводящие уравнение Великой теоремы к уравнению эллиптической кривой, которая фигурирует в гипотезе Таниямы) потребовало порядка ста страниц. Наверняка Ферма имел в виду иное доказательство, которое соответствовало математическому аппарату того времени.

Известно, что в тот период, когда Ферма сформулировал свою теорему, он занимался исследованиями конических сечений и бесконечно малых величин, дал общий закон дифференцирования и применил это закон к дифференцированию дробных степеней. Поэтому вполне вероятно, что он вывел уравнение, исследуя характеристики усечённого конуса.  Вооружившись этими сведениями, я решил исследовать лишь те пути, которыми мог пойти Пьер Ферма. Доказательство было выполнено мною в 1988 году и направлено на экспертизу в ряд организаций, имевших компетентных специалистов в области теории чисел. Но мне не удалось убедить их, что значения тригонометрических функций нельзя выразить рациональными числами. Впечатление такое, что математики забыли и упорно не хотят вспоминать о том, что в истоке соотношений, используемых при расчётах значений тригонометрических функций, лежит длина окружности, которая не имеет общей единицы измерения с радиусом. Похоже на то, что Пьер Ферма это помнил, но и его одолели сомнения. Вероятно, поэтому он не опубликовал доказательство Великой теоремы и не упомянул о ней в перечне своих достижений.

____________________________________________________________________________

Первый вариант доказательства

В прямоугольном треугольнике, имеющем стороны x, y, z₁ (рис.1), выполняется равенство

               z₁² = x² + y²                                                          (1)

рис.1

     При показателе степени n>2 

               z₁ⁿ = (x² + y²)^n/2 > xⁿ + yⁿ                                         (2)

     Очевидно, что в формуле zⁿ = xⁿ + yⁿ                                (3)

                z > y ≥ x или z > x ≥ y                                     

     Таким образом, можно констатировать, что равенству

                zⁿ = xⁿ + yⁿ при n>2

соответствует фигура, назовём её "разомкнутый прямоугольный треугольник", со сторонами x, y, z, у которого сторона

                z < z₁                                                                        (4)

     Гипотенуза разомкнутого прямоугольного треугольника не примыкает к катету. У разомкнутого прямоугольного треугольника
               z² < x² + y²                                                                   (5)

     Условиям (3) и (5) удовлетворяет также остроугольный треугольник, имеющий стороны x, y, z и противолежащий стороне z угол z, причём

                π/3 < z < π/2                                                              (6)

     Этот треугольник можно получить путём смыкания сторон разомкнутого прямоугольного треугольника.

     Решение полученного остроугольного треугольника относительно стороны z

                z² = x² + y² – 2xycos z                                              (7)

        Отсюда 

                zⁿ = (x² + y² – 2xycos z)^n/2                                        (8)

        В результате можно записать

                zⁿ = xⁿ + yⁿ = (x² + y² – 2xycos z)^n/2                          (9)

     Великая теорема Ферма в интерпретации количественного соотношения числа единичных объектов имеет тождество в геометрической интерпретации соотношения длины сторон треугольника.

     Рассмотрим, какие значения может принимать тригонометрическая функция угла z.

               cos z = (x² + y² - z²)/2xy = β, здесь 0 < β < 0,5          (10)      

     Значение угла z есть отношение длины дуги, заключённой между его сторонами, которая описана произвольным радиусом из вершины угла, к радиусу. Длина дуги выражается иррациональным числом. Рациональными числами можно задать лишь интервал значений, в котором находится её длина. Поэтому и значение угла z может быть задано с любой точностью рациональными числами только интервалом значений, в котором находится его величина. Отсюда следует, что угол z нельзя задать рациональным числом. Значения тригонометрической функции этого угла можно вычислить для заданных пределов интервала значений угла. Но значение тригонометрической функции угла нельзя выразить рациональным числом. Поэтому значения длины линии синуса и косинуса также можно выразить рациональными числами только значениями пределов интервала, в котором эти длины находятся.

        В вычислениях иногда используется также градусное измерение углов. При этом ставится знак равенства между иррациональным и рациональным числом, например,  z = π/2 = 90⁰. Это равенство в теоретическом плане некорректно. Также в теоретическом плане некорректно выражать результаты вычислений длины линий синусов и косинусов рациональными числами. Рациональными числами можно выражать значения только дискретно изменяющихся величин. Значения функций, не имеющих разрывов, во всех случаях выражаются иррациональными числами.

     Если предположить, что cos z может принимать рациональные значения, и знак равенства в (9) правомерен, то Великая теорема Ферма опровергнута. Но тогда следует признать неверным доказательство, выполненное Эндрю Уайлсом. Для проверки этого вывода можно найти множество решений остроугольных треугольников в рациональных числах относительно стороны z. При подстановке полученных значений в (3) должно иметь место равенство, но это противоречит результатам многочисленных экспериментов, компьютерных расчётов до чрезвычайно больших значений x, y, z и n.

        В современной математике принято при переходе от остроугольного треугольника к прямоугольному треугольнику приравнивать значение 2xycosz нулю. Эти действия допустимы при решении практических задач, но не допустимы в теоретическом анализе, поскольку противоречат (10).

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

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

     Учитывая сказанное, не существует значения zⁿ, которое удовлетворяло бы равенству (9).

               zⁿ ≠ xⁿ + yⁿ = (x² + y² – 2xycos z)^n/2    при  n>2        (11)

____________________________________________________________________________

Второй вариант доказательства

     В прямоугольном треугольнике, имеющем стороны x, y, z₁ (рис.1), выполняется равенство

               z₁² = x² + y²                                                           (1)

рис.1

     При показателе степени n>2 

               z₁ⁿ = (x² + y²)^n/2 > xⁿ + yⁿ                                        (2)

         Очевидно, что в формуле zⁿ = xⁿ + yⁿ                            (3)

                z > y ≥ x или z > x ≥ y                                             

        Таким образом, можно констатировать, что равенству

                zⁿ = xⁿ + yⁿ при n>2

соответствует фигура, назовём её "разомкнутый прямоугольный треугольник", со сторонами x, y, z, у которого сторона

                z < z₁                                                                      (4)

     Гипотенуза разомкнутого прямоугольного треугольника не примыкает к катету. У разомкнутого прямоугольного треугольника

               z² < x² + y²                                                              (5)

     Условиям (3) и (5) удовлетворяет также остроугольный треугольник, имеющий стороны x, y, z и противолежащий стороне z угол z, причём

                π/3 < z < π/2                                                             (6)

     Этот треугольник можно получить путём смыкания сторон разомкнутого прямоугольного треугольника.

     Решение полученного остроугольного треугольника относительно стороны z

                z² = x² + y² – 2xycos z                                             (7)

     Отсюда алгебраическим преобразованием получаем

                zⁿ = (x² + y² – 2xycos z)^n/2                                       (8)

     В результате можно записать

                zⁿ = xⁿ + yⁿ = (x² + y² – 2xycos z)^n/2                         (9)

     Великая теорема Ферма в интерпретации количественного соотношения числа единичных объектов имеет тождество в геометрической интерпретации соотношения длины сторон треугольника.

     Треугольник, согласно (5), можно преобразовать в прямоугольный треугольник со сторонами  zⁿ, xⁿ и yⁿ умножением длины каждой из сторон на коэффициенты z^n-1, x^n-1 и y^n-1 соответственно . Его решение будет иметь вид

               z²ⁿ = x²ⁿ + y²ⁿ                                                          (10)

     Если стороны этого треугольника уменьшить до величин z^n/2, x^n/2 и y^n/2 , то по обратной аналогии с (2) получим разомкнутый прямоугольный треугольник, в решении которого

                    zⁿ < xⁿ + yⁿ                                                          (11)

     Но это значение zⁿ нами уже получено алгебраическим преобразованием, (9).

     ^{Великая теорема Ферма опровергнута, если одновременно выполняются условия (9) и (11), то есть}

               zⁿ < xⁿ + yⁿ = (x² + y² – 2xycos z)^n/2                             (12)

     ^{Очевидно, что (12) противоречит (9). Условие опровержения Великой теоремы Ферма не выполнено, следовательно, эта теорема верна.}

___________________________________________________________________________

Расширение Великой теоремы Ферма

     Приняв за основу первый вариант доказательства, рассмотрим выражение (11)

zⁿ ≠ xⁿ + yⁿ = (x² + y² – 2xycos z)^n/2    в области значений n≤2.

     При n=2 остроугольный треугольник преобразуется в прямоугольный треугольник.

     В области значений 1<n<2 мы имеем тупоугольный треугольник, у которого угол, противолежащий стороне z, z>π/2. В этой области Великая теорема Ферма будет иметь вид

                       zⁿ ≠ xⁿ + yⁿ      при 1<n<2                               (1)

рис.1

     При показателе степени n<2 

             z₁ⁿ = (x² + y²)^n/2 < xⁿ + yⁿ                                          (2)

     Очевидно, что в формуле zⁿ = xⁿ + yⁿ                               (3)

                z > y ≥ x или z > x ≥ y                                              

     Таким образом, можно констатировать, что равенству

                zⁿ = xⁿ + yⁿ при n<2

соответствует фигура, назовём её "разомкнутый прямоугольный треугольник", со сторонами x, y, z, у которого сторона

                z > z₁                                                                        (4)

     Конец гипотенузы такого разомкнутого прямоугольного треугольника не примыкает к катету. У этого разомкнутого прямоугольного треугольника

               z² > x² + y²                                                                 (5)

     Условиям (3) и (5) удовлетворяет также тупоугольный треугольник, имеющий стороны x, y, z и противолежащий стороне z угол z, причём

               π/2 < z < π                                                                   (6)

     Этот треугольник можно получить путём смыкания сторон разомкнутого прямоугольного треугольника.

     Решение полученного тупоугольного треугольника относительно стороны z

                z² = x² + y² – 2xycos z                                                (7)

        Отсюда 

                zⁿ = (x² + y² – 2xycos z)^n/2                                          (8)

        В результате можно записать

                zⁿ = xⁿ + yⁿ = (x² + y² – 2xycos z)^n/2                            (9)

     Великая теорема Ферма в интерпретации количественного соотношения числа единичных объектов имеет тождество в геометрической интерпретации соотношения длины сторон треугольника.

        Доказательство неравенства

               zⁿ ≠ xⁿ + yⁿ = (x² + y² – 2xycos z)^n/2  при  1<n<2          (10)

по существу ничем не отличается от первого и второго варианта доказательства Великой теоремы Ферма.

     Таким образом, Великую теорему Ферма в расширенном виде можно, с учётом принятого допущения о существовании прямоугольных треугольников, можно сформулировать:
     Для любого вещественного числа 1<n≠2 уравнение xⁿ + yⁿ = zⁿ не имеет решений в вещественных, ненулевых числах x, y, z, если оно не может быть преобразовано упрощением в уравнение, не отвечающее данным условиям.