费马 - 卢卡斯定理
若存在整数a,
使 a^(n-1) mod n = 1
但 a^[(n-1)/p] mod n ≠ 1
则 n 一定是素数。
卢卡斯定理
若 U(n+1) mod n = 0
但 U[(n+1)/p] mod n ≠ 0
则 n 一定是素数。
卢卡斯序列:
U(1, -1)=0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,......
V(1, -1)=2,1,3,4,7,11,18,29,47,76,123,199,322,521,843,1364,2207,3571,5778,9349,......
卢卡斯序列:
U(2, -1)=0,1,2,5,12,29,70,169,408,985,2378,5741,13860,33461,......
V(2, -1)=2,2,6,14,34,82,198,478,1154,2786,6726,16238,39202,......
|