Изменения
Нет описания правки
[[Цепная дробь|Цепные дроби]] позволяют находить рациональные приближения вещественных чисел. Если действительное иррациональное число <tex>\alpha</tex> разложить в цепную дробь, то точность <tex>n</tex>-ой подходящей дроби будет соответствовать следующему неравенству:
:<tex>|\alpha-\frac{P_i}{Q_i}| < \frac{1}{Q_i \cdot Q_{i+1}} < \frac{1}{Q_i^2}</tex>.
{{Лемма
|id=lm0
|about=0
|statement=
<tex>|\alpha-\frac{P_i}{Q_i}| < \frac{1}{Q_i \cdot Q_{i+1}} < \frac{1}{Q_i^2}</tex>, где <tex>\frac{P_i}{Q_i}</tex> подходящие дроби к <tex>\alpha</tex>.
|proof=
Две последующие подходящие дроби будут лежать по разные стороны от <tex>\alpha</tex>. Значит <tex>~|\alpha-\frac{P_i}{Q_i}|<~|\frac{P_{i+1}}{Q_{i+1}}-\frac{P_i}{Q_i}|</tex>
}}
{{Теорема
|id=th1
