二次剩余方程求解

题目描述：给定方程x²=a(modp)，p为素数，求在区间(0，p)的解。

首先，需要判断是否有解，方程有解充要条件为a^(p-1)/2=1(modp)。

充分性：

设一原根g，存在唯一的k，使得g^k=a(modp)；a^(p-1)/2=g^((p-1)*k/2)=(g^((p-1)/2))^k=(-1)^k(modp)=1，因此k为偶数。

所以g^(k/2)是方程的根，得证。

必要性：

费马小定理可知，对于任何属于(0，p)的数b，都满足b^(p-1)=1(modp)。假设x为方程的解