算术基本定理------比1大的整数N的素因子分解是唯一的

算术基本定理：每一个比1大的整数N只能有一种方式分解成素数的乘积。（不考虑因子的次序）

这个命题初看起来似乎是很明显的，但它决不是不证自明的。本篇博文给出两种证明方法。

---

证明一：反证法

思路： 假设存在一个整数，它有两种根本不同的素数分解，然后从这个假设出发导出一个矛盾，于是说明原假设不成立，命题得证。

证明： 如果存在整数（大于1），有两种根本不同的素数分解，则这样的正整数中必有一个是最小的，设这个最小的正整数为$m$。

$$m=p_1p_2...p_r=q_1q_2...q_s 公式 (1)$$
这里的$p、q$均是素数，并安排$p、q$的次序，使得$p_1\leq p_2\leq ... \leq p_r,q_1\leq q_2\leq ... \leq q_s$.
在上述的分解中，$p_1$不等于$q_1$。如果两者相等，我们能从等式（1）的每一边消去第一个因子（即$p_1$和$q_1$），这与m是最小的可分解为两种素因子分解的正整数矛盾。因此$p_1$不等于$q_1$，不妨假设$p_1 < q_1$。构造一个整数

$$m'=m-(p_1q_2...q_s) 公式（2）$$
将公式（2）中的 $m$用等式（1）中的两个表达式带入，可以把$m'$改写成如下两种形式

$$\begin{split} m'&=m-(p_1q_2...q_s)=p_1p_2...p_r-p_1q_2...q_s\\ &= p_1(p_2p_3...p_r-q_2q_3...q_s) (公式3) \end{split}$$
和
$$\begin{split} m'&=m-(p_1q_2...q_s)=q_1q_2...q_s-p_1q_2...q_s\\ &= (q_1-p_1)(q_2q_3...q_s)>0(公式4) \end{split}$$
由上面的公式（1）和公式（4）可知 $m'$小于 $m$。因此$m'$的素数分解，排除因子的次序外，必须是唯一的。但从公式（3）知素数 $p_1$是 $m'$的因子，所以由公式（4）可知 $p_1$必须是 $(q_1-p_1)或(q_2q_3...q_s)$的因子。由于所有的 $q$都大于$p_1$,因此 $p_1$必须是 $(q_1-p_1)$的因子。所以存在某个整数h使得 $q_1-p_1=p_1*h$或 $q_1=p_1*(h+1)$,这表明 $p_1$是 $q_1$的一个因子，这与 $q_1$是素数的事实矛盾。从而证明原命题成立。

---

证明二：

  在证明之前，要引入一个结论“ 如果一个素数p整除乘积ab，则p必整除a或b。 ”关于这个结论的证明，请参见另一篇博文：欧几里得辗转相除法证明及推论 。
  假设正整数N的素因子分解不唯一（至少有两种分解方式）。
不妨设定$N=p_1p_2...p_r=q_1q_2...q_s$（其中p和q均是素数）。
由于素数$p_1$整除这个等式的左边$p_1p_2...p_r$，它也必须整除等式的右边$q_1q_2...q_s$。
所以$p_1$必须整除$q_1,q_2,...,q_s$这些因子中的一个$q_k$。但$q_k$是素数，因此$p_1=q_k$。把这两个相等的因子从这个等式中消去。
所以$p_2$必须整除右边剩下的因子之一$q_t$，而$q_t$是素数，所以$p_2=q_t$。然后等式两边划掉相等的因子$p_2和q_t$。同理推导下去，当p都消去后，等式左边仅剩下1。由于所有q都是大于1的，所以右边不能剩下q。因此p和q是以相等的因子对从等式中消去的。这就证明了两种素因子分解是相同的。