第一章 整数的唯一分解定理

第一章 整数的唯一分解定理

整数的唯一分解定理，也称算术基本定理

1.1 整除性

• 定义 Definition：设 $a,b\in Z$，若 $\exists q\in Z$，
  $$\ni a=bq$$
  则称 $b$ 整除 $a$，也称 $a$ 被 $b$ 整除，称 $b$ 为 $a$ 的一个因子/因数(divisor)，也称 $a$ 为 $b$ 的一个倍数(multiple)。记为 $b\mid a$

  否则即 $\forall q\in Z$，有 $a\ne bq$，则称 $b$ 不整除 $a$，也称 $a$ 不被 $b$ 整除，称 $b$ 不是 $a$ 的一个因子，也称 $a$ 不是 $b$ 的一个倍数。记为 $b\nmid a$

• 性质 Property：设 $a,b,c\in Z$，则

  1. $1\mid a$，$b\mid 0(\because 0=b\cdot 0)$，$a\mid a$，$2\mid 2n$

  2. $b\mid a,c\mid b⟹c\mid a$

  3. $a\mid b,a\mid c⟹a|(bm+cn)\forall m,n\in Z$

  4. 设 $c\in Z,c\ne 0$，则 $a\mid b⟺ac\mid bc$

     证明：

     充分性：$b=aq⟹bc=ac\cdot q\therefore ac|bc$

     必要性：设 $ac\mid bc$，故 $\exists q\in Z,\ni bc=ac\cdot q\because c\ne 0\therefore b=aq\therefore a\mid b$

  5. $a\mid b,b\ne 0⟹|a|\le |b|$

     证明：

     $\exists b=aq\because b\ne 0\therefore q\ne 0\therefore |q|\ge 1$

     $\therefore |b|=|aq|=|a|\cdot |q|\ge |a|$

  6. $a\mid b,a\ne 0⟹\frac{b}{a}\mid b$

  7. 对 $\forall a\in Z$，有 $a\mid -a$，$|a|\mid a$

• 定理一 Theorem I (带余除法)：设 $a,b\in Z,b>0$，则 $\exists |q,r\in Z,\ni a=bq+r,0\le r<b$. 称 $r$ 为余数或非负最小剩余，记作 $r=<a{>}_b$ 。称 $q$ 为商或不完全商。

  证明 Prove：

  存在性：由于 $Z=\bigcup _{k=-\infty }^{\infty }\left[kb,(k+1)b\right)$，所以 $\exists |q\in Z,\ni qb\le a<(q+1)b$

  令 $r=a-qb$，则 $a=qb+r,0\le r<b$. 即 $q,r$ 的存在性得证。

  唯一性：设 $a=q_{1}b+r_1=q_{2}b+r_2$，其中 $q_1,q_2,r_1,r_2\in Z$，且 $0\le r_1,r_2<b$

  则 $|r_1-r_2|=|q_{2}b-q_{1}b|=b|q_1-q_2|(1)$

  $\because 0\le r_1,r_2<b\therefore |r_1-r_2|<b(2)$

  $(1)$ 代入 $(2)$ 得 $b\cdot |q_2-q_1|<b\therefore |q_2-q_1|<1(3)$

  但是 $q_1,q_2\in Z⟹q_2-q_1\in Z(4)$

  故由 $(3)$ 与 $(4)$ 得 $q_2-q_1=0\therefore q_1=q_2$. 从而 $r_1=r_2$，唯一性得证

• 定理二 Theorem II：设 $a_1,a_2\in Z$，则 $<a_1\pm a_2{>}_b=<<a_1{>}_b\pm <a_2{>}_b{>}_b$，$<a_1\cdot a_2{>}_b=<<a_1{>}_b\cdot <a_2{>}_b{>}_b$

  证明第二个等式 Prove：设 $a_1=b{q}_1+r_1,a_2=b{q}_2+r_2$，则 $r_1=<a_1{>}_b,r_2=<a_2{>}_b$

  $\therefore a_1\cdot a_2=(b{q}_1+r_1)(b{q}_2+r_2)=b(q_1{q}_2+q_1{r}_2+q_2{r}_1)+r_1{r}_2$

  此时 $r_1,r_2$ 用带余除法得 $r_1{r}_2=b{q}_3+r_3,0\le r_3<b$

  $\therefore r_3=<r_1\cdot r_2{>}_b(1)$

  $\therefore a_1{a}_2=b(q_1{q}_2+q_1{r}_2+q_2{r}_1+q_3)+r_3$

  由此 $r_3=<a_1\cdot a_2{>}_b(2)$

  由 $(1)$ 与 $(2)$ 得 $<a_1{a}_2{>}_b=r_3=<r_1{r}_2{>}_b=<<a_1{>}_b\cdot <a_2{>}_b{>}_b$

1.2 最大公约数与辗转相除法

• 定义 Definition：设 $a_1,a_2,...,a_n$ 为 $n$ 个不全为零的整数，若 $d\in Z$ 整除每一个 $a_i,1\le i\le n$，则称 $d$ 为 $a_1,...,a_n$ 的一个公因子(common divisor)。显然，此时公因子只有有限个，其中最大者被称为 $a_1,...,a_n$ 的最大公因子(greatest common divisor)。若 $(a_1,...,a_n)=1$，则称 $a_1,...,a_n$ 是互素的。

• 定理一 Theorem I： 设 $a,b,c\in Z$，且 $a=bq+c,q\in Z$，则 $(a,b)=(b,c)$

  证明 Prove：设 $d_1=(a,b),d_2=(b,c)$，则 $d_1\mid a,d_2\mid b⟹d_1|(a-bq)=c$

  又 $\because d_1\mid b⟹d_1$ 为 $b,c$ 的一个公因子 $\therefore d_1\le d_2$

  另一方面，同理可得 $d_2\le d_1$

  故 $\therefore d_1=d_2$

• 辗转相除法：设 $a,b\in Z,b>1$，计算 $\gcd (a,b)$

  解：

• 定理二 Theorem II：$r_n=\gcd (a,b)$

  • 命题：$r_k=a{x}_k+b{y}_k(1\le k\le n)$. 特别地 $r_n=a{x}_n+b{y}_n$

• 定理三 Theorem III (Bezout恒等式)：$\exists x,y\in Z,\ni ax+by=\gcd (a,b)$

  • 推论 Corollary：$a$ 与 $b$ 的任一个公因子均整除 $(a,b)$

• 定理四 Theorem IV (Euclid引理)：$a\mid bc,(a,b)=1⟹a\mid c$

  证明：$\because (a,b)=1\therefore \exists x,y\in Z,\ni ax+by=1$

  $\therefore acx+bcy=c$，而 $a\mid bc,a\mid acx⟹a\mid c$

  • 命题：$(a_1,...,a_n)=(|a_1|,...,|a_n|)$

• 定理五 Theorem V：设 $a_1,a_2,...a_n\in Z^{+}$，记 $d_2=(a_1,a_2),d_2=(d_2,a_3),...,d_n=(d_{n-1},a_n)$， 则有 $d_n=(a_1,...,a_n)$

• 定理六 Theorem VI (Bezout恒等式)：设 $n\ge 2$，$a_1,...,a_n$ 为 $n$ 个正整数，则存在 $x_1,...,x_n$ 使得
  $$(a_1,...,a_n)=a_1{x}_1+...+a_n{x}_n,x_i\in Z$$

1.3 最小公倍数

• 定义：设 $n\ge 2$，$a_1,...,a_n$ 为 $n$ 个整数，若 $m\in Z$ 为每一个 $a_i(1\le i\le n)$ 的倍数，则称 $m$ 为 $a_1,...,a_n$ 的一个公倍数(common multiple)。称 $a_1,...,a_n$ 的所有正公倍数中最小者为最小公倍数(least common multiple)，记为 $\mathrm{lcm}(a_1,...,a_n)$ 或 $[a_1,...,a_n]$

  • 命题：$[a_1,...,a_n]=[|a_1|,...,|a_n|]$

• 定理一：设 $a,b\in Z^{+}$

  1. $a$ 与 $b$ 的每一个公倍数均为 $[a,b]$ 的倍数
  2. $[a,b]=\frac{ab}{(a,b)}$
  • 性质：$[a,b]=[b,a]$，$[[a,b],c]=[a,[b,c]]$

• 定理二：设 $a_1,a_2,...,a_n(n\ge 3)\in Z^{+}$，求 $[a_1,a_2,...,a_n]$

  解：设 $[a_1,a_2]=m_2$，$[m_1,a_3]=m_3$，$...$，$[m_{n-1},a_n]=m_n$，则
  $$m_n=[a_1,a_2,...,a_n]$$

1.4 素数、整数的唯一分解定理

• 定义：$n>1$ 时，若 $n$ 只有 $1$ 与 $n$ 这两个平凡因子，则称 $n$ 为素数（质数）prime number。若 $n$ 含非平凡因子，则称 $n$ 为合数（复合数）。即 Z + = { 1 } ⋃ { 素 数 } ⋃ { 合 数 } Z^+=\{1\}\bigcup \{素数\}\bigcup\{合数 \} Z+={1}⋃{素数}⋃{合数}

  • 引理一：设 $a>1,a\in Z$，则 $a$ 的大于 $1$ 的最小正因子 $q$ 必为素数，且当 $a$ 为合数时，有 $q\le \sqrt{a}$
  • 引理二：对于素数 $p$ 和任一整数 $a$，有 $p\mid a$ 或 $(p,a)=1$
  • 引理三：素数 $p\mid ab⟹p\mid a,p\mid b$
    • 推论：素数 $p\mid a_1{a}_2...a_l⟹\exists 1\le i\le l,p\mid a_i$

• 整数的唯一分解定理（算术基本定理）：每一个大于 $1$ 的整数美军可唯一地(不及次序)分解为一些素数的乘积，即若 $a>1,a\in Z$，则有
  $$a=p_1{p}_2...p_n$$
  $(1\le n)p_1\le p_2\le ,,,\le p_n$ 均为素数。且若 $a=p_1{p}_2...p_n=q_1{q}_2...q_m$

  $p_1\le p_2\le ,,,\le p_n,q_1\le q_2\le ,,,\le q_m(n,m\ge 1)$，则 $n=m$ 及 $p_i=q_i(\forall 1\le i\le n)$。

  可写为
  $$a=p_1^{e_1}{p}_2^{e_2}...p_s^{e_s}$$
  其中 $p_1<p_2<...<p_s,s\ge 1,e_i\ge 1$ 称为标准分解式。

  • 命题：$p\mid q$ 且 $p,q$ 均为素数，则 $p=q$

• 定理：设 $a,b\in Z^{+}$，且 $a=p_1^{e_1}{p}_2^{e_2}...p_s^{e_s}$，$b=p_1^{f_1}{p}_2^{f_2}...p_s^{f_s}$，其中 $p_1<p_2<...<p_s,e_i\ge 0,f_i\ge 0$ 且 $e_i+f_i\ge 1$，则

  • $a$ 的每一个正因数均可写为 $d=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}..p_s^{{\alpha }_s}$，其中对任意 $1\le i\le s$ 均有 $0\le {\alpha }_i\le e_i$

  • $a$ 的一个正倍数 $c$ 可写为 $c=l^{\prime }\cdot p_1^{e_1}{p}_2^{e_2}...p_s^{e_s}=l\cdot p_1^{{\beta }_1}{p}_2^{{\beta }_2}...p_s^{{\beta }_s}$，其中 $(l,p_1{p}_2...p_s)=1$，$l\in Z^{+}$，且对任意 $1\le i\le s$ 均有 ${\beta }_i\ge e_i$

  • $(a,b)=p_1^{\min (e_1,f_1)}{p}_2^{\min (e_2,f_2)}...p_s^{\min (e_s,f_s)}$

  • $[a,b]=p_1^{\max (e_1,f_1)}{p}_2^{\max (e_2,f_2)}...p_s^{\max (e_s,f_s)}$

1.5 厄拉多塞筛法 Eratosthense

• 性质：每一个合数 $n\le N$ 必含有一个素因子 $q$，使得 $q\le \sqrt{N}$
• 定理一 Euclid：存在无穷个素数
• 定理二：存在无穷个形如 $4n-1$ 的素数
  • 狄利克雷定理 Dirichlet：若 $(a,b)=1$，则 { a n + b } n − 1 ∞ \{an+b \}_{n-1}^{\infty} {an+b}n−1∞​ 中含有无穷个素数
• 定理二：给定一个整数 $x_0\in Z$，不存在 $f(x)\in Z[x]$（整系数多项式），使得 $x\ge x_0$ 时，$f(x)$ 总表示素数。

1.6 麦什涅数、费马数 Mersenne & Fermat

• 定义：形如
  $$2^p-1$$
  的数称为麦什涅数 Mersenne，其中 $p$ 为素数。记为 $M_p=2^p-1$。当 $p=2,3,5,7,...,31$ 时，$M_p$ 是素数。

• 定理一：$M_p$ 的素因子 $q$ 必有形状
  $$q=2kp+1$$

  • 引理一：$(s^a-1,s^b-1)=s^{(a,b)}-1$
  • 引理二：$p$ 为素数 $⟹p\mid 2^p-1$

• 定义：称
  $$F_n=2^{2^n}+1$$
  为费马数 Fermat

• 定理二：对任意 $m\ne n$​，有
  $$\gcd (F_m,F_n)=1$$

  • 引理：对任意 $k\in Z^{\ast }$，有 $F_n\mid (F_{n+k}-2)$

1.7 完全数

• 定义：当正整数 $n$​ 的所有正因子之和等于 $2n$​，即
  $$\sigma (n)=2n$$
  称 $n$​ 为一个完全数。$6$​ 与 $28$​ 均为完全数。

  • 因数和函数：$\sigma :Z^{+}\to Z^{+}$，$\sigma (n)=\sum _{d\mid n}d$ 表示 $n$ 的诸因数之和，称 $\sigma$ 为因数和函数

• 定理一：设 $p_1,p_2,...,p_k$ 为 $k$ 个不同素数，${\alpha }_1,{\alpha }_2,...,{\alpha }_k\in Z^{+}$。记 $n=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}...p_k^{{\alpha }_k}$，则
  $$\sigma (n)=\frac{p_1^{{\alpha }_1+1}-1}{p_1-1}\cdot \frac{p_2^{{\alpha }_2+1}-1}{p_2-1}...\frac{p_k^{{\alpha }_k+1}-1}{p_k-1}$$

• 定理二：$n\in Z^{+}$ 为偶完全数 $⟺n=2^{p-1}(2^p-1)$

• 定理三：若 $n$ 为奇完全数，则 $n$ 必有分解式
  $$n=p^a{q}_1^{2{\beta }_1}{q}_1^{2{\beta }_2}...q_t^{2{\beta }_t}(1)$$
  其中 $p,q_1,q_2,...,q_t$ 为不同素数，$a$ 与 $p$ 都是 $4h+1$ 形的数。

• 定理四：若 $n$ 为奇完全数，则 $(1)$ 中 $t\ge 2$

1.8 一次不定方程

• 定义：二元一次不定方程是指
  $$a_{1}x+a_{2}y=n(1)$$
  其中 $a_1,a_2,n\in Z$，且 $a_1\cdot a_2\ne 0$

• 定理一：方程 $(1)$ 有整数解 $⟺(a_1,a_2)\mid n$

• 定理二：设 $(a_1,a_2)=1$，则 $(1)$ 的所有解为
  $$x=x_0+a_{2}t,y=y_0-a_{1}t,t\in Z$$
  其中 $x_0,y_0$ 为 $(1)$ 的一组解

• 定理三：$s$ 元一次不定方程（$s\ge 2$）
  $$a_1{x}_1+a_2{x}_2+...+a_s{x}_s=n(5)$$
  有整数解 $⟺(a_1,a_2,...,a_s)\mid n$

• 定理四：设 $(a_1,a_2)=1$，则当 $n>a_1{a}_2$ 时，$a_1{x}_1+a_2{x}_2=n$ 有正整数解 $(x_1,x_2)\in Z^2>0$；而 $n=a_1{a}_2$ 时，$a_1{x}_1+a_2{x}_2=n$ 无正整数解 $(x_1,x_2)\in Z^2>0$

  • 推论：设 $(a_1,a_2)=1$，则所有大于 $a_1{a}_2-a_1-a_2$ 的整数均可表为 $a_1$ 与 $a_2$ 的非负整数的线性组合
    $$a_1{x}_1+a_2{x}_2(x_1\ge 0,x_2\ge 0)$$
    但 $a_1{a}_2-a_1-a_2$ 不能表成此形状。

• 定理五：设 $d_i=(a_1,...,a_n)$，$i=2,...,s$，$s>1,d_1=a_1,d_s=1$，则当 $n>N(a_1,...,a_s)=-a_1+\sum _{i=2}^s{a}_i\left(\frac{d_{i-1}}{d_i}-1\right)$ 时方程 $(5)$ 有整数解 $x_i\ge 0,i=1,...,s$

1.9 抽屉原理（鸡笼原理）

• 简单表示：假如有至少 $n+1$ 物体装入 $n$ 个盒子里，那么一定有某个盒子至少装有两个物体。

• 定理一：设 $n\in Z^{+}$，区间 $[1,2n]$ 中有任意 $n+1$ 个不同的整数， $a_1,a_2,...,a_{n+1}$ ，其中必有两者 $a_i,a_j$，使得 $a_i\mid a_j$

• 定理二：设 $1\le m<n$，$A=(a_{ij}{)}_{mn}\in M_{mn}(Z)$ 且 $A$ 无零行，那么齐次线性方程组 $A\cdot \left(\begin{array}{c}{x}_1\\ ⋮\\ x_n\end{array}\right)=\vec{0}=\left(\begin{array}{c}0\\ ⋮\\ 0\end{array}\right)$，必有一组 $\left(\begin{array}{c}{x}_1\\ ⋮\\ x_n\end{array}\right)\ne 0$ 满足
  $$\begin{gathered} |x_k|\le \sqrt[n-m]{A_1{A}_2...A_m}(1\le k\le n)(k=1,...,m) \\ 其中A_j=|a_{j1}|+|a_{j2}|+...+|a_{jn}|(j=1,...,m) \end{gathered}$$