数论总结_中

四、同余

定义

模

设 $m$ 是正整数，若 $a$ 和 $b$ 是整数，且 $m|(a-b)$，则称 $a$和$b$模$m$同余，记 $a\equiv b(modm)$

完全剩余系

一个模的完全剩余系是一个整数的集合，使得每个整数恰和此集合中的一个元素模 $m$ 同余

一元线性同余方程

设 $x$ 为未知整数，形如$$ax\equiv b(modm)$$
的同余式称为一元线性同余方程

模的逆

给定整数 $a$ 且满足 $(a,m)=1$，称 $ax\equiv 1(modm)$的一个解为 $a$ 模 $m$ 的逆

导数

设 $f(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+...+a_{1}x+a_0$， 其中 $a_i$ 时候实数，$i=0,1,2,...,n$. $f(x)$ 的导数等于 $n{a}_n{x}^{n-1}+(n-1)a_{n-1}{x}^{n-2}+...+a_1$，记为 $f^{\prime }(x)$

矩阵同余

设 $A$ 和 $B$ 是 $n\times k$ 阶整数矩阵，第 $(i,j)$ 个元素分别是 $a_{ij}$ 和 $b_{ij}$，若 $a_{ij}\equiv b_{ij}(modm)$ 对所有 $(i,j)$ 成立，$1\le i\le n,1\le j\le k$，则称 $A$ 和 $B$ 模 $m$ 同余，若 $A$ 和 $B$ 模 $m$ 同余，则记 $A\equiv B(modm)$

矩阵的模的逆

若 $A$ 和 $\overline{A}$ 是 $n\times n$ 阶矩阵， 且 $\overline{A}A\equiv A\overline{A}\equiv I(modm)$，其中 $$I=\left[\begin{array}{cccc}1& 0& \cdots & 0\\ 0& 1& \cdots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \cdots & 1\end{array}\right]\text{\hspace{1em}(5)}$$是 $n$ 阶单位矩阵，则 $\overline{A}$ 称为 $A$ 模 $m$ 的一个逆

矩阵的伴随

$n\times n$ 阶矩阵 $A$ 的伴随是一个$n\times n$ 阶矩阵，它的第 $(i,j)$ 个元素 $C_{ij}$，其中 $C_{ij}$ 是 $(-1{)}^{i+j}$ 乘以 $A$ 删去第 $i$ 行第$j$列所得矩阵的行列式。矩阵 $A$ 的伴随记为 $adj(A)$，或简记为 $adjA$

引理

4.1 $m$ 个模m不同余的整数的集合构成一个模m的完全剩余系

4.2 若 $a,b$ 是正整数，则 $a^a-1$ 模 $2^b-1$ 的最小正余数是 $2^r-1$，其中 $r$ 是 $a$ 模 $b$ 的最小正余数

4.3 若 $a,b$ 是正整数，则 $2^a-1$ 和 $2^b-1$ 的最大公因子是 $2^{(a,b)}-1$

4.4 若 $f(x)$ 和 $g(x)$ 是多项式，则 $(f+g{)}^{\prime }(x)=f^{\prime }(x)+g^{\prime }(x),(cf{)}^{\prime }(x)=c(f^{\prime }(x))$，其中 $c$ 为常数，而且，若 $k$ 是正整数，则 $(f+g{)}^{(k)}=f^{(k)}(x)+g^{(k)}(x),(cf{)}^{(k)}(x)=c(f^{(k)}(x))$，其中 $c$ 为常数

4.5 若 $m$ 和 $k$ 是正整数，且 $f(x)=x^m$， 则$f^{(k)}(x)=m(m-1)...(m-k+1)x^{m-k}$

4.6 泰勒展开式

若 $f(x)$ 是 $n$ 次多项式，$a$ 和 $b$ 是实数，则
$$f(a+b)=f(a)+f^{\prime }(a)b+f^{\prime \prime }(a)b^2/2!+...+f^{(n)}(a)b^n/n!$$
其中，对于每一个给定的 $a$ 的值，系数（即 $1,f^{\prime }(a),f^{\prime \prime }(a)/2!,...,f^{(n)}(a)/n!$）是关于 $a$ 的整系数多项式

定理

4.1 若 $a$ 和 $b$ 是整数，则 $a\equiv b(modm)$ 当且仅当存在整数 $k$ ，使得 $a=b+km$

4.2 设 $m$ 是正整数，模 $m$ 的同余满足下面的性质:

• 自反性
  若 $a$ 是整数，则 $a\equiv a(modm)$
• 对称性
  若 $a$ 和 $b$ 是整数，且 $a\equiv b(modm)$ ，则 $b\equiv a(modm)$
• 传递性
  若 $a,b,c$ 是整数，且 $a\equiv b(modm)$ 和 $b\equiv c(modm)$，则 $a\equiv c(modm)$

4.3 如 $a$ 和 $b$ 为整数，$m$ 为正整数，则 $a\equiv b(modm)$ 当且仅当 $amodm=bmodm$

4.4 若 $a,b,c$ 和 $m$ 是整数， $m>0$,且 $a\equiv b(modm)$，则

• $a+c \equiv b+c (mod \ m) $
• $a-c \equiv b-c (mod \ m) $
• $ac \equiv bc (mod \ m) $

4.5 若 $a,b,c,m$ 是整数。 $m>0,d=(c,m)$，且有 $ac\equiv bc(modm)$，则 $a\equiv b(modm/d)$

4.5.1 若 $a,b,c,m$ 是整数，$m>0,(c,m)=1$，且有 $ac\equiv bc(modm)$，则 $a\equiv b(modm)$

4.6 若 $a,b,c,d,m$ 是整数，$m>0,a\equiv b(modm)$， 且 $c\equiv d(modm)$，则

• $a+c\equiv b+d(modm)$
• $a-c\equiv b-d(modm)$
• $ac\equiv bd(modm)$

4.7 若 $r_1,r_2,…,r_m $是一个模 $m$ 的完全剩余系，且正整数 $a$ 满足 $(a,m)=1$，则对任何整数 $b$ $$a{r}_1+b,a{r}_2+b,...,a{r}_m+b$$ 都是模 $m$ 的完全剩余系

4.8 若 $a,b,k,m$是整数，$k>0,m>0$ 且 $a\equiv b(modm)$，则 $a^k\equiv b^k(modm)$

4.9 若 $a\equiv b(mod{m}_1),a\equiv b(mod{m}_2),...,a\equiv b(mod{m}_k)$， 其中 $a,b,m_1,m_2,...,m_k$ 是整数，且 $m_1,m_2,...,m_k$是正数，则$$a\equiv b(mod[m_1,m_2,m_3,...,m_k])$$ 其中 $[m_1,m_2,m_3,...,m_k]$是 $m_1,m_2,m_3,...,m_k$ 的最小公倍数

4.9.1 若 $a\equiv b(mod{m}_1),a\equiv b(mod{m}_2),...,a\equiv b(mod{m}_k)$，其中 $a,b$ 是整数，$m_1,m_2,...,m_k$ 是两两互素的正整数，则 $$a\equiv b(mod{m}_1{m}_2...m_k)$$

4.10 设 $b,m,N$ 是正整数，且 $b<m$，则计算 $b^N$ 模 m 的最小正剩余要用 $O((lo{g}_{2}m{)}^{2}lo{g}_{2}N)$ 次位运算

4.11 设 $a,b,m$ 是整数，$m>0,(a,m)=d$ 若 $d\nmid b$ ，则 $ax\equiv b(modm)$ 无解，若 $d|b$，则 $ax\equiv b(modm)$ 恰有 $d$ 个模m不同余的解

4.11.1 若 $a$ 和 $m>0$ 互素，且 $b$ 是整数，则线性同余方程 $ax\equiv b(modm)$ 有模 $m$ 的唯一解

4.12 设 $p$ 是素数，正整数 $a$ 是其自身模 $p$ 的逆当且仅当 $a\equiv 1(modp)$ 或 $a\equiv -1(modp)$

4.13 中国剩余定理

设 $m_1,m_2,..,m_r$是两两互素的正整数，则同余方程组
$$x\equiv a_1(mod{m}_1)$$

$$x\equiv a_2(mod{m}_2)$$

$$...$$

$$x\equiv a_r(mod{m}_r)$$
有模 $M=m_1{m}_2...m_r$ 的唯一解

4.14 正整数 $2^a-1$ 和 $2^b-1$ 是互素的当且仅当 $a$ 与 $b$ 是互素的

4.15 亨泽尔引理

设 $f(x)$ 是整系数多项式，$k\ge 2$ 是整数，$p$ 是素数，进一步假设 $r$ 是同余方程 $f(x)\equiv 0(mod{p}^{k-1})$ 的解，则

• 若 $f^{\prime }(r)\not\equiv 0(modp)$，则存在唯一整数 $t$ ，$0\le t\le p$，使得 $f(r+t{p}^{k-1})\equiv 0(mod{p}^k)$，$t$ 由
  $$t\equiv -\overline{f^{\prime }(r)}(f(r)/p^{k-1})(modp)$$
  给出，其中 $\overline{f^{\prime }(r)}$ 是 $f^{\prime }(r)$ 的逆

• 若 $f^{\prime }(r)\equiv 0(modp),f(r)\equiv 0(mod{p}^k)$，则对所有整数 $t$ 都有 $f(r+t{p}^{k-1})\equiv 0(mod{p}^k)$

• 若 $f^{\prime }(r)\equiv 0(modp),f(r)\not\equiv 0(mod{p}^k)$，则 $f(x)\equiv 0(mod{p}^k)$ 不存在解使得 $x\equiv r(mod{p}^{k-1})$

4.15.1 假设 $r$ 是多项式同余方程 $f(x)\equiv 0(modp)$的一个解，其中 $p$ 是素数，若 $f^{\prime }(r)\not\equiv 0(modp)$，则存在模 $p^k$ 的唯一解 $r_k,k=2,3,...$，使得 $r_1=r$ 且$$r_k=r_{k-1}-f(r_{k-1})\overline{f^{\prime }(r)}$$，其中$\overline{f^{\prime }(r)}$ 是 $f^{\prime }(r)$ 模 $p$ 的一个逆

4.16 设 $a,b,v,d,e,f,m$是整数，$m>0$，且 $(\Delta ,m)=1$， 其中 $\Delta =ad-bc$， 则同余方程组$$ax+by\equiv e(modm)$$ $$cx+dy\equiv f(modm)$$ 有模 $m$ 的唯一解如下： $$x\equiv \overline{\Delta }(de-bf)(modm)$$ $$y\equiv \overline{\Delta }(af-ce)(modm)$$ 其中 $\overline{\Delta }$ 是 $\Delta$ 模 $m$ 的一个逆

4.17 $A$ 和 $B$ 是 $n\times k$ 阶整数矩阵，满足 $A\equiv B(modm)$， $C$ 是$k\times p$ 阶整数矩阵， $D$ 是$p\times n$ 阶整数矩阵，则 $AC\equiv BC(modm),DA\equiv DB(modm)$

4.18 设 $$A=\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]\text{\hspace{1em}(2)}$$是整数矩阵，且 $\Delta =detA=ad-bc$ 与正整数 $m$ 互素，则矩阵 $$\overline{A}=\overline{\Delta }\left[\begin{array}{cc}d& -b\\ -c& a\end{array}\right]\text{\hspace{1em}(2)}$$其中$\overline{\Delta }$ 是 $\Delta$ 模 $m$ 的逆

4.19 若 $A$ 是 $n\times n$ 阶矩阵，且 $detA\ne 0$，则 $A(adjA)=(detA)I$。 注意，$detA$ 代表矩阵 $A$ 的行列式

4.20 若$A$是 $n\times n$阶整数矩阵， $m$ 是正整数，使得 $(detA,m)=1$，则矩阵 $\overline{A}=\overline{\Delta }(adjA)$ 是 $A$ 模 $m$ 的一个逆，其中 $\overline{\Delta }$ 是 $\Delta =detA$ 模 $m$ 的一个逆

五、同余的应用

定理

5.1 若 $d|b$，并且 $j,k$ 都是正整数，满足 $j<k$，那么 $(a_k...a_1{a}_0{)}_b$ 可被 $d^j$ 整除当且仅当 $(a_k...a_1{a}_0{)}_b$ 可以被 $d^j$ 整除

5.2 若 $d|(b-1)$，那么 $n=(a_k...a_1{a}_0{)}_b$ 可被 $d$ 整除当且仅当 $n$ 的各位数字之和 $a_k+a_{k-1}+...+a_1+a_0$ 可以被 $d$ 整除

5.3 若 $d|(b+1)$，那么 $n=(a_k...a_1{a}_0{)}_b$ 可被 $d$ 整除当且仅当 $n$ 的各位数字的交错和 $(-1{)}^k{a}_k+a_{k-1}+...-a_1+a_0$ 可以被 $d$ 整除

六、特殊的同余式

定义

伪素数

令 $b$ 是一个正整数，若 $n$ 是一个正合数且 $b^n\equiv b(modn)$，则称 $n$ 为 以$b$ 为基的伪素数

卡迈尔数（绝对伪素数）

一个合数 $n$ 若对所有满足$(b,n)=1$ 的正整数 $b$ 都有 $b^{n-1}\equiv 1(modn)$成立，则称为卡迈尔数或者绝对伪素数

米勒检验

令 $n$ 是一个正整数，满足 $n>2$ 且 $n-1=2^{s}t$，其中 $s$ 是一个非负整数， $t$ 是一个奇正整数。
如果有 $b^t\equiv 1(modn)$ 或者 $b^{2^j\cdot t}\equiv -1(modn)$ 对于某个 $j$ 成立，其中 $1\le j\le s-1$，则称 $n$ 通过 以b为基的米勒检验

注意：通过素数必定通过米勒检验，但是通过米勒检验并不一定是素数，例如 2047即可通过以2为基的米勒检验，但是 2047=23 * 89

强伪素数

设 $n$ 是一个合数，且通过以 $b$ 为基的米勒检验，那么称 $n$ 为以 $b$ 为基的强伪素数

欧拉函数

设 $n$ 是一个正整数，欧拉函数 $\varphi (n)$ 定义为不超过 $n$ 且与 $n$ 互素的正整数的个数

模n的既约剩余系

由 $\varphi (n)$ 个整数构成的集合，集合中的每个元素均与 $n$ 互素，且任何两个元素模 $n$ 不同余

引理

6.1 若 $d$ 和 $n$ 均是正整数且 $d$ 整除 $n$，那么 $2^d-1$ 整除 $2^n-1$

定理

6.1 威尔逊定理

若 $p$ 是素数，则 $(p-1)!\equiv -1(modp)$

6.2 威尔逊定理逆命题

设 $n$ 是正整数且 $n\ge 2$，若 $(n-1)!\equiv -1(modn)$，则 $n$ 是素数

6.3 费马小定理

设 $p$ 是一个素数，$a$ 是一个正整数且 $p\nmid a$，则 $a^{p-1}\equiv 1(modp)$

6.4 设 $p$ 是素数且 $a$ 是一个正整数，则 $a^p\equiv a(modp)$

6.5 若 $p$ 是素数且 $a$ 是一个正整数且 $p\nmid a$，那么$a^{p-2}$ 是 $a$ 模 $p$ 的逆

6.5.1 若 $a$ 和 $b$ 是正整数，$p$ 是素数且$p\nmid a$，那么线性同余方程 $ax\equiv b(modp)$ 的解满足 $x\equiv a^{p-2}b(modp)$ 的整数 $x$

6.6 以2为基的伪素数有无穷多个

6.7 若 $n=q_1{q}_2...q_k$，其中 $q_j$ 是不同的素数满足 $(q_j-1)|(n-1)$ 对所有 $j$ 成立且 $k>2$，那么 $n$ 是一个卡迈克尔数

6.8 若 $n$ 是素数且 $b$ 是正整数满足 $n\nmid b$， 那么 $n$ 能通过以 $b$ 为基的米勒检验

6.9 有无穷多个以2为基的强伪素数

6.10 若 $n$ 是一个奇正合数，那么最多有 $(n-1)/4$ 个 $b$ ，其中 $1\le b\le n-1$，使得 $n$ 能够通过以 $b$ 为基的米勒检验

简单通过该定理去验证一个数为素数比试除法还要麻烦，但是从中有一个思路。在小于n的正整数里面随机选取b进行计算，n通过检验且n为合数的概率要小于1/4。
这样我们连续选择多个b进行计算则n为合数的概率指数级下降

6.11 拉宾概率素性检验

设 $n$ 是一个正整数，去 $k$ 个不同的小于 $n$ 的正整数为基，并且对 $n$ 做每一个基的米勒检验，若 $n$ 是一个合数，则 $n$ 通过所有 $k$ 个检验的概率不超过 $(1/4{)}^k$

6.12 若广义黎曼猜想是正确的，那么存在一个算法来判断一个正整数 $n$ 是否是素数，并且该算法的位运算量时 $O((lo{g}_{2}n{)}^5)$ 次

6.13 设 $r_1,r_2,...,r_{\varphi (n)}$ 是模 $n$ 的一个既约剩余系，若 $a$ 是一个正整数且 $(a,n)=1$，那么集合 $a{r}_1,a{r}_2,...,a{r}_{\varphi (n)}$ 也是一个模 $n$ 的既约剩余系

6.14 欧拉定理（费马小定理的推广）

设 $m$ 是一个正整数，$a$ 是一个整数且 $(a,m)=1$，那么 $a^{\varphi (m)}\equiv 1(modm)$

猜想

6.1 广义黎曼猜想的推论

对任意一个正合数 $n$，存在一个基 $b$，且$b<2(lo{g}_{2}n{)}^2$ ，使得 $n$ 不能通过以 $b$ 为基的米勒检验

乘性函数

定义

算数函数

定义在所有正整数上的函数称为算数函数

乘性函数

如果算数函数 $f$ 对任意两个互素的正整数 $n$ 和 $m$ ，均有 $f(mn)=f(m)f(n)$，称为乘性函数（或积性函数）
如果对任意两个正整数 $n$ 和 $m$ ，均有 $f(mn)=f(m)f(n)$，就称为完全乘性（或完全积性）函数

和函数

设 $f$ 是一个算数函数，那么 $F(n)={\sum }_{d|n}f(d)$，代表 $f$ 在 $n$ 的所有正因子处的值之和，函数 $F$ 称为 $f$ 的和函数
如$$F(12)==\sum _{d|n}f(d)=f(1)+f(2)+f(3)+f(4)+f(6)+f(12)$$

因子和函数

$\sigma$ 定义为整数 $n$ 的所有正因子之和，记为 $\sigma (n)$

因子个数函数

$\tau$ 定义为正整数 $n$ 的所有正因子个数，记为 $\tau (n)$

完全数

如果 $n$ 是一个正整数且 $\sigma (n)=2n$，那么 $n$ 称为完全数

梅森数

如果 $m$ 是一个正整数，那么 $M_m=2^m-1$ 称为第 $m$ 个梅森数。如果 $p$ 是一个素数且 $M_p=2^p-1$也是素数，那么 $M_p$ 就称为梅森素数

莫比乌斯函数

莫比乌斯函数 $\mu (n)$ 定义为
$$\mu (n)=\{\begin{array}{l}1x=1\\ (-1{)}^{r}x=p_1{p}_2...p_r其中p_i为不同的素数\\ 0其他情形\end{array}$$

拆分与拆分的部分

一个正整数 $n$ 的拆分是指将其表为一些正整数的和，而不计其中的求和项的次序。对于一个拆分 $\lambda$ 我们将将其写为一个非递增的正整数序列 $({\lambda }_1,{\lambda }_2,...,{\lambda }_r)$，其中 ${\lambda }_1+{\lambda }_2+...+{\lambda }_r=n$，整数 ${\lambda }_1,{\lambda }_2,...,{\lambda }_r$ 称为拆分 $\lambda$ 的部分

拆分函数

$n$ 的不同拆分的数目记为 $p(n)$ ，称 $p(n)$ 为拆分函数，定义 $p(0)=1$，这种规定是合理的，因为0只有一种拆分，即空拆分没有部分

有限制拆分汇总

令 $S$ 为正整数集合的一个子集， $m$ 为正整数，定义
$p_s(n)=$ 将 $n$ 拆分为 $S$ 中的部分的拆分数目
$p^D(n)=$ 将 $n$ 拆分为不同部分的拆分数目
$p_m(n)=$ 将 $n$ 拆分为 $\ge m$ 的部分的拆分数目
联合上述记号进一步定义
$p_s^D(n)=$将 $n$ 拆分为 $S$ 中不同部分的拆分数目
$p_m^D(n)=$将 $n$ 拆分为 $\ge m$ 的不同部分的拆分数目
$p_{m,s}(n)=$将 $n$ 拆分为 $S$ 中 $\ge m$ 的部分的拆分数目
$p_{m,s}^D(n)=$将 $n$ 拆分为 $S$ 中 $\ge m$ 的不同部分的拆分数目
另外，所有的奇整数集合为 $O$，所有的偶整数集合为 $E$，则 $p_O(n)$ 表示将 $n$ 拆分为奇数部分的拆分数目，$p_E(n)$ 表示将 $n$ 拆分为偶数部分的拆分数目，

共轭与自共轭

给定义拆分 $n={\lambda }_1+{\lambda }_2+...+{\lambda }_r$，其中 ${\lambda }_1\ge {\lambda }_2\ge ...\ge {\lambda }_r$，定义 $\lambda$ 的共轭为 ${\lambda }^{\prime }={\lambda }_1^{\prime }+{\lambda }_2^{\prime }+...+{\lambda }_s^{\prime }$，其中 ${\lambda }_i^{\prime }$ 为拆分 $\lambda$ 中至少为 $i$ 的部分的数目。一个拆分称为是 自共轭的

母函数

序列 $a_n(n=0,1,2,3,...)$的母函数是幂级数 ${\sum }_{n=0}^{\infty }{a}_n{x}^n$

引理

7.1 设 $p$ 是一个素数， $a$ 是一个正整数，那么 $$\sigma (p^a)=1+p+p^2+...+p^a=\frac{p^{a+1}-1}{p-1}$$ 和 $$\tau (p^a)=a+1$$

定理

7.1 如果 $f$ 是一个乘性函数，且对任意正整数 $n$ 有素幂因子分解 $n=p_1^{a_1}{p}_2^{a_2}...p_s^{a_s}$，那么 $f(n)=f(p_1^{a_1})f(p_2^{a_2})...f(p_s^{a_s})$

7.2 如果 $p$ 是素数，那么 $\varphi (p)=p-1$，反之，如果 $p$ 是正整数且满足 $\varphi (p)=p-1$，那么 $p$ 是素数

7.3 设 $p$ 是素数， $a$ 是一个正整数，那么 $\varphi (p^a)=p^a-p^{a-1}$

7.4 设 $m$ 和 $n$ 是互素的正整数，那么 $\varphi (mn)=\varphi (m)\varphi (n)$

7.5 设 $n=p_1^{a_1}{p}_2^{a_2}...p_k^{a_k}$ 为正整数 $n$ 的素幂因子分解，那么 $$\varphi (n)=n(1-\frac{1}{p_1})(1-\frac{1}{p_2})...(1-\frac{1}{p_k})$$

7.6 设 $n$ 是一个大于2的正整数，那么 $\varphi (n)$ 是偶数

7.7 设 $n$ 为正整数，那么 ${\sum }_{d|n}\varphi (d)=n$

7.8 如果 $f$ 是乘性函数，那么 $f$ 的和函数，即 $F(n)={\sum }_{d|n}f(d)$ 也是乘性函数

7.8.1 因子和函数 $\sigma$ 和 因子个数函数 $\tau$ 是乘性函数

7.9 设正整数 $n$ 有素因子分解 $n=p_1^{a_1}{p}_2^{a_2}...p_s^{a_s}$，那么 $$\sigma (n)=\frac{p_1^{a_1+1}-1}{p_1-1}\cdot \frac{p_2^{a_2+1}-1}{p_2-1}...\frac{p_s^{a_s+1}-1}{p_s-1}=\prod _{j=1}^s\frac{p_j^{a_j+1}-1}{p_j-1}$$ 和 $$\tau (n)=(a_1+1)(a_2+1)...(a_s+1)=\prod _{j=1}^s(a_j+1)$$

7.10 正整数 $n$ 是一个偶完全数当且仅当 $n=2^{m-1}(2^m-1)$，其中 $m\ge 2$ 是使得 $2^m-1$ 是素数的整数

7.11 如果 $m$ 是一个正整数且 $2^m-1$ 是一个素数，则 $m$ 必定是素数

7.12 如果 $p$ 是一个奇素数，那么梅森数 $M_p=2^p-1$ 的因子均形如 $2kp+1$，其中 $k$ 是一个正整数

7.13 卢卡斯-雷默判别法

设 $p$ 是素数，设第 $p$ 个梅森数是 $M_p=2^p-1$ ，设 $r_1=4$，对 $k\ge 2$，利用 $$r_k\equiv r_{k-1}^2-2(mod{M}_p)，0\le r_k<M_p$$可以递归定义一个整数序列，那么 $M_p$ 是素数当且仅当 $r_{p-2}\equiv 0(mod{M}_P)$

$p=2$ 的时候不成立？是 $r_{p-2}\equiv 0(mod{M}_P)$ 还是 $r_{p-1}\equiv 0(mod{M}_P)$ 网上说法不一致，但是 $r_{p-1}\equiv 0(mod{M}_P)$ 的话在p=2的时候不成立？

7.13.1 设 $p$ 是素数，$M_p=2^p-1$ 为第 $p$ 个梅森数，可以在 $O(p^3)$ 次位运算内确定 $M_p$ 是否是素数

7.14 莫比乌斯函数 $\mu (n)$ 是乘性函数

7.15 莫比乌斯函数的和函数在整数 $n$ 处的值 $F(n)={\sum }_{d|n}\mu (d)$，满足

$$\sum _{d|n}\mu (d)=\{\begin{array}{l}1若n=1\\ 0若n>1\end{array}$$

7.16 莫比乌斯反演公式

若 $f$ 是算数函数， $F$ 为 $f$ 的和函数，对任意在整数 $n$ 满足 $$F(n)=\sum _{d|n}f(d)$$ 则对任意正整数 $n$，$$f(n)=\sum _{d|n}\mu (d)F(n/d)$$

7.17 设 $f$ 是算数函数，它的和函数为 $F(n)={\sum }_{d|n}f(d)$ ，那么如果 $F$ 是乘性函数，则 $f$ 也是乘性函数

7.18 如果 $n$ 为正整数，那么将 $n$ 拆分为最大部分为 $r$ 的拆分数目等于将 $n$ 拆分为 $r$ 部分的拆分数目

7.19 $p(n)$ 的母函数是 $$\sum _{n=0}^{\infty }p(n)x^n=\prod _{j=1}^{\infty }\frac{1}{1-x^j}$$

7.20 $p^D$ 的母函数是 $$\sum _{n=0}^{\infty }{p}^D(n)x^n=\prod _{j=1}^{\infty }(1+x^j)$$

7.21 设 $S$ 为正整数集合的子集，则将 $n$ 写为 $S$ 中数的和的方式的数目 $p_s(n)$ 的母函数以及将 $n$ 写为 $S$ 中不同数的和的方式的数目 $p_s^D(n)$ 的母函数分别是 $$\sum _{n=0}^{\infty }{p}_s(n)x^n=\prod _{j\in S}\frac{1}{1-x^j}$$ $$\sum _{n=0}^{\infty }{p}_s^D(n)x^n=\prod _{j\in S}(1+x^j)$$

7.22 欧拉等分定理

设 $n$ 为正整数，则 $p_O(n)=p^D(n)$ ，即将 $n$ 拆分为奇数部分之和的拆分数目与将 $n$ 拆分为不同部分之和的拆分数目相同

7.23 我们有 ${\prod }_{i=1}^{\infty }(1-x^i)={\sum }_{n=1}^{\infty }{a}_n{x}^n$，其中 $a_n=p(n|$拆分为偶数个不同部分之和$)-p(n|$拆分为奇数个不同部分之和$)$

7.24 欧拉五边形数定理

设 $n$ 为正整数，则当 $n=k(3k\pm 1)/2$ 且 $k$ 为正整数时，$p(n|$拆分为偶数个不同部分之和$)-p(n|$拆分为奇数个不同部分之和$)=(-1{)}^k$，否则为0，即 ${\prod }_{i=1}^{\infty }(1-x^i)={\sum }_{n=-\infty }^{\infty }(-1{)}^n{x}^{n(3n-1)/2}=1+{\sum }_{n=1}^{\infty }(-1{)}^n{x}^{n(3n-1)/2}(1+x^n)$

7.25 欧拉拆分公式

设 $n$ 为正整数，则 $p(n)=p(n-1)+p(n-2)-p(n-5)-p(n-7)+p(n-12)+p(n-15)-...+(-1{)}^{k-1}[p(n-(k(3k-1)/2))+p(n-(k(3k+1)/2))]+...$

7.26 第一 Rogers-Ramanujan 恒等式

设 $n$ 为正整数，则将其拆分为不同部分之和且各部分相差至少为2的拆分数与将 $n$ 拆分为模5余4或1的部分之和的拆分书相等

7.27 第二 Rogers-Ramanujan 恒等式

设 $n$ 为正整数，则将 $n$ 拆分为不同部分之和而各部分至少为2且有两部分相差为2的拆分数，与将 $n$ 拆分为模5余2或者3的部分之和的拆分数相等