Цепные дроби как приближение к числу

Материал из Викиконспекты
Версия от 22:34, 20 июня 2010; 192.168.0.2 (обсуждение) (Доказательство)
Перейти к: навигация, поиск

Цепные дроби позволяют находить рациональные приближения вещественных чисел. Если действительное иррациональное число [math]\alpha[/math] разложить в цепную дробь, то точность n-ой подходящей дроби будет соответствовать следующему неравенству: [math]~|\alpha-\frac{P_i}{Q_i}| \lt \frac{1}{Q_i * Q_{i+1}} \lt \frac{1}{Q_i^2}[/math]

Теорема 1

Теорема 2

Для любого иррационального числа [math]\alpha[/math] существует бесконечное число дробей [math]\frac{P}{Q}[/math] таких, что [math]~|\alpha-\frac{P}{Q}|\lt \frac{1}{2Q^2}[/math]

Доказательство

Рассмотрим две последующие подходящие дроби к [math]\alpha : \frac{P_k}{Q_k} [/math] и [math] \frac{P_{k+1}}{Q_{k+1}}[/math]. Пусть ни одна из них не удовлетворяет условию теоремы. Тогда имеем: [math]~|\alpha-\frac{P_k}{Q_k}|\geqslant\frac{1}{2Q_k^2}, ~|\alpha-\frac{P_{k+1}}{Q_{k+1}}|\geqslant\frac{1}{2Q_k^2}[/math]. Отсюда [math]~|\alpha-\frac{P_k}{Q_k}|+~|\alpha-\frac{P_{k+1}}{Q_{k+1}}|\geqslant\frac{1}{2}(\frac{1}{2Q_k^2}+{1}{2Q_{k+1}^2})[/math].

Теорема 3

Для любого иррационального числа [math]\alpha[/math] существует бесконечное число дробей [math]\frac{P}{Q}[/math] таких, что [math]~|\alpha-\frac{P}{Q}|\lt \frac{1}{\sqrt{5}Q^2}[/math]

Теорема 4