算术基本定理查看源代码讨论查看历史
| 算术基本定理 |
 |
算术基本定理可表述为：任何一个大于1的自然数 N,如果N不为质数，那么N可以唯一分解成有限个质数的乘积N=P1a1P2a2P3a3......Pnan，这里P1<P2<P3......<Pn均为质数，其中指数ai是正整数。这样的分解称为 N 的标准分解式。最早证明是由欧几里得给出的，由陈述证明。此定理可推广至更一般的交换代数和代数数论。[1]
发展简史
算术基本定理是初等数论中一条非常基本和重要的定理，它把对自然数的研究转化为对其最基本的元素——素数的研究。它所体现的唯一因子分解的思想，在现代交换环理论中起着非常重要的作用。唯一因子分解的思想从本质上讲是指以下两种性质： “存在性和唯一性”。所谓“存在性”就是指一个元素可以分解为有限多个不可约因子的乘积；“唯一性”是指这种分解表示在某种意义上来说是唯一的。唯一因子分解的思想最初作为一个自然数的性质而出现，这个性质就是通常所说的算术基本定理。
算术基本定理：任何一个大于 1 的自然数可以分解成一些素数的乘积；并且在不计次序的情况下，这种分解方式是唯一的。算术基本定理起源很早，但将其提炼、明确表述成一条定理，使其在初等数论中获得基础性的地位，却经历了一段较长的时间。
欧几里得（Euclid，约公元前 300 年）是古希腊亚历山大时期著名的数学家，希腊论证几何学的集大成者， 其所著《原本》（在我国通常称为《几何原本》）在数学史、科学史、乃至人类文明史上是一部划时代的杰作，从它问世之日起，备受人们推崇，已用世界各种文字发行了 1000多版，被誉为西方科学的“圣经”。在《原本》中，欧几里得运用公理化的方法对当时的数学知识进行了系统化和理论化的总结，形成了数学史上第一个演绎数学的公理化体系，对其后数学的发展产生了深远的影响。
在初等数论教材中，通常都将算术基本定理作为一条基本定理看待：即首先给出素数的定义，接着就证明唯一素因子分解定理——算术基本定理，然后再在此基础上讨论互素数和最大公因数的性质以及其它的数论问题。
定理定义
任何一个大于1的自然数 是正整数。
这样的分解称为
的标准分解式。
验证推导
算术基本定理的最早证明是由欧几里得给出的。而以下是用现代的陈述方式去证明。
存在性
用反证法：假设存在大于1的自然数不能写成质数的乘积，把最小的那个称为n。
自然数可以根据其可除性（是否能表示成两个不是自身的自然数的乘积）分成3类：质数、合数和1。首先，按照定义，{\displaystyle n}n大于1。其次，{\displaystyle n}n不是质数，因为质数{\displaystyle p}p可以写成质数乘积：{\displaystyle p=p}{\displaystyle p=p}，这与假设不相符合。因此{\displaystyle n}n只能是合数，但每个合数都可以分解成两个严格小于自身而大于1的自然数的积。设{\displaystyle n=a\times b}n=a\times b，其中{\displaystyle a}a和{\displaystyle b}b都是介于1和{\displaystyle n}n之间的自然数，因此，按照{\displaystyle n}n的定义，{\displaystyle a}a和{\displaystyle b}b都可以写成质数的乘积。从而{\displaystyle n=a\times b}n=a\times b 也可以写成质数的乘积。由此产生矛盾。因此大于1的自然数必可
唯一性
引理：若质数{\displaystyle p|ab}p|ab，则不是 {\displaystyle p|a}p|a，就是{\displaystyle p|b}p|b。
引理的证明：若{\displaystyle p|a}p|a 则证明完毕。若{\displaystyle p\nmid a}p\nmid a，那么两者的最大公约数为1。根据裴蜀定理，存在{\displaystyle (m,n)}(m,n) 使得{\displaystyle ma+np=1}ma+np=1。于是{\displaystyle b=b(ma+np)=abm+bnp}b=b(ma+np)=abm+bnp。 由于{\displaystyle p|ab}p|ab，上式右边两项都可以被p整除。所以{\displaystyle p|b}p|b。
再用反证法：假设有些大于1的自然数可以以多于一种的方式写成多个质数的乘积，那么假设{\displaystyle n}n是最小的一个。
首先{\displaystyle n}n不是质数。将{\displaystyle n}n用两种方法写出：{\displaystyle n=p_{1}p_{2}p_{3}\cdots p_{r}=q_{1}q_{2}q_{3}\cdots q_{s}}n=p_{1}p_{2}p_{3}\cdots p_{r}=q_{1}q_{2}q_{3}\cdots q_{s} 。根据引理，质数{\displaystyle p_{1}|q_{1}q_{2}q_{3}\cdots q_{s}}p_{1}|q_{1}q_{2}q_{3}\cdots q_{s} ，所以{\displaystyle q_{1},q_{2},q_{3}\cdots q_{s}}q_{1},q_{2},q_{3}\cdots q_{s} 中有一个能被{\displaystyle p_{1}}p_{1}整除，不妨设为{\displaystyle q_{1}}q_{1}。但{\displaystyle q_{1}}q_{1}也是质数，因此{\displaystyle q_{1}=p_{1}}q_{1}=p_{1} 。所以，比{\displaystyle n}n小的正整数{\displaystyle n'=p_{2}p_{3}\cdots p_{r}}n'=p_{2}p_{3}\cdots p_{r}也可以写成{\displaystyle q_{2}q_{3}\cdots q_{s}}q_{2}q_{3}\cdots q_{s} 。这与{\displaystyle n}n 的最小性矛盾！
因此唯一性得证。
定理推广
此定理可推广至更一般的交换代数和代数数论。 高斯证明复整数环Z[i]也有唯一分解定理。 它也诱导了诸如唯一分解整环，欧几里得整环等等概念。 更一般的还有戴德金理想分解定理。