Изменения
Нет описания правки
<tex>\alpha=\langle a_0,a_1,\cdots,\overline{a_k,\cdots a_n}\rangle</tex>, тогда введём <tex>\alpha_k=\langle \overline{a_k,\cdots, a_n}\rangle</tex>. Тогда <tex>\alpha_k=\langle a_k,\cdots, a_n, \overline{\alpha_k} \rangle</tex>. <tex>\alpha_k=\frac{P_n'\alpha_k+P_{n-1}'}{Q_n'\alpha_k+Q_{n-1}'}\Rightarrow Q_n'\alpha_k^2+(P_n'+Q_{n-1}')\alpha_k+P_{n-1}'=0</tex>
Поэтому <tex>\alpha_k</tex> квадратичная иррациональность, так как иррационально и удовлетворяет уравнению с целыми коэффициентами. Аналогично получим, что <tex>\alpha = \frac{P_k\alpha_k+P_{k-1}}{Q_k\alpha_k+Q_{k-1}}</tex>. Поэтому и <tex>\alpha</tex> квадратичная иррациональность.
<tex>\Leftarrow</tex>.
Пусть <tex>a\alpha^2+b\alpha+c=0</tex>. Разложим <tex>\alpha</tex> в цепную дробь и для <tex>\all k:\alpha=\frac{P_k\alpha_k+P_{k-1}}{Q_k\alpha_k+Q_{k-1}}</tex>
}}
