对于 ,其中
和
是
的两个 根。然后,将卢卡斯伪素数定义为 奇 合数
,使得
,雅可比符号
,且
。
同余式 对每个素数
都成立,其中
是 卢卡斯数。然而,一些合数也满足此同余式。对应于卢卡斯数
特例的卢卡斯伪素数是那些满足
的合数
。 其中前几个是 705, 2465, 2737, 3745, 4181, 5777, 6721, ... (OEIS A005845)。
Wolfram 语言 实现了基于底 2 和 3 的多重 Rabin-Miller 测试,并结合卢卡斯伪素数测试作为函数中的 素性测试PrimeQ[n]。