Fermat定理
Fermat小定理:
若n是素数,则对满足1≤a≤n-1的整数a,有a^(n-1)mod n=1;
逆否命题:
a^(n-1)mod n !=1 ,则 n 为合数。
逆命题不一定成立:
满足 a^(n-1)mod n=1,n 既可能是 素数 ,也可能是 合数 ,不过很大几率是 素数
总而言之:
如果 n 是质数 ,则一定有 a^(n-1)mod n=1
如果 n 不是质数 ,则 a^(n-1)mod n=1 也有可能成立,但是几率很小
如果 a^(n-1)mod n=1 成立,则 n 有 较大概率是 素数。
注:
符合费马小定理而非素数的数叫做Carmichael(卡迈克尔数).
前3个Carmichael数是561,1105,1729,Carmichael数是非常少的。
在1~100000000范围内的整数中,只有255个Carmichael数。