Изменения
Нет описания правки
Рассмотрим <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>a'=(qc-a), c'=\frac{D-(a-qc)^2}{c}</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\sqrt{D}}{c}</tex>, откуда из возможных значения значений <tex>\alpha, \overline{\alpha}</tex>, следует <tex>c\in(0;2\sqrt{D})</tex>. Теперь ограничим a. <tex>\alpha+\overline{\alpha}=\frac{2a}{c}</tex>, отсюда <tex>a>0</tex>. <tex>\overline{\alpha}=\frac{a-\sqrt{D}}{c}\Rightarrow a < \sqrt{D}</tex>.
Количество <tex>a,c</tex> конечно, а количество<tex>\alpha_n</tex> неограниченно. Значит в какой-то момент у нас зациклятся <tex>\alpha_n</tex> и цепная дробь станет периодичной.
