欧拉定理:
任意整数a和n互素,可有:
其中是欧拉函数,指小于n的素数的个数。
证明:
建立集合是小于n的所有素数的集合;
再建立,可知该集合里所有元素必定是小于n的,
又因为a与n互素,并且与n互素,所以也与n互素,故该集合内所有元素都小于n且与n互素;
假设,有,,则,因为a与n互素,有,与假设矛盾,因此集合B中没有相同的元素;
综上可得知,B集合是小于n的所有素数的集合,从而A=B;
可推得
化简为:
因为显然与n互素,所以两边约去,可以得到成立。
欧拉定理推论:
同样,因为a与n互素,因此还可以有等式:,k为任意整数。
由欧拉定理可以很容易得到费马小定理:
即,p是一个素数,a为一个正整数并且不能被p整除,则有,
得到:
费马定理推论: