假如p是质数,且gcd(a,p)=1,那么 a(p-1)≡1(mod p)
例如:假如a是整数,p是质数,则a,p显然互质(即两者只有一个公约数1),那么我们可以得到费马小定理的一个特例,即当p为质数时候, a^(p-1)≡1(mod p)。
首先看一个基本的例子。
令a = 3,n = 5,这两个数是互素的。
比5小的正整数中与5互素的数有1、2、3和4,所以φ(5)=4(详情见[欧拉函数])。
计算:a^{φ(n)} = 3^4 =81,而81= 80 + 1 Ξ 1 (mod 5)。与定理结果相符。
这个定理可以用来简化幂的模运算。
比如计算7^{222}的个位数,实际是求7^{222}被10除的余数。
7和10[[互素]],且φ(10)=4。由欧拉定理知7^4Ξ1(mod 10)。
所以7^{222}=(7^4)^55*(7^2)Ξ1^{55}*7^2Ξ49Ξ9 (mod 10)。
补充:
费马小定理是初等数论四大定理(威尔逊定理,欧拉定理(数论中的欧拉定理),中国剩余定理(又称孙子定理)之一,在初等数论中有着非常广泛和重要的应用。实际上,它是欧拉定理的一个特殊情况(即
,见于词条“欧拉函数”)。