Изменения
Нет описания правки
|proof=
Из леммы Вильсона <tex>(p-1)!\equiv 1(mod p) \Rightarrow (4n)!+1\equiv 0 (mod p) </tex>. Следовательно <tex>1\cdot 2\cdots (2n)\cdot(p-2n)\cdots(p-1)+1 \equiv ((2n)!)^2+1(mod p)</tex>. Теперь говорим, что <tex> N = (2n)!</tex>, тогда <tex>N^2 \equiv -1(mod p)</tex>.
Рассмотрим пары чисел <tex>(m,s)</tex> такие, что <tex>0\leqslant m, s \leqslant [\sqrt{p}]</tex>. Число таких пар равно <tex>([\sqrt{p}]+1)^2>p</tex>. Значит по крайней мере для двух различных пар <tex>(m_1,s_1),(m_2,s_2)</tex> остатки от деления <tex>m_1+Ns_1, m_2+Ns_2</tex> на <tex>p</tex> будут одинаковыми, т.е. число <tex>a+Nb</tex>, где <tex>a=m_1-m_2, b=s_1-s_2</tex>, будет делится на <tex>p</tex>. При этом <tex>~|a|<\sqrt{p},~|b|<\sqrt{p}</tex>. Но тогда число <tex>a^2-N^2b^2=(a-Nb)(a+Nb)</tex> делится на <tex>p</tex>. Учитывая, что <tex>N^2\equiv -1(mod p)</tex>, получим, что <tex>a^2+b^2\equiv 0(mod p) \Rightarrow a^2+b^2=rp</tex>, где <tex>r\in\mathbb{N}</tex>. Но <tex>a^2+b^2<2p\Rightarrow r=1</tex>, а значит <tex>a^2+b^2=p</tex>.
}}
