大数计算计划——同余周期理论储备

模的线性运算公式

$$\begin{array}{rl}a& \equiv b(modm)\iff a-b\equiv 0(modm)\\ a& \equiv b(modm)\iff -a\equiv -b(modm)\\ a& \equiv b(modm)\iff a+c\equiv b+c(modm)\\ a& \equiv b(modm)\Rightarrow a\cdot c\equiv b\cdot c(modm)\\ (a+b)\cdot c& \equiv a\cdot c+b\cdot c(modm)\end{array}$$

定义1 最大公约数

指两个或多个整数共有约数（或因素）中最大的一个。$a$，$b$的最大公约数记为：$gcd(a,b)$。

定义2 互质

$a$与$b$互质指$gcd(a,b)＝1$

定理1 可约公式

已知
$a$、$b$、$c$为整数，$m$为非零整数，$a\cdot c\equiv b\cdot c(modm)$
若$gcd(c,m)=1$，则$a\equiv b(modm)$
证：
$\because a\cdot c\equiv b\cdot c(modm)$
$\therefore (a-b)\cdot c\equiv 0(modm)$，即$(a-b)\cdot c$是$m$的倍数
又
$\because gcd(m,c)=1$
$\therefore$ $c$无$m$的因素
$\therefore$只有$a-b$是$m$的倍数，即$a-b\equiv 0(modm)$
$\therefore a\equiv b(modm)$

定理 2 拆模公式

若$a\equiv b(mod{m}_1\cdot m_2)$
则$a\equiv b(mod{m}_1)$，$a\equiv b(mod{m}_2)$
证：
$\because a\equiv b(mod{m}_1\cdot m_2)$
$\therefore a=b+m_1\cdot m_2\cdot x$
$\therefore a\equiv b(mod{m}_1)，a\equiv b(mod{m}_2)$

定理3 积模公式

若$gcd(m_1,m_2)=1$，则
$$\begin{array}{rl}a& \equiv b(mod{m}_1)且a\equiv b(mod{m}_2)\\ \iff a& \equiv b(mod{m}_1\cdot m_2)\end{array}$$

证：
（1）由定理2可知，当$a\equiv b(mod{m}_1\cdot m_2)$时
$\Rightarrow a\equiv b(mod{m}_1)$，$a\equiv b(mod{m}_2)$
（2）当$a\equiv b(mod{m}_1)$，$a\equiv b(mod{m}_2)$时
设$a=b+m_1\cdot x$，则$a\equiv b+m_1\cdot x(mod{m}_2)$
$\because a\equiv b(mod{m}_2)$
$\therefore b\equiv b+m_1\cdot x(mod{m}_2)$
$\therefore m_1\cdot x\equiv 0(mod{m}_2)$
$\because gcd(m_1,m_2)=1$
$\therefore x\equiv 0(mod{m}_2)$，即$x=m_2\cdot y$
$\therefore a=b+m_1\cdot m_2\cdot x(mod{m}_2)$
$\therefore a\equiv b(mod{m}_1\cdot m_2)$

定义3 完全剩余系

整数集合$A$有$m$个元素，$A$中任意两个数$a_i，a_j$满足$$\begin{array}{r}{a}_i\ne a_j(modm)\end{array}$$则称集合$A$为 模$m$的完全剩余系

定理4 完全剩余系同余

整数集合$A$、整数集合$B$都是模$m$的完全剩余系，则
集合$A$、集合$B$的元素一一对应且同余。
证：
设$B_i$为$B$的一个元素，$A_j$为$A$的任意一个元素，
假设存在$B_i\ne A_j(modm)$，
则 { A 0 , A 1 , . . . , A m − 1 , B i } \lbrace A_{0},A_{1},...,A_{m-1},B_{i}\rbrace {A0​,A1​,...,Am−1​,Bi​}也是模$m$的一个完全剩余系，但该集合元素个数为 $m+1$，与模$m$完全剩余系元素个数$m$矛盾，因此假设错误，所以$B$的任意一个元素在集合$A$中能找到一个模$m$的同余元素，显然根据完全剩余系的定义；$B$的任意一个元素在集合$A$中最多只有一个模$m$的同余元素。因此$B$的任意一个元素在集合$A$中有且只有一个模$m$的同余元素，集合$B$的元素与集合$A$的元素一一对应且同余，即集合$A$、集合$B$的元素一一对应且同余。

定理5 同比例完全剩余系

已知$m,b$是整数，$m>1，gcd(m,b)=1$， { a 0 , a 1 , . . . , a m − 1 } \lbrace a_{0},a_{1},...,a_{m-1}\rbrace {a0​,a1​,...,am−1​}是模$m$的完全剩余系。
则 { b ⋅ a 0 , b ⋅ a 1 , . . . , b ⋅ a m − 1 } \lbrace b\cdot a_{0},b\cdot a_{1},...,b\cdot a_{m-1}\rbrace {b⋅a0​,b⋅a1​,...,b⋅am−1​}也是模$m$的完全剩余系。
证:
假设当$a_i\ne a_j$时，存在$b\cdot a_i\equiv b\cdot a_j(modm)$
$\because gcd(b,m)=1$
$\therefore a_i\equiv a_j(modm)$
∵ { a 0 , a 1 , . . . , a m − 1 } \because \lbrace a_{0},a_{1},...,a_{m-1}\rbrace ∵{a0​,a1​,...,am−1​}是模$m$的完全剩余系
$\therefore a_i\ne a_j(modm)$ ，前后矛盾，因此假设错误。
所以当$a_i\ne a_j$时，不存在$b\cdot a_i\equiv b\cdot a_j(modm)$
因此 { b ⋅ a 0 , b ⋅ a 1 , . . . , b ⋅ a m − 1 } \lbrace b\cdot a_{0},b\cdot a_{1},...,b\cdot a_{m-1}\rbrace {b⋅a0​,b⋅a1​,...,b⋅am−1​}也是模$m$的完全剩余系。

定理6 费马小定理（幂周期定理）

若$p$是素数，$gcd(p,a)=1$，则
$$\begin{array}{r}{a}^{p-1}\equiv 1(modp)\end{array}$$ 证：构造$p$完全剩余系 A ＝ { 0 , 1 , 2 , . . . , p − 1 } A＝\lbrace0,1,2,...,p-1\rbrace A＝{0,1,2,...,p−1}，
$\because gcd(p,a)=1$
∴ { 0 , a , 2 a , . . . , ( p − 1 ) ⋅ a } \therefore \lbrace0,a,2a,...,(p-1)\cdot a\rbrace ∴{0,a,2a,...,(p−1)⋅a}也是$p$的完全剩余系
$\therefore$根据定理4（完全剩余系同余）有：
$1\cdot 2\cdot \cdot \cdot (p-1)\equiv a\cdot 2a\cdot \cdot \cdot (a\cdot (p-1))(modp)$
$\Rightarrow (p-1)!\equiv a^{p-1}(p-1)!(modp)$
$\because$ $(p-1)!$ 与$p$互质，根据定理1（可约公式,
可得$a^{p-1}\equiv 1(modp)$

定理7 最小公倍幂周期

已知$p_1,p_2,...,p_k$为$k$个不同的素数，$m=\prod _{i=0}^k{p}_i$，$gcd(m,a)=1$，$t$为$p_1-1,p_2-1,...,p_k-1$的最小公倍数，
则$a^t\equiv 1(modm)$

定理8 降幂定理

$p$是素数，$n$是整数，则$n^p\equiv n(modp)$

证：
当$gcd(n,p)=1$时，$n^{p-1}\equiv 1(modp)$
$\Rightarrow n^p\equiv n(modp)$
当$gcd(n,p)\ne 1$时，因$p$是素数，所以$n$的因子必然有$p$，即$n=q\cdot x$，此时显然$n^p\equiv n\equiv 0(modp)$

定理9

已知$p$是素数，$gcd(p,a)=1$，$a^t\equiv 1(mod{p}^k)$，$t<p^k$，
则$p^{k-1}(p-1)\equiv 0(modt)$

定理10

已知$p_1,p_2,...,p_k$为两两互质的$k$个整数，$m=\prod _{i=0}^k{p}_i$,
$\prod _{i=0}^k(p_i-1)\equiv 0(modr)$ ，$gcd(a,m)=1$，则

$$a^{\frac{p_1-1)\dots (p_k-1)}{r}}\equiv 1(modm)$$

定义4 函数的完全剩余

函数$f(x)$模$m$的剩余集合$A$称为函数$f(x)$模$m$的完全剩余
函数$f(x)$模$m$的完全剩余的元素个数记为$L(f(x),m)$
（1）若$gcd(c,m)=1$，则$L(c\cdot f(x))=L(f(x),m)$
（2）若$m\equiv 0(modc)$，则$L(c\cdot f(x))=L(f(x),\frac{m}{c})$
（3）$y\equiv f(x)(modm)$，若$x$递增，$y$值按照一种元素顺序按序依次排列，则称该函数为连续的。
（4）$y=f(x)$连续，则$y^{\prime }\equiv f(x)(modm)$连续，反之不一定。
（5）$y\equiv f(x)(modm)$连续，则该函数是周期函数，周期为$L(f(x),m)$
（6）当$f(x)$模$m$的剩余元素与$m$互质，且$L(f(x),m)=\phi (m)$，其中$\phi (m)$为欧拉函数，称$f(x)$为模$m$的质函数。
（7）当$f(x)$与$m$可约，则$f(x)$不是模$m$的质函数。