Изменения
Нет описания правки
Ограничим <tex>A_k,B_k,C_k</tex>. По тому, что <tex>~|\alpha-\frac{P_k}{Q_k}|<\frac{1}{Q_k^2}</tex> имеем <tex>\frac{P_k}{Q_k}=\alpha-\frac{\epsilon}{Q_k^2},\epsilon\in(-1;1)</tex>.
Отсюда <tex>\frac{A_k}{Q_k^2}=a(\frac{P_k}{Q_k})^2+b(\frac{P_k}{Q_k})+c=a\alpha^2+b\alpha+c-2a\alpha\frac{\epsilon}{Q_k^2}+a\frac{\epsilon^2}{Q_k^4}-b\frac{\epsilon}{Q_k^2}</tex>. Отсюда <tex>A_k=-2a\alpha\epsilon+a\epsilon-b\epsilon\Rightarrow~|A_k|\leqslant~|2a\alpha|+~|a|+~|b|</tex>. Далее <tex>C_k = A_{k-1}</tex>, значит тоже ограничено. Теперь <tex>B_k^2-4A_kC_k=b^2-4ac\Rightarrow B_k^2\leqslant 4~|A_kC_k|+~|b^2-4ac|<4(2~|a\alpha|+~|a|+|b|)^2+~|b^2-4ac|</tex>. То есть коэффициенты ограничены, но <tex>k</tex> принимает бесконечное число значений, значит <tex>\exists i,j:\alpha_i=\alpha_j; i>j</tex> значит цепная дробь периодична.
}}
