как начать заново проходить курс, если уже пройдено несколько лекций со сданными тестами? |
Основы теории чисел
1.3 Цепные дроби
1.3.1 Представление рациональных чисел конечными цепными дробями
Пусть ,
,
,
- целые. Число
можно представить в виде дроби особого вида. Это представление получается из алгоритма Евклида. Применим алгоритм Евклида к числам
и
. Получим:
![]() |
( 1.5) |
Из второго равенства получаем:
![]() |
( 1.6) |
Подставим это выражение в первое из равенств (1.5), получим:
![]() |
( 1.7) |
Третье из равенств (1.5) даёт:
![\frac{r_2}{r_1}=\dfrac{1}{q_2+\dfrac{r_3}{r_2}}.](/sites/default/files/tex_cache/122e70a6d870dc9f95505b8df751912f.png)
Подставим это выражение в (1.7), получим:
![\frac{a}{b}=q_0+\dfrac{1}{q_1+\dfrac{1}{q_2+\dfrac{r_3}{r_2}}}.](/sites/default/files/tex_cache/002fa19478d270bb0a1c7bc3ae8fbe67.png)
Продолжая действовать аналогично, за конечное число шагов получим:
![]() |
( 1.8) |
Определение 1.16 Дробь вида (1.8) называется конечной цепной (другое название: непрерывной) дробью.
Сокращенная (и, конечно, более удобная) запись: .
Числа называются неполными частными, все они - целые, а начиная с
- натуральные.
Равенство вида (1.8) называется представлением рационального числа конечной цепной дробью.
Теорема 1.19 Всякое рациональное число может быть представлено в виде конечной цепной дроби.
Пример 1.31
Если допустить, что последнее неполное частное может равняться 1, то для всякого рационального числа можно получить два представления в виде конечной цепной дроби.
Пример 1.32
Теорема 1.20 Представление рационального числа в виде конечной цепной дроби, такой, что последнее неполное частное отлично от , единственно.
Имеет место простая, но важная
Теорема 1.21 Всякая конечная цепная дробь есть рациональное число.
Определение 1.17 Дроби ,
,
и т.д. называются подходящими дробями цепной дроби (1.8) или соответствующего ей числа
.
Очевидно, что последняя подходящая дробь есть число
. Каждая подходящая дробь есть некоторое рациональное число. Заметим, что
-я подходящая дробь
получается заменой
на
.
Подходящие дроби последовательно можно представить в виде:
![\delta_0 = \frac{{q}_{0}}{1}=\frac{{P}_{0}}{{Q}_{0}}, \quad \delta_1 = {q}_{0}+ \frac{1}{{q}_{1}}= \frac{{P}_{1}}{{Q}_{1}}](/sites/default/files/tex_cache/05a9d28e6a1a5ebf58e374867d8dbfb9.png)
![{\delta }_{2}={q}_{0}+\dfrac{1}{{q}_{1}+\dfrac{1}{{q}_{2}}}={q}_{0}+\dfrac{{q}_{2}}{{q}_{1}{q}_{2}+1}=\dfrac{{q}_{0}{q}_{1}{q}_{2}+{q}_{0}+{q}_{2}}{{q}_{1}{q}_{2}+1}=\dfrac{\left({q}_{0}{q}_{1}+1\right){q}_{2}+{q}_{0}}{{q}_{1}{q}_{2}+1}=\\\dfrac{{P}_{1}{q}_{2}+{P}_{0}}{{Q}_{1}{q}_{2}+{Q}_{0}}=\dfrac{{P}_{1}}{{Q}_{2}}.](/sites/default/files/tex_cache/48ed8f97f60f0f9a886f52acaa2ac2dc.png)
Общая формула имеет вид:
![{\delta }_{s}=\frac{{P}_{s}}{{Q}_{s}}=\frac{{P}_{s-1}{q}_{s}+{P}_{s-2}}{{Q}_{s-1}{q}_{s}+{Q}_{s-2}}.](/sites/default/files/tex_cache/6416f422e1b69eebeac94bbc20e8437b.png)
Напомним кратко основные свойства цепных дробей.
- Числители и знаменатели подходящих дробей - целые числа, знаменатели, кроме того, числа натуральные и образуют возрастающую последовательность.
- Числители и знаменатели двух соседних подходящих дробей связаны соотношением:
.
- Подходящие дроби несократимы, т.е.
.