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

Цепные дроби позволяют находить рациональные приближения вещественных чисел. Если действительное иррациональное число [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]

Теорема 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+1}^2}[/math]. Отсюда [math]~|\alpha-\frac{P_k}{Q_k}|+~|\alpha-\frac{P_{k+1}}{Q_{k+1}}|\geqslant\frac{1}{2Q_k^2}+\frac{1}{2Q_{k+1}^2}[/math]. Но поскольку [math]\alpha[/math] лежит между [math]\frac{P_k}{Q_k}[/math] и [math]\frac{P_{k+1}}{Q_{k+1}}[/math], то [math]~|\alpha-\frac{P_k}{Q_k}|+~|\alpha-\frac{P_{k+1}}{Q_{k+1}}| = ~|\frac{P_k}{Q_k}-\frac{P_{k+1}}{Q_{k+1}}| = \frac{1}{Q_k Q_{k+1}}[/math], вследствие чего [math]\frac{1}{2Q_k^2}+\frac{1}{2Q_{k+1}^2}\leqslant\frac{1}{Q_k Q_{k+1}}[/math]. Следовательно [math](\frac{1}{Q_k}-\frac{1}{Q_{k+1}})^2 \leqslant 0[/math], что невозможно. Мы пришли к противоречию. Поэтому по крайней мере для одной из двух подходящих дробей выполнено условие теоремы. Придавая различные значения k, получим бесконечное множество дробей, удовлетворяющих условию теоремы. q.e.d.

Теорема 3

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

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

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