|
卢卡斯级数的通项公式
Ln=Round[((1+√3)/√2)^(2^n )/2]
L1=2,
L2=7,
L3=97,
L4=18817=(2^5 -1)(2^5*19 -1)=31*607,
并且:2^31 -1 与 2^607 -1 同为素数。
L5=708158977,
L6=1002978273411373057
=(2^7 -1)(2^7*61698958748239 -1)
=127*7897466719774591,
已证:2^127 -1 是素数,
蔡家雄猜想:2^7897466719774591 -1 是大素数。
卢卡斯定理
设 p为>=5的奇素数,
若 L(p-1) mod (2^p -1) ≡ 0,
则 L(p-1) = (2^p -1) (2^p*q -1)
|
|