如果两个正整数a和n互质,则n的欧拉函数
可使下面等式成立:
上式表示,a的次方被n除的余数为1,或者叙述为,a的 次方减去1后可以被n整除。
注意,是n的欧拉函数。
欧拉定理的特殊情况:如果正整数a与质数p互质,因为质数p的等于p-1,则欧拉定理可以写成就是我们所说的费马小定理。
–模反元素
如果两个正整数a和n互质,那么一定可以找到整数b,使得ab-1被n整除,或者说ab被n除的余数是1。这时b被称为a的模反元素。公式如下:
–扩展欧几里得算法
欧几里德算法又称辗转相除法,用于计算两个整数a,b的最大公约数。其计算原理依赖于下面的定理:
gcd函数就是用来求(a,b)的最大公约数的。
gcd函数的基本性质:
gcd(a,b)=gcd(b,a)=gcd(-a,b)=gcd(|a|,|b|)
对于不完全为 0 的非负整数 a,b,gcd(a,b)表示 a,b 的最大公约数,必然存在整数对 x,y ,使得 gcd(a,b)=ax+by。