Вы находитесь на странице: 1из 4

Конечные цепные дроби

Опр. Конечной цепной дробью называется дробь вида

1
 q0 , q1 , q2 ,...,qn  q0 
1
q1 
q2 

1
1
qn 1 
qn

q0  Z , qi  N , i  1, n , qn  1 .

Теорема 1. Любое рациональное число можно представить, притом


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

□ Пусть дано рациональное число несократимая дробь.


:

a1 1
 q0   q0 , q1 , q2 ,..., qn 
a2 1
q1 
q2 

1
1
qn 1 
qn

.
, тогда из последнего равенства Евклида получим
. Мы получили совпадение остатка с делителем, что невозможно.
Покажем единственность. Пусть 〈 〉 [ ];

〈 〉 .〈 〉 〈 〉 [ ]

Теорема 2. Справедливы следующие рекуррентные формулы:

□ Доказательство проведѐм индукцией.

〈 〉 ,

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

Пусть

Рассмотрим . Покажем, как ( дробь возникает из


Нужно в дроби заменить

Итак,

В самом доказательстве содержится способ свѐртывания цепной дроби,


который удобно совершать с помощью следующей схемы.

Теорема 3. Справедливо следующее соотношение:

□ Доказательство проведѐм индукцией по номеру:

Предположим справедливость для всех номеров . Рассмотрим левую часть


формулы при :

Теорема 4.