Выпускная квалификационная работа: МЕТОДЫ ГЕОМЕТРИИ ЧИСЕЛ ДЛЯ РЕШЕНИЯ ДИОФАНТОВЫХ УРАВНЕНИЙ

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

Дата добавления на сайт: 23 февраля 2025
МИНИСТЕРСТВО ВЫСШЕГО И СРЕДНЕГО СПЕЦИАЛЬНОГО ОБРАЗОВАНИЯ РЕСПУБЛИКИ УЗБЕКИСТАН
САМАРКАНДСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ АЛИШЕРА НАВОИ
Механико-математический факультет
- математическое направление

методы геометрии чисел для решения диофантовых уравнений
(выпускная квалификационная работа)

Буляева Мафтуна
Разрешение на защиту:
Декан факультета: проф.А.Солеев
Зав.кафедры: доц.Х.Х.Рузимурадов
Научный руководитель: доц.Х.Х.Рузимурадов

Самарканд-2012
Содержание

Введение
Глава I. Основы геометрии чисел
§ I.1 Решетки, подрешетки и их базисы
§ I.2 Основные теоремы геометрии чисел
Глава II. Квадратичные формы и их связь с решетками
§ II.1 Квадратичные формы
§ II.2 Связь квадратичных форм с решетками
Глава III. Диофантовы уравнения
§ III.1 Основные понятия
§ III.2 Методы геометрии чисел для решения диофантовых уравнений
§ III.3 Приложение изученной теории к решению задач
Заключение
Список используемой литературы

Введение

Постановка задачи: Выпускная квалификационная работа посвящена одному из разделов теории чисел - теории диофантовых уравнений, их решению методами геометрии чисел. Рассмотрение диофантовых уравнений частного вида с целыми и рациональными решениями - наиболее важная часть данной работы. Все рассматриваемые уравнения являются классическими и каждое из них играло важную роль в историческом развитии этой области теории чисел.
Актуальность темы: Стандартная задача из элементарной алгебры обычно приводится к системе из двух уравнений с тремя неизвестными. Четкая перспектива периода формирования диофантовых уравнений представлена А.Вейлем, С.Ленгом, И.Виноградовым, и т.д. В настоящее время диофантовы уравнения продолжают изучаться, при этом полная теория разработана лишь для линейных уравнений.
Цели и задачи: В работе изучаются следующие задачи:
•Представление любого натурального числа в виде суммы квадратов целых чисел.
•Изучение основных теорем геометрии чисел.
•Рассмотрение диофантовых уравнений частного вида с целыми и рациональными решениями - наиболее важная часть данной работы
•Применение изученной теории к решению диофантовых уравнений
Научное значение: Одним из центральных в теории диофантовых уравнений является вопрос о том, когда число решений конечно, и о нахождении в этом случае эффективной границы для координат решений. Вопрос об эффективности удалось решить лишь для частного вида. Поэтому всякое представление решения диофантовых уравнений эффективно имеет научное значение.
Научно-исследовательские методы: В работе используются методы алгебры и геометрии чисел, методы решения сравнений, методы решения уравнений.
Практическое значение работы: Методы решения диофантовых уравнений и их эффективность связаны с вопросами представления чисел в виде суммы двух, трех и четырех квадратов целых чисел. Результаты, приведенные в работе могут найти применение в различных задачах геометрии чисел, теории чисел.
Содержание работы: Работа состоит из введения, трех глав, семи параграфов, заключения и списка использованной литературы, содержащий 5 наименований.
Во введении обосновывается тема, дается обзор литературы, формулируются цели и задачи и краткое содержание темы работы.
В первой главе даны основы геометрии чисел: решетки, подрешетки и их базисы, а также основные теоремы геометрии чисел.
Во второй главе описываются квадратичные формы и их связь с решетками.
Третья глава представляет самостоятельную часть работы, изучаются диофантовы уравнения. В этой главе, на основании изученной теории, решены следующие задачи:
1)Решено неопределенное уравнение



Решением уравнения будут системы




)Доказано, что уравнение неразрешимо в целых числах.
)Решить в целых числах уравнение



Для этого уравнения получим решения





где и произвольные целые числа.
4)Решено в рациональных числах уравнение
Решением уравнения является целое число .
ГЛАВА I. Основы геометрии чисел

§ I.1 Решетки, подрешетки и их базисы

Геометрия чисел сформировалась с выходом основополагающей монографии Г. Минковского в 1896 году, где подмечалось то обстоятельство, что некоторые предложения почти очевидны при рассмотрении фигур в мерном евклидовом пространстве.
Основной и типичной задачей геометрии чисел является задача об арифметическом минимуме некоторой действительной функции



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

.

.Множество будем называть решеткой , где невырожденная матрица, . Если , то решетка называется главной и записывается , т.е., главная решетка совпадает с множеством целочисленных векторов из .
Величина называется объемом решетки .
Лемма 1. Все автоморфизмы множества совпадает с множеством целочисленных унимодулярных матриц, т.е. , тогда и только тогда, когда - целочисленная унимодулярная матрица.
Доказательство. Покажем, что если

, (I.1.1)

то - целочисленная унимодулярная матрица, и обратное, если - целочисленная унимодулярная матрица, то выполняется условие (I.1.1).
Пусть выполняется условие (I.1.1) и элемент не целое число. Возьмем вектор , у которого ой координатой является 1, а остальные координаты нули. Тогда -ая координата вектора есть элемент , поэтому . Это противоречит тому, что . Следовательно, -целочисленная матрица.
Далее, можем считать, что . В противном случае множество не имело бы -линейно независимых точек, т.е. все точки множества лежали бы в пространстве размерности меньшей чем , что невозможно.
Из равенства вытекает . Отсюда, по только что доказанному, матрица также целочисленная. Из целочисленности матриц и следует, что унимодулярная матрица.
Обратное, пусть -целочисленная унимодулярная матрица, тогда, отсюда следует, что . Когда пробегает все целочисленные унимодулярные матрицы, то также пробегает все целочисленные унимодулярные матрицы, поэтому .
Теорема 1. Пусть в мерном пространстве задана решетка , где матричный базис решетки. Для того, чтобы матрица была базисом решетки необходимо и достаточно, чтобы существовала целочисленная унимодулярная матрица , что .
Доказательство. Необходимость.
Рассмотрим два множества, которые совпадают: и . Если на эти два множества подействуем матрицей слева, то получим множества и . Эти множества совпадают, поэтому по лемме I матрица целочисленная и унимодулярная, т.е. .
Достаточность.
Рассмотрим множество , где унимодулярная, целочисленная матрица. По лемме 1: , следовательно . Теорема доказана.
Решетку можно записать в виде:

,

столбцы матрицы , т.е.

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

или

т.е. , где целочисленная матрица, следовательно, . Теорема доказана.
. Целое число


называется индексом подрешетки в решетке .

§ I.2 Основные теоремы геометрии чисел

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

сходящуюся к пределу в .

Говорят, что последовательность векторов сводятся к вектору , если в обычном смысле.
Теорема 1. (Блихфельдт) Пусть натуральное число, решетка с определителем , а точечное множество объема (допускается случай ). Предположим, что либо

(1)

либо компактно и
(2)

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

Тогда объем равен:

(3)

Каждую точку пространства можно представить в виде:

, где

причем это представление однозначно, ибо точки решетки имеют вид:

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

.
Очевидно, что для объемов этих множеств справедливо равенство:

(4)

Предположим теперь, что выполнено первое условие, а именно

Тогда из равенства (4) вытекает следующее неравенство:

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

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

Следовательно, в силу только что доказанного, найдутся такие точки

что скажем

(5)

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

Но точки . Это значит, что начиная с некоторого места точки не зависят от , т.е. .
Таким образом, мы разобрали второй случай теоремы. Теорема полностью доказана.
Теорема 2. (обобщенная теорема Минковского) Пусть симметрическое множество с объемом и решетка с определителем . Если , то множество содержит точки решетки , кроме начала.
Доказательство. По условию теоремы , тогда по теореме Блихфельдта множество содержит пару различных точек , т.к. симметрическое множество, то вместе с множество содержит и , поэтому, по определению суммы точка принадлежит . Теорема доказана.
Теорема 3. (теорема Минковского о выпуклом теле).
Пусть симметрическое относительно начала координат выпуклое точечное множество с объемом (возможно бесконечное). Пусть целое число, а решетка с определителем . Пусть , либо компактное множество и , тогда содержит по крайней мере пар различных точек решетки , не совпадающих с 0.
Доказательство. Применим теорему Блихфельдта к множеству , состоящую из точек , где . Ее объем будет равен . Тогда найдутся различных точек , что

Упорядочим вещественные точки, считая
Если первая, отличная от нуля координата точки положительна не умаляя общности, можно считать, что

Положим

Тогда, очевидно, что все точки различны. Но , т.к. и множество симметрично. Следовательно, , в силу выпуклости . Теорема полностью доказана.
Из этой теоремы непосредственно следует
Теорема 4. Если произвольное множество, а выпуклое и центрально - симметрическое множество, причем:

,

то множество содержит точку (отличную от начала) любой точки с определителем .
Доказательство. Для множества все условия предыдущей теоремы выполняются, поэтому множество содержит точку решетки , отличную от начала, т.е. и . По условию теоремы , значит .
Из этого следует, что

(6)

Если , то теорема доказана, если , то из (6) следует, что . Ясно, что является точкой решетки, т.к. . Теорема доказана.
Теорема Минковского (о линейных формах).
Пусть задана система линейных форм:

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

Доказательство. Рассмотрим решетку , где матрица системы

Множество имеет вид

Рассмотрим множество вида

Это множество выпукло и симметрично.

Следовательно, по теореме Минковского о выпуклом теле множество содержит некоторую точку из решетки , что

Теорема доказана.

Глава II. Квадратичные формы и их связь с решетками

§.II.1 Квадратичные формы

Квадратичная форма от переменных имеет вид

, где,


, т.е. матрица симметрическая , .
Формула бинарной квадратичной формы (от двух переменных) запишется в виде

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

,
где
геометрия число уравнение диофантовый


§ II.2 Связь квадратичных форм с решетками

Определение 1. Множество называется симметричным (относительно начала), если вместе с точкой оно содержит и точку .
Определение 2. Множество , где независимо друг от друга пробегают соответственно элементы множеств и , называется суммой двух множеств и , записываются в виде:

Лемма 1. Если и симметричные множества, то также симметричные множества.
Доказательство. Рассмотрим множество

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

. Лемма доказана.

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

.

Лемма 2. Если выпуклые множества, также выпуклое множество.
Доказательство. Предположим противное. Пусть не выпуклое множество, т.е. существуют такие точки и из , что для некоторого числа имеет место соотношение:

По определению суммы множеств и имеем

,

где .
Так как и выпуклое множество, то

и .
Отсюда и из определения 2 вытекает, что

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

.

Теорема 1. Если выпуклые подобные множества и имеют объемы и , то имеет место соотношение:

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

Глава III. Диофантовы уравнения

§ III.1 Основные понятия

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



Это уравнение интересовало греческих математиков в связи с Теоремой Пифагора, и его общее решение дал Евклид:
После разделения уравнение на , получим


Эта задача сводится к нахождению решения в рациональных и , где , , т.е.



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

(1)
и определить его алгебраическую структуру. При этом решение называется рациональным, если все .
Множество , разумеется, зависит от поля . Так, уравнение не имеет ни одного рационального решения в поле рациональных чисел, но имеет бесконечно много решений в поле , т.е. в множестве чисел вида , где и рациональные числа.
Наиболее важным для теории чисел являются случаи когда 1) , где поле рациональных чисел, или 2) есть поле вычетов по простому модулю .
Диофант рассматривал первый из этих случаев. В дальнейшем будем всегда считать, что . Ограничимся рассмотрением только этих задач Диофанта, которые сводятся к одному уравнению с двумя неизвестными, т.е. к случаю ;

.

Это уравнение определяет на плоскости алгебраическую кривую . Рациональное решение (2) будем называть рациональной точкой кривой . В дальнейшем нередко будем прибегать к языку геометрии, хотя Диофант нигде его не применяет. Однако геометрический язык стал в настоящее время столь неотъемлемой частью математического мышления, что многие факты будет легче понять и объяснить с его помощью.
Прежде всего необходимо дать какую-нибудь классификацию уравнений (2) или, что то же, алгебраических кривых. Наиболее естественной и ранее всего возникшей является классификация их по порядкам. Порядком кривой (2) называется максимальный порядок членов многочлена , где под порядком членов понимается сумма степеней при и . Геометрический смысл этого понятия в том, что прямая пересекается с кривой порядка ровно в точках. При подсчете точек надо, разумеется, учитывать кратность точек пересечении, и также комплексные и «бесконечно удаленные» (см. далее) точки. Так, например, окружность и прямая пересекаются в двух комплексных точках, а гипербола и прямая в двух бесконечно удаленных точках, та же гипербола с прямой имеет одну общую точку кратности 2.
Однако, для целей диофантова анализа (такое название получила область математики, выросшая из задач решения неопределенных уравнений; впрочем, теперь ее чаще называют диофантовой геометрией) классификация по порядкам оказалась слишком грубой.
Например, пусть дана окружность (см. рис.1.) с: и любая прямая с рациональными коэффициентами, например, . Покажем, что рациональные точки этой окружности и прямой можно поставить во взаимно однозначное соответствие.
Это можно сделать, например, так: закрепим точку окружности и поставим в соответствие каждой рациональной точке прямой точку окружности , лежащую на пересечении и прямой . То, что координаты точки будут рациональными, предоставим аналогичное доказательство у Диофанта.

Рис.1.

Очевидно, что такое же соответствие можно установить между рациональными точками любого канонического сечения, если на нем лежит хотя бы одна рациональная точка, и рациональной прямой.
Мы видим, что с точки зрения диофанотова анализа окружность и прямая неотличимы; множества их рациональных решений эквивалентны. И это несмотря на то, что порядки обоих кривых различны.
Более тонкой является классификация алгебраических кривых по родам, которая была введена только в XIX веке Абелем и Риманом. Эта классификация учитывает число особых точек кривой .
Будем считать, что в уравнении (2) кривой многочлен неприводим над полем рациональных чисел, т.е. он не раскладывается в произведение многочленов с рациональными коэффициентами. Как известно, уравнение касательной к кривой в точке будет

,

Где
.

Если в точке производная или отлична от нуля, то угловой коэффициент касательной имеет вполне определенное значение (если , а , то и касательная в будет вертикальной).
Если в точке обе частные производные обращаются в нуль,

, и ,

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

,

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



или при отрицательном удобно брать:


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

§III.2 Методы геометрии чисел для решения диофантовых уравнений

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

(*)

Ясно, что достаточно доказать существование представления (*) лишь для бесквадратных чисел.
Воспользуемся следующей леммой для доказательства теоремы:
Лемма: Для любого простого p найдутся такие целые и такие, что



Доказательство: Если , то , .
Пусть простое нечетное число. Очевидно, что числа
попарно не сравнимы между собой по модулю . Отсюда вытекает, что и числа

(2)

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

(3)

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


(4)
.Эти точки образуют решетку, объем основного параллелепипеда которой d(Λ) подчинен оценке



Введем в рассмотрение четырехмерный шар



Его объем равен
И эти неравенства очевидны
Значит по теореме Минковского о выпуклом теле найдется решение системы сравнений (*), отличное от нулевого решения (0, 0, 0, 0) такое, что
Но в силу (3) и (4)

,


Отсюда следует, что

.

Это сравнение вместе с неравенством (5) и доказывает , что



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



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

,

где некоторые целые числа.
Значит
Но это противоречит предположению, что наименьшее число вида (1) , представимо в виде суммы трех квадратов.
Достаточность. Итак, не имеет вида. Докажем, что представляется в виде суммы трех квадратов целых чисел. Всякое натуральное число можно записать в виде
где - бесквадратное число, называющееся бесквадратной частью числа . Очевидно, что если представляется в виде суммы трех квадратов, то и представляется в таком виде. С другой стороны, если не имеет вида , то и не имеет вида .
В самом деле, предположим, что



Так как бесквадратное число, то т.е.

.

Пусть , тогда
и значит , в противоречие с предположением.
Итак, можно предположить, что бесквадратное число и

1)Сначала докажем теорему для случая :
Пусть каноническое разложение числа имеет вид

,

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


Так как , то существуют числа которые удовлетворяют сравнению



Заметим, что . Поскольку числа попарно взаимнопростые, то найдется такой класс вычетов по модулю ,что


.

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



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



Тогда


и
и тем самым
Мы доказали, что существует простое число ,которое обладает следующими свойствами

(1)

И (2)
Из свойства (2) мы получаем



Так как , то по закону взаимности мы заключаем



Далее,
Так как

, то

и значит,
Так как

то
то
и мы получаем .
Согласно определению символа Лежандра существует решение
сравнения

. (4)

Мы можем предполагать, что есть число нечетное: если мы встретимся с четным ,то нечетное число также удовлетворяет сравнению (4). Сравнение (4) запишем в виде равенства

(4`)

Рассматривая это равенство по модулю 4, мы получаем в силу условия


,

откуда следует, что , т.е
где целое число. Значит,

(4``)

Вернемся к свойству (2). На основании общей теоремы элементарной теории чисел , т.к сравнения



разрешимы, то разрешимо и сравнение


Так как и взаимно просты, то и взаимно просто с .Обозначим через решение сравнения



Мы видим, что разрешимо сравнение

(5)

Где число обозначает решение сравнения

.

Перейдем к теоремам о решении неравенств в целых числах.
В трехмерном евклидовом пространстве , координаты которого будем обозначать символом рассмотрим открытый шар с центром в начале координат (т.е в точке, у которой ) радиуса :

(6)

Объем шара (6) равен
Далее рассмотрим решету


(7)
.

Здесь пробегают всевозможные числа. Объем основного параллелепипеда решетки, равный абсолютной величине определителя системы линейных форм (7). Легко видеть, что этот объем равен
Шар (6) выпуклое, центрально симметричное тело с центром в точке
Поскольку
то между объемом шара (6) и объемом основного параллелепипеда решетки (7) имеет неравенство
По теореме Минковского о выпуклом теле найдутся три целых числа по крайней мере одно из которых не равно нулю, такое, что соответствующие им из формулам (7) числа удовлетворяют неравенствам



Из формул (7) видно, что есть целое число. Далее,

(8)

Таким образом, есть целое число.
Далее,


откуда следует, что



в силу сравнения (5)

(9)

Обозначим

(10)

Из формул (8) видно, что целое положительное число,
Из сравнения (9) вытекает, что

)

Из неравенства (6) следует, что



Далее,



ибо определяются через ненулевую систему значений
с помощью невырожденного преобразования (7) . Итак,
и
Значит

(11)

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



Итак, пусть , то есть , но .
Если не делит ,то так как , то (12).
Из формул (10) и (4``) имеем
Пусть тогда из формулы (4``) получаем .
Если , то тогда по формуле (13)

где .

Пусть . Если то мы пришли к противоречию



Значит Но тогда


и в силу и мы видим, что разрешимо сравнение



то есть .Итак, в случае - что вместе с формулой (12) дает, что или



Пусть теперь и тогда по формуле (11) и по формуле (13)
Формулы (11) и (13) дают

(14)

Поскольку бесквадратное число, то деля обе части последнего равенства на , получим

или , то есть , что в сочетании с (12) дает , то есть снова
.

Таким образом, мы доказали, что всякое нечетное простое число, входящее в , обязательно имеет вид . Таким же свойством обладает и число . Но это свойство является необходимым и достаточным условием для того, чтобы число представлялось в виде суммы двух квадратов целых чисел. Значит,
И в сочетании с формулой (11) получаем

.

Теорема доказана для случая, когда .
2)Разберем теперь случай, когда

,

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



и кроме того
когда
когда
когда
u тем самым
когда
u тем самым .
Мы имеем в нечетных случаях


А в четных случаях
отсюда следует
Таким образом, сравнение



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

.

Далее, как в случае 1) мы убеждаемся в том, что существует , удовлетворяющее сравнениям



можно предположить нечетным, или четное можно заменить на число



Рассматривают точечную решетку




и шар

.

Применение леммы Минковского о выпуклом теле позволяет провести и в случаях те же рассуждения, что и в случае и тем самым доказать теорему в полном объеме.
Числа вида
называют иногда треугольными, ибо такими числами выражается количество точек в треугольных кучках.
Следствие. Всякое натуральное число есть сумма не более трех треугольных чисел.
В самом деле, всякое натуральное число формы есть сумма трех квадратов, которые очевидным образом, являются нечетными числами
где неотрицательные числа.
Следовательно,



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


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

.

)Пусть , тогда при любом простом нечетном и уравнение разрешимо в целых числах.
Доказательство:
Рассмотрим решетку вида
Запишем квадратичную форму



По условию теоремы нам известно, что всегда делится на .
Мы имеем по теореме Минковского при в круге



площади найдется такая точка

,отличная от начала, что

При в круге



площади найдется такая точка

, отличная от начала, что
.

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

) ,т.к делится на и .
2)

при четном

, ,

а при нечетном

,
,,

что невозможно при условии

3)
Разделив обе части на 3, получим

, такое же, как в первом случае.

Теперь рассмотрим случай при m=7:

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

§3. Приложение изученной теории к решению задач

1)Решить неопределенное уравнение



Рассмотрим сравнение

или приведем его к виду





Откуда , т.е




Подставив в уравнение получим




Решением уравнения будут системы




2) Доказать, что уравнение неразрешимо в целых числах
Рассмотрим сравнение или или также
Сократив на 5 сравнение, т.к (5,11)=1, 5 и 11 взаимнопростые, получим


Проверяя вычеты по модулю 11, можем убедиться, что все значения x являются квадратичными невычетами 8 по модулю 11, следовательно уравнение неразрешимо в целых числах.
3)Решить в целых числах уравнение



Разделив с остатком -9 на 4, получим -9=4(-3)+3.
Представим исходное уравнение в виде
После замены это уравнение запишется в виде
Теперь , учитывая , что , преобразуем уравнение
Заменим и запишем
Из этого уравнения получим решения





где и произвольные целые числа.
4)Решить в рациональных числах уравнение
Решение:
Свободный член уравнения имеет следующие делители:

Выпишем также положительные делители старшего коэффициента:

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

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

Заключение

Рассмотрение диофантовых уравнений частного вида с целыми и рациональными решениями - наиболее важная часть данной работы. Все рассматриваемые уравнения являются классическими и каждое из них играло важную роль в историческом развитии этой области теории чисел.
Самостоятельная часть работы посвящена решению диофантовых уравнений. На основании изученной теории решены следующие задачи:
1)Решено неопределенное уравнение



Решением уравнения будут системы




)Доказано, что уравнение неразрешимо в целых числах.
)Решить в целых числах уравнение



Для этого уравнения получим решения





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

Список использованной литературы

1.И. А Каримов. Мировой финансовый кризис; пути и меры по его преодолению в условиях Узбекистана. Ташкент, 2009.
2.Г. Дэвенпорт. Высшая арифметика. Введение в теорию чисел. «Наука» Москва.1965 г.
3.З. И. Боревич, И. Р. Шафаревич. Теория чисел. Высшая математика онлайн, vmate.ru, 2012.
4.А. А. Бухштаб. Теория чисел. Высшая математика онлайн, vmate.ru, 2012.
.И. М. Виноградов. Основы теории чисел. Москва 1965г.
6.Дж. В. С. Касселс. Введение в геометрию чисел. Москва.1965г.
7.Дж. В. С. Касселс. Введение в теорию диофантовых приближений. Москва. 1961г.
8.С. Ленг. Введение в теорию диофантовых приближений. Москва. 1970 г.
9.Интернет-сайт: www.mathnet.ru
10.Интернет-сайт : wwww.exponenta.ru

Комментарии:

Вы не можете оставлять комментарии. Пожалуйста, зарегистрируйтесь.