设 和
为由
和
生成的 卢卡斯序列,并定义
(1)
|
则
(2)
|
其中 是 勒让德符号。一个 奇 合数
使得
(即,
和
是 互质 的)被称为参数为
的 Euler-Lucas 伪素数。
Weisstein, Eric W. "Euler-Lucas 伪素数。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/Euler-LucasPseudoprime.html