VII Международная студенческая научная конференция Студенческий научный форум - 2015

1 УРАВНЕНИЯ ПЕЛЛЯ И ТЕОРЕМА ДИРИХЛЕ О ЕДИНИЦАХ

 1.1 УравненияПелля

 Определение. Уравнение вида

 где N, , называется уравнением Пелля.

График уравнения Пелля гипербола (Рис.1), асимптоты которого .

 

 

Рисунок 1-График уравнения Пелля

 

При любом график гиперболы проходит через точки , симметрично относительно обеих координатных осей.

 Рассмотрим вопрос о разрешимости в целых числах данного уравнения.

В силу симметричности задачи ограничимся случаем, когда  и . Заметим, что существует очевидное решение . Кроме того, легко увидеть, что если  и  - два неотрицательных решения уравнения, причем , то тогда и .

Под неотрицательным (положительным) решением уравнения Пелля будем понимать такую упорядоченную пару , что  и и .

Пусть  - наименьшее положительное решение уравнения .

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

 

Совершим ряд преобразований.

 

Û ,

 

отсюда

или

Обозначив , , получим . Таким образом, после возведения в квадрат, пара  оказалась положительным решением уравнения . Аналогичные выводы можно сделать, возводя  в куб (тогда пара  будет положительным решением), в четвертую и т.д. степени.

Итак, если  - наименьшее положительное решение уравнения  и , то  также является положительным решением данного уравнения.

 

Теорема.  Других положительных решений нет.

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

Пусть  - произвольное решение уравнения , тогда , . Предположим, что , , и придем к противоречию.

Действительно, тогда . Разделим это двойное неравенство на  (или, что то же самое, умножим это неравенство на ), получим

 

Û

Û .

 

Заметим, что пара  является решением уравнения

Если теперь мы покажем, что

то получим противоречие с тем, что  - наименьшее положительное решение данного уравнения.

Действительно,  (так как из ,  следует , ), но , .

Поэтому .

Далее,

,

т.к. из

следует

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

  надо показать, что

Последнее неравенство равносильно , а это и было предположено.

Таким образом, . Противоречие.

Итак, , .

 

 

1.2 Цепные и подходящие дроби

 

Любое не целое число

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

                                              (1.2)

Представление (2.2) называется цепной дробью.

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

Если бесконечной цепной дроби  представленной в виде

 

 

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

 

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

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

Рассмотрим на плоскости прямую , пусть  (Рис.2). Это означает, что прямая проходит через начало координат  и точку . 

 

Рисунок 2-Поиск точек близко лежащих к заданной прямой

 

Алгоритм нахождения целых точек близко лежащие к заданной прямой следующий:  единичные векторы координатных осей. Строим вектор , затем к вектору   прибавляем вектор  до тех пор, пока не пересечем заданную прямую. Т.е. надо найти такую целую , что , далее , где  целое число, такое что вектор  не пересекает прямую  и т.д. Алгоритм достигнет цели когда конец последнего вектора суммы имеет целые координаты, которая является координатами точки на заданной прямой.

 

Определение 1. Иррациональное число  называется квадратично иррациональным, если оно является корнем многочлена второй степени с целыми коэффициентами. А второй корень этого многочлена  называется сопряженным к .

Алгоритм нахождения целых точек близко лежащие к заданной прямой следующий:  единичные векторы координатных осей. Строим вектор , затем к вектору   прибавляем вектор  до тех пор, пока не пересечем заданную прямую. Т.е. надо найти такую целую , что , далее , где  целое число, такое что вектор  не пересекает прямую  и т.д. Алгоритм достигнет цели когда конец последнего вектора суммы имеет целые координаты, которая является координатами точки на заданной прямой.

Определение 1. Иррациональное число  называется квадратично иррациональным, если оно является корнем многочлена второй степени с целыми коэффициентами. А второй корень этого многочлена  называется сопряженным к .

 Определение 2.Если для достаточно больших  и для фиксированного  выполняется , то цепная дробь  называется периодичной с периодом .

Теорема 2.1. Цепная дробь периодична (т.е. последовательность ее элементов, начиная с некоторого места, повторяет себя)  тогда и только тогда, когда число представленное этой дробью число квадратическая иррациональность, число вида , где числа  рациональные числа.

Определение 3. Квадратичное число  называется приведенным,  если  и

Для доказательства существования решений уравнения Пелля нам поможет теорема Дирихле о приближении.

Рассмотрим уравнение Пелля

 

, где N, .

 

Для начало докажем следующую теорему:

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

Доказательство: Рассмотрим  иррациональное число

Для любого числа вида  возьмем натуральное  такое, что .

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

Тогда по принципу Дирихле из них найдется хотя бы один интервал который содержит хотя бы два из следующих чисел:

 

Следовательно, разность между ними меньше, чем .

Пример: Пусть   Рассмотрим следующие иррациональные числа: . Подберем для них соответственно  такие, что все числа

такие, что для всех  выполняется условие

Разобьем  на  равных частей:

Теперь не трудно проверить,  что все приведенные выше числа , где , удовлетворяют условию теоремы, т.е. найдется такие целые  такие, что  и . 

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

 

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

Доказательство. Применяем результат первой теоремы: обе стороны неравенства  делим на , и тогда  так как

Теорема 3. Если , то пара чисел

удовлетворяют уравнению .Кроме того уравнение

имеет решение только полученные с помощью тривиального решение (0,1).

Список использованных источников

 

1.                  Боревич З.И., Шафаревич И.Р. Теория чисел. - М.: Наука, 1972.

2.                  Бардушкин В.В., Кожухов И.Б., Прокофьев А.А.Делимость чисел и решение уравнений в целых числах (теория и задачи с решениями). - М.: МГИЭТ(ТУ), 1999.

3.                  Бенуа Д.Г., Михайлов А.Б. Делимость целых чисел. - СПб.: ГДТЮ (лаборатория непрерывного математического образования), 1998.

4.                  Болтянский В.Г., Левитас Г.Г. Делимость чисел и простые числа //В кн. «Дополнительные главы по курсу математики 7 - 8»//. - М.: Просвещение, 2-е издание, 1974, с. 5 - 69.

5.                  Бухштаб А.А. Теория чисел. - М.: Учпедгиз, 1960.

6.                  Виноградов И.М. Основы теории чисел. - М.: Наука, 1972.

7.                  Воробьев Н.Н. Признаки делимости (популярные лекции по математике). - М.: Наука, 1980.

8.                  Галкин Е. Задачи с целыми числами. - М.: «Математика», 1999 - 2000.

9.                  Галочкин А.И., Нестеренко Ю.В., Шидловский А.Б. Введение в теорию чисел. - М.: изд-во МГУ, 2-е издание, 1995.

10.              Гельфанд А.О. Решение уравнений в целых числах (популярные лекции по математике). - М.: Наука. 1983.

11.              Дэвенпорт Г. Высшая арифметика. - М.: Наука, 1965.

12.              Курант Р., РоббинсГ. Что такое математика? - М.: Просвещение, 2-е издание, 1967.

13.              Ляпин Е.С., Евсеев А.Е. Алгебра и теория чисел. - М.: Просвещение, часть 1, 1974.

14.              Малинин В. Решение уравнений в натуральных и целых числах. - М.: «Математика», 2001, №№ 21 - 22.

15.              Молдаванский Д.И. Целые числа. Основы теории делимости. - Иваново: изд-во Ивановского областного института повышения квалификации и переподготовки педагогических кадров, 2001.

16.              Оре О. Приглашение в теорию чисел (библиотечка «Квант»). - М.: Наука, 1980.

17.              Потапов М.К., Александров В.В., Пасиченко П.И. Алгебра и анализ элементарных функций. - М.: Наука, 1980.

18.              Соловьев Ю.П. Гипотеза Таниямы и последняя теорема Ферма. - Соросовский образовательный журнал, 1998, № 2, с. 135 - 138.

19.              Федотов М.В., Хайлов Е.Н. Подготовка к вступительным экзаменам в МГУ. Задачи устного экзамена по математике. - М.: ВМиК МГУ, 2002.

20.              Хассе Г. Лекции по теории чисел. - М.: И.Л., 1953.

21.              Шмидт Р.А. Задачи по алгебре. - СПб.: 1991.

 

 

Код для цитирования: Скопировать