离散数学【04】——数论

数学中专门研究整数集合及其性质的分支称为 数论。数论在离散数学中扮演着重要的作用，可以说任何时候都将使用到数论的相关知识。其次对数论的研究促进了密码学的发展，而密码学的进一步发展而又给数论的研究提供了新的动力。但数论不仅仅使用于密码学，在数论中可以看到整数的一些奇妙的性质。当性质研究的越透彻，对计算是有极大好处的。其中一些重要的概念有模运算，素数等。

1. 整除性和模运算

一个整数被一个正整数除，得到的是一个商和一个余数。与这些余数打交道导致模算术。

1.1 除法

1.1.1 整除

$$\begin{gathered} 定义1:如果a和b是整数且a\ne 0,我们称a整除b如果有整数c使得b=ac,或者等价地，如果b/a是一个整数。 \\ 当a整除b时，我们称a是b的一个因子或除数，而b是a的一个倍数。 \\ 用记号a|b表示a整除b。当a不能整除b时则写称a\nmid b。 \end{gathered}$$

由定义可以证明得到一些整除的性质
$$\begin{gathered} 定理1:令a,b,c为整数，其中a\ne 0,则 \\ (i)如果a|b和a|c,则a|(b+c) \\ (ii)如果a|b,那么对所有整数c都要a|bc \\ (iii)如果a|b,b|c,则a|c \end{gathered}$$
由此得到推论
$$推论1:如果a,b,c是整数，其中a\ne 0,使得a|b和b|c,那么当m和n是整数时有a|(mb+nc)。$$

1.1.2 除法算法

$$\begin{gathered} 定理1:除法算法(divisionalgorithm)。令a为整数，d为正整数。 \\ 则存在唯一的整数q和r,满足0\le r<d,使得a=dq+r。 \end{gathered}$$

注意这是一个定理是可以被证明，需要证明其存在性和唯一性。

由于此定理，可以良好的定义摸运算。
$$\begin{gathered} 定义1:在除法算法的等式中，d称为是除数，a称为是被除数，q称为是商，r称为是余数。 \\ 下面的记号用来表示商和余数。q=adivd,r=amodd \end{gathered}$$
我们可以知道$adivd=\lfloor a/d\rfloor$和$amodd=a-d$。虽然不严谨，但不用怀疑第二个等式，$a-d和a-\lfloor a/d\rfloor d$ 是模d同余的。

1.1.3 模算术

$$\begin{gathered} 定义1:如果a和b为整数而m为正整数，则当m整数a-b时称a模m同余b。 \\ 用记号a\equiv b(modm)表示a模m同余b。 \\ 我们陈a\equiv b(modm)是同余式(congruence),而那个m是它的模(modulus)。 \\ 如果a和b不是模m同余的，则写成a\not\equiv b(modm) \end{gathered}$$

由此可以得到一些更好用的定理：
$$定理1:令a和b为整数，并令m为正整数。则a\equiv b(modm)当且仅当amodm=bmodm。$$

$$定理2:令m为正整数。整数a和b是模m同余的当且仅当存在整数k使得a=b+km。$$

$$\begin{gathered} 定理3:令m为正整数。如果a\equiv b(modm)，c\equiv d(modm),则 \\ a+c\equiv b+d(modm)并且ac\equiv bd(modm) \end{gathered}$$

进而能得到一些稍显复杂但很实用的推论
$$\begin{gathered} 推论1:令m是正整数，令a和b是整数。则 \\ (a+b)modm=((amodm)+(bmodm))modm \\ (ab)modm=((amodm)(bmodm))modm \end{gathered}$$

1.1.4 模m算术

我们可以在$Z_m$，即小于m的非负整数的集合 { 0 , 1 , . . . , m − 1 } \left\{0,1,...,m-1\right\} {0,1,...,m−1} 上定义算术运算。

这些整数的加法如下
$$a{+}_{m}b=(a+b)modm$$
乘法如下
$$a\cdot b=(a\cdot b)modm$$
运算${+}_m$和${\cdot }_m$称为模 $m$ 加法和模 $m$ 乘法。

模m算术满足如下性质：

封闭性：如果$a$和$b$属于$Z_m$,则$a{+}_{m}b$和$a{\cdot }_{m}b$也属于$Z_m$

结合律：如果$a,b$和$c$属于$Z_m$,则有$(a{+}_{m}b){+}_{m}c=a{+}_m(b{+}_{m}c)$和$(a{\cdot }_{m}b){\cdot }_{m}c=a{\cdot }_m(b{\cdot }_{m}c)$。

交换律：如果$a$和$b$属于$Z_m$,则有$a{+}_{m}b=b{+}_{m}a$和$a{\cdot }_{m}b=b{\cdot }_{m}a$。

单位元：元素 0 和 1 分别是模 m 加法和乘法的单位元。即，如果 $a$ 属于 $Z_m$ ，则$a{+}_{m}0=0{+}_{m}a=a$和$a{\cdot }_{m}1=1{\cdot }_{m}a=a$。

加法逆元：如果$a\ne 0$属于$Z_m$,则$m-a$是$a$的模$m$加法逆元，而 0 是其自身的加法逆元。即$(m-a){+}_{m}a=0$且$0{+}_{m}0=0$。

分配律：如果$a,b$和$c$属于$Z_m$,则$a{\cdot }_m(b{+}_{m}c)=(a{\cdot }_{m}b)+(a{\cdot }_{m}c)$和$(a{+}_{m}b){\cdot }_{m}c=(a{\cdot }_{m}c)+(b{\cdot }_{m}c$)。

请注意乘法逆元是没有的。模m的乘法逆不一定存在。

这是一个群的概念，而且$Z_m$和连同模加法被称为一个交换群，再加上模乘法则被称为交换环。

2. 整数表示和算法

$$\begin{gathered} 定理1:令b是一个大于1的整数。则如果n是一个正整数，就可以唯一的表示为下面的形式 \\ n=a_k{b}^k+a_{k-1}{b}^{k-1}+...+a_{1}b+a_0 \\ 其中k是非负整数，a_0,a_1,...,a_k是小于b的非负整数，且a_k\ne 0。 \end{gathered}$$

该n的表示就称为n的b进制展开式。n的b进制展开式可以记作$(a_k{a}_{k-1}...a_1{a}_0{)}_b$。

在此节会涉及到进制转换和加法乘法算法(尤其是二进制的)，以及模指数运算，但在此先不讨论，将会在以后将这些算法逐步完成。

3. 素数

$$定义1:大于1的整数p称为素数，如果p的正因子只是1和p。大于1但又不是素数的正整数称为是合数。$$

小于等于1的整数是不在讨论范围内的。

3.1 合数的素因子分解问题

$$\begin{gathered} 定理1:算术基本定理每个大于1的整数都可以唯一地写为两个或多个素数的乘积， \\ 其中素数以非递减序排列。 \end{gathered}$$

$$定理2:如果n是一个合数，那么n必有一个素因子小于等于\sqrt{n}。$$

定理都是可以被证明的，且已经被证明的。具体的证明方法，不写出，有些证明方法很复杂，如果有机会将会另外总结

这为找到合数的素因子分解提供了一种方式，即试除法。

3.2 素数个数问题

$$定理3:存在无限多个素数$$

$$定理4:素数定理当x无限增长时，不超过x的素数个数\pi (x)与x/lnx之比趋近于1。$$

顺便提到一下埃拉托斯特尼筛选法，该法用于寻找不超过一个给定整数的素数。

目前有更好的算法判断一个正整数是素数的。

3.3.关于素数的猜想

哥德巴赫猜想

孪生素数猜想

4 最大公约数

$$\begin{gathered} 定义1:令a和b是两个整数，不全为0。能使d|a和d|b的最大整数d称为a和b的最大公约数。 \\ a和b的最大公约数记作gcd(a,b)。 \end{gathered}$$

$$定义2:整数a和b是互素的如果它们的最大公约数是1。$$

$$定义3:整数a_1,a_2,...,a_n是两两互素的，如果当1\le i<j\le n时有gcd(a_i,a_j)=1。$$

一个寻找两个整数的最大公约数的方法是利用这个两个整数的素因子分解式。假定两个正整数a和b的素因子分解式为
$$\begin{gathered} a=p_1^{a_1}{p}_2^{a_2}...p_n^{a_n} \\ b=p_1^{b_1}{p}_2^{b_2}...p_n^{b_n} \end{gathered}$$
必要时以0指数出现。那么$gcd(a,b)$ 就可以得到
$$gcd(a,b)=p_1^{min(a_1,b_1)}{p}_2^{min(a_2，b_2)}...p_n^{min(a_n,b_n)}$$
还可以以次方式得到最小公倍数
$$\begin{gathered} 定义4:正整数a和b的最小公倍数是能被a和b整除的最小正整数。 \\ a和b的最小公倍数记作lcm(a,b)。 \end{gathered}$$

$$lcm(a,b)=p_1^{max(a_1,b_1)}{p}_2^{max(a_2,b_2)}...p_n^{max(a_n,b_n)}$$

$$\begin{gathered} 定理1:令a和b为正整数，则 \\ ab=gcd(a,b)lcm(a,b) \end{gathered}$$

4.1 寻找最大公约数

欧几里得算法
$$引理1:令a=bq+r,其中a,b,q和r均为整数。则gcd(a,b)=gcd(b,r)$$
具体的欧几里得算法仍然不在此写出。

4.2 gcd 的线性组合表示

这是一个重要的结论
$$定理1:贝祖定理如果a和b为正整数，则存在整数s和t使得gcd(a,b)=sa+tb。$$

$$\begin{gathered} 定义1:如果a和b为正整数，则使得gcd(a,b)=sa+tb的整数s和t称为a和b的贝祖系数。 \\ 还有，等式gcd(a,b)=sa+tb称为贝祖恒等式。 \end{gathered}$$

求贝祖系数的方式有:一、对欧几里得算法反向处理；二、使用扩展欧几里得算法。
$$引理1:如果a,b和c为正整数，使得gcd(a,b)=1且a|bc，则a|c。$$

$$引理2:如果p是素数，且p|a_1{a}_2...a_n,其中a_i为整数，则对于某个i,p|a_i。$$

引理2是对引理1的推广，引理2的证明我还并未去研究。
$$定理2:令m为正整数，令a,b和c为整数。如果ac\equiv bc(modm)且gcd(c,m)=1,则a\equiv b(modm)。$$

5. 求解同余方程

同余方程即形如$ax\equiv b(modm)$的方程。

5.1 线性同余方程

$$\begin{gathered} 定理1:如果a和m为互素的整数且m>1，则a模m的逆存。再者，这个模m的逆是唯一的。 \\ (即，存在唯一小于m的正整数\bar{a}是模m的逆，并且a模m的其他每个逆均和\bar{a}同余。) \end{gathered}$$

求得逆便可以轻松知道线性同余方程的解。

中国剩余定理：
$$\begin{gathered} 定理2:中国剩余定理。令m_1,m_2,...,m_n为大于1的两两互素的正整数，而a_1,a_2,...,a_n是任意整数。则同余方程 \\ x\equiv a_1(mod{m}_1) \\ x\equiv a_2(mod{m}_2) \\ ⋮ \\ x\equiv a_n(mod{m}_n) \\ 有唯一的模m=m_1{m}_2...m_n的解。 \\ (即，存在一个满足0\le x\le m)的解x,而所有其他的解均与此解模m同余。) \end{gathered}$$
具体证明过程和解题不写出可去查询。

由此中国剩余定理，可以产生一种大整数计算的技术。

假定$m_1,m_2,...,m_n$是两两互素的模数，并令m为其乘积。满足$0\le a<m$的整数可唯一的表示为一个n元组，其元素由$a$除以$m_i$的余数组成，$i=1,2,...,n$。即，$a$可以唯一地表示为
$$(amod{m}_1,amod{m}_2,...,amod{m}_n)$$
后可进行加法运算。

目前在此作为了解。

5.2 其他知识

费马小定理，应用于模计算中
$$\begin{gathered} 定理1:费马小定理。如果p为素数，a是一个不能被p整除的整数，则 \\ {a}^{p-1}\equiv 1(modp) \\ 再者，对每个整数a都有 \\ {a}^p\equiv a(modp) \end{gathered}$$
伪素数
$$定义1:令b是一个正整数。如果n是一个正合数且b^{n-1}\equiv 1(modn),则n称为以b为基数的伪素数。$$

$$\begin{gathered} 定义2:一个正合数n如果对于所有满足gcd(b,n)=1的正整数b都有同余式b^{n-1}\equiv 1(modm)成立， \\ 则称为卡米切尔数。 \end{gathered}$$

原根
$$模素数p的一个原根是Z_p中的整数r,使得Z_p中的每个非零元素都是r的一个幂次。$$
每一个素数$p$都存在一个模$p$的原根
$$\begin{gathered} 定义3:假设p是一个素数集，r是一个模p的原根，而a是介于(含)1合p-1之间的一个整数。 \\ 如果r^{e}modp=a且0\le e\le p-1,我们说e是以r为底a模p的离散对数， \\ 并写作lo{g}_{r}a=e(这里隐含理解为有素数p)。 \end{gathered}$$

6. 同余的应用

散列函数，伪随机数，校验码等。