信息安全数学基础

参考《信息安全数学基础》裴定一

一、整数的因子分解

1.1 带余除法和整除性

定理1.1（带余除法）：设$a$和$b$为整数，$b>0$，则存在唯一的整数$q$和$r$使得 $a=qb+r,0\le r<b$

带余除法也称为欧几里得除法，$q$称为$a$被$b$除得出的不完全商，$r$称为余数，余数都是非负整数。

取$a=107,b=5$则$q=[\frac{107}{5}]=[21.4]=[21]$,$r=107-21\times 5=2$。

取$a=-107,b=5$则$q=[\frac{-107}{5}]=[-21.4]=$$[-22]，r=-107-(-22)\times 5=3$，即$-107=(-22)\times 5+3$。

当$r=0$时，即$b$能整除$a$，这时称$b$是$a$的因子，$a$是$b$的倍数，记为$b|a$，|为整除符号。

显然整数符合三个性质：当$b>0,c>0$则

（1）若$c|b，b|a，$则$c|a$;

（2）若$b|a，$则$bc|ac$;

（3）若$c|a，c|b，$则对任意整数$m,n,有c|ma+nb$。

1.2 整数的表示

设$a$为不大于1的整数，任一正整数$n$可表示成

$n=r_0+r_{1}a+r_2{a}^2+...+r_t{a}^t,t\ge 0,0\le r_1<a,i=0,1,...,t$这时可称为$n$的$a$进制表示。

1.3 最大公因子与辗转相除法

1.3.1 概念

$a$和$b$仅可能有有限个公因子，其中最大的一个称为$a$和$b$的最大公因子，记为$(a,b)$

定理1.2：设$a,b,c$为三个正整数，且$a=bq+c$，其中$q$为整数，则$(a,b)=(b,c)$。

由定理1.2可得$(a,b)=(b,r_0)=(r_0,r_1)=\cdots =(r_{n-2},r_{n-1})=r_{n-1}$

辗转相除法：计算$(a,b)$，设$a=q_{0}b+r_0,0\le r_0<b$

如果$r_0\ne 0$，设$b=q_1{r}_0+r_1,0\le r_1<r_0$,

如果$r_1\ne 0$，设$r_0=q_2{r}_1+r_2,0\le r_2<r_1$,

如此下去，设$r_{i-2}=q_i{r}_{i-1}+r_i,0\le r_i<r_{i-1}$,$i=3,4,...$

定理1.3：对任意两个正整数$a,b$，存在整数$x$和$y$，使$(a,b)=xa+yb$

显然有设$d$是$a$和$b$的任一公因子，则$d|(a,b)$

设$a_1,a_2,...,a_n$是整数，$d$为正整数，若

（1）$d|a_i,1\le i\le n;$

（2）对任一正整数$c$，若$c|a_i,1\le i\le n$,则$c|d$ ，则$d$称为$a_1,a_2,...,a_n$的最大公因子，记为$d=(a_1,a_2,...,a_n)$

定理1.4：设$a_1,a_2,...,a_n$是n个整数，令$(a_1,a_2)=d_1,(d_1,a_3)=d_2,...,(d_{n-2},a_n)=d_{n-1}$

则$(a_1,a_2,...,a_n)=d_{n-1}$，因而存在整数$u_1,u_2,...,u_n$ ，使$a_1{u}_1+a_2{u}_2+...+a_n{u}_n=(a_1,a_2,...,a_n)$

1.3.2 习题

【例1】用辗转相除法计算$(2104,2720)$和$(2104,2720,1046)$

【例2】用辗转相除法计算$a=8142$和$b=11766$的最大公因子，及整数$x$和$y$，使得$(a,b)=ax+by$

【例3】设$(a,b)=14$，计算$(3a+4b,5a+7b)$和$(6a+8b,10a+14b)$

【例4】证明：对于任意整数$n$，$\frac{21n+4}{14n+3}$是既约分数

1.4 整数的唯一分解定理

1.4.1 概念

素数、复合数、互素：两个整数a和b，若a和b的最大公因子等于1，则a和b互素。

定理1.5：设$p$为素数，$a，b$为整数，若$p|ab$,则$p|a$或$p|b$

定理1.6（唯一分解定理）：任一不为1的正整数$n$均可唯一地表示为$n=p_1^{a_1}{p}_2^{a_2}\cdots p_k^{a_k}$，这里$p_1<p_2<\cdots <p_k$为素数，$a_1,a_2,\cdots ,a_k$为自然数。上式称为$n$的标准分解式。

设$a_1,a_2,\cdots ,a_n$是非零整数，$m$为正整数，如果

（1）$a_i|m,1\le i\le n$;

（2）对任一正整数 $u$，若$a_i|u,1\le i\le n$,则$m|u$。

那么，$m$称为$a_1,a_2,\cdots ,a_n$的最小公倍数，记为$[a_1,a_2,\cdots ,a_n]$

定理1.7：设$a_1,a_2,\cdots ,a_n$为$n$个非零整数，令$[a_1,a_2]=m_1,[m_1,a_3]=m_2,...,[m_{n-2},a_n]=m_{n-1}$,则$[a_1,a_2,...,a_n]=m_{n-1}$。

定理1.8：设$a,b$为两个正整数，则$[a,b]=\frac{ab}{(a,b)}$。（最小公倍数的计算方法）

例题：计算$[2295,4471]$。

$(2295,4471)=17$，故$[2295,4471]=\frac{2295\times 4471}{17}=603585$

1.4.2 习题

【例1】设$a,b,c$为正整数，若$c|ab$，$a$与$c$互素，则$c|b$

【例2】若$(a,b)=1$，且$a|c,b|c$，则$ab|c$

【例3】证明：$6|n(n+1)(2n+1)$，其中$n$为任意整数

【例4】证明：若$a^2|b^2$，则$a|b$

1.5 素数

1.5.1 概念

定理1.9：素数有无穷多个

素数有无穷个，但它的分布极不规则，若$n>2$为一个整数，则连续$n-1$个整数$n!+2,n!+3,\cdots ,n!+n$都不是素数，可见有任意长的整数区间不含有素数

定理1.10：设$n>1$，若$a^n-1$为素数，则$a=2$，$n$为素数。

整数$M_n=2^n-1$称为第n个Mersenne数，当p为素数，且$M_p=2^p-1$也为素数时，$M_p$称为Mersenne素数（梅森素数）

至今已知有48个Mersenne素数，它们所对应的p为

定理1.11：若$2^m+1$为素数，则m一定是2的方幂

形如$F_n=2^{2^n}+1$的数称为Fermat数，如果此数是素数，则称为Fermat素数（费马素数）

最小的五个Fermat数为：$F_0=3,F_1=5,F_2=17,F_3=257,F_4=65537$，但是$F_5$为合数

1.5.2 习题

【例1】对任意给定正整数$n$，自然数列中一定存在$n$个连续的合数

【例2】证明：

（1）任一形如$3k-1,4k-1,6k-1$形式的正整数必有同样形式的素因子

（2）形如$4k-1$的素数有无穷多个

（3）形如$6k-1$的素数有无穷多个

【例3】以下哪个数是素数？ A.$2^{11}-1$；B.$2^{13}-1$；C.$2^{15}-1$；D.$6^7-1$

答案：B

二、同余式

2.1 中国剩余定理

2.1.1 概念

定理2.1：设$a,b,d,a_1,a_2,b_1,b_2,n$为自然数，则

1. 若$a_1\equiv b_1(\mathrm{mod}n),a_2\equiv b_2(\mathrm{mod}n)$，则$a_1+a_2\equiv b_1+b_2(\mathrm{mod}n)$
2. 若$a_1\equiv b_1(\mathrm{mod}n),a_2\equiv b_2(\mathrm{mod}n)$，则$a_1{a}_2\equiv b_1{b}_2(\mathrm{mod}n)$
3. 若$ad\equiv bd(\mathrm{mod}n)$，且$(d,n)=1$，则$a\equiv b(\mathrm{mod}n)$
4. 若$a\equiv b(\mathrm{mod}n)$，$d$是$a,b,n$的任一公因子，则$\frac{a}{d}\equiv \frac{b}{d}(\mathrm{mod}\frac{n}{d})$
5. 若$a\equiv b(\mathrm{mod}{n}_i),i=1,2,\cdots ,k$，则$a\equiv b(\mathrm{mod}[n_1,n_2,\cdots ,n_k])$，其中$[n_1,n_2,\cdots ,n_k]$表示$n_1,n_2,\cdots ,n_k$的最小公倍数
6. 若$a\equiv b(\mathrm{mod}n),d|n,d>0$，则$a\equiv b(\mathrm{mod}d)$
7. 若$a\equiv b(\mathrm{mod}n)$，则$(a,n)=(b,n)$

定理2.2：设$m_1,m_2$为正整数，$m$是$m_1,m_2$的最小公倍数，则同余方程组$\{\begin{array}{c}x\equiv a_1(\mathrm{mod}{m}_1)\\ x\equiv a_2(\mathrm{mod}{m}_2)\end{array}$ ，有解的充分必要条件是$(m_1,m_2)|a_1-a_2$，如果这个条件成立，则方程组有且仅有一个小于$m$的非负整数解

定理2.3（中国剩余定理）：设$m_1,m_2,\cdots ,m_r$是两两互素的自然数，令$m=m_1{m}_2\cdots m_r=m_i{M}_i$，即$M_i=m_1\cdots m_{i-1}{m}_{i+1}\cdots m_r,i=1,2,\cdots ,r$，则方程组

$\{\begin{array}{c}x\equiv b_1(\mathrm{mod}{m}_1)\\ x\equiv b_2(\mathrm{mod}{m}_2)\\ \cdots \\ x\equiv b_r(\mathrm{mod}{m}_r)\end{array}$

的解为$x=M_1^{\prime }{M}_1{b}_1+M_2^{\prime }{M}_2{b}_2+\cdots +M_r^{\prime }{M}_r{b}_r(\mathrm{mod}m)$，其中$M_i^{\prime }$是整数，使$M_i^{\prime }{M}_i\equiv 1(\mathrm{mod}{m}_i),i=1,2,\cdots ,r$。该方程组有且仅有一个小于$m$的非负整数解

2.1.2 习题

【例1】求解下列同余方程组：（1）$\{\begin{array}{c}x\equiv 2(\mathrm{mod}3)\\ x\equiv 1(\mathrm{mod}4)\\ x\equiv 3(\mathrm{mod}5)\end{array}$ ，（2）$\{\begin{array}{c}x\equiv 2(\mathrm{mod}5)\\ x\equiv 3(\mathrm{mod}7)\\ x\equiv 4(\mathrm{mod}9)\end{array}$

【例2】求解下列同余方程组：

（1）$\{\begin{array}{c}x\equiv 7(\mathrm{mod}10)\\ x\equiv 3(\mathrm{mod}12)\\ x\equiv 12(\mathrm{mod}15)\end{array}$ ，（2）$\{\begin{array}{c}x\equiv 1(\mathrm{mod}6)\\ x\equiv 4(\mathrm{mod}9)\\ x\equiv 7(\mathrm{mod}15)\end{array}$

2.2. 剩余类环

2.2.1 概念

设$m$是一个自然数，任一整数用m除所得的余数可能为$0,1,\cdots ,m-1$中的一个，所有用$m$除所得的余数为$i(0\le i\le m-1)$的整数组成的子集合记成$[i]$，这样有$\mathbb{Z}=[0]\cup [1]\cup \cdots [m-1]$。子集合$[i]$为整数模m的一个剩余类，这样整数模$m$共有$m$个剩余类

在整数模m的所有剩余类中各取一个代表元$a_1,a_2,\cdots ,a_m$，$a_i\in [i-1]$，$i=1,2,\cdots ,m$，则$a_1,a_2,\cdots ,a_m$称为整数模m的一个完全剩余系。通常完全剩余系取为$0,1,\cdots ,m-1$

与m互素的剩余类的个数记为$\phi (m)$，$\phi (m)$称为欧拉函数

$\phi (m)$就是$0,1,\cdots ,m-1$中与m互素的数的个数，在与m互素的$\phi (m)$个剩余类中各取一个代表元$a_1,a_2,\cdots ,a_{\phi (m)}$，组成的集合称为整数模m的一个缩剩余系，简称为缩系

定理2.4（Euler定理）：若$(k,m)=1$，则$k^{\phi (m)}\equiv 1(\mathrm{mod}m)$

当p为素数时，$\phi (p)=p-1$，对素数幂$p^n$，因不超过$p^n$的正整数中有$p^{n-1}$个p的倍数，故$\phi (p^n)=p^n-p^{n-1}=p^{n-1}(p-1)$

例：取$p=7$（这时$\phi (7)=6$），由直接计算可得$2^6\equiv 64\equiv 1(\mathrm{mod}7)$，$3^6\equiv (9{)}^3\equiv (2{)}^3(\mathrm{mod}7)$，$4^6\equiv (-3{)}^6\equiv 1(\mathrm{mod}7)$，$5^6\equiv (-2{)}^6\equiv 1(\mathrm{mod}7)$，$6^6\equiv (-1{)}^6\equiv 1(\mathrm{mod}7)$

定理2.5（Fermat小定理）：若p为素数，则对所有的整数$a$有$a^p\equiv a(\mathrm{mod}p)$

定理2.6：若$(m_1,m_2)=1$，如果x遍历$m_1$的一个完全剩余系，y遍历$m_2$的一个完全剩余系，那么$m_{1}y+m_{2}x$遍历$m_1{m}_2$的一个完全剩余系

定理2.7：若$(m_1,m_2)=1$，如果x遍历$m_1$的一个缩系，y遍历$m_2$的一个缩系，那么$m_{1}y+m_{2}x$遍历$m_1{m}_2$的一个缩系

定理2.8：若$(m_1,m_2)=1$，那么$\phi (m_1{m}_2)=\phi (m_1)\phi (m_2)$

定理2.9：若$m=p_1^{l_1}{p}_2^{l_2}\cdots p_s^{l_s}$，$p_1<p_2<\cdots <p_s$，则$\phi (m)=m{\prod }_{i=1}^s(1-\frac{1}{p_i})$

2.2.2 习题

【例1】写出模16，18的缩系

【例2】证明：当$m>2$时，$0^2,1^2,\cdots ,(m-1{)}^2$一定不是模m的完全剩余系

【例3】证明：

（1）$\phi (n)=\frac{1}{2}n$当且仅当$n=2^k,k\in \mathbb{N}$；

（2）$\phi (n)=\frac{1}{3}n$当且仅当$n=2^k\cdot 3^i,k,i\in \mathbb{N}$

2.3 同余方程

2.3.1 概念

定理2.10：设$a,b,n$为整数，则方程$ax+by=n$有整数解的充分必要条件是$(a,b)|n$

定理2.11：设$a,b,n$为整数，$(a,b)=1$，$x_0,y_0$为方程$ax+by=n$的一个整数解，则该方程任一解可表示为$x=x_0+bt,y=y_0-at$，且对任何整数t，上式都是解

定理2.12：设$a,b,m$是整数，$(a,m)|b$，则同余方程$ax+b\equiv 0(\mathrm{mod}m)$有$(a,m)$个模m互不同余的解

定理2.13：设$m_1,m_2$为整数，$(m_1,m_2)=1$，则同余方程$f(x)\equiv 0(\mathrm{mod}{m}_1{m}_2)$的解数为二方程$f(x)\equiv 0(\mathrm{mod}{m}_1)$，$f(x)\equiv 0(\mathrm{mod}{m}_2)$的解数之积

定理2.14：设p为素数，$f(x)=a_n{x}^n+\cdots +a_0$是一整系数多项式，则同余方程$f(x)\equiv 0(\mathrm{mod}p)$的解数小于等于n（重数计算在内）

（Wilson）若p为素数，则$(p-1)!\equiv -1(\mathrm{mod}p)$

【例题】化简同余方程$x^{15}+4x^{12}+2x^{11}+x^9+x\equiv 0(\mathrm{mod}5)$

2.3.2 习题

【例1】求解下列同余方程：（1）$7x\equiv 1(\mathrm{mod}31)$；（2）$541x\equiv 539(\mathrm{mod}3571)$；（3）$3504x\equiv 12(\mathrm{mod}5418)$；（4）$2589x\equiv 15(\mathrm{mod}2919)$

【例2】求解同余方程组$\{\begin{array}{c}3x\equiv 1(\mathrm{mod}10)\\ 4x\equiv 3(\mathrm{mod}15)\end{array}$

【例3】若$f(x)\equiv 0(\mathrm{mod}13)$的解为$x\equiv 2,7(\mathrm{mod}13)$，$f(x)\equiv 0(\mathrm{mod}9)$的解为$1,3,4$，求出$f(x)\equiv 0(\mathrm{mod}117)$的全部解

【例4】试求同余方程$f(x)=x^3+x+1\equiv 0(\mathrm{mod}{3}^4)$的所有解

2.4 原根

2.4.1 概念

由欧拉定理，若$(a,m)=1$，那么$a^{\phi (m)}\equiv 1(\mathrm{mod}m)$，满足$a^d\equiv 1(\mathrm{mod}m)$的最小正整数$d_0$称为a模m的阶，即为${\delta }_m(a)$

定理2.15：设$(a,m)=1,d_0={\delta }_m(a)$，则$a^k\equiv (\mathrm{mod}m)$当且仅当$d_0|k$

定理2.16：给定m及$(a,m)=1$，如果${\delta }_m(a)=l$，则对任意的正整数k，有${\delta }_m(a^k)=\frac{l}{(l,k)}$

【例题】取$m=11,\phi (11)=10=2\cdot 5$，则对任意整数$a$，$(a,11)=1$，则a模$m=11$的阶一定是1，2，5，10

定理2.17：设k为正整数，p为素数，则同余方程$x^k\equiv 1(\mathrm{mod}p)$的解数为$(k,p-1)$

定理2.18：设$l|p-1$，p为素数，则模p的阶为l的互不同余的整数个数为$\phi (l)$。特别地，有$\phi (p-1)$个互不同余的整数模p的阶为$p-1$

设m是正整数，a是整数，若${\delta }_m(a)=\phi (m)$，则称a为模m的一个原根

当$m=p$为素数时，由于$\phi (p)=p-1$，故阶为p-1的数是模p的原根，由定理2.18，模p的原根总是存在的，而且有$\phi (p-1)$个

定理2.19：

（1）对于奇素数p和正整数l，$p^l$的原根总是存在的。若g是p的原根，则g和$g+p$中总有一个是$g^2$的原根；若g是$p^2$的原根，则g是$p^l$的原根，其中$l\ge 1$

（2）对于奇素数p和正整数l，$2p^l$的原根总是存在的。若g是$p^l$的原根，则g和$g+p^l$中总有一个是$g^2$的原根

（3）2的原根是1，4的原根是3

（4）对于其它形式的整数，其原根均不存在

定理2.21：设m为正整数，$a,b$为整数，${\delta }_m(a)=u$，${\delta }_m(b)=v$，$(u,v)=1$，则${\delta }_m(ab)=uv$

【例】求模41的原根

2.4.2 习题

【例1】证明：若$ab\equiv 1(\mathrm{mod}m)$，则${\delta }_m(a)={\delta }_m(b)$

【例2】设${\delta }_m(a)=s$，${\delta }_m(b)=t$，问${\delta }_m(ab)$一定等于$st$吗

【例3】令$p=29$，在剩余类环${\mathbb{Z}}_{29}$中，元素的阶d都能取什么值？对每一个可能的阶d，计算出所有阶为d的元素

【例4】求模50的全部原根

$\phi (50)=50\times \frac{1}{2}\times \frac{4}{5}=20$，有20个缩系；$\phi (20)=20\times \frac{1}{2}\times \frac{4}{5}=8$，有8个原根

20的因子有：1，2，4，5，10，20

$3^1=3$，$3^2=9$，$3^3=27$，$3^4=31$，$3^5=43$，$3^6=29$，$3^7=37$，$3^8=11$，$3^9=33$，$3^{10}=49$，$3^{11}=47$，$3^{12}=41$，$3^{13}=23$，$3^{14}=19$，$3^{15}=7$，$3^{16}=21$，$3^{17}=13$，$3^{18}=39$，$3^{19}=17$，$3^{20}=1$

所以3是模50的原根

其中，与20互质的数有1，3，7，9，11，13，17，19，对应的是$3^1,3^3,3^9,3^{11},3^{13},3^{17},3^{19}$，即3，27，37，33，47，23，13，17

即模50的所有原根有3，27，37，33，47，23，13，17；

【例5】整数14和15的原根分别有（）个和（）个

$\phi (14)=14\times \frac{1}{2}\times \frac{6}{7}=6$，$\phi (6)=6\times \frac{1}{2}\times \frac{2}{3}=2$，14有2个原根

由于15不满足定理2.19，所以没有原根

三、二次剩余

3.1 Legendre符号及Euler判别法则

3.1.1 概念

设m为大于1的正整数，$(n,m)=1$，如果方程$x^2\equiv n(\mathrm{mod}m)$有解，则n称为模m的二次剩余，否则称为模m的二次非剩余

设p为奇素数，n为整数，关于整变量n的函数$(\frac{n}{p})=\{\begin{array}{cc}1& 若n为模p的二次剩余\\ -1& 若n为模p的二次非剩余\\ 0& p|n\end{array}$，称为模$p$的Legendre符号

定理3.1：Legendre符号有下列基本性质：

1. 若$n_1\equiv n_2(\mathrm{mod}p)$，则$(\frac{n_1}{p})=(\frac{n_2}{p})$
2. 若$p\nmid n$，则$(\frac{n^2}{p})=1$
3. $(\frac{1}{p})=1$
4. 同余方程$x^2\equiv n(\mathrm{mod}p)$的解数为$1+(\frac{n}{p})$

定理3.2：设$p$为奇素数，则模$p$的缩系中有$\frac{1}{2}(p-1)$个二次剩余，有$\frac{1}{2}(p-1)$个二次非剩余，且$1^2,2^2,\cdots ,(\frac{1}{2}(p-1){)}^2$为所有的模$p$二次剩余

定理3.3（Euler判别法）：设$p$为奇素数，$p\nmid n$，则$(\frac{n}{p})\equiv n^{\frac{p-1}{2}}(\mathrm{mod}p)$

定理3.4：设$p$为奇素数，$m$，$n$为整数，则$(\frac{mn}{p})=(\frac{m}{p})(\frac{n}{p})$

定理3.5（高斯引理）：设$p$为奇素数，$p\nmid n$，设$\frac{1}{2}(p-1)$个数$n,2n,\cdots ,\frac{1}{2}(p-1)n$，模p的最小正余数中有m个大于$\frac{p}{2}$，则$(\frac{n}{p})=(-1{)}^m$

定理3.6：若p为奇素数，则$(\frac{2}{p})=(-1{)}^{\frac{1}{8}(p^2-1)}$

3.1.2 习题

【例1】令$p=11$，试写出所有模p的二次剩余

【例2】令$p=11$，取$a=3$，利用高斯引理，计算Legendre符号$(\frac{3}{11})$

3.2 二次互反律

3.2.1 概念

定理3.7（二次互反律）：设$p,q$为奇素数，$p\ne q$，则$(\frac{p}{q})(\frac{q}{p})=(-1{)}^{\frac{p-1}{2}\frac{q-1}{2}}$

【例】求所有奇素数$p\ne 11$，它以11为其二次剩余

3.2.2 习题

【例1】计算下列Legendre符号：$(\frac{12}{47})$，$(\frac{28}{53})$，$(\frac{71}{73})$，$(\frac{-32}{97})$，$(\frac{16}{233})$，$(\frac{-105}{223})$，$(\frac{91}{563})$

【例2】判断下列同余方程是否有解：

（i）$x^2\equiv -6(\mathrm{mod}91)$；

（ii）$11x^2\equiv 5(\mathrm{mod}227)$；

（iii）$x^2\equiv 11(\mathrm{mod}511)$；

（iv）$5x^2\equiv -14(\mathrm{mod}6193)$；

【例3】（i）求$(\frac{5}{p})=1$的全体素数；（ii）求$(\frac{-5}{p})=1$的全体素数；

3.3 Jacobi符号和二次剩余问题

3.3.1 概念

设$m>1$为正奇数，$m={\prod }_{i=1}^s{p}_i$，$p_i$为素数，$n$为整数，定义$(\frac{n}{m})=(\frac{n}{p_1})(\frac{n}{p_2})\cdots (\frac{n}{p_s})$，把$(\frac{n}{m})$称为Jacobi符号

显然，当m为奇素数时，$(\frac{n}{m})$就是Legendre符号

定理3.8：Jacobi符号有下列基本性质

1. 若$n_1\equiv n_2(\mathrm{mod}m)$，则$(\frac{n_1}{m})=(\frac{n_2}{m})$
2. 若$(m,n)=1$，则$(\frac{n^2}{m})=(\frac{n}{m^2})=1$
3. $(\frac{1}{m})=1$；若$(m,n)\ne 1$；则$(\frac{n}{m})=0$
4. $(\frac{n_1{n}_2}{m})=(\frac{n_1}{m})(\frac{n_2}{m})$

定理3.9：设$m>1$为奇数，则$(\frac{-1}{m})=(-1{)}^{\frac{m-1}{2}}$

定理3.10：设$m>1$为奇数，则$(\frac{2}{m})=(-1{)}^{\frac{m^2-1}{8}}$

定理3.11：设$m,n>1$为奇数，且$(m,n)=1$则$(\frac{n}{m})(\frac{m}{n})=(-1{)}^{\frac{m-1}{2}\cdot \frac{n-1}{2}}$

定义 Q n = { a ∣ ( a , n ) = 1 , a Q_n=\{a|(a,n)=1,a Qn​={a∣(a,n)=1,a是模n的二次剩余$\}$， Z n 1 = { a ∣ ( a n ) = 1 } \mathbb{Z}_n^1=\{a|(\frac{a}{n})=1\} Zn1​={a∣(na​)=1}，则有$Q_n\subset {\mathbb{Z}}_n^1$。集合${\tilde{Q}}_n={\mathbb{Z}}_n^1-Q_n$中的数称为模n的伪二次剩余

定理3.12：若$n=pq$，且n的素因子p和q已知，则整数a为模n的二次剩余，当且仅当$(\frac{a}{p})=(\frac{a}{q})=1$

定理3.13：给定$x,y\in {\mathbb{Z}}_n^{\ast }$，若$x^2\equiv y^2(\mathrm{mod}n)$，$x\not\equiv \pm y(\mathrm{mod}n)$，可知n与$x\pm y$的最大公因子一定是n的素因子，而计算最大公因子是一个多项式时间算法

定理3.14：若已知$n=pq$的因子分解，则存在一个计算复杂度为$O(l{g}^3(n))$的多项式时间算法判断任一$a\in {\mathbb{Z}}_n^1$是否为模n的二次剩余

3.3.2 习题

四、连分数

4.1 简单连分数

4.1.1 概念

设$a_0,a_1,\cdots ,a_n,\cdots$是一个无穷实数序列，其中$a_j>0,j\ge 1$，n为非负整数。分数$a_0+\frac{1}{a_1+\frac{1}{a_2+\frac{1}{\ddots +\frac{1}{a_n}}}}$称为有限连分数，如果$a_0$为整数，$a_1,\cdots ,a_n$为正整数，则称为有限简单连分数。当$n⟶\infty$时，则分别称为连分数或简单连分数

上式通常记为$[a_0,a_1,a_2,\cdots ,a_n]$，当$n⟶\infty$时又记为$[a_0,a_1,\cdots ]$

定理4.1：设$p_k/q_k$是$[a_0,a_1,\cdots ,a_n]$的第k个渐进分数，则有

• $p_0=a_0,p_1=a_1{a}_0+1,p_k=a_k{p}_{k-1}+p_{k-2}(2\le k\le n)$
• $q_0=1,q_1=a_1,q_k=a_k{q}_{k-1}+q_{k-2}(2\le k\le n)$

定理4.2：$p_k$与$q_k$如定理4.1，则$\frac{p_k}{q_k}-\frac{p_{k-1}}{q_{k-1}}=\frac{(-1{)}^{k-1}}{q_k{q}_{k-1}}(k\ge 1)$；$\frac{p_k}{q_k}-\frac{p_{k-2}}{q_{k-2}}=\frac{(-1{)}^k{a}_k}{q_k{q}_{k-2}}(k\ge 2)$

定理4.3：若$[a_0,a_1,\cdots ]$是简单连分数，则

1. 当$n>1$，则$q_n\ge q_{n-1}+1$，从而$q_n\ge n$
2. $p_n/q_n$为既约分数

【例】将$\frac{233}{112}$表示为有限简单连分数

解：$\frac{233}{112}=[2,\frac{112}{9}]=[2,12,\frac{9}{4}]=[2,12,2,4]$

定理4.4：设$[a_0,a_1,\cdots ,a_n]$和$[b_0,b_1,\cdots ,b_n]$是两个有限简单连分数，且$a_n>1,b_m>1$，如果$[a_0,a_1,\cdots ,a_n]$=$[b_0,b_1,\cdots ,b_n]$，则$m=n$，且$a_i=b_i,i=0,1,\cdots ,n$

4.1.2 习题

【例1】求下列有限连分数的值：（1）$[-2,1,\frac{2}{3},1,\frac{1}{2},3]$；（2）$[1,1,1,1,1,1,1]$

【例2】将下列有理数表示成有限简单连分数：（1）$\frac{9}{19}$；（2）$\frac{13}{73}$；（1）$\frac{395}{287}$；

4.2 用连分数表示实数

4.2.1 概念

定理4.5：设$\alpha$是任一实数，则

1. 若$\alpha$是有理数，则存在正整数N，使得$\alpha =[a_0,a_1,\cdots ,a_N]$，即$\alpha$为有限简单连分数
2. 若$\alpha$是无理数，则对任意正整数n，有$\alpha -\frac{p_n}{q_n}=\frac{(-1{)}^n{\delta }_n}{q_n{q}_{n+1}}$，$0<\delta <1$

定理4.6：若$\alpha$为任一实数，则$\alpha =li{m}_{n⟶\infty }\frac{p_n}{q_n}=[a_0,a_1,\cdots ,a_n,\cdots ]$

4.2.2 习题

【例1】将下列实数表示成简单连分数：（1）$\sqrt{3}$；（2）$2+\sqrt{5}$；（3）$7+\sqrt{2}$；

4.3 连分数因子分解算法

4.3.1 概念

设N是一个正整数（大整数），假如能够找到两个整数A和B，使得$A^2\equiv B^2(\mathrm{mod}N)$，那么，$N|(A+B)(A-B)$。如果$N\nmid A+B$，$N\nmid A-B$，则$(A+B,N)$就是N的真因子，从而能够分解N。

定理4.7：当$n\ge 0$时，存在正整数$Q_n$，使$0<Q_n<2\sqrt{N}$，且$p^2\equiv (-1{)}^{n-1}{Q}_n(\mathrm{mod}N)$

4.3.2 习题

【例1】试用连分数的方法分解13561