摘要：考虑若有非 \(0\) 解，那么两个解在模意义下互为相反数。 判定 \(n\) 在模 \(p\) 意义下是否有二次剩余，只要看 \(n^{\frac{p - 1}{2}}\) 为 \(1\) 还是 \(-1\) 即可。 Cipolla 算法流程是，任意随一个 \(a\) 使得 \(a^2 - n\) 阅读全文