* Данный текст распознан в автоматическом режиме, поэтому может содержать ошибки
АЛГОРИФМ ЕВКЛИДА И ЦЕПНЫЕ ДРОБИ
297
ному в главе I , мы легко приходим к теореме, аналогичной тео реме 2; отсюда же в точности так же, как там, может быть уста новлена однозначная (с точностью до постоянных множителей) разложимость многочленов на простые множители, служащая фунда ментом всей теории делимости. Упомянем, наконец, что теорема Евклида о существовании беско нечного множества простых чисел вместе с её доказательством легко переносится в» нашу новую область. Впрочем, существование бесконечного множества абсолютно простых многочленов ещё проще вытекает из того, что все двучлены первой степени, как читатель легко докажет самостоятельно, являются абсолютно простыми мно гочленами.
§ 9. Элементарная теория цепных дробей
Мы возвращаемся в область целых чисел. Выпишем снова цепь равенств, с помощью которых мы находим наибольший общий де литель чисел а и Ь:
a=
ba -{-r
1
lt
. • . .
г
л-Я л-1
=
г
я - 1 л ~Ь п* я п+1»
а
а
г
г
=
г
где *>'i>r >...>r„>0. (5) Мы можем переписать эту цепь в виде равносильной системы равенств
9
b
,
r
s
Г п ~ г ^
а
п
^
Г_>
П Х
В этом виде каждое из наших равенств описывает простую арифметическую операцию: исключение целой части из неправильной