初等数论 2.6 同余方程(2)

定理：Fermat小定理：设$p$是素数，若$a\in {\mathbb{Z}}^{+}，p\nmid a$则$a^{p-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$.
定理：设$p$是素数，$a\in {\mathbb{Z}}^{+}$，则$a^p\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}p)$.
推论：若$p$是素数，$a\in \mathbb{Z}，p\nmid a$，则$a^{p-2}$是$a$模$p$的逆.
推论：设$a,b\in {\mathbb{Z}}^{+}$，$p$是素数，$p\nmid a$，则线性同余方程$ax\equiv b\nmid p$的解是满足方程$x\equiv a^{p-2}b(\mathrm{m}\mathrm{o}\mathrm{d}p)$的整数$x$.
定理：（中国剩余定理）：设$m_1,m_2,\cdots ,m_n\in {\mathbb{Z}}^{+}$，且$(m_i,m_j)=11\le i,j\le ni̸=j$，则同余方程$$\begin{gathered} x\equiv a_1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1) \\ x\equiv a_2(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2) \\ ⋮ \\ x\equiv a_r(\mathrm{m}\mathrm{o}\mathrm{d}{m}_r) \end{gathered}$$的解是$$x\equiv \sum _{i=1}^n{a}_i{M}_i{M}_i^{\prime }(\mathrm{m}\mathrm{o}\mathrm{d}M)$$其中$M=[m_1,m_2,\cdots ,m_n]=m_1{m}_2\cdots m_n,M_i=\frac{M}{m_i}(1\le i\le n),M_i^{\prime }$是满足同余方程$M_{i}x\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m{)}_i$的整数.