О доказательстве теоремы Ферма

О доказательстве теоремы Ферма

О доказательстве теоремы Ферма

И.Г. ГУРШЕВ

Санкт-Петербург

Издательство «Знакъ»

ББК 26.23

Гуршев И.Г.

О доказательстве теоремы Ферма. - СПб.: Издательство «Знакъ», 2012. - 8 c.

В работе приведены преобразования уравнения xⁿ+yⁿ=zⁿ, позволяющие получить квадратное уравнение. Показано, что вышеназванное равенство для трех действительных разных целых положительных чисел не выполняется.

Библ.5

ISBN 978-5-91638-054-5

© И.Г. Гуршев, 2012

© Издательство «Знакъ», набор, макетирование, 2012

История доказательства знаменитой теоремы Ферма в популярной форме изложена в книге С. Сингха [1]. В книге П. Рибенбойма [2] соединены строгость математических результатов и историческое изложение более чем трехвековой истории поиска доказательства теоремы Ферма. Теорема утверждает, что уравнению  при наличие целого положительного  (), не могут удовлетворять никакие целые положительные числа x, y, z [3].

В работе А.Я. Хинчина [3] не только даются сведения по истории доказательства этой теоремы, но и уделяется внимание методу, которым мог пользоваться П. Ферма при доказательстве теоремы. Отметим, что в упомянутых работах приводится значительное количество литературных источников.

Рассмотрим частный случай упомянутого соотношения при . Предположим, что для разных целых положительных чисел x, y, z (, , , , , , , ,) выполняется следующее равенство

теорема ферма равенство уравнение

.                        (1)

Так как , то представим уравнение (1) следующим образом

 (а),  (б),                       (2)

, .

Рассмотрим более подробно равенство (2а), в котором сумма дробей равна единице. Значит, каждая из дробей меньше единицы, то есть , . Так как неравенства одинакового смысла можно почленно складывать [5], то из последних неравенств следует, что . Проводя преобразование третьих степеней в уравнении (2б), получим

.                   (3)

Дальнейшие рассуждения будем проводить согласно работе [4]. Величины ,  являются положительными дробями, то есть являются положительными рациональными числами. Сумма  есть рациональное положительное число, так как , , то есть . Положительное рациональное число можно представить в виде несократимой дроби , где a и b - натуральные взаимно простые числа, то есть . Объединяя вышеприведенные рассуждения, получим следующие неравенства: , . Второй множитель в равенстве (3) является положительным, так как может быть представлен в таком виде . Тогда имеем  и отсюда . Равенство (3) может быть представлено в виде системы уравнений

 (а),  (б).                           (4)

Отметим, что, умножив левые и правые части равенств (4а) и (4б) друг на друга, получим равенство (3). Из системы уравнений (4) находим  и, подставляя в равенство (4б), получаем следующее уравнение

               (5)

Рассмотрим следствия из уравнения (5).

Допустим, что уравнение (5) имеет корни , , являющиеся целыми числами, и пусть . Подставив  в уравнение (5), получим такое равенство

.            (6)

Допустим, что m - дробное число. Тогда в равенстве (6) справа стоит дробное число , а слева находится целое число . Но равенство целого и дробного чисел невозможно. Значит, уравнение (5) не имеет корней в виде целых чисел. Ранее отмечалось, что переменная m подчиняется неравенствам . В этом интервале чисел имеется целое число равное единице, и оно может быть представлено в виде несократимой дроби, то есть . В этом случае равенство (5) принимает такой вид:.

Если , , то, так как , имеем y=0. В случае  имеем , .

При  получаем y = z. В итоге находим: а) y = 0; б) y = z. С помощью равенства (4а) получаем значения величины x, а именно: а) , x = z; б) , x = 0.

Подставляя эти значения x, y, z в уравнение (1) отмечаем, что найденные величины , , а также x = 0, y = z, являясь целыми числами, удовлетворяют уравнению (1). Однако эти значения не удовлетворяют условиям задачи.

Таким образом, равенство (1) для трёх действительных целых положительных чисел не выполняется.

Рассмотрим общий случай, то есть предположим, что для разных целых положительных чисел выполняется равенство

, , .                            (7)

При этом предполагаем, что числа x, y, z попарно не имеют общих делителей.

Преобразуем равенств (7) следующим образом

 (а),                            (б),

, .                                            (8)

Проводя преобразование третьих степеней в уравнении (8б), получим

.                                      (9)

Сумма , так как , . Объединяя предыдущее неравенство с последним находим выражение . Второй множитель в равенстве (9) является положительным, так как может быть представлен в виде .

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

 (а),  (б)                 (10)

Отсюда находим  и, подставляя  в равенство (10б), получаем уравнение для определения переменной

.                     (11)

Рассмотрим некоторые следствия из уравнения (11). Допустим, что уравнение (11) имеет корни  и . Пусть  есть целое число и один из двух корней квадратного уравнения (11). Поставив  в (11), получим следующее равенство

.                               (12)

Допустим, что p - дробное число. Тогда в равенстве (12) справа стоит дробное число, а слева находится целое число . Но такое равенство невозможно, то есть если p - дробное число, то уравнение (11) не имеет корней в области целых чисел.

Ранее отмечалось, что переменная p может изменяться в пределах . В этом интервале чисел имеется целое число равное единице. В связи с этим рассмотрим случай . При  равенство (11) принимает такой вид

. Если , , то  и имеем . В случае  имеем , . При  получаем . Возведя обе части последнего равенства в степень , получим y = z. В итоге получаем: а) y = 0; б) y = z. С помощью равенства (10а) получаем значения величины x в случае p = 1: а) y = 0, x = z; б) y = z, x = 0. Отметим, что найденные величины x, y, z, являясь целыми числами, удовлетворяют уравнению (7). Однако эти значения не удовлетворяют условиям задачи. Таким образом, равенство (7) для трёх разных действительных целых положительных чисел не выполняется.

Литература

1.       Сингх С. Великая теорема Ферма. - М.: Издательство Московского центра непрерывного математического образования, 2000. - 288 с.

2.       Рибенбойм П. Последняя теорема Ферма для любителей. - М.: Мир, 2003. - 429 с.

.        Хинчин А.Я. Великая теорема Ферма. - М.: Изд-во ЛКИ, 2007. - 75 с.

.        Аносов Д.В. Взгляд на математику и нечто из нее. - М.: Издательство Московского центра непрерывного математического образования, 2003. - 23 с.

.        Бронштейн И.Н., Семендяев К.А. Справочник по математике для инженеров и учащихся ВТУЗов. - М.: Наука, 1981. - 720 с.