定理　x是模p的二次剩余充要条件是x^[(p-1)/2]≡1modp　x是模p的二次非剩余充要条件是x^[(p-1)/2]≡-1modp设　ab是两个二次非剩余.则(ab)^[(p-1)/2]≡a^[(p-1)/2]*b^[(p-1)/2]≡(-1)*(-1)≡1modp所以...