二次剩余

上山打老虎

\(x^2 \equiv a(\%p)\)
p为奇素数时有欧拉判别条件：若x有解，则\(a^{\frac{p - 1}{2}} \equiv 1(\%p)\)，否则\(a^{\frac{p - 1}{2}} \equiv -1(\%p)\)；而这个1和-1被称为勒让德符号