Изменения
Нет описания правки
}}
{{Теорема
|statement=
Если <tex>p\equiv 1(mod 4),p\in\mathbb{P}</tex>, то оно представимо в виде суммы двух квадратов.
|proof=
<tex>h:h^2+1\vdots p</tex> и <tex>h=g^{\frac{p-1}{4}}</tex>.
Запустим алгоритм Евклида на <tex>p,h</tex>. Получим <tex>t_0=p, t_1=h, t_k=1</tex>.
Разложим <tex>\frac{p}{h}</tex> в цепную дробь <tex>\langle a_0,\cdots,a_n \rangle</tex>.
}}
[[Категория:Теория чисел]]
