02. Подходящие дроби. Их свойства
Задаче разложения обыкновенной дроби в непрерывную дробь противостоит обратная задача – обращения или свертывания цепной дроби
в простую дробь
.
При этом основную роль играют дроби вида:
или
которые называются подходящими дробями данной непрерывной дроби или соответствующего ей числа
.
Заметим, что
=
=
. Считается, что подходящая дробь
имеет порядок k.
Прежде чем приступить к вычислению подходящих дробей заметим, что
переходит в
, если в первой заменить
выражением
.
Имеем
,
,
, …,
При этом принимается, что
,
,
,
,
,
и так далее.
Закономерность, которую мы замечаем в построении формулы для
(ее числителя
и знаменателя
), сохраняется при переходе к
и сохранится также при переходе от k к (k+1).
Поэтому, на основании принципа математической индукции, для любого k, где
, имеем
(1),
Причем
(2)
(3)
Далее, говоря о подходящих дробях
(в свернутом виде), мы будем иметь в виду их форму
.
Соотношения (1) являются рекуррентными формулами для вычисления подходящих дробей, а также их числителей и знаменателей. Из формул для числителя и знаменателя сразу видно, что при увеличении k они возрастают. Последовательное вычисление числителей
и знаменателей
подходящих дробей по формулам (2) и (3) удобно располагать по схеме:
|
|
|
… |
|
|
|
… |
| ||
|
|
|
|
|
… |
|
|
|
… |
|
|
|
|
|
|
… |
|
|
|
… |
|
Пример: Найти подходящие дроби к цепной дроби (2, 2, 1, 3, 1, 1, 4, 3).
|
2 |
2 |
1 |
3 |
1 |
1 |
4 |
3 | |
|
|
2 |
5 |
7 |
26 |
33 |
59 |
269 |
866 |
|
|
1 |
2 |
3 |
11 |
14 |
25 |
114 |
367 |
Подходящие дроби
(
) равны соответственно
;
;
;
;
;
;
;
.
Практически нахождение неполных частных и подходящих дробей удобно объединить в одну краткую схему, которую приведем для
=(2, 3, 1, 4, 2)
![]()
.
А сейчас рассмотрим ряд свойств подходящих дробей.
Теорема 1. При k=1, 2, …, n выполняется равенство ![]()
Д о к а з а т е л ь с т в о: Проведем индукцию по k:
При k=1 равенство справедливо, так как
.
Пусть это равенство верно при некотором k=n (
).
Докажем справедливость равенства при k=n+1.
![]()
![]()
, то есть равенство верно при k=n+1.
Согласно принципу полной математической индукции равенство верно для всех k(
).
Теорема 2 Числитель и знаменатель любой подходящей дроби – взаимно простые числа, то есть всякая k–подходящая дробь несократима.
Д о к а з а т е л ь с т в о. Докажем это свойство методом от противного. По предыдущему свойству имеем
.
Пусть
, то есть
, тогда из равенства
следует, что
делится на
без остатка, что невозможно. Значит, наше допущение неверно, а верно то, что требовалось доказать, то есть
.
Теорема 3. При ![]()
1)
(
)
2)
(
)
Д о к а з а т е л ь с т в о: Первое соотношение можно получить из равенства
, доказанного выше, путем деления обеих частей на
. Получаем ![]()
, что и требовалось доказать.
Докажем второе соотношение.
![]()
.
Теорема 4. Знаменатели подходящих дробей к цепной дроби, начиная с первого, образуют монотонно возрастающую последовательность, то есть 1=
.
Д о к а з а т е л ь с т в о:
,
, так что
и
положительны.
Соотношение
(
) (*) показывает, что и все следующие знаменатели
,
, …,
положительны. При
, поскольку тогда
, из (*) получаем
, что и требовалось доказать.
Теорема 5. Нечетные подходящие дроби образуют возрастающую, а четные подходящие дроби – убывающую последовательность:
;
.
Две подходящие дроби
и
, у которых номер отличается на единицу, будем называть соседними.
Теорема 6. Из двух соседних подходящих дробей четная дробь всегда больше нечетной.
Д о к а з а т е л ь с т в о: По уже доказанному выше свойству имеем:
.
Если k – четное, то ![]()
![]()
Если k – нечетное, то ![]()
![]()
Значит, из двух соседних дробей
и
четная всегда больше нечетной, что и требовалось доказать.
Теорема 7. Расстояние между двумя соседними подходящими дробями
.
Д о к а з а т е л ь с т в о: Так как
, то
, что и требовалось доказать.
| < Предыдущая | Следующая > |
|---|