Изменения
Нет описания правки
Рассмотрим остатки от деления на <tex>~|c|</tex> чисел <tex> a_n, b_n</tex>. Количество остатков конечно, а пар бесконечно, поэтому существуют две различные пары <tex> (a_1, b_1),(a_2,b_2)</tex> такие, что <tex>a_1^2-db_1^2=c=a_2^2-вb_2^2</tex> и <tex> a_1\equiv a_2(mod~|c|)</tex>, <tex>b_1\equiv b_2(mod~|c|)</tex>.
<tex>\frac{a_2+b_2\sqrt{d}}{a_1+b_1\sqrt{d}}=\frac{(a_1-b_1\sqrt{d})(a_2+b_b_2\sqrt{d})}{a_1^2-db_1^2}=\frac{(a_1a_2-db_1b_2)+(a_1b_2-a_2b_1)\sqrt{d}}{c}</tex>
}}
