Красноярский Государственный Педагогический Университет

                   Курсовая работа по теме:

       «Некоторые диофантовы уравнения»

                                                                                             Выполнила:

                                                                                             студентка                                                                                              

                                                                                             3 курса    

                                                                                             математического

                                                                                             факультета

                                                                                             32 группы

                                                                                             Апрелкова Ксения.

                                                                                              Научный        

                                                                                                руководитель :

                                                                                               кф-мн доцент

                                                                                               кафедры алгебры

                                                                                               Тимофеенко

                                                                                                     Галина

                                                                                                Владимировна

.                                             Красноярск 2002г.

Данная работа посвящена одному из наиболее интересных разделов теории чисел - решение диофантовых уравнений(ДУ).

Целью настоящей работы является углубление и систематизация знаний, полученных по теме «ДУ» в курсе теории чисел. Многие задания, изложенные в данной работе, могут быть использованы в курсе алгебры средней школы и на факультативах по теме «ДУ» с целью расширения математического кругозора учащихся.   

Оглавление

§1 Введение.        

Историческая справка        

§2  Задачи, приводящие к диофантовым уравнениям.        

Задача1.        

Задача2.        

Задача3.        

Задача4.        

§3  Методы решения диофантовых уравнений        

Метод1. Свойства делимости и диофантовы уравнения.        

Метод 2. Диофантовы уравнения, допускающие разложение на множители.        

Метод 3. Метод подстановки в решении диофантовых уравнений:        

Метод 4. Сравнения и диофантовы уравнения.        

Метод5. Метод спуска(*):        

§4 Основные пифагоровы треугольники.        

Задача о нахождении всех решений диофантовых уравнений второй степени.        

Это утверждение называется последней (или великой) теоремой Ферма.        

§5 Алгебраические уравнения выше второй степени с тремя неизвестными        

Доказательство теоремы Ферма для случая n=4 методом спуска.        

Вывод:        

Литература:        

   §1 Введение.

Историческая справка

Жил Диофант, по-видимому, в 3 в. н. э., остальные  известные нам факты его биографии исчерпываются таким  стихотворением-загадкой, по преданию выгравированным на его надгробии:

                                                                           «Арифметика» Диофант.

Древние египтяне для удобства рассуждений  придумали специальное слово, обозначавшее неизвестное число, но так как у них  еще не было равенства и знаков действий (вроде нынешних плюса и минуса ), то записывать уравнения они, конечно, не умели. Первый по-настоящему серьезный шаг в этом на правлении  сделал замечательный александрийский (по названию большого культурного, торгового и научного центра древнего мира- Александрии; этот город существует и сейчас, он находится на Средиземноморском  побе режье Египта) ученый Диофант, использовавший в своем творчестве дости жения  египтян, вавилонян и греков. В его труде «Арифметика» есть уравне ния первой степени с  одним неизвестным, главное в этой книге вовсе не в них. И прежде  чем перейдем к этому главному, поговорим еще о записи уравнений. Самое интересное  у Диофанта – решение так называемых неоп ределенных уравнений. И второе, не менее  интересное – Диофант придумал обозначения  для неизвестных.

Во времена Диофанта языком науки был  греческий. Но греки еще не знали  цифр  и обозначали  числа при помощи букв  своего алфавита. Первые 9 букв : α,β,γ,… обозначали  числа  от 1 до 9 ;следующие девять :ι,χ,…обозначали  числа  от 10 до 90 ; наконец, следующие девять:ρ,σ,..обозначали  числа  от 100 до 900.  Чтобы  не ошибиться и не принять число  за слово, над буквами , обозначающими  число, ста вилась черточка. Букв в алфавите было 28 , одна из них  была особой – она обозначалась ς (сигма концевая), стави лась только в конце слов и числового  значения не имела. Вот ею-то  Диофант  и стал  обозначать  первую степень  не известного, так же как мы обычно  обозначаем  ее буквой X.

Придумав это, Диофант, по-видимому, уже  быстрее стал двигаться дальше. Во всяком  случае в «Арифметике» он обозначал специальными  значками  не только первую, но и вторую, третью, четвертую, даже пятую и шестую степени  неизвестного. Например , квадрат неизвестного он обозна чал значком Δΰ (первые две буквы слова Δΰναμίς-«дюна мис»-«сила» ). Ну а если  и числа, и неизвестные записаны  специальными символами, то нелепо будет записывать сло вами указания о действиях над ними! И Диофант вместо слова «равняется»  стал писать ίσ - две первые буквы слова ίσος («исос»-«равный»). Это слово  тоже нам знакомо. Без сомнения мы слышали про изотопы, изобары, изотермы. Диофант придумал знак и для вычитания - им служила буква ψ(пси), только перевернутая, укороченная и упрощенная по форме, то есть вот такая: Λ . А без знака сложения Диофант обходился довольно -  просто слагаемые записывал рядом друг с другом.

Например, уравнение

                                    3x²-10x=13

Диофант записал бы так:

                                     ΔΰγΛςίισΜιγ.

Диофант записывал коэффициенты справа от неизвестных, кроме того, в уравнениях он обязательно  ставил перед свободным членом  значок Μ- первые две буквы слова Μονας(«монас»)- единица, то есть писал «тринадцать единиц». Диофант придумал еще несколько  математических знаков, но их в наше время не применяют. Придумал Диофант и два  основных приема решения уравнений – перенос неизвестных в одну сторону уравнения и  приведение подобных членов. В средневековой Европе мысли  Диофанта получили широкое распространение и развитие. В 17-18 в.в. буквами для  обозначения неизвестных (переменных) стали пользоваться уже все математики. Приемы решения уравнений попали в Европу  особым путем, и здесь уже приходиться  обращаться к страницам средневековой истории….

Решение в целых числах уравнений с целыми коэффициентами более чем с одним переменным представляет собой одну из трудных проблем теории чисел. Некоторые виды таких уравнений  были рассмотрены  знаменитыми математиками древности : Пифагором(6в.до н.э), Диофантом(3в.н.э.). В  память о последнем  эти уравнения  называются диофантовыми . Диофантовы уравнения во все времена  привлекали внимание  математиков. Ими занимались классики математики: П.Ферма(1601-1655), Л.Эйлер(1707-1783), Ж.Л.Лагранж(1736-1813), К.Ф.Гаусс(1777-1855), П.Л.Чебышев(1821-1894) и др. Им уделяют внимание  и многие  математики современности.

      §2  Задачи, приводящие к диофантовым уравнениям.

Задача1.

Некто подошел к клетке , в которой  сидели фазаны и кролики . Сначала он подсчитал головы, их оказалось 15. Потом он подсчитал ноги, их было 42 . Сколько кроликов и сколько фазанов  было в клетке?

Решение: Пусть X-число кроликов, а Y-число фазанов. Тогда по условию x+y=15. Но ведь у кролика 4 ноги, у фазана -2, значит, у всех кроликов -4x ног, а у всех фазанов –2yног , и по условию 4x+2y=42.                       Имеем систему уравнений
                                            x+y=15,          

                                             4x+2y=42        x=6, y=9   .     

                    Не  только графиками интересны уравнения с двумя переменными. В задаче о фазанах и кроликах есть повод задуматься над таким вопросом : из уравнения y=-x+15 следует, что переменная Х  может принимать  любые значения, а вслед за ней соответственные  и тоже любые значения  может принимать и переменная Y. Любые! Но число  кроликов, как и число фазанов, не может быть ни дробным, ни отрицательным! В условии  задачи это подразумевается, но в записи x+y=15 об этом ничего не сказано. А между тем, зная это дополнительное условие, иногда можно обойтись и без второго уравнения, получив, вполне удовлетворяющие нас результаты  из одного  уравнения с двумя переменными.

Задача2.

На складе имеются гвозди в ящиках  по 16,17 и 40 кг. Может ли кладовщик выдать  100 кг. гвоздей, не вскрывая  ящики?

Попробуем решить задачу, составив уравнение обычным путем. Итак, допустим,  что задача решена: ящиков по 16 кг будет X штук, по 17 кг-Y штук,  по 40 кг-Z штук. Всего выдано 100кг, отсюда уравнение:

                                       16x+17y+40z=100

И что делать с этим  уравнением – совершенно непонятно. Но можно  рассуждать и так:

Ящиков  по 40 кг не может быть больше двух, ибо 40*3=120, это больше чем надо. И  два  тоже быть не может,  ибо  40*2=80, 100-80=20, а 20кг можно набрать, только  вскрыв, хотя бы один ящик. Может быть,  взять один ящик по 40 кг, а оставшиеся 60 кг  набрать, комбинируя ящики  по 16  и 17 кг: если взять  один ящик  17 кг.,  то останется 43 кг  и набрать  по 16 кг невозможно, если  взять 2 ящика по 17 кг, то 60-17*2=26 и целых ящиков  по 16кг  не получится, если же взять  3 ящика по 17 кг, то останется  9кг., которые придется выдавать, вскрыв  какой-нибудь ящик. Получается, что ящики по 40кг нам вовсе не нужны. Если задача имеет решение, то комбинировать придется ящики только по 16 и 17 кг. Значит, получается уравнение :16x+17y=100. Но 100 не делится  ни на 16, ни на 17, и, значит, надо посмотреть, что будет получаться, если из 100 вычитать 17, 17*2, 17*3, 17*4, 17*5. Если разность будет делиться на 16, то задача  имеет решение, если нет – кладовщику придется вскрывать хотя бы один ящик. 83 на  16 не делится, 66-не делится, 49- не делится, но 32=16*2, и задача решена:17*4+16*2=100, то есть надо выдать 4 ящика по 17 кг и 2 ящика по 16 кг. Это решение единственное, то есть других вариантов нет. Можно было бы, увидев, что ящики по 40 кг для решения задачи не нужны, пойти дальше иным путем. Если взять 6 ящиков по 16 кг, то есть подобрать такое число, делящееся на 16 , которое ближе всего к 100,то окажется, что до 100 не хватает 4 кг, значит 4 ящика из этих 6 надо заменить четырьмя ящиками по 17 кг, и получим тот же результат.

 Вывод: Задач, похожих на эту, очень много, и многие из них имеют практическое значение.

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

ax + by=c;

a, b, c в этом уравнении являются целыми числами, и ответ должен быть дан  только в целых числах, другими словами, это уравнение полагалось «решить в целых числах». Такие уравнения теперь называют «диофантовыми»., раздел математики, изучающий их, называют «диофантовым анализом», В свою очередь, диофантов анализ является частью исключительно интересного раздела современной математики-теории чисел. В теории чисел созданы специальные методы решения  диофантовых (их еще называют неопределенными) уравнений. Мы будем рассматривать эти методы, но об этом далее….

Задача3.

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

 Решение: Эта задача, в отличие от предыдущей, имеет не одно, а несколько решений.

Аналогично рассуждая, получим, что задача имеет 4 различных решения:

2 марки по 4 коп и 14 марок по 3 коп; 8 марок по 4 коп и 6 марок по 3 коп;

5 марок по 4 коп, и 10 марок по 3 коп; 11 марок  по 4 коп, и 2 марки  по 3 коп; Простота  жизненных ситуаций в  задачах, приводящих к диофантовым уравнениям, заставляет предполагать, что люди, наверное, и до Диофанта умели решать такие задачи, не пользуясь какой-либо общей теорией, то есть

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

Вот, например, еще одна частная задача на неопределенные уравнения - теперь уже второй степени, возникшая примерно за две тысячи лет до Диофанта в Древнем Египте (известно, что Диофант хорошо ее знал и часто использовал):

Задача4.

Если стороны треугольника пропорциональны числам 3,4 и 5, то этот треугольник – прямоугольный.

Этот факт использовали для построения углов на местности прямых углов - ведь оптических измерительных приборов тогда  еще не было, а для строительства домов, дворцов и тем более гигантских пирамид - это надо было уметь. Поступали довольно просто. На веревке на равном расстоянии друг от друга завязывали узлы (см. рис.1)

A                                                  

C         B

                           рис.1

 В точке C, где надо было построить прямой угол, забивали колышек, веревку натягивали в направлении, нужном строителям, забивали второй колышек в точке B(CB=4) и натягивали веревку так, чтобы AC=3,AB=5.Треугольник с такими длинами сторон  называют египетским.
Безошибочность такого построения следует из теоремы, обратной теореме Пифагора: если сумма квадратов двух сторон треугольника равна квадрату третьей стороны, то такой треугольник  является прямоугольным. И действительно,  32+42=52. Говоря иначе, числа 3,4,5-корни уравнения:

X2+Y2=Z2

Сразу же возникает вопрос: нет ли у этого уравнения других целочисленных решений? Нетрудно догадаться, что числа 5,12,13 тоже можно считать  корнями этого уравнения. А есть ли еще такие тройки чисел? И нельзя ли, взяв произвольно одно из чисел, указать остальные два? Например, необходимо, чтобы меньший катет треугольника равнялся 4 см. Может ли в этом случае длина другого катета и гипотенузы выражаться целым числом сантиметров? Такие вопросы интересовали еще мудрецов Древнего Вавилона. Они нашли ответы на них. Знал это и Пифагор. Один из путей решения уравнения X2+Y2=Z2 в целых числах оказался довольно простым. Запишем подряд квадраты натуральных чисел («квадратные числа» ,как говорили древние),  отделив друг от друга запятой. Под каждой  запятой запишем разность между последовательными квадратами:

1, 4 , 9 , 16 , 25 , 36 , 49 , 64 , 81 ,100 , 121 , 144 , 169 , 196 ,……

   3 ,5 , 7 ,   9    ,11  ,13  ,15 ,17,  19,   21,    23,    25,    27  ,    ....

Есть ли в нижней строке квадратные числа? Да! Первое из них 9=32, над ним 16=42 и 25=52, знакомая нам тройка 3,4,5. Следующее квадратное число в нижней строке 25, ему соответствует 144 и 169, отсюда находим вторую известную нам тройку:5,12,13. Если мы продолжим строку квадратных чисел и подсчитаем соответствуюшие  разности, то во второй строке найдем 49=72, этому числу отвечают в строке квадратов  576=242 и 625=252. И действительно, 72+242=252. Это уже третья тройка. Она была известна еще в Древнем Египте.

Кстати, мы имеем право сформулировать такую теорему:

Каждое нечетное число есть разность двух последовательных квадратов.

Составлять такие строки (последовательности) – довольно скучное и трудоемкое занятие. По формулам находить такие тройки чисел проще и быстрее. Эти формулы-правила были известны уже 2500 лет назад. Если X-нечетное число, то Y=(X2-1):2 и Z=(X2+1):2 .В этом случае  равенство X2+Y2=Z2 выполняется, то есть числа, найденные по такому правилу, всегда будут  составлять решение интересующего нас неопределенного уравнения. Это уравнение будем называть «уравнением Пифагора» , а его решения – «пифагоровы тройки». По этому правилу можно получить уже известные нам тройки: если X=3,то Y=(9-1):2=4,  Z=(9=1):2=5 , получилась первая пифагорова тройка; X=5, тоY=(25-1):2=12,  Z=(25+1):2=13, вторая тройка; X=7, то

Y= (49-1):2=24, Z= (49+1):2=25. Других мы пока не знаем, но следующее

за 7 нечетное число 9, тогда Y=40, Z=41. Проверим наши вычисления:

92+402=412;

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

                                                 X2=Z2-Y2;

                                                 X2=(Z+Y)(Z-Y) ;

Это и означает, что число X должно разлагаться на два неравных множителя Z+Yи Z-Y, которые мы обозначим так, что получится такая система:

                                           Z+Y=2a2 , 

                                           Z+Y=2b2;

Почему написаны коэффициенты 2 и почему написаны квадраты, а не просто числа a и b? Это сделано с целью получить аккуратные  ответы. Решив эту систему, получим:

                                            Z=a2+b2, Y=a2-b2, X=2ab

(при этом надо иметь в виду, что a>b)

Из этого следует, что наименьшим значением  числа b может быть только единица, тогда  наименьшим значением a будет 2. Вычислим X,Y,Z. Получается Z=5, Y=4,X=3, это  уже известный нам «египетский треугольник». А теперь составим таблицу (табл,1):

      Длины сторон (целочисленные) прямоугольных треугольников:  

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

  §3  Методы решения диофантовых уравнений

Метод1. Свойства делимости и диофантовы уравнения.

Для решения некоторых диофантовых уравнений  следует рассмотреть возможные остатки от деления одного целого числа на другое. При этом используются свойства:

- если целое число a  при делении на m дает остаток r, то его квадрат при делении на  m дает остаток, равный  остатку от деления числа r2 на m,

-если числа a,b при делении  на m дают остатки  r1,r2, то число ab при делении на  m дает остаток, равный  остатку от деления  r1r2  на m.

Рассматриваются отдельно случаи, когда переменные принимают четные, нечетные  значения. Рассмотрим уравнения, которые решаются с помощью указанного метода:

Задание: Решить в целых числах уравнения: (m,n[-N)

1. X2=3Y2+2  

Решение: Квадрат целого числа (X2) при делении на число 3 может давать остатки  0,1, но не 2, как этого требует уравнение. Поэтому данное уравнение в целых числах неразрешимо.

.     2)  3X2+6X+2=Y2 <-> 3(X+1)2-1=Y2.

Решение: Квадрат целого числа (Y2)   при делении на 3 должно давать остаток 2, что невозможно.

2. Y2+5Xn+5m+3=0.

Решение: Уравнение в цнлых числах неразрешимо, так как квадрат целого числа (Y2) при делении на 5 может давать остатки 0,1,4,но не 2,3, как этого требует уравнение.

4)Y2=7Xn+6.

Решение: Уравнение в целых числах решения не имеет, так как квадрат целого числа при делении на 7 может давать остатки 0,1,2,4, но не 3,5,6, как этого требует уравнение.

1. X2+Y2+Z2=1967.

Решение: Число 1967 при делении на 8 дает остаток 7 . Так как квадрат целого числа при на 8 дает остатки 0,1,4, то сумма квадратов  трех целых чисел при делении на 8 может дать остатки: 0,1,2,3,4,5,6,но не 7. Целых решений уравнения не имеют.

6) a) X2-7Y2=0, X2-PY2=0, P-простое натуральное число.

Решение: Имеем уравнения: X2=7Y2, X2=PY2. Уравнения целых ненулевых решений не имеют, так как в левую часть простое число 7; P входит в четной степени, а в правую - в нечетной.

     b) X2+3X+5=121Y<-> 4X2+12X+20=4*121Y<->(2X+3)2=11(44Y-1) .

Так как (44Y-1) не делится на 11, то правая часть делится на 11 лишь в первой степени, в то время как левая часть уравнения делится на четную степень числа 11. Целых решений нет.

Метод 2. Диофантовы уравнения, допускающие разложение на множители.  

7) XY=X+Y<-> (X-1)(Y-1)=1. Отсюда следует, что числа X-1,Y-1 оба равны либо 1, либо -1. Уравнение имеет два решения: {(0;0),(2;2)}

8) X+Y=1/10 <->(X-10)(Y-10)=100.

Множество решений:            {(11;110),(12;60),(14;35),(15;30),(20;20),(30;15),(35;14),(60;12),(110;11), (9;-90),(8;-40),(6;-15),(5;-10),(0;0),(-10;5),(-15;6),(-40;8),(-90;9)};

    9) Уравнение  XY=P(X+Y)<->(X-P)(Y-P)=P2. P-простое, P[-N.  

Приравнивая числа X-P,Y-P, возможным делителям числаP2,произведение которых равно P2, найдем множество решений :

      {(0;0),(2P;2P),(P+1;P+P2),(P+P2;P+1),(P-1;P-P2),(P-P2;P-1)}

   10)  X,Y[-N ,  XY+X+Y=232<-> 232=22+1,XY+X+Y=22+1.

Число Ферма 22+1 составное и представимо в виде произведения двух простых множителей:

     22+1=641*6700417 .Множество натуральных решений:  

                                      {(640;6700416);(6700416;640)}  

Метод 3. Метод подстановки в решении диофантовых уравнений:

Некоторые диофантовы уравнения могут быть решены в рациональных числах при помощи подстановки. (см.[1]).

К уравнению:

                       ax2+bxy+cy2+dx+ey=0

применим подстановку  y=tx, получим :

           x=(d+ct):(a+bt+ct2); y=( d+et)t:(a+bt+et2); t[-Q  

Среди этих  пар выбираем целые решения. Если в диофантовом уравнении второй степени с двумя переменными одно из переменных входит лишь во второй степени, то для нахождения целых решений таких уравнений могут быть применены подстановки Эйлера. К уравнению y2=k2x2+mx+n  применяем первую подстановку Эйлера:

                                   y=kx+t, t[-Z

                      x=(n-t2):(2kt-m); y=(km+kt2-mt):(2kt-m) ; t[-Z      

К уравнению y2=lx2+mx+g2; l=k2, применяем вторую подстановку Эйлера: 

y=g+tx,t[-Q, получаем:

                          x=(2gt-m):(l-t2), y=(gt2-mt+lg):(l-t2), t[-Q

Отсюда могут быть найдены целые решения (x,y) уравнения , кроме (0;+g) и некоторых симметричных решений (x;-y) , которые следуют из формул, полученных при помощи подстановки  y=-g+tx, t[-Q. К уравнению y2=lx2+mx+n, где l,n не являются квадратами целых чисел и квадратный трехчлен в правой части имеет рациональные корни: lx+mx+n=l(x-α)(x-β),   применяем третью подстановку Эйлера: y=(x-α)t ,t[-Q.

Тогда получим :

                           x=(lβ-αt2):(l-t2); y=tl(β-α):(l-t2),t[-Q

Среди этих решений уравнения содержатся все целые решения, кроме (α;0), если α[-Z . К кубическому уравнению вида:y2=a(x-α)2(x-β); a,α,β[-Z    применяем подстановку y=t(x-α) ,t[-Q   .

Получим:

                 x=(t2+aβ):a; y=t(t2+aβ-aα):a   ,t[-Q

Отсюда найдем  все целые решения, кроме (α;0), которые существуют при целом t .

Задание: Найти целочисленные решения следующих уравнений:

11) x2+y2=x+y, a=1,b=0,c=1,d=-1,e=-1

 Решение: Применим подстановку y=tx , получим :

       x=-(-1-t):(1+t2)=(1+t):(1+t2); y=-t(-1-t):(1+t2)=2t:(1+t2); ,t[-Q

 При   t=m:n; m,n[-Z,n>0,

        x=(1+t):(1+t2)=(n2+mn):(n2+m2).

 Полученная дробь при n>1,m=n   не является целым числом. Целые

       решения при t=-1;0;1;(0;0);(1;0);(1;1) ,а также (0;1).

12) y2=x2+x+2;

Решение: Применим первую подстановку Эйлера:y=x+m.  

      Тогда x=(2-m2):(2m-1)=-1/2(m+(m-4):(2m-1)) . Ясно, что при  m<=-4 и                    

       m=>5 имеем  0<(m-4):(2m-1)<1, поэтому число x может быть целым лишь    

       при  m=-3;-2;-1;0;1;2;3;4.

       Множество решений уравнения: {(1;-2);(-2;-2);(1;2);(-2;2)}

13) 2x2-5x+16-y2=0<->y2=2x2-5x+16. 

Решение: Применим вторую  

       подстановку Эйлера : y=4+tx. Полагая t=m:n; m,n[-Z.

       НОД(m;n)=1,n>0, получим, что x делится на n и    

       x=(8t+5):(2-t2)=(8m+5n):(2n2-m2);y=4+[(8m+5n):(2n2-m2)m]

       Целыми решениями уравнения будут, например, при

          n=1: (13;17);(-3;7);(0;4);(0;-4);(13;-17);(-3;-7);

          n=2: (-68;-98);(-3;7) и т.д.

 14) y=3x+2x+5.

Решение: применяем третью подстановку Эйлера:         

        y=(x-1), t[-Q.    

        Тогда  x=(t2+5):(t2-3)=1+8:(t2-3); y=8t:(t2-3)

        При целых значениях t имеем   (t3-3):8, что возможно при t=1;-1;2;1;-2 и

        получаем решения: (1;0);(-3;4);(-3;-4);(9;16);(9;-16). 

        Полагая  t=m/n; m,n[-Z, n>0, получим:  x=1+8n:(m-3n); y=8mn:(m-3n)         

        Целые решения возможны, если   -4n

        кроме найденных ранее решений , получим: (-35;-60);(-35;60) ит.д.

 15) y2=2x3-2x2-10x-6<->y2=2(x+1)2(x-3).

Решение: Полагая y=t(x+1), получим  x=(t2+6):2; y=t(t2+8):2, t[-Z. Числа x,y-целые, если  t=2k,k[-Z

         Тогда

                             x=2k2+3

                             y=4k(k2+2),    k[-Z

         Множество решений: {(-1;0),(2k2+3;4k(k2+2),k[-Z}

 16) xy=yx ,x,y[-N,x=y

        Пусть y>x. Полагаем  y=(1+t)x, t[-N .Тогда x(1+t)x=yx<->x1+t=y. Отсюда      

        x1+t=(1+t)x, или  xt=1+t.

        Таким образом,    x=(1+t)1/t

                                       y=(1+t)(1+t)1/t .

         Так как число x натуральное, то 1+t=mt ,m[-N .

         Отсюда имеем  t=mt-1=(m-1)(mt-1+mt-2+...+1).

          При t>1: m>1 и, следовательно, mt-1+mt-2+...+m+1>t.

          При t=1: m=2. Множество решений: {(2;4);(4;2)}                                                                                                    

1. x-1/5 + y-1/5 = 5 <-> 5x-1 + 5y-1 = 5.

Решение: Из уравнения следует: 5x-1<5 и 5y-1<5, то есть 1

Множество решений:  {(1;2);(2;1).

2. 1/x+1/y+1/z=1; x=1,y=1,z=1.

Решение: Для целого числа k, k=1:      

               1/k<1/2.

Ни одно из чисел x,y,z не может быть отрицательным, так как, например, при x<0: 1/x+1/y+1/z<0+1/2+1/2=1.

Найдем решения, для которых  1Другие решения получаются перестановкой. Итак, 1>1/x>1/y>1/z. Ясно, что x<3, так как при x>3 имеем:    1/x+1/y+1/z<1/3+1/3+1/3=1. Поэтому возможны 2 случая: x=3,тогда y=z=3, и x=2, тогда 1/y+1/z=1/2.

Здесь y<4, так как при y>4:1/y+1/z<1/4+1/4=1/2.Получаем два решения: y=4, z=4, y=3, z=6.

Множество решений:

        {(3;3;3),(2;3;6),(3;6;2),(6;2;3),(3;2;6),(2;6;3),(6;3;2),(2;4;4),(4;2;4),(4;4;2)}

Метод 4. Сравнения и диофантовы уравнения.

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

                                   (D):  ax+by=c , x,y[-Z ,a,b,c[-Z

Найти решения уравнения , то есть значения  x,y[-Z.   (a;b)=d

1. c не :d, то (D)-не имело бы решения
2.  c:d

ax+by=c:d    a=a1d , b=b1d , c=c1d.

     a1x+b1y=c1 следовательно  (a1;b1)=1.

Таким образом, пришли к выводу, что (a;b)=1.

Теорема1. Если  удовлетворяет сравнению  ax=c(b), то  пара чисел (x0;(c-ax0):b) является решением (D), где (a;b)=1.

  Док-во:  ax0=c(b)- верное числовое сравнение, следовательно,

                разность чисел (c-ax0)/b[по определению сравнимых чисел],  

                значит, (c-ax0):b-целое число. Подставим вместо x----x0,                  

                y----(c-ax0)/b. Если в результате получим c ,то все доказано.  

 Подставляем:

                  ax0+b(c-ax0)/b=ax0+c-ax0=c;

                В самом деле, пара (x0;(c-ax0)/b)-решение(D).  

 Теорема2: Если (a,b)=1, то (D) имеет бесконечное множество целых решений, которые находятся по формулам:

             (*)       x=x0-bt,

                         y=y0+at;    t[-Z

                (x0;y0)- некоторое решение (D)

  Док-во:

1) Покажем, что  (x;y)- по формуле (*) решение (D).

            a(x0-bt)+b(y0+at)=ax0-abt+by0+bat=c, так как[x0,y0]-решение(D).

2) Покажем, что любое решение (D) находится по этим  

            формулам(*); (x0;y0)-некоторое решение (D).

Так как (x0;y0)-решение(D) и пара (x;y) тоже берется как решение, тогда:

            а)ax0+by0=c,

           б)ax+by=c-верное числовое равенство;

Вычтем из а)-б): a(x0-x)+b(y0-y)=0<->a(x0-x)=b(y-y0),так как    

          a(x0-x):b,                                         x0-x:b,

          b(y-y0):a,[так как (a;b)=1], то   y-y0:a;

По определению делимости следует, что существует t[-Z , такое что

               x-x0=bt,

              y-y0=at;      

          Значит, (*)     x=x0-bt

                                  y=y0+at

                                                   ч.т.д.

    Следствие: (D) ax+by=c  в Z либо не имеет решений, либо  имеет бесконечное множество решений, которые находятся по формулам(*).

    Пример1: Найти все целые решения:

                        50x-42y=34/:2           (1)

                        25x-21y=17                (2)                  (1)<->(2) 

           (25,21)=1,    (1) имеет бесконечное множество решений.

                                    x=x0+21t,

                                    y=y0+25t,   t[-Z

           Найдем  x0,y0.

       Уравнение (2) можно свести к сравнению первой степени: 

           25x=17(21)

           4x= -4(21) /:4, так как  (4;21)=1;

       Имеем:

                  x= -1(21), то есть x=20(21);

                  Значит, x0=20

                   21y=25x-17 <-> y=(25*20-17):21=23, y0=23

                  Решение:        x=20+21t,       

                                           y=23+25t;  t[-Z

                  Вместо 20 можно было взять  -1

Указание:

Школьники решают (D) методом спуска. Систематическое изучение диофантовых уравнений в средней школе способствует привитию навыков самостоятельной работы в математике и играет большую роль в повышении уровня математической подготовки школьников.

Пример2: 3x+4y=13  (*)

        Аналогично предыдущему примеру1 , из уравнения имеем:

        3x=1(4). Откуда x=3(4) , то есть x=3+4t, t[-Z. Подставляя в

        уравнение,  найдем y=1-3t. Множество решений:

        {(3+4t,1-3t);t[-Z}.

     Метод5. Метод спуска(*):

    Пример3: 5x3+11y3+13z3=0. Имеем сравнение: 5x3+11y3=0(13).

        Так как a3=0;1;5;8;12(13), то число 5x3+11y3делится на 13 тогда и

          только тогда, когда x=y=0(13). Поэтому x=13x1, y=13y1,z=13z1 .

         Подставив в уравнение, получим:  5x13+11y13+13z13=0.

          Продолжая этот процесс, получим, что  числа x,y,z делятся на

         любую натуральную степень числа 13. Это возможно лишь при

          условии, когда x=y=z=0.

  §4 Основные пифагоровы треугольники.

   Задача о нахождении всех решений диофантовых уравнений второй степени.    

        Пример1.(**) Рассмотрим уравнение второй степени с тремя неизвестными:

                             X2+Y2=Z2    (1)

        Геометрически решение этого уравнения в целых числах можно использовать  как  нахождение всех пифагоровых треугольников, то есть  прямоугольных треугольников, у которых катеты x,y и гипотенуза z выражаются целыми числами. Обозначим через d=НОД(x,y). Тогда

x=x1d, y=y1d  и уравнение(1) примет вид: x12d2+y12d2=z2. Отсюда следует,

что z2 : на d2 и, значит, z кратно d: z=z1d .Теперь уравнение (1) можно

записать в виде: x12d2+y12d2=z12d2; сокращая на d2 , получим: x12+y12=z12 . Мы пришли к уравнению того же вида, что и исходное, причем теперь величины x1 и y1  не имеют общих делителей, кроме 1.Таким образом, при решении уравнения (1) можно ограничиться случаем, когда x и y взаимно просты. Итак, пусть(x;y)=1. Тогда хотя бы одна из величин x и y

 (например, x будет нечетной). Перенося y2 в правую часть уравнения (1)

получим: x2=z2-y2; x2=(z-y)(z+y)  (2). Обозначим через d1  НОД выражений  

z+y и z-y. Тогда   z+x=ad1 , z-y=bd1 , (3) , где (a,b)=1. Подставляя во (2)

значения z+y и z-y , получим:  x2=abd12. Так как числа a и b не имеют

общих делителей, то полученное равенство возможно только в том случае, когда a и b будут полными квадратами(**) : a=U2  ; b=V2 .

Но тогда x2=U2V2d12; x=UVd1 (4). Найдем теперь y и z из равенств(3). Сложение этих равенств дает: 2z=ad1+bd1=U2d1+V2d1 ; z=d1(U2+V2):2 (5)

 Вычитая второе из равенств (3) из первого, получим:

2y=ad1-bd1=U2d1-V2d1 ; y=d1(U2-V2):2   (6) . В силу нечетности x из (4) получаем, что U,V и d1  также нечетны. Более того, d1=1, так как иначе из равенств x=UVd1 и y=d1(U-V):2 следовало бы, что величины x и y имеют

общий делитель d1=1,что противоречит предположению об их взаимной простоте. Числа U и V связаны со взаимно простыми числами a и b равенствами: a=U2, b=V2  и в силу этого сами взаимно  просты: V1=1, получим формулы :

x=UV; y=(U2-V2):2; z=(U2+V2):2,   (7),

дающие возможность при нечетных взаимнопростых U и V(V             

x,y,z, удовлетворяющие уравнению (1). Простой подстановкой                    

x,y,z  в уравнение(1) легко проверить, что при любых  U и V

числа (7) удовлетворяют этому уравнению. Для начальных

значений   и  формулы (7) приводят к следующим часто

встречающимся равенствам:

                               32+42=52 (V=1;U=3),

                               52+122=132 (V=1;U=5),

                               152+82=172(V=3;U=5),              

Как уже было сказано, формулы (7) дают только те решения уравнения

x2+y2=z2  в которых числа x, y и z не имеют общих делителей. Все остальные целые положительные решения этого уравнения получаются домножением решений, содержащихся в формулах (7), на произвольный общий множитель d. Тем же путем, каким мы получили все решения уравнения (1), могут быть получены и все решения других уравнений того же типа.

Пример2: Найдем все решения уравнения (1): x2+2y2=z2    в целых положительных, попарно простых числах x, y, z.

Заметим, что если  x, y, z есть решения уравнения (1) и  x, y, z не имеют общего делителя, отличного от 1,то они и попарно взаимно просты. Действительно, если x и y кратны простому числу p>2, то из равенства

следует, так как его левая часть – целое число, что z кратно p. То же самое будет, если x и y или y и z делятся на p.

Заметим, что х должно быть числом нечетным для того, что НОД(x,y,z)=1. Действительно, если х четно, то левая часть уравнения (1) будет четным числом и, значит, z также будет четным. Но x2 и z2

будут тогда кратны 4. Отсюда следует, что 2y2 должно делиться на 4, другими словами, что y тоже должно быть четным числом. Значит, если х четно, то все числа x, y, z должны быть четными. Итак, в решении без общего, отличного от 1 делителя х должно быть нечетным. Отсюда уже следует, что и z должно быть тоже нечетным. Перенося x2  в правую часть, получаем:

2y2 =z2-x2=(z+x)(z-x);

Но НОД(z+x;z-x)=2. Действительно, пусть НОД(z+x;z-x)=d. Тогда

z+x=kd, z-x=ld, где k,l [ -Z.

Складывая и вычитая эти равенства, будем иметь:

2z=d(k+l), 2x=d(k-l).

Но z и x нечетны и НОД(z;x)=1. Поэтому НОД(2x;2z)=2. Отсюда следует, что d=2. Итак, или  , или   нечетно. Поэтому или числа

z+x и взаимно простые числа  и  z-x.

В первом случае из равенства (z+x)=y2<-> , а во втором случае из равенства

(z-x)=y2 следует , где n, m [-Z; m – нечетное число; n,m>0.

Решая эти две системы уравнений относительно x и z и находя y, мы получаем:

или , , y=mn,

или , , y=mn, где m - нечетно.

Объединяя эти две формы представления решения x, y, z, мы получаем общую формулу: , y=mn, , где m – нечетно.

Но, для того, чтобы z, x [-Z, необходимо, чтобы n было четным. Полагая

n=2b, m=a, мы получим окончательно общие формулы, дающие все решения уравнения (1) в целых положительных, без общего делителя, большего 1, числах x, y, z:

(1/), y=2ab, z=a2+2b2, где a, b>0, НОД(a;b)=1, а – нечетно.

При этих условиях величины а и b выбираются произвольно, но так, чтобы х>0. Формулы (1) действительно дают все решения в целых положительных и взаимно простых числах x, y, z, так как, с одной стороны, доказано, что x, y, z в этом случае должны представляться по формулам (1/), а с другой стороны, если задать числа a и b, удовлетворяющие условиям, то x,y,z будут действительно взаимно просты и будут решением уравнения (1).

Нет ни одной математической проблемы, которая была бы столь популярна, как знаменитая последняя теорема Ферма .

Ее автор, Пьер Ферма (1601-1665), еще при жизни был признан одним из величайших математиков Европы. Сегодня имя Ферма неотделимо от теории чисел , однако его теоретико-числовые работы были настолько революционны и так опережали свое время, что их значение не было понято современниками и слава Ферма основывалось главным образом на его достижениях в других областях математики: ему принадлежат важные труды по аналитической геометрии (наряду с Декартом Ферма был одним из создателей этой науки), по теории максимумов и минимумов функций, впоследствии развившейся в математический анализ, и по геометрической оптике.

Свои научные результаты Ферма не публиковал. Будучи по профессии

юристом, он посвящал математике свободное время и не рассматривал ее как главное дело своей жизни. А сделанных им  открытиях известно из его переписки с другими учеными , а также из бумаг, оставшихся после его смерти. В частности, на полях своего экземпляра «Арифметики»

Диофанта, великого классического произведения древнегреческой математики, в 1621 году переведенного на латинский язык, Ферма оставил  

48 замечаний, содержащих открытые им факты о свойствах чисел.

Доказательства Ферма до нас не дошли, однако в тех случаях, когда он утверждал ту или иную теорему, впоследствии эту теорему удавалось доказать. Единственным исключением является следующие утверждение: «Cubum autem in duos cubos aut quadrato-quadratum in duos quadrato-quadratos  et generaliter nulam in infinitum ultra quadratum potestatem in duas ejusdem nominis fas est dividere; cujus rei demonstreationem mirabilem sane detexi. Hanc marginis exiguitas non caperet»(«Невозможно разложить куб на два куба, или биквадрат на два биквадрата, или вообще степень, большую двух, на две степени с тем же самым показателем; я нашел этому поистине чудесное доказательство, однако поля слишком узки, чтобы оно здесь вместилось.»).  

Этот текст, сопровождаемый указанием: «Наблюдение господина Пьера де Ферма», содержится в издании трудов Диофанта, которая было выпущено Ферма-сыном в 1670 году, через 5 лет после смерти отца. Это подлинное замечание, внесенное Ферма в его собственный экземпляр трудов Диофанта, в настоящее время утраченный каждому, кто держал в руках «Арифметику» Диофанта издания 1621 года, бросаются в глаза необычайно широкие поля - возможно, именно по этой причине Пьер Ферма записывал на них свои замечания.

Таким образом, в переводе на современный математический язык Ферма утверждал, что уравнение:

, n>2,

не имеет целочисленных решений с xyz=0.

Это утверждение называется последней (или великой) теоремой Ферма.

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

§5 Алгебраические уравнения выше второй степени с тремя неизвестными

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

Тем не менее, в этом последнем случае поддается разрешению и более трудный вопрос об определении всех решений уравнений в целых числах.

В качестве примера остановимся на великой теореме Ферма.

Замечательный французский математик Пьер Ферма высказал утверждение, что уравнение:

, при целом

не имеет решений в целых положительных числах x, y,z (случай xyz=0 исключается положительностью x, y,z).

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

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

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

Обычные же целые числа разлагаются на простые множители единственным образом. Например, 6=2*3 и не каких других разложений не допускает внутри совокупности обычных целых чисел. Рассмотрим совокупность всех целых алгебраических чисел вида , где m и n – обычные целые числа. Легко видеть, что сумма и произведение двух таких чисел опять будут числом той же совокупности. Совокупность чисел, обладающая тем свойством, что она содержит любые суммы и произведения чисел, в неё входящих, называется кольцом. По определению, в нашем кольце содержатся числа 2, 3,  . Каждая из этих чисел в этом кольце, как легко можно установить, будет простым, то есть не будет представляться в виде произведения двух не равных единице целых чисел нашего кольца. Но

6=2*3=()*();

другими словами, число 6 не единственным образом разлагается на простые сомножители в нашем кольце. То же обстоятельство, не единственность  разложения на простые сомножители, может иметь место и в других, более сложных, кольцах алгебраически целых чисел. Обнаружив это обстоятельство,  Куммер убедился, что его доказательства общей великой теоремы Ферма не верно. Для преодоления трудностей, связанных с не единственностью разложения на множители, Куммером была построена теория идеалов, которая играет в настоящие время исключительно большую роль в алгебре и теории чисел. Но даже с помощью этой теории полностью доказать великую теорему Ферма Куммер не смог и доказал ее только для n, делящихся хотя бы на одно из так называемых регулярных простых чисел. Не останавливаясь на расшифровке понятия регулярного простого числа, мы можем указать только, что до настоящего времени неизвестно, существует ли только конечное число таких простых чисел или их бесконечное множество.

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

Доказательство теоремы Ферма для случая n=4 методом спуска.

Теорема:

Уравнение Ферма

             (1)

не имеет решений в целых числах x, y и z, xyz0.

Доказательство: Мы докажем даже более сильную теорему, именно, что уравнение

                                                              (2) 

не имеет решений в целых числах  x, y и z,  xyz0.

Из этой теоремы уже следует непосредственно отсутствие решений у уравнения (1). Если уравнение (2) имеет решение в целых, отличных от нуля числах x, y, z, то можно предполагать, что эти числа попарно взаимно просты. Действительно, если есть решение, в котором числа x и y имеют наибольший общий делитель d>1, то

                        ,

где (x1, y1)=1. Разделив обе части уравнения (2) на d4, мы будем иметь, что

                                              x14+y14 == z12.   (3)

Но x1 и y1 – целые числа, значит,  - тоже целое число. Если бы у z1 и y1 был общий делитель k>1, то x12 в силу (3) должно было бы делиться на k, а значит, . Итак, мы доказали, что если существует решение уравнения (2) в целых, отличных от нуля числах, то существует также решения в целых, отличных от нуля и взаимно простых числах. Поэтому нам достаточно доказать, что уравнение два не имеет решений в целых, отличных от нуля и попарно взаимно простых числах. В дальнейшем ходе доказательства мы, говоря, что уравнение (2) имеет решение, будем предполагать, что оно имеет решение в целых, положительных и попарно взаимно простых числах.

В §4 мы доказали, что все решения уравнения  (4) в целых положительных, попарно взаимно простых числах определяются по формуле и имеют вид:

 , ,     (5)

где u и v- два любых нечетных, взаимно простых положительных числа.

Придадим несколько другой вид формулам (5), определяющим все решения уравнения (4). Так как u и v - нечетные числа, то, положив

,            (6)

мы определим числа u и v равенствами

   u = a + b, v = a – b,      (7)

где а и b – целые числа разной четности. Равенства (6) и (7) показывают, что любой паре нечетных взаимно простых чисел u и v соответствует пара взаимно простых чисел а и b разной четности и что любой паре взаимно простых чисел а и b разной четности соответствует пара взаимно простых  нечетных чисел u и v.

Поэтому, сделав в (5) замену u и v на а и b, мы получим, что все тройки целых положительных и попарно взаимно простых чисел x,y,z (х – нечетное), являющиеся решениями уравнения (4), определяются по формулам

, y = 2ab, ,     (8)

где а и b – два любых взаимно простых числа разной четности при условии, что x>0. Эти формулы показывают, что x и y разной четности. Если уравнение (2) имеет решение [x0, y0, z0], то это значит, что

[x02]2+[y02]2 =z02,

другими словами, что тройка чисел (x02, y02 ,z0) является решением уравнение (4). Но тогда должны существовать два числа а и b, а>b, взаимно простых и разной четности, таких, что

, y0 2 = 2ab, ,     (9)

Мы допускаем при этом, для определенности, что x0 - нечетно, y0  - четно. Противоположное допущение ничего не изменило бы, так как было бы достаточно заменить x0 на y0 и наоборот. Но мы уже знаем, что квадрат нечетного числа {, a- всякое нечетное число, N, M - целые числа} дает в остатке 1 при делении на 4. Поэтому из равенства

      ,             (10)

следует, что а – нечетно, b – четно. В противном случае левая часть этого равенства при делении на 4 давала бы в остатке 1, а правая, так как мы предположили а–четным, b–нечетным, -1. Так как а–нечетно и (а,b)=1, то и (а, 2b)=1.

Но тогда из равенства

                                                  y0 2 = 2ab,      

следует, что

     a=t2, 2b=s2 ,      (11)

где t и s – какие-то целые числа. Но из соотношения (10) следует, что [x0, а, b] есть решение уравнения (4). Значит,

, b = 2mn, ,

где m и n- некоторые простые числа разной четности. Из (11) имеем:

,

откуда в силу взаимной простоты m и n следует, что

  m=p2, n=q2,          (12)

где p и q-отличные от нуля целые числа. Так как  и a=t2, то

    q4+p4=t2,             (13).

Но

                                                  > a2.

Поэтому         (z0>1).    (14)

Положив q=x1, p=y1, t=z1, мы видим, что если существует решение [x0,y0,z0], то должно существовать и другое решение [x1,y1,z1], причем 010. Этот процесс получения решений уравнения (2) можно получать неограниченно, и мы получим последовательность решений

                           [x0, y0, z0],  [x1, y1, z1], …, [xn, yn, zn ], … ,

причем целые положительные числа z0, z1, z2 ,…, zn , …будут монотонно убывать; другими словами, будут верны неравенства

                                  z0 > z1 > z2 >…> zn >…

Но целые положительные числа не могут образовать бесконечную монотонно убывающую последовательность, так как в такой последовательности не может быть больше z0 членов. Мы пришли, таким образом, к противоречию, предположив, что уравнение (2) имеет хотя бы одно решение в целых x, y, z,  xyz=0. Этим доказано, что уравнение (2) не имеет решений. Следовательно, и уравнение (1) не имеет решений в целых положительных числах [x,y,z], так как в противном случае, если [x,y,z]- решение (1), то [x,y,z2]- решение (2).

Метод доказательства, которым мы пользовались, заключавшийся в построении с помощью одного решения бесчисленной последовательности решений с неограниченно убывающими положительными z, называется методом спуска. Как мы уже говорили выше, осуществить этот метод в общем случае теоремы Ферма мешает пока  не единственность разложения целых чисел алгебраических колец на простые сомножители того же кольца (См.[1]).

Заметим, что мы доказали отсутствие целых решений не только у уравнения (2), но и у уравнения

                                      x4n+y4n=z2n .     

Любопытно отметить, то уравнение

                                    x4+y2=z2 

имеет бесчисленное множество решений в целых положительных числах, например x=2, y=3, z=5.

Пример. Докажем, что уравнение

                                     x4+2y4=z2                               (15)

   не имеет решений в целых, отличных от нуля числах x,y,z.

Допустим, что уравнение (15) имеет решение в целых положительных числах

[x0, y0, z0]. Эти числа мы сразу можем предполагать взаимно простыми, так как если бы они имели бы НОД=d>1, то числа x0/d, y0/d, z0/d2 также были бы решением уравнения (15). Наличие общего делителя у двух из них влекло бы за собой существование общего делителя у всех трех. Кроме того, предположим, что z0 – наименьшее из всех возможных z в решениях (15) в целых положительных числах. Так как [x0,y0,z0] –решение уравнения (15), то [x02,y02,z] будут решением уравнения

                                    x2+2y2=z2                            (16)

Пользуясь формулами(1’) из §4,Пример2, дающими все целые положительные решения (16), мы видим, что существуют такие целые положительные a и b, (a,b)=1, a нечетно, которые удовлетворяют равенствам

                  x02 = +(a2-2b2), y02=2ab, z0=a2+2b2                      (17)

Из равенства y02 =2ab следует, что b  само должно быть четно, так как y четно, y делится на 4, а a нечетно. Так как (b/2,a)=1, то из равенства

                                   (y0./2)2=a*b/2

непосредственно следует, что

                                 a=m2, b/2=n2,

где m и n- целые положительные и (m,2n)=1. Но из (17) следует

        x02=+(a2-2b2)=+[a2-8(b/2)2],                           (18)

где a и x0- нечетны. Мы уже видели, что квадрат нечетного числа при делении на 4 дает в остатке 1.Поэтому левая часть (18) при делении на 4 дает в остатке 1. Значит, в равенстве (18) скобка в правой части может входить только с плюсом. Теперь равенство (18) можно записать уже в форме

                                x02 =m4-8n4  

или в форме

                                 x02 +2(2n2)2=(m2)2,                                 (19)

где x0, n, m-целые положительные и взаимно простые числа. Значит, числа x0, 2n2, m2 образуют решение уравнения (16), причем x0, m2, 2n2

взаимно просты.  Поэтому в силу формул (1’),§4,Пример2  найдутся такие целые числа p и q, p-нечетно, (p,q)=1, что

                  2n2=2pq, m2=p2+2q2, x0=+(p2-2q2).                          (20)

Но так как (p, q)=1 и n2=pq, то p=s2,  q=r2 , где s и r-целые взаимно простые числа. Отсюда окончательно следует соотношение

                                              s4+2r4=m2 ,                                     (21)

которое показывает, что числа s, r, m образуют решение уравнения (15). Но из вышеполученных равенств

                                 z0=a2+2b2, a=m2 .                                    

следует, что z0 > m. Итак, имея решение [x0, y0, z0], мы нашли другое решение

[s, r, m], причем 0 < m < z0 . Это же противоречит предположению, аоторое мы сделали, что решение [x0, y0, z0] имеет другое решение z0 наименьшим из возможных. Таким образом, мы пришли к противоречию, допустив существование решения у уравнения (15), и доказали, что это уравнение неразрешимо в целых, отличных от нуля числах.

Вывод:

Более трехсот лет теорема Ферма привлекала внимание многих поколений математиков и служила беспрецедентным стимулом для развития математики. При попытках ее доказать были разработаны мощные средства, приведшие к созданию обширного раздела математики- теории алгебраических чисел. С помощью теоретико –числовой техники теорема Ферма была проверена для всех n< 4000 000. Но до конца 1994 года в общем случае оставалась недоказанной. Получить ее полное доказательство удалось лишь с помощью теории эллиптических кривых.                 

Литература:

1. Химчин А.Я. «Великая теорема Ферма»
2. Башмакова И.Г. «Диофант и диофантовы уравнения», М.:Наука,1972г.
3. Гельфонд А.О. «Решение уравнений в целых числах», М, 1957г.
4. Соловьев Ю.П. Гипотеза Таниямы и последняя теорема Ферма//               Соросовский образовательный журнал. 1998г.№2.Стр.135-138.
5. Хамов Г.Г. «Элементы теории диофантовых уравнений в задачах и  
6. упражнениях», Учебное пособие, С-П.:1986г.

Оглавление

§1 Введение.        

Историческая справка        

§2  Задачи, приводящие к диофантовым уравнениям.        

Задача1.        

Задача2.        

Задача3.        

Задача4.        

§3  Методы решения диофантовых уравнений        

Метод1. Свойства делимости и диофантовы уравнения.        

Метод 2. Диофантовы уравнения, допускающие разложение на множители.        

Метод 3. Метод подстановки в решении диофантовых уравнений:        

Задание: Найти целочисленные решения следующих уравнений:        

Метод 4. Сравнения и диофантовы уравнения.        

Метод5. Метод спуска(*):        

§4 Основные пифагоровы треугольники.        

§5 Алгебраические уравнения выше второй степени с тремя неизвестными        

Доказательство теоремы Ферма для случая n=4 методом спуска.        

Вывод:        

Литература: