p 为奇素数,如果二次同余式
有解,则 a 称为模 p 的平方剩余,否则 a 称为模 p 的平方非剩余
定理:有 是平方剩余的
可以看到前半和后半是对称的,所以只用证明前半部分是两两不同的就行
反证法,有 ,因为 p 是素数,要么整除前面,要么整除后面,而 ij 在前半部分区间内,这个是不可能的
或者看作 有限域,因为 不能成为其他元素的平方()
为了判别一个数是否是模 p 的平方剩余,用 欧拉判别法
由于欧拉判别法需要反复的模 p 乘法,在 p 比较大的时候不方便,引入 勒让德符号 和 雅可比符号
p 为 形式的时候,平方剩余成对出现