信息安全数学基础-算术基本定理 2021-09-19

算术基本定理

1. 素数及其判定

定义（素数）

n ≠ 0，±1，如果除了±1，±n之外没有其他的因子，则n叫做素数

否则n叫做合数

通常来说，素数总是正整数

• 任意大于1的正整数a，a的最小约数q（q>1）是素数
• a至少有一个质因数

判定素数的方法

定理

$$\begin{gathered} 设整数a\ge 2是合数，p是它的最小正约数，则p<\sqrt{a}. \\ 即对所有素数p\le \sqrt{a}，p不整除a，那么a是素数. \end{gathered}$$

证明

$$由于p|a，设a=p{a}_1,显然有a_1\ge p，从而a\ge p^2，即p\le \sqrt{a}$$

• 思路就是顺着定理（前面的一条）的叙述证明
• 埃拉托色尼素数筛选法：去掉$2$到$\sqrt{n}$中所有素数的倍数，剩下的就都是素数了。

素数的个数

定理

$$素数有无穷多个$$

证明（尝试自证）

$$\begin{gathered} （反证法）假设素数个数有限，设为r个，分别表示为：p_1,p_2,...p_r \\ 则对于数字n=1+p_1{p}_2...p_r，按照假设，n是合数，则存在一个素数p_i，使得： \\ {p}_i|1+p_1{p}_2...p_r \\ 又显然p_i|p_1...p_{i-1}{p}_i{p}_{i+1}...p_r, \\ 所以p_i|[(1+p_1{p}_2...p_r)-p_1...p_{i-1}{p}_i{p}_{i+1}...p_r]=1, \\ 即p_i|1 \\ 又因为，对于i=1,...,r,有p_i\ge 2(素数的定义) \\ 因此p_i不整除1,推出矛盾，因此假设不成立，从而素数有无限多个. \end{gathered}$$

素数定理

定义

函数$\pi (n)$表示不超过n的素数个数，其中$n$是正整数

定理（素数定理）

$$\underset{x\to +\infty }{\lim }\frac{\pi (n)}{\frac{n}{ln(n)}}=1$$

2. 梅森素数和费马素数

引理

$$\begin{gathered} 设a,b是两个正整数，2^a-1被2^b-1除的最小非负余数是2^r-1 \\ 其中r是a被b除的最小非负余数 \end{gathered}$$

证明

$$\begin{gathered} 如果a<b，那么r=a,得证。 \\ 如果a\ge b，那么 \\ a=qb+r(带余除法) \\ {2}^a-1=2^{(qb+r)}-1(带入a) \\ =2^r({(2^b)}^q-1)+(2^r-1)(凑出2^r-1) \\ =2^r(2^b-1)((2^b{)}^{q-1}+...+2^b+1)+2^r-1 \\ =q^{\prime }(2^b-1)+2^r-1 \\ 其中q^{\prime }=((2^b{)}^{q-1}+...+2^b+1)，结论成立 \end{gathered}$$

推论

• 若$k|n$，则$2^k-1|2^n-1$
• 假定$a>1$，m，n是正整数，则$(a^m-1,a^n-1)=a^{(m,n)}-1$

梅森素数

定理

$$设n>1，若2^n-1为素数，则n为素数$$

证明

$$\begin{gathered} 反证法：假设n为合数，n有素因子k(不代表一定为奇数，想清楚！！！！！), \\ 则2^k-1|2^n-1,且2^k-1\ge 2^2-1=3 \\ 则2^n-1为合数，与2^n-1为素数矛盾 \\ 故n为素数 \end{gathered}$$

定义

$$\begin{gathered} 当n是素数时，整数M_n=2^n-1成为第n个Mersenne数 \\ 当M_n是素数时，M_n成为Mersenne素数（即2^p-1） \end{gathered}$$

• 梅森数有的是素数，有的是合数

费马素数

定理

$$若2^m+1为素数，则m一定是2的方幂(即m=2^n)$$

证明

$$\begin{gathered} 方法1:设m=1,2^m+1=3为素数，因此m=2^0 \\ （反证法）若m>1，设奇素数p|m，则2^{\frac{m}{p}}+1|2^m+1 \\ 又2^{\frac{m}{p}}+1\ge 3 \\ 则2^m+1为合数，产生矛盾 \\ 故m没有奇素因子，即m只能由素因子2 \\ 因此m=2^n \end{gathered}$$

$$\begin{gathered} 方法2（反证法）:若m含有奇素因子k，且m=nk \\ 则2^m+1=2^{nk}+1={(2^n)}^k+1 \\ =(2^n+1)({(2^n)}^{k-1}-{(2^n)}^{k-2}+...+1) \\ 由1<2^n+1<2^m+1 \\ (由于m=nk，而k\ge 2（k是素数），所以n严格小于m) \\ 则2^n+1是2^m+1的一个真因子，从而2^m+1不是素数，矛盾 \end{gathered}$$

• 思考：这个定理的逆定理成立吗？（n=0,1,2,3,4时成立）

定义

$$\begin{gathered} 若n为非负整数，则称F_n=2^{2^n}+1为Fermat数 \\ 若F_n为素数，则称F_n为Fermat素数 \end{gathered}$$

• $F_5=4294967297=64\times 6700417$
• 费马数和梅森数一样，有的是素数，有的是合数
• 迄今为止已知的只有前五个（n = 0 , 1 , 2 , 3 , 4）费马数是素数

3. 算术基本定理

素数的基本性质

素数的基本性质

$$若p是素数，a,b为整数，且p|ab，则p|a或p|b$$

证明

$$\begin{gathered} 若a能被p整除，则定理得证 \\ 若a不能被p整除，则(a,p)=1,故存在整数u,v，使得 \\ au+pv=1 \\ 故有 \\ abu+pbv=b \\ 由于p|ab，故p|b \end{gathered}$$

这种形式的证明，还是老一套的方法：先写出$au+pv=(a,p)$的形式，再在等式两边同时乘一个式子（通常乘完之后可以推出整除），从而推出结论。

素数的基本性质

$$\begin{gathered} 设p为素数，若p|a_1{a}_2...a_n，其中a_1{a}_2...a_n是n个整数, \\ 则p|a_1,p|a_2,...,p|a_n至少有一个成立 \end{gathered}$$

（就是上面的性质的推广）

证明

$$\begin{gathered} 用数学归纳法：当n=2时，显然成立 \\ 假设n-1时命题成立，即若p|a_1...a_{n-1}，则p|a_1,...p|a_n至少有一个成立 \\ 那么对于n，由于p|(a_1{a}_2...a_{n-1})a_n,故有p|a_1...a_{n-1}或p|a_n \\ 再由归纳假设知，p|a_1,p|a_2,...,p|a_n至少有一个成立 \end{gathered}$$

定理（算数基本定理）

$$\begin{gathered} 每个大于1的正整数n都可以唯一地表达成素数的乘积， \\ 其中乘积中的素因子按非降序排列。即 \\ n=p_1{p}_2...p_s,p_1\le p_2\le ...\le p_s,其中p_i是素数 \\ 若n=q_1{q}_2...q_t,q_1\le q_2\le ...\le q_t,其中q_j是素数 \\ 则s=t,p_i=q_i,1\le i\le s \end{gathered}$$

证明

$$\begin{gathered} 分解的存在性证明思路：若不是素数就必有最小质约数 \\ 每个大于1的正整数n都可以表达成素数的乘积，将素因子按非降序排列。 \\ 即n=p_1{p}_2...p_s，p_1\le p_2\le ...\le p_s,其中p_i是素数。 \\ 下面证明表达方式的唯一性：假设还有 \\ n=q_1{q}_2...q_t,q_1\le q_2\le ...\le q_t,其中q_j是素数 \\ 则p_1{p}_2...p_s=q_1{q}_2...q_t(1) \\ 因此p_1|q_1{q}_2...q_t,因为p_1是素数，故存在q_j，使得p_1|q_j \\ 但是p_1,q_j都是素数，所以p_1=q_j. \\ 同理，存在p_k，使得q_1=p_k, \\ 于是p_1\le p_k=q_1\le q_j=p_1, \\ 即有p_1=q_1,带入公式(1),消去p_1,得到p_2...p_s=q_2...q_t \\ 重复上述步骤，最后可得s=t,p_i=q_i,1\le t\le s. \end{gathered}$$

整数的标准分解式

$$\begin{gathered} 设n式一个大于1的整数，且 \\ n=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}...p_s^{{\alpha }_s},{\alpha }_i>0,i=1,2,...s \\ 则d|n(d>0)当且仅当d=p_1^{{\beta }_1}{p}_2^{{\beta }_2}...p_s^{{\beta }_s},{\alpha }_i\ge {\beta }_i\ge s. \end{gathered}$$

• 有时为了应用方便，在分解式中插入若干素数的零次幂，而把n表达成如下形式：设n是一个大于1的整数，且$n=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}...p_s^{{\alpha }_s},{\alpha }_i\ge 0,1\le i\le s$

补充最小公倍数定义

$$\begin{gathered} 设a_1,a_2,...,a_n为n个整数，若a_1|m,a_2|m,...,a_n|m, \\ 则m叫做a_1,a_2,..,a_n的一个公倍数. \\ 这些公倍数中最小的整数叫做最小公倍数，记作[a_1,a_2,...,a_n]. \end{gathered}$$

最大公因数和最小公倍数的标准分解式

定理

同上，太麻烦了不写了

证明

比较容易，按定义就可以证明

ord_p函数

$Or{d}_p(n)$

n 的 标 准 分 解 式 中 ， 素 数 p 的 幂 次 可 以 定 义 为 o r d p ( n ) . 即 可 看 作 是 函 数 o r d p : { 1 , 2 , 3 , . . . } → { 0 , 1 , 2 , . . . } n = ∏ p 为 素 数 p o r d P ( n ) n的标准分解式中，素数p的幂次可以定义为ord_p(n).即可看作是函数 \\ord_p:\{1,2,3,...\}→\{0,1,2,...\} \\n=\prod_{p为素数}p^{ord_P(n)} n的标准分解式中，素数p的幂次可以定义为ordp​(n).即可看作是函数ordp​:{1,2,3,...}→{0,1,2,...}n=p为素数∏​pordP​(n)

关于$or{d}_p(n)$的性质（其中p为素数）：

• $or{d}_p(ab)=or{d}_p(a)+or{d}_p(b)$(因为$or{d}_p$将乘法转换为加法，所以$or{d}_p$类似于对数函数！)
• o r d P ( a + b ) ≥ m i n { o r d p ( a ) , o r d p ( b ) } ord_P(a+b)\geq min\{ord_p(a),ord_p(b)\} ordP​(a+b)≥min{ordp​(a),ordp​(b)}
• 若$or{d}_p(a)\ne or{d}_p(b)$，则 o r d P ( a + b ) = m i n { o r d p ( a ) , o r d p ( b ) } ord_P(a+b)= min\{ord_p(a),ord_p(b)\} ordP​(a+b)=min{ordp​(a),ordp​(b)}

满足第1条和第2条的函数成为赋值函数

4. 因式分解定理

不可约多项式

定义

• 不可约多项式的因式只有非零常数c，以及它的非零常数倍$cp(x)$

多项式的分解

• 多项式能否再分解与所规定的系数范围有关

不可约多项式的性质

类比在整数上定义的方式

因式分解定理

同样，类比

证明

存在性：一直分解下去，直到不能再分解

唯一性：假设还有另一个分解，推出两者是同一个分解。具体过程类比整数那部分

定义

$$多项式f(x)\in F[x]含有因式x-a(a\in F)当且仅当f(a)=0$$

证明

$$\begin{gathered} 由欧几里得除法f(x)=q(x)(x-a)+r,其中r\in F \\ 于是(x-a)|f(x)当且仅当f(a)=0 \end{gathered}$$

例题

在有理数域上对$x^{15}-1$进行因数分解
$$\begin{gathered} x^{15}-1 \\ ={(x^3)}^5-1 \\ =(x^3-1)(x^{12}+x^9+x^6+x^3+x^1) \\ =(x-1)(x^2+x+1)(x^{12}+x^9+x^6+x^3+x^1) \\ 另一方面， \\ {x}^{15}-1 \\ ={(x^5)}^3-1 \\ =(x^5-1)(x^{10}+x^5+x^1) \\ =(x-1)(x^4+x^3+x^2+x^1+1)(x^{10}+x^5+x^1) \\ 首先，x^2+x+1没有有理根（实际也没有实根），故为有理数域上的不可约多项式 \\ 其次，做除法可知x^2+x+1|x^{10}+x^5+x^1,得到 \\ {x}^{15}-1={(x^5)}^3-1 \\ =(x-1)(x^4+x^3+x^2+x^1+1)(x^2+x+1) \\ (x^8-x^7+x^5-x^4+x^3-x+1) \end{gathered}$$
其实从上面的式子里还可以得到：
$$\begin{gathered} x^{10}+x^5+x^1=(x^2+x+1)(x^8-x^7+x^5-x^4+x^3-x+1) \\ {x}^{12}+x^9+x^6+x^3+x^1=(x^4+x^3+x^2+x^1+1)(x^8-x^7+x^5-x^4+x^3-x+1) \end{gathered}$$
这部分（因式分解）做题也没什么心得，能想到的就是①不要怕麻烦，多思考多动笔多尝试②学会模仿，模仿已知的因式分解是怎么分解的，也许我的思维不想别人那样敏捷，但是照着葫芦画瓢总是应该会的！