费马小定理

        费马小定理是 数论中的一个重要定理，其内容为： 假如p是 质数，且(a,p)=1，那么 a^(p-1) ≡1（mod p）。即：假如a是整数，p是质数，且a,p互质，那么a的(p-1)次方除以p的余数恒等于1。

 

 

证明：

 

构造素数

的既约剩余系

因为

，由引理3可得

也是p的一个既约剩余系。由既约剩余系的性质，

即

易知

，同余式两边可约去

，得到

这样就证明了费马小定理。

 

如上所述，中国猜测只有一半是正确的，符合中国猜测但不是质数的数被称为“伪质数”。

对于中国猜测稍作改动，即得到判断一个数是否为质数的一个方法：

如果对于任意满足1 ≤ b < p的b下式都成立：

则p必定是一个质数。

这个定理告诉我们，判定一个数是否为 质数 ，没有必要测试所有的小于p的 自然数 ，只要测试所有的小于p的质数就可以了。事实上，测试小于p的平方根的所有质数就可以了。

这个 算法的缺点是它非常慢，但是实现简单；很适合在计算机上面运行程序进行验算一个数是否是质数，不过这种方法并不是实际工程中采用的判定方法。