算術基本定理檢視原始碼討論檢視歷史
| 算術基本定理 |
 |
算術基本定理可表述為：任何一個大於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]也有唯一分解定理。 它也誘導了諸如唯一分解整環，歐幾里得整環等等概念。 更一般的還有戴德金理想分解定理。