同余与欧拉函数

1.同余定理

定义1 ：一般地，两个整数a和b，除以大于1的自然数m所得的余数相同，就称a、b对于模m同余，m在数学上被称谓为模（module）。记作：

a≡b(mod m)

读作：a、b对于模m同余。

即：如果a与b除以m的余数相同，那么a与b的关系就是模m同余关系。

 

同余的其它定义形式

定义1：若m|(a-b)，则称a与b对模m同余。

定义2：若a=mq+b，q∈Z，则称a与b对模m同余。

显然，a≡0(mod m)等价于m|a

以上三种定义形式均为余数的定义，虽然表现形式不同，但实质是一致的。

例如：当a=8，b=5，m=3时，8和5除以3得到的余数相等（均为2），就可写为

8≡5(mod3)  或 3|（8-5） 或  8=3q+5

根据同余定理，可得到同余的基本性质。

1.整除性

{\displaystyle a\equiv b{\pmod {m}}\Rightarrow c\cdot m=a-b,c\in \mathbb {Z} }（即是说a和b之差是m的倍数）
换句话说，{\displaystyle a\equiv b{\pmod {m}}\Rightarrow m\mid (a-b)}

同余可以用来检验一个数是否可以整除另外一个数。

2.传递性

{\displaystyle \left.{\begin{matrix}a\equiv b{\pmod {m}}\\b\equiv c{\pmod {m}}\end{matrix}}\right\}\Rightarrow a\equiv c{\pmod {m}}}

3.保持基本运算

{\displaystyle \left.{\begin{matrix}a\equiv b{\pmod {m}}\\c\equiv d{\pmod {m}}\end{matrix}}\right\}\Rightarrow \left\{ {\begin{matrix}a\pm c\equiv b\pm d{\pmod {m}}\\ac\equiv bd{\pmod {m}}\end{matrix}}\right.}

这性质更可进一步引申成为：

{\displaystyle a\equiv b{\pmod {m}}\Rightarrow {\begin{cases}an\equiv bn{\pmod {m}},\forall n\in \mathbb {Z} \\a^{n}\equiv b^{n}{\pmod {m}},\forall n\in \mathbb {N} ^{0}\end{cases}}}