每一个比1大的整数N只能有一种方式分解成素数的乘积。

每一个比1大的整数N只能有一种方式分解成素数的乘积。

用反证法：

假设存在 两种不同的分解方法：

这里选择m是最小的可以有不同分法的整数。

m = p1*p2....*pr = q1*q2...*qs,

这里的p,q 都是素数。

可以认为：p1<=p2<=...<=pr.  q1<=q2<=....qs.

p1 != q1 因为如果p1 = p2,那么两端消去因子后，出现比m小的整数可以分解成两种情况。这于假设矛盾。

因此我们假设p1 < q1 (或者 q1 < p1)这两者都行，我们假设 p1 < q1 .

我们构造另一个整数m' = m - p1q2....qs.

m' = (p1p2...pr) - (p1q2...qs)

= p1(p2p3...pr - q2q3...qs),

和 

m' = (q1q2...qs) - (p2q2...ps)

  = (q1-p1)q2q3....qs.

由于p1 < q1,从（4）知m'是个正整数。而又从（2）知m'是小于m的。

因此m'的素数分解，除了因子次序外，必须是唯一的。（因为它比m小）

但是从（3）知p1是m'的因子，因此（4）知p1必须是（q1-p1)或者（q2q3...qs)的因子。由于所有的q都比p1大，所以后面的情况是不可能的。

因此p1 必须是q1 - p1的因子。这样就有某个整数h 使

q1 - p1 = p1*h 或 q1 = p1(h+1)

这表明p1是q1的一个因子，这与q1是素数矛盾。

因此假设不成立。得证！

《什么是数学》