Цепные дроби (стр. 5 из 17)

(в случае рационального

).

————

—— ———— —— ——— ————

Учитывая то, что при

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

Итак, мы имеем следующий важный результат:

бесконечная последовательность подходящих дробей

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

1.2 Сходимость правильных бесконечных цепных дробей.

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

, но и любой бесконечной непрерывной дроби , где , а - произвольно выбранные целые положительные числа.

Но для этого мы заново исследуем взаимное расположение подходящих дробей.

С этой целью рассмотрим формулы:

(1) и (2),

которые справедливы для любой бесконечной непрерывной дроби.

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

и . Согласно этому и расположены слева от , и – слева от и так далее.

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

, то

3. Согласно этому свойству

ближе к , чем , а так как и находятся слева от , то < .

————

——— ——— ——— ————

Из этого следует, что подходящая дробь

, которая, как и , расположена справа от , ближе к , чем к , то есть < .

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

Итак, подходящие дроби нечетного порядка увеличиваются с ростом порядка, а подходящие дроби четного порядка убывают с ростом порядка; при этом все подходящие дроби нечетного порядка меньше всех подходящих дробей четного порядка, то есть

< <…< <…< <…< < при любыхk и .

Так как

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