二次探测定理的主要运用便是Miller-Rabin的素数测试上,其他貌似就没有什么卵用了。
关于二次探测定理,如果有p为素数,则关于同余方程的解 x 2 ≡ 1 ( m o d   p ) x^{2}\equiv 1 (mod \: p) x2≡1(modp)有且仅有1和p-1这两个解,也就是说x只能等于1和p-1。
它的证明很简单, ∵ x 2 ≡ 1 ( m o d   p ) \because x^{2}\equiv 1 (mod \: p) ∵x2≡