Реферат: Решение уравнений в целых числах
Отсюда следует, что
Если разложение в цепную дробь имеет
звеньев, то п-я подходящая дробь
совпадает с
. Применяя равенство (8), при
получим
(9)
Вернемся теперь к решению уравнения
,
(10)
Перепишем соотношение (9) в виде .
Приводя к общему знаменателю и отбрасывая его, получим
Умножим это соотношение на . Тогда
Отсюда следует, что пара чисел ,
,
, (11)
является решением уравнения (10) и согласно теореме все решения этого уравнения имеют вид
,
Полученный результат полностью решает вопрос о нахождении всех целочисленных решений уравнения первой степени с двумя неизвестными. Перейдем теперь к рассмотрению некоторых уравнений второй степени.
3. ПРИМЕРЫ УРАВНЕНИЙ ВТОРОЙ СТЕПЕНИ С ТРЕМЯ НЕИЗВЕСТНЫМИ
П р и м е р I. Рассмотрим уравнение второй степени с тремя неизвестными:
(12)
Геометрически решение этого уравнения в целых числах можно истолковать как нахождение всех пифагоровых треугольников, т. е. прямоугольных треугольников, у которых и катеты ,
и гипотенуза
выражаются целыми числами.
Обозначим через общий наибольший делитель чисел
и
:
. Тогда
,
,
и уравнение (12) примет вид
.
Отсюда следует, что делится на
и, значит,
кратно
:
.
Теперь уравнение (12) можно записать в виде
;
сокращая на , получим
.
Мы пришли к уравнению того же вида, что и исходное, причем теперь величины и
не имеют общих делителей, кроме 1. Таким образом, при решении уравнения (12) можно ограничиться случаем, когда
и
взаимно просты. Итак, пусть
. Тогда хотя бы одна из величин
и
(например,
) будет нечетной. Перенося
в правую часть уравнения (12), получим
;
. (13)
Обозначим через общий наибольший делитель выражений
и
. Тогда
,
, (14)
где и
взаимно просты.
Подставляя в (13) значения и
, получим
.
Так как числа и
не имеют общих делителей, то полученное равенство возможно только в том случае, когда
и
будут полными квадратами:
,
.
Но тогда
и
(15)
Найдем теперь и
из равенств (14). Сложение этих равенств дает:
;
. (16)
Вычитая второе из равенств (14) из первого, получим
;
(17)
В силу нечетности из (15) получаем, что
,
и
также нечетны. Более того,
, так как иначе из равенств
и