初等数论 课堂笔记 第三章 --同余及其一些有趣的应用

同余性质

  设$m\in {\mathbb{Z}}_{>0},a,b\in \mathbb{Z}$。

1. 甲：$a\equiv a\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$
2. 乙：$a\equiv b\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)\Rightarrow b\equiv a\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$
3. 丙：$\begin{array}{rl}& a\equiv b\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)\\ & b\equiv c\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)\end{array}\}\Rightarrow a\equiv c\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$
4. 丁：若$a_1\equiv b_1\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right),a_2\equiv b_2\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$，则
   1. $a_1+a_2\equiv b_1+b_2\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$
   2. $a+b\equiv c\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)\Rightarrow a\equiv c-b\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$
5. 戊：$\begin{array}{rl}& a_1\equiv b_1\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)\\ & a_2\equiv b_2\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)\end{array}\}\Rightarrow a_1{a}_2\equiv b_1{b}_2\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$。
   特别地，$a\equiv b\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)\Rightarrow ak\equiv bk\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right),\forall k\in \mathbb{Z}$
6. 己：$a\equiv b\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right),\{\begin{array}{rl}& a=a_{1}d\\ & b=b_{1}d\end{array},\gcd \left(d,m\right)=1\Rightarrow a_1\equiv b_1\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$
7. 庚：$\{\begin{array}{rl}& a\equiv b\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right),k>0\Rightarrow ak\equiv bk\left(\mathrm{m}\mathrm{o}\mathrm{d}mk\right)\\ & a\equiv b\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right),d\in {\mathbb{Z}}_{>0},\{\begin{array}{rl}& d|a\\ & d|b\\ & d|m\end{array}\Rightarrow \frac{a}{d}\equiv \frac{b}{d}\left(\mathrm{m}\mathrm{o}\mathrm{d}\frac{m}{d}\right)\end{array}$
8. 辛： ∀ i ∈ { 1 , 2 , ⋯   , k } , a ≡ b (   m o d   m i )   ⇒   a ≡ b (   m o d   [ l c m ( m 1 , m 2 ⋯   , m k ) ] ) \forall i\in \left\{ 1,2,\cdots ,k \right\},a\equiv b\left( \bmod { {m}_{i}} \right)\text{ }\Rightarrow \text{ }a\equiv b\left( \bmod \left[ lcm\left( { {m}_{1}},{ {m}_{2}}\cdots ,{ {m}_{k}} \right) \right] \right) ∀i∈{ 1,2,⋯,k},a≡b(modmi​) ⇒ a≡b(mod[lcm(m1​,m2​⋯,mk​)])
9. 壬：$a\equiv b\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right),\{\begin{array}{rl}& d|m\\ & d>0\end{array}\Rightarrow a\equiv b\left(\mathrm{m}\mathrm{o}\mathrm{d}d\right)$
10. 癸：$a\equiv b\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)\Rightarrow \text{ gcd}\left(a,m\right)=\gcd \left(b,m\right)$
    因而可以成立以下推理关系：
    $$\{\begin{array}{rl}& d|m\\ & d|a\end{array}\Rightarrow d|\gcd \left(a,m\right)=\gcd \left(b,m\right)\Rightarrow d|b$$
    
    

定理: $\forall a,b\in \mathbb{Z}$，有$$a\equiv b\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)\iff m|\left(a-b\right)\iff \exists t\in \mathbb{Z},a=b+mt$$

定理: 若$A_{{\alpha }_1{\alpha }_2\cdots {\alpha }_k}\equiv B_{{\alpha }_1{\alpha }_2\cdots {\alpha }_k}\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right),x_i\equiv y_i\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right),i=1,2,\cdots ,k$，则$$\sum _{{\alpha }_1{\alpha }_2\cdots {\alpha }_k}{A}_{{\alpha }_1{\alpha }_2\cdots a_k}{x_1}^{{\alpha }_1}{x_2}^{{\alpha }_2}\cdots {x_k}^{{\alpha }_k}\equiv \sum _{{\alpha }_1{\alpha }_2\cdots {\alpha }_k}{B}_{{\alpha }_1{\alpha }_2\cdots a_k}{y_1}^{{\alpha }_1}{y_2}^{{\alpha }_2}\cdots {y_k}^{{\alpha }_k}\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$$特别地，若$a_i\equiv b_i\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right),i=0,1,2,\cdots ,n$，则$$a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots a_0\equiv b_n{x}^n+b_{n-1}{x}^{n-1}+\cdots +b_0\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$$特别地，若$x\equiv y\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$，则$$a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_0\equiv a_n{y}^n+a_{n-1}{y}^{n-1}+\cdots +a_0\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$$

若干个正整数的倍数特征（十进制范围内）

  $0$

1. $0$是任意非零整数的倍数；
2. 任意整数都不是$0$的倍数。

补充
  引用《初等数论（第四版）》里关于因数和倍数的定义：
$\forall a\in \mathbb{Z}$, $\forall b\in {\mathbb{Z}}_{\ne 0}$，若$\exists q\in \mathbb{Z},s.t.a=bq$成立，则称$b$为$a$的因数，$a$为$b$的倍数。

  $1$

1. 任意整数都是$1$的倍数。
   
   

  $2$

1. 个位数是偶数$0,2,4,6,8$的整数$\iff$$2$的倍数。因为
   $$\begin{array}{c}10\equiv 0\left(\mathrm{m}\mathrm{o}\mathrm{d}2\right)\\ \Rightarrow a_0+\sum _{k=1}^n{10}^k{a}_k\equiv a_0+\sum _{k=1}^n{0}^k{a}_k=\end{array}$$