同余

本博客主要介绍同余这一内容。当然，本博客仅代表作者自身观点如有错误，请您指出。

  同余，是数论中一个特别重要的一部分，而且编程中需要用到数论的大部分都是同余相关的问题。所以本篇博客就来介绍一下关于同余的一些东西。

模运算

  同余有一个十分基础的运算，叫做取模。而在计算机中，我们所说的取模一般都是进行下述运算：$$xmody=\{\begin{array}{l}x-\lfloor \frac{x}{y}\rfloor \times k(x\ge 0)\\ -[(-x)mody](x<0)\end{array}$$实际上，这一运算是同余问题的基础，有许多同余性质都能由模运算计算式推出。

同余

  若整数$a$与整数$b$除以正整数$m$的余数相等，则称 $a，b$ 关于模 $m$ 同余，记作$a\equiv b(modm)$。

同余类与剩余系

  显然，$\forall a\in [0,m-1]$，集合 { a + k m }   ( k ∈ Z ) \{a + km\}\ (k\in Z) {a+km} (k∈Z) 中的所有数模 $m$ 同余，余数均为 $a$ 。这种集合被称为一个模 $m$ 的同余类，简记为 $\overline{a}$ 。

  由同余类的定义可知，模 $m$ 的同余类共有 $m$ 个，分别为$\overline{0},\overline{1},\overline{2}\cdots \overline{m-1}$。它们构成 $m$ 的完全剩余系。

  特别地，我们将 1~$m$ 中与 $m$ 互质的$\phi (m)$个数的集合称为 $m$ 的简化剩余系。例如模10的简化剩余系为 { 1 ‾ , 3 ‾ , 7 ‾ , 9 ‾ } \{\overline{1} ,\overline{3},\overline{7} , \overline{9}\} {1,3,7,9}。

  由简化剩余系的定义与互质的定义可以想到，对在 $m$ 的简化剩余系中的任意两数进行模 $m$ 乘法，所得的结果一定属于该简化剩余系。因为若 $a,b(1\le a,b\le m)$ 与 $m$ 互质，则 $a\times b$ 也没有与 $m$ 相同的质因子，也就是说 $a\times b$ 与 $m$ 互质。再由模运算的计算式可以推出 $a\times bmodm$也关于 $m$ 互质，即 $a\times bmodm$ 也属于 $m$ 的简化剩余系。这种现象称为简化剩余系关于模 $m$ 乘法封闭。

欧拉定理

若正整数 $a，n$ 互质，则 $a^{\phi (n)}\equiv 1(modn)$，其中 $\phi (n)$ 是欧拉函数。

证明

  设 $n$ 的简化剩余系为 { a 1 ‾ ， a 2 ‾ ， a 3 ‾ ⋯ ， a φ ( n ) ‾ } \{\overline{a_1}，\overline{a_2}，\overline{a_3}\cdots，\overline{a_{\varphi(n)}}\} {a1​​，a2​​，a3​​⋯，aφ(n)​​}，那么，任取 $a_i,a_j$，若 $a\times a_i\equiv a\times a_j(modn)$，则 $a\times (a_i-a_j)\equiv 0(modn)$，已知 $a$ 与 $n$ 互质，所以 $a_i-a_j\equiv 0(modn)$，也就是说$a_i\equiv a_j(modn)$，又因为 $a_i，a_j$ 取自 $n$ 的简化剩余系中，所以当且仅当 $a_i=a_j$ 时，$a_i\equiv a_j(modn)$。故当$a_i\ne a_j$时，$a{a}_i$ 与 $a{a}_j$ 表示不同的同余类。

  又因为简化剩余系关于模 $n$ 乘法封闭，所以$\overline{a{a}_i}$一定也在简化剩余系中，以此类推，可以得出 { a 1 ‾ ， a 2 ‾ ⋯ ， a φ ( n ) ‾ } \{\overline{a_1}，\overline{a_2} \cdots，\overline{a_{\varphi(n)}}\} {a1​​，a2​​⋯，aφ(n)​​} 与 { a a 1 ‾ ， a a 2 ‾ ⋯ ， a a φ ( n ) ‾ } \{\overline{aa_1}，\overline{aa_2} \cdots，\overline{aa_{\varphi(n)}}\} {aa1​​，aa2​​⋯，aaφ(n)​​} 都是模 $n$ 的简化剩余系。综上所述：
$$a^{\phi (n)}{a}_1{a}_2\cdots a_{\phi (n)}\equiv (a{a}_1)(a{a}_2)\cdots (a{a}_{\phi (n)})\equiv a_1{a}_2\cdots a_{\phi (n)}(modn)$$
  所以$a^{\phi (n)}\equiv 1(modn)$。
证毕。

费马小定理

若 $p$ 是质数，则对于任意整数 $a$ ，有 $a^p\equiv a(modp)$

  事实上，当欧拉定理中的 $n$ 为质数时，代入可以得到 $a^{n-1}\equiv 1(modn)$ ，即 $a^n\equiv a(modn)$。也就是费马小定理。

同余方程（组）

  由于本人知识面狭隘这里说的仅限线性同余方程（组）。
  给定整数 $a，b，m$，求一个整数 $x$ 满足 $a\times x\equiv b(modm)$，或者给出无解。因为未知数的指数为 1，所以我们称这种方程为线性同余方程。
  具体求解过程见扩展欧几里得算法。
  线性同余方程组的定义与等式方程组定义差不多，为求多个线性同余方程的公共解。
  具体求解过程见扩展中国剩余定理。