令整数 k≥2k\geq 2k≥2,整数 aaa,mmm 满足 (a,m)=1(a,m)=1(a,m)=1,若存在整数 xxx 使得 xk≡a(modm)x^k\equiv a\pmod m xk≡a(modm) 则称 aaa 为模 mmm 的 kkk 次剩余,否则称 aaa 为模 mmm 的 kkk 次非剩余。 二次剩余即是 kkk 次剩余的特例。 参考 https://oi-wiki.org/math/number-theory/residue/