對於 ,其中
和
是
的兩個 根。然後,將盧卡斯偽素數定義為 奇 合數
,使得
,雅可比符號
,且
。
同餘式 對每個素數
都成立,其中
是 盧卡斯數。然而,一些合數也滿足此同餘式。對應於盧卡斯數
特例的盧卡斯偽素數是那些滿足
的合數
。 其中前幾個是 705, 2465, 2737, 3745, 4181, 5777, 6721, ... (OEIS A005845)。
Wolfram 語言 實現了基於底 2 和 3 的多重 Rabin-Miller 測試,並結合盧卡斯偽素數測試作為函式中的 素性測試PrimeQ[n]。