63
правки
Изменения
м
→Символ Лежандра, критерий Эйлера
<tex>\left(\cfrac{a\cdot b}{p}\right)=(a\cdot b)^{\frac{p-1}{2}}=a^{\frac{p-1}{2}}\cdot b^{\frac{p-1}{2}}=\left(\cfrac{a}{p}\right)\cdot \left(\cfrac{b}{p}\right)</tex>. Зная, что <tex>1\cdot 1=1,~(-1)\cdot(-1)=1, ~ 1 \cdot (-1)=-1</tex>, получаем требуемое.
}}
==Теорема о <tex>((\frac{p-1}{2})!)^2\equiv -1 (mod ~p)</tex> при <tex>p=4\cdot k+1</tex>==
