算术基本定理的最早证明是由欧几里得给出的。
每一个比1大的自然数N只能有一种方式分解成质数的乘积。
推论:若一个质数p是乘积ab的因子,则p不是a的因子就是b的因子。
大于1的自然数必可写成质数之积
用反证法:假设存在大于1的自然数不能写成质数的乘积,把最小的那个称为n。
自然数可以根据其可除性(是否能表示成两个不是自身的自然数的乘积)分成3类:质数、合数和1。首先,按照定义,n 大于1。其次,n 不是质数,因为质\数p可以写成质数乘积:p=p,这与假设不相符合。因此n只能是合数,但每个合数都可以分解成两个严格小于自身而大于1的自然数的积。设,其中a 和b 都是介于1和n 之间的自然数,因此,按照n 的定义,a 和b 都都可以写成质数的乘积。从而
也可以写成质数的乘积。由此产生矛盾。因此大于1的自然数必可写成质数的乘积。
唯一性
欧几里得《几何原本》和维基百科上的方法都是先证明推论,再证明定理的方法。维基百科的方法可参考:http://zh.wikipedia.org/wiki/%E7%AE%97%E8%A1%93%E5%9F%BA%E6%9C%AC%E5%AE%9A%E7%90%86
欧几里得《几何原本》的介绍可参考:http://dulang.blog.sohu.com/717224.html
欧几里得《几何原本》的证明方法
先证明推论:对应于《几何原本》第7卷第30命题,设(7-30)
命题描述:以现在的数学语言,若质数p|ab,则不p|a就p|b
设c=ab;p为质数,若p量尽a,得证;若p量不尽a(即p不是a的因子),证明p量尽b即得证。
根据(7-29),因为p为质数,且p量不尽a,所以p、a互质。
用反证法证明如下:设p、a不互质,将有公因子m,因为m是a的因子,p不是a的因子,所以m不等于p,而m是p的因子,这是不可能的。
根据(7-定义15),c/p=t,得到c=pt,又c=ab,根据(7-19)得到p/a=b/t
根据(7-21),因为p、a互质,p、a是具有相同比的数对中最小的一对。
再根据(7-20),大小两数a、p分别量尽具有同比的大小两数t、b,所得的次数相同,即前项量尽前项、后项量尽后项,所以p量尽b,即得证。
最后一条定理(7-20)证明的难度较大,特证明如下:
命题:设a、b是与a/b有相同比的数对中最小的一对数,如果a/b=c/d,则a=(1/n)*c;b=(1/n)*d。
证明:因为a<c,所以a=(1/n)*c或者a=(m/n)*c,[1<m<n]
根据(7-13和定义20),若a=(m/n)*c,那么也有b=(m/n)*d
这样a、b均有(1/m)的部分
根据(7-12),(1/m)*a : (1/m)*b = a : b
但是(1/m)*a 、 (1/m)*b 分别小于 a 、b,这与假设矛盾,所以仅有a=(1/n)*c
根据(7-13和定义20),有a=(1/n)*c,b=(1/n)*d,故得证。
证明算术基本定理“质数分解唯一性”
命题:几何原本描述,“如果一个数是被一些质数能量尽的最小者,那么,除原来量尽它的质数外,任何另外的质数量不尽这个数。”
换句话说:一个数仅一种方法被分解为质因数之积。
设a是被质数b c d ... k的每一个整除的最小数,如果可能,假设a有一个不同与b c d ... k的质因数p,设a=p*m。根据(7-30),因为b c d ... k整除a,那么它们必然整除两因子p、m之一。而由假设,他们不整除p,所以他们必然整除小于a的数m,这与假设矛盾(假设a是最小的),因而a除b c d ... k外再无其他质因子。
现代证明方法,直接证明质数分解唯一性。
证明:反证法,设存在一个能分解为两种根本不同的质数乘积的正整数,则其中必有一最小的(最小数原理),设m=p1p2...pr=q1q2...qs,从小到大排序。p1不等于q1,否则可消去,不满足最小假设。设p1<q1。构造一整数m'=m-(p1q2...qs)=(p1p2...pr)-(p1q2...qs)=p1(p2...pr-q2...qs)
=(q1q2...qs)-(p1q2...qs)=(q1-p1)q2...qs
由于p1<q1,m'是一个正整数,且<m。因此m'的质数分解,除了因子次序外,必须是唯一的(m是最小数假设)。从上面表达式可看出,p1是m'的因子,再根据m'质数分解的唯一性得出(推论、用反证法很容易得到),p1必须是(q1-p1)或者q2...qs的因子,由于q都比p1大,这后一情形是不可能的,这样就有某个整数h,使q1-p1=p1*h或q1=p1(h+1)。这表明p1是q1的一个因子,与q1是质数相矛盾。故得证。