Изменения
Нет описания правки
Рассмотрим <tex>\alpha_1=\frac{1}{\alpha-q}, q=[\alpha]</tex>. Заметим, что <tex>\alpha_1>1</tex>. Преобразуем: <tex>\alpha_1=\frac{c}{a+\sqrt{D}-qc}=\frac{c(a-qc-\sqrt{D})}{(a-qc)^2-D}</tex>. Заметим, что <tex>(a-qc)^2-D\vdots c</tex>, значит <tex>\alpha_1</tex> представима в виде Х. Докажем, что <tex>\alpha_1</tex> приведённая. <tex>\overline{\alpha_1}=\frac{1}{\overline{\alpha}-[\alpha]}</tex>. Но <tex>\overline{\alpha}\in (-1;0), [alpha]>1</tex>, значит <tex>\overline{\alpha_1}\in(-1;0)</tex>.
Посмотрим теперь на возможные значения <tex>a</tex> и <tex>c</tex>. <tex>\alpha-\overline{\alpha}=\frac{2\sqrdsqrt{D}}{c}</tex>, откуда из возможных значения <tex>\alpha, \overline{\alpha}</tex>, следует <tex>c\in(0;2\sqrdsqrt{D})</tex>. Теперь ограничим a. <tex>\alpha+\overline{\alpha}=\frac{2a}{c}</tex>, отсюда <tex>a>0</tex>. <tex>\overline{\alpha}=\frac{a-\sqrdsqrt{D}}{c}\Rightarrow a < \sqrdsqrt{D}</tex>.
Количество <tex>a,c</tex> конечно, а количество<tex>\alpha_n</tex> неограниченно. Значит в какой-то момент у нас зациклятся <tex>\alpha_n</tex> и цепная дробь станет периодичной.
