题目描述:给定方程x2=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为方程的解