Оглавление

 

Введение. 2

1. Диофант и история диофантовых уравнений. 2

2.  Число решений ЛДУ. 4

3.  Нахождение решений для некоторых частных случаев ЛДУ. 6

3.1. ЛДУ c одной неизвестной. 6

3.2. ЛДУ с двумя неизвестными. 6

4. Нахождение решений произвольного ЛДУ. 10

5. Пример решения ЛДУ на Turbo Pascale. 11

5.1 Алгоритм решения. 11

5.2 Листинг программы на Turbo Pascale. 12

5.3 Пример решения уравнения. 13

6. Литература: 14

 

 

Введение.

Определение 1. Диофантовым уравнением 1-ой степени (линейным) с  неизвестными называется уравнение вида

 ,

где все коэффициенты и неизвестные – целые числа и хотя бы одно .

Для сокращения записи условимся далее сокращать фразу линейное диофантово уравнение, как ЛДУ.

Определение 2. Решением ЛДУ называется упорядоченная n-ка целых чисел , такая, что .

1. Диофант и история диофантовых уравнений.

 

Диофант (Dióphantos) представляет одну из занимательных загадок в истории математики. Никто не знает, кем был Диофант, точные года его жизни, не известны его предшественники, которые работали бы в той же области, что и он. [10]

На могиле Диофанта есть стихотворение-загадка, решая которую нетрудно подсчитать, что Диофант прожил 84 года. О времени жизни Диофанта можно судить по работам французского исследователя науки Поля Таннри - это, приблизительно, середина III в.н.э. [10]

Наиболее интересным представляется творчество Диофанта. «Труды его подобны сверкающему огню среди полной непроницаемой тьмы». [Стройк] До нас дошло 7 книг из, возможно, 13 [1], которые были объединены в «Арифметику». Стиль и содержание этих книг резко отличаются от классических античных сочинений по теории чисел и алгебре, образцы которых известны по «Началам» Евклида, леммам из сочинений Архимеда и Аполлония. «Арифметика», несомненно, явилась результатом многочисленных исследований, многие из которых остались неизвестными.

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

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

Неопределенные уравнения 1-й степени начали рассматриваться индусскими математиками позднее, примерно с V века. Некоторые такие уравнения с двумя и тремя неизвестными появились в связи с проблемами, возникшими в астрономии, например, при рассмотрении вопросов, связанных с определением периодического повторения небесных явлений.[2]

Первое общее решение уравнения первой степени , где  - целые числа, встречается у индийского мудреца Брахмагупты (ок. 625 г). Поэтому, строго говоря, нет оснований называть линейные неопределенные уравнения диофантовыми. Однако исторически все же сложилось применять термин «диофантово», к любому уравнению, решаемому в целых числах.

В 1624 г. в  публикуется книга французского математика Баше де Мезирьяка «Problẻmes plaisans et delectables que se font par les nombres». Баше де Мезирьяк для решения уравнения  фактически применяет процесс, сводящийся к последовательному вычислению неполных частных и рассмотрению подходящих дробей.

После Баше де Мезирьяка в XVII и XVIII веках различные правила для решения неопределенного уравнения 1-й степени с двумя неизвестными давали Роль, Эйлер, Саундерсон и другие математики.

Цепные дроби к решению таких уравнений были применены Лагранжем, который, однако, замечает, что фактически это тот же способ, который был дан Баше де Мезирьяком и другими математиками, рассматривавшими неопределенные уравнения до него. Неопределенные уравнения 1-й степени стали записываться и решаться в форме сравнения значительно позже, начиная с Гаусса. [2]

В августе 1900 г. в Париже состоялся II Международный конгресс математиков. 8 августа Д.Гильберт прочитал на нем доклад "Математические проблемы". Среди 23 проблем, решение которых (по мнению Д.Гильберта) совершенно необходимо было получить в наступающем XX в., десятую проблему он определил следующим образом:

"Пусть задано диофантово уравнение с произвольным числом неизвестных и рациональными числовыми коэффициентами. Указать способ, при помощи которого возможно после конечного числа операций установить, разрешимо ли это уравнение в целых числах".  [7]

Гипотезу, что такого способа нет, первым выдвинул (с достаточным на то основанием) американский математик М.Дэвис в 1949 г. Доказательство этой гипотезы растянулось на 20 лет - последний шаг был сделан только в 1970 г. Юрием Владимировичем Матиясеевичем, на первом году аспирантуры он показал алгоритмическую неразрешимость 10 проблемы Гильберта.

Однако если про произвольное диофантово уравнения нельзя сказать, имеет ли оно целые корни, или нет, то проблема существования целых корней ЛДУ решена.

2.  Число решений ЛДУ.

 

Теорема 1. При взаимно простых коэффициентах  диофантово уравнение

имеет решение в целых числах.

Доказательство. Обозначим через множество тех положительных чисел , для которых уравнение

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

В множестве существует наименьшее число ( – подмножество натуральных чисел), которое мы обозначим через   Обозначим через  - целые числа, такие, что

.

Пусть , где ; тогда

.

Мы подобрали целые значения: , ,…, , такие, что , но , а  - наименьшее положительное число в , т. е.  не может быть положительным, , , .

Аналогично получаем: ,…,.

Мы видим, что  – общий делитель чисел , следовательно, поскольку , , , , то уравнение разрешимо в целых числах.

 

Теорема 2. Пусть  - наибольший общий делитель коэффициентов  . Диофантово уравнение имеет решение тогда и только тогда, когда . Число решений такого уравнения равно либо нулю, либо бесконечности.

Докажем последовательно все три утверждения теоремы.

1). Пусть . Для уравнения

,

где , существуют целые числа:  удовлетворяющие ему. Т.е. такие, что

.

Тогда

т. е.  - решение уравнения.

2). Пусть теперь  не делит . Тогда левая часть уравнения при любых целых  делится  на , а правая на  не делиться, так что равенство при целых значениях  невозможно.

 

3). Если  - упорядоченная  n-ка чисел, удовлетворяющий уравнению, то например, все n-ки

 при

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

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

 

3.  Нахождение решений для некоторых частных случаев ЛДУ.

3.1. ЛДУ c одной неизвестной.

Рассмотрим линейное уравнение с одной неизвестной, т.е. уравнение вида

 

Ясно, что решением данного уравнения будет , и решение будет целым числом только в том случае, когда .

 

3.2. ЛДУ с двумя неизвестными.

Рассмотрим линейное уравнение с двумя неизвестными:

, .

Существует несколько алгоритмов для нахождения решения.

Способ 1.

Пусть

Рассмотрим два случая:

         а)  не делится на . В этом случае решений нет по теореме 2.

         б)  делится на , поделим на .

;

.

Таким образом получили новое ЛДУ, с тем же множеством решений, но уже со взаимно-простыми коэффициентами. Поэтому далее мы будем рассматривать именно такие уравнения.

Рассмотрим , .

, перейдем к сравнению,

.

Т.к. , то сравнение имеет единственное решение .

; подставим в уравнение.

;

;

, причем .

Обозначим .

Тогда общее решение можно найти по формулам: , где .

Пример.  , .

Найдем решение сравнения ;

;

, т.е.

 .

;

Получили общее решение: , где .

Способ 2.

Рассмотрим еще один способ нахождения решения ЛДУ с двумя неизвестными, а для этого рассмотрим уравнение вида . Уравнения такого вида называются линейными однородными диофантовыми уравнениями (ЛОДУ). Выражая неизвестную , через неизвестную  приходим к . Так как x должен быть целым числом, то, где - произвольное целое число. Значит. Решениями ЛОДУ  являются n-ки вида , где . Множество всех таких n-ок называется общим решением ЛОДУ, любая же конкретная пара из этого множества называется частным решением.

Рассмотрим уравнение , . Пусть n-ка его частное решение, а множество n-ок  общее решение соответствующего ЛОДУ. Докажем предложение.

Общее решение ЛДУ ,  задается уравнениями , где .

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

 - однородное уравнение. Пишем сразу общее решение:  , откуда получаем:

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

Рассмотрим частное решение ЛДУ.

По теореме о линейном разложении НОД, это означает, что найдутся такие  и   из множества целых чисел, что , причем эти   и  легко можно найти с помощью алгоритма Евклида. Умножим теперь равенство  на  и получим: , т.е., .

Таким образом, для нахождения общего решения находим общее решение ЛОДУ, частное решение ЛДУ и их складываем.

Замечание: особенно этот способ удобен, когда  или . Если, например, , , тогда n-ка , очевидно, будет частным решением ЛДУ. Можно сразу выписывать общее решение.

 

Пример. , .

Найдем частное решение. Используем алгоритм Евклида.

;

Получаем линейное разложение НОД:

, т.е .

,

Получили общее решение: , где .

Таким образом получили решение, не совпадающее с решением, найденным первым способом.

Обозначим  и получим , т.е эти решения равносильны.

Способ 3.

Еще один способ опирается на теорему:

Пусть  - произвольное решение диофантова уравнения

, , тогда

множество решений уравнения в целых числах совпадает с множеством пар , где , , где t – любое целое число.

Доказательство этого несложного факта можно найти в книге Бухштаба [2, стр. 114].

Частное решение можно легко отыскать с помощью алгоритма Евклида.

 

4. Нахождение решений произвольного ЛДУ.

 

Перейдем теперь к решению ЛДУ с  неизвестных, т. е. уравнений вида

где все коэффициенты и неизвестные – целые числа и хотя бы одно . Для существования решения по теореме 2, необходимо, чтобы

Положив

перейдем к равносильному уравнению

 (*),

где. Пусть,   - два ненулевых числа, таких, что  Для определенности предположим, что,  Разделив с остатком  на , получим представление . Заменив  на  в уравнении (*), приведем его к виду

Перепишем это уравнение в виде

  (**)

где

,  .

Очевидно, что решения уравнения (*) и (**) связаны между собой взаимно однозначным соответствием и, таким образом, решив уравнение (**), несложно найти все решения уравнения (*). С другой стороны отметим, что

 

Отметим также, что

Следовательно, за конечное число шагов уравнение (*) приведется к виду

 (***)

где числа   (i = 1,...,n), которые не равны нулю, равны между собой по абсолютной величине. Из соотношения  следует, что числа  могут принимать только значения 0,±1, причем не все из них равны нулю. Предположим, для определенности, . Тогда уравнение (***) имеет следующее решение:

где t₂, t₃, ..., t_n - произвольные целые числа. Отсюда, учитывая проведенные замены, получается и решение уравнения (*). Отметим, что при получении решения уравнения (***) использовался лишь факт, что , поэтому, при выполнении алгоритма можно остановиться на том шаге, когда хотя бы один из коэффициентов станет равным  ±1.

5. Пример решения ЛДУ на Turbo Pascale.

5.1 Алгоритм решения.

a₁x₁ + a₂x₂ + ... + a_nx_n = НОД(a₁, a₂, ..., a_n ).

Функция NOD(n, a(), x())

Задать набор Na_i            {1,0,...,0}

Цикл i от 2 до n

Задать набор Na_i       {0,0,...,0,1_i,0,...,0}

Пока a(i) ≠ 0     

 q = a(1)/a(i)

t = a(i); Nt = Na_i {набор временный}

a(i) = a(1) - q*a(i);  

Na_i = Na₁ - q*Na_i {покомпонентно}

a(1) = t Na₁ = Nt

Конец пока

{набор Na_i содержит решение} {однородного уравнения}

Конец цикла i

NOD = a(1)    {НОД коэффициентов}

x() = Na₁

{набор Na₁ содержит частное решение} {уравнения}

конец функции

5.2 Листинг программы на Turbo Pascale.

type

TVector = array [1..100] of Integer;

var

n, i, a1, ai, tmp: Integer;

a, x1, xi: TVector;

procedure SetUnitVector (var  v: TVector; index: Integer);

begin

FillChar (v, Size Of (TVector), 0);

v[index] := 1;

end;

 

procedure Calculate Vector (var v1, v2:TVector; q: Integer);

var

i, tmp: Integer;

begin

for i := 1 to n do

begin

tmp := v2[i];

v2[i] := v1[i] - q * v2[i];

v1[i] := tmp;

end;

end;

 

begin

Write ('Введите количество компонент n: ');

Readln (n);

Write('Введите компоненты Ai через пробел: ');

for i := 1 to n do Read(a[i]);

Readln;

 

Set Unit Vector (x1, 1);

a1 := a[1];

for i := 2 to n do

begin

SetUnitVector (xi, i);

ai := a[i];

while ai <> 0 do

begin

Calculate Vector (x1, xi, a1 div ai);

tmp := ai;

ai := a1 mod ai;

a1 := tmp;

end;

end;

 

Writeln ('HОД = ', a1);

for i := 1 to n do Write(x1[i], ' ');

Writeln;

end.

 

5.3 Пример решения уравнения.

1).  Решить в целых числах уравнение:

4x - 6y + 11z = 7,  (4,6,11)=7

Разделив с остатком -6 на 4, получим -6 = 4(-2) + 2. Представим исходное уравнение в виде

4(x - 2y) + 2y + 11z = 7.

После замены x = x - 2y это уравнение запишется следующим образом

4x + 2y + 11z = 7.

Учитывая, что 11 = 2·5 + 1, преобразуем последнее уравнение:

4x + 2(y + 5z) + z = 7.

Положив y = y + 5z, получим

4x + 2y + z = 7.

Это уравнение имеет следующее решение: x, y - произвольные целые числа, z = 7 - 4x - 2y.

Следовательно y = y - 5z = 20x + 11y - 35,  x = x + 2y = 41x + 22y - 70.

Таким образом, решение исходного уравнения имеет вид

, где,  - произвольные целые числа.

2). Решить в целых числах уравнение

Разделим 5 на -4 с «остатком», , преобразуем исходное уравнение к виду

.

Заменив  получим , следовательно

, является решением данного ЛДУ.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6. Литература:

 

1.     Башмакова, И.Г. Диофант и диофантовы уравнения [Текст]. – М.: «Наука», 1972 г. - 68 с.

2.     Бухштаб, А. А. Теория чисел [Текст]. - М.: Государственное учебно-педагогическое издательство министерства просвещения РСФСР, 1960. - 378 с.

3.     Виноградов, И.М. Основы теории чисел: Учебное пособие. 11-е изд. [Текст]. – СПб.: Издательство «Лань», 2006. - 176 с.

4.     Гаусс, Карл Фридрих Труды по теории чисел. Под общей ред. Виноградова И.М. [Текст] – М.: Изд. академических наук СССР, 1959 г. - 980 с.

5.     Гельфонд, А.О. Решение уравнений в целых числах. Популярные лекции по математике, вып. [Текст]. М.: «Гостехиздат», 1957 г. - 66 с.

6.     Давенпорт, Г. Введение в теорию чисел [Текст]: Пер. с английского Мороза Б.З. под ред. Линника Ю.В.  – М.: «Наука», 1965 г. - 176 с.

7.     Матисеевич, Ю.В. Десятая проблема Гильберта [Текст]. - М.: «Физматлит», 1973 г. - 224 с.

8.     Михелович, Ш.Х. Теория чисел [Текст]. – М.: «Высшая школа», 1962 г. - 260 с.

9.     Соловьев, Ю. Неопределенные уравнения первой степени [Текст]: Квант, 1992 г., №4.

10. Стройк, Д.Я. Краткий очерк истории математики [Текст]. – М.: «Наука», 1990 г. - 256 с.