一个素性判别定理

将ＬｕｃａｓＬｅｈｍｅｒ定理进行推广，得到如下定理：Ｎ＝ｍ·２ｋ－１（ｋ＞２，１≤ｍ＜２ｋ），如果存在ａ＞２使（ａ－２Ｎ）＝１，（ａ＋２Ｎ）＝－１，则得到Ｌｕｃａｓ数列：ｖ０＝２，ｖ１＝ａ，ｖｎ＋２＝ａｖｎ＋１－ｖｎ，Ｎ为素数的充要条件是Ｎ｜ｖｎ＋...