数论 二次剩余 定义 $a$ 是模素数 $p$ 的二次剩余 $:=$ $$ x^{2}\equiv a \ \mathrm{mod},p $$ 判定 $a$ 是模素数 $p$ 的二次剩余 $\Leftrightarrow$ $$ a^{\frac{p-1}{2}}\equiv1\ \mathrm{mod},p $$