数论

數論（英語：Number theory）是纯粹数学的分支之一，主要研究整数的性質，被稱為「最純」的數學領域。

简介

數學是科學的皇后，數論是數學的皇后。^[1]^{[註 1]}
——卡尔·弗里德里希·高斯

正整数按乘法性质划分，可以分成質数，合数，1，質数產生了很多一般人能理解卻又懸而未解的問題，如哥德巴赫猜想，孿生質數猜想等。即，很多問題虽然形式上十分初等，事实上却要用到许多艰深的数学知识。这一领域的研究从某种意义上推动了数学的发展，催生了大量的新思想和新方法。數論除了研究整數及質數外，也研究一些由整數衍生的數（如有理數）或是一些廣義的整數（如代數整數）。

整数可以是方程式的解（丟番圖方程）。有些解析函數（像黎曼ζ函數）中包括了一些整數、質數的性質，透過這些函數也可以了解一些數論的問題。透過數論也可以建立實數和有理數之間的關係，並且用有理數來逼近實數（丟番圖逼近）。

历史

古代

數論早期也稱為算術^{[註 2]}，而算術一詞則表示「基本運算」^{[註 3]}^[3]，在现代数论诞生前，早期铺垫有三大内容：

欧几里得证明质数无穷多。
寻找质数的埃拉托斯特尼筛法；欧几里得求最大公约数的辗转相除法。
公元420至589年（中国南北朝时期）的孙子定理。

中世纪

在中世紀早期，除了1175年至1200年住在北非和君士坦丁堡的数学家斐波那契有關等差数列的研究外，西欧在數論上沒有什麼進展。

中世纪数论主要是指15-16世纪由费马、梅森、欧拉、高斯、勒让德、黎曼、希尔伯特等人发展的数论。最早是在文藝復興的末期，對於古希臘著作的重新研究。主要的成因是因為丟番圖的《算術》（Arithmetica）一書的校正及翻譯為拉丁文，早在1575年Xylander曾試圖翻譯，但不成功，後來才由Bachet在1621年翻譯完成。

近代

費馬

皮埃爾·德·費馬（1601–1665）沒有著作出版，他在數論上的貢獻幾乎都在他寫給其他數學家的信上，以及書旁的空白處^[4]。費馬的貢獻幾乎沒有數論上的證明^[5]，不過費馬重覆的使用數學歸納法，並引入无穷递降法。

費馬最早的興趣是在完全數及相亲数，因此開始研究整數因數，這也開始1636年之後的數學研究，也接觸到當時的數學社群^[6]。他已在1643年研讀過巴歇（英语：Claude Gaspard Bachet de Méziriac）版本的丟番圖著作，他的興趣開始轉向丟番圖方程和平方數的和^[7]。

費馬在數論上的貢獻有：

費馬小定理 (1640)^[8]，若 $a$ 不是質數 $p$ 的倍數，則 $a^{p-1}\equiv 1{\pmod {p}}.$
若 $a$ 和 $b$ 互質，則 $a^{2}+b^{2}$ 無法被任何除4後同餘-1的質數整除^[9]，而且每個除4後同餘1的質數都可以表示為 $a^{2}+b^{2}$ .^[10]，這二個是在1640年證明的，在1649年他在寫給惠更斯的信上提到他用无穷递降法證明的第二個問題^[11]，費馬和福蘭尼可（英语：Frenicle）在其他平方形式上也有一些貢獻，不過其中有些錯誤及不嚴謹之處^[12]。
向英國的數學家提出了求解 $x^{2}-Ny^{2}=1$ 的挑戰（1657年），但在幾個月後就由Wallis及Brouncker證明^[13]。費馬認為他們的證明有效，但用了一個在其中未經證明的演算法，費馬自己是由无穷递降法找到證明。
發展許多找亏格0或1曲線上點的方法，作法類似丟番圖，有許多特殊的步驟，使用了切線法構建曲線，而不是用割線法^[14]。
證明 $x^{4}+y^{4}=z^{4}$ 不存在非尋常的正整數解。

費馬在1637年聲稱（費馬最後定理）證明了對於大於2的任意整數 $n$ ，不存在 $x^{n}+y^{n}=z^{n}$ 的非尋常的正整數解（目前已知唯一的证明是由數學家安德魯·懷爾斯及其學生理查·泰勒于1994年完成的證明），但只在一本丟番圖著作的旁邊寫到，而且他沒有向別人宣稱他已有了證明^[15]。

歐拉

歐拉(1707–1783)對數論的興趣最早是由他的朋友哥德巴赫所引發，讓他開始專注在費馬的一些研究上^[16]^[17]，在費馬沒有使當代的數學家注意此一主題後，歐拉的出現稱為「現代數論的重生」^[18]。歐拉數論的貢獻包括以下幾項^[19]：

費馬研究的證明，包括費馬小定理（歐拉延伸到非質數的模數），以及 $p=x^{2}+y^{2}$ 若且唯若 $p\equiv 1\;mod\;4$ ，這項研究可推導到所有整數都可以表示為四個平方數的證明（第一個完整證明是由約瑟夫·拉格朗日提出，費馬很快的也提出證明），和 $x^{4}+y^{4}=z^{2}$ 沒有非零整數解的證明，表示為費馬最後定理 $n=4$ 時成立，歐拉用類似方式證明了 $n=3$ 的情形。
佩爾方程，最早誤以為是歐拉證明^[20]，歐拉也寫了連分數和佩爾方程的關係^[21]。
二次式，繼費馬之後，歐拉繼續研究哪些質數可以表示為 $x^{2}+Ny^{2}$ ，其中有些顯示二次互反律的性質^[22] ^[23]^[24]。
丟番圖方程：歐拉研究一些虧格為0或1的丟番圖方程^[25]^[26]，特別的是他研讀丟番圖的著作，試圖要找到系統化的方法，但時機尚不成熟，幾何數論才剛形成而已^[27]。歐拉有注意到丟番圖方程和椭圆积分之間的關係^[27]。

分支

初等數論: 意指使用不超過高中程度的初等代數處理的數論問題，最主要的工具包括整數的整除性與同餘。重要的結論包括中國餘數定理、費馬小定理、二次互反律等等。

解析數論: 借助微積分及複分析的技術來研究關於整數的問題^[28]，主要又可以分為積性數論（英语：Multiplicative number theory）與加性數論兩類。積性數論藉由研究積性生成函數的性質來探討質數分佈的問題，其中質數定理與狄利克雷定理為這個領域中最著名的古典成果。加性數論則是研究整數的加法分解之可能性與表示的問題，華林問題是該領域最著名的課題。此外例如篩法、圓法等等都是屬於這個範疇的重要議題。
代數數論: 引申代數數的話題，關於代數整數的研究，主要的研究目標是為了更一般地解決不定方程的問題，而為了達到此目的，這個領域與代數幾何之間有相當關聯，比如類域論（class field theory）就是此間的顛峰之作。
算術代数幾何: 研究有理係數多變數方程組的有理點，其結構（主要是個數）和該方程組對應的代數簇的幾何性質之間的關係，有名的費馬最後定理、莫德爾猜想（法爾廷斯定理）、Weil猜想（英语：Weil conjectures），和千禧年大獎難題中的貝赫和斯維訥通-戴爾猜想都屬此類。
幾何数论: 主要在於透過幾何觀點研究整數（在此即格子點）的分佈情形。最著名的定理為闵可夫斯基定理。
計算数论: 借助電腦的算法幫助數論的問題，例如素數測試和因數分解等和密碼學息息相關的話題。
超越数论: 研究數的超越性，其中對於歐拉常數與特定的黎曼ζ函數值之研究尤其令人感到興趣。
組合数论: 利用組合和機率的技巧，非構造性地證明某些無法用初等方式處理的複雜結論。這是由保罗·埃尔德什開創的思路。
模形式: 數學上一個滿足一些泛函方程與增長條件、在上半平面上的（複）解析函數。

應用

注释

^ 德语原文“Die Mathematik ist die Königin der Wissenschaften, und die Arithmetik ist die Königin der Mathematik.”
^ 1952年時數學家哈罗德·达文波特（英语：Harold Davenport）仍用「高等算術」一詞來表示數論，戈弗雷·哈羅德·哈代和愛德華·梅特蘭·賴特在1938年寫《數論介紹》簡介時曾提到「我們曾考慮過將書名改為《算術介紹》，某方面而言是更合適的書名，但也容易讓讀者誤會其中的內容」^[2]
^ 不過在20世紀的後半，有部份數學家仍會用「算術」一詞來表示數論。到20世紀初，才開始使用數論的名稱

參考資料

^ The Queen of Mathematics. [2014-09-30]. （原始内容存档于2014-10-06）.
^ Apostol, Tom M. An introduction to the theory of numbers. (Review of Hardy & Wright.) Mathematical Reviews (MathSciNet) MR0568909. American Mathematical Society. n.d. [2013-05-06]. （原始内容存档于2012-07-31）.
^ Heath, Thomas L. A History of Greek Mathematics, Volume 1: From Thales to Euclid. Oxford: Clarendon Press. 1921 [2016-02-28].
^ Weil 1984，第45–46頁.
^ Weil 1984，第118頁，數論比其他數學領域容易出現這様的情形（說明在Mahoney 1994，第284頁）
^ Mahoney 1994，第48, 53–54頁
^ Weil 1984，第53頁.
^ Tannery & Henry 1891，Vol. II, p. 209, Letter XLVI from Fermat to Frenicle, 1640, cited in Weil 1984，第56頁
^ Tannery & Henry 1891，Vol. II, p. 204, cited in Weil 1984，第63頁
^ Tannery & Henry 1891，Vol. II, p. 213.
^ Tannery & Henry 1891，Vol. II, p. 423.
^ Weil 1984，第80, 91–92頁.
^ Weil 1984，第92頁.
^ Weil 1984，Ch. II, sect. XV and XVI.
^ Weil 1984，第104頁.
^ Weil 1984，第2, 172頁.
^ Varadarajan 2006，第9頁.
^ Weil 1984，第2頁 and Varadarajan 2006，第37頁
^ Varadarajan 2006，第39頁 and Weil 1984，第176–189頁
^ Weil 1984，第174頁
^ Weil 1984，第183頁.
^ Varadarajan 2006，第44–47頁.
^ Weil 1984，第177–179頁.
^ Edwards 1983，第285–291頁.
^ Varadarajan 2006，第55–56頁.
^ Weil 1984，第179–181頁.
^ ^27.0 ^27.1 Weil 1984，第181頁.
^ Apostol, Tom M., Introduction to analytic number theory, Undergraduate Texts in Mathematics, New York-Heidelberg: Springer-Verlag, 1976, ISBN 978-0-387-90163-3, MR 0434929, Zbl 0335.10001

參考書目

Weil, André. Number theory: an approach through history – from Hammurapi to Legendre,. Boston: Birkhäuser. 1984 [2014-10-06]. ISBN 978-0-8176-3141-3. （原始内容存档于2014-10-12）.
Mahoney, M. S. The mathematical career of Pierre de Fermat, 1601–1665 Reprint, 2nd. Princeton University Press. 1994 [2014-10-06]. ISBN 978-0-691-03666-3. （原始内容存档于2014-10-12）.
Tannery, Paul; Henry, Charles (eds.); Fermat, Pierre de. Oeuvres de Fermat. (4 Vols.). Paris: Imprimerie Gauthier-Villars et Fils. 1891 （法语及拉丁语）. Volume 1 Volume 2 Volume 3 Volume 4 (1912)
Varadarajan, V. S. Euler through time: a new look at old themes. American Mathematical Society. 2006 [2014-10-06]. ISBN 978-0-8218-3580-7. （原始内容存档于2014-10-12）.
Edwards, Harold M. Euler and quadratic reciprocity. Mathematics Magazine (Mathematical Association of America). November 1983, 56 (5): 285–291. JSTOR 2690368. doi:10.2307/2690368.

外部連結

（英文） Number Theory Web （页面存档备份，存于互联网档案馆）

[2] 德语原文“Die Mathematik ist die Königin der Wissenschaften, und die Arithmetik ist die Königin der Mathematik.”

[4] 1952年時數學家哈罗德·达文波特（英语：Harold Davenport）仍用「高等算術」一詞來表示數論，戈弗雷·哈羅德·哈代和愛德華·梅特蘭·賴特在1938年寫《數論介紹》簡介時曾提到「我們曾考慮過將書名改為《算術介紹》，某方面而言是更合適的書名，但也容易讓讀者誤會其中的內容」^[2]

[5] 不過在20世紀的後半，有部份數學家仍會用「算術」一詞來表示數論。到20世紀初，才開始使用數論的名稱

[1] The Queen of Mathematics. [2014-09-30]. （原始内容存档于2014-10-06）.

[3] Apostol, Tom M. An introduction to the theory of numbers. (Review of Hardy & Wright.) Mathematical Reviews (MathSciNet) MR0568909. American Mathematical Society. n.d. [2013-05-06]. （原始内容存档于2012-07-31）.

[6] Heath, Thomas L. A History of Greek Mathematics, Volume 1: From Thales to Euclid. Oxford: Clarendon Press. 1921 [2016-02-28].

[FOOTNOTEWeil198445–46-7] Weil 1984，第45–46頁.

[8] Weil 1984，第118頁，數論比其他數學領域容易出現這様的情形（說明在Mahoney 1994，第284頁）

[9] Mahoney 1994，第48, 53–54頁

[FOOTNOTEWeil198453-10] Weil 1984，第53頁.

[11] Tannery & Henry 1891，Vol. II, p. 209, Letter XLVI from Fermat to Frenicle, 1640, cited in Weil 1984，第56頁

[12] Tannery & Henry 1891，Vol. II, p. 204, cited in Weil 1984，第63頁

[FOOTNOTETanneryHenry1891Vol._II,_p._213-13] Tannery & Henry 1891，Vol. II, p. 213.

[FOOTNOTETanneryHenry1891Vol._II,_p._423-14] Tannery & Henry 1891，Vol. II, p. 423.

[FOOTNOTEWeil198480,_91–92-15] Weil 1984，第80, 91–92頁.

[FOOTNOTEWeil198492-16] Weil 1984，第92頁.

[FOOTNOTEWeil1984Ch._II,_sect._XV_and_XVI-17] Weil 1984，Ch. II, sect. XV and XVI.

[FOOTNOTEWeil1984104-18] Weil 1984，第104頁.

[FOOTNOTEWeil19842,_172-19] Weil 1984，第2, 172頁.

[FOOTNOTEVaradarajan20069-20] Varadarajan 2006，第9頁.

[21] Weil 1984，第2頁 and Varadarajan 2006，第37頁

[22] Varadarajan 2006，第39頁 and Weil 1984，第176–189頁

[Eulpell-23] Weil 1984，第174頁

[FOOTNOTEWeil1984183-24] Weil 1984，第183頁.

[FOOTNOTEVaradarajan200644–47-25] Varadarajan 2006，第44–47頁.

[FOOTNOTEWeil1984177–179-26] Weil 1984，第177–179頁.

[FOOTNOTEEdwards1983285–291-27] Edwards 1983，第285–291頁.

[FOOTNOTEVaradarajan200655–56-28] Varadarajan 2006，第55–56頁.

[FOOTNOTEWeil1984179–181-29] Weil 1984，第179–181頁.

[FOOTNOTEWeil1984181-30] 27.0 ^27.1 Weil 1984，第181頁.

[31] Apostol, Tom M., Introduction to analytic number theory, Undergraduate Texts in Mathematics, New York-Heidelberg: Springer-Verlag, 1976, ISBN 978-0-387-90163-3, MR 0434929, Zbl 0335.10001

[1]

[註 1]

[註 2]

[註 3]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[2]

查论编主要的数学领域
历史纲要（英语：Outline of mathematics）列表（英语：Lists of mathematics topics）符号表
数学基础	范畴论集合论数理逻辑数学哲学
代数	抽象交換群论初等代數线性代数多重线性代数泛代数
数学分析	微积分实变函数复变函数微分方程泛函分析調和分析傅立葉分析几何分析
离散数学	组合数学图论序理论博弈论
几何学	代数几何解析几何微分几何离散几何学欧几里得几何非欧几里得几何有限几何学
数论	算术代數數論解析数论几何数论算术几何丢番图几何
拓扑学	点集拓扑代数拓扑微分拓扑几何拓扑
统计学	测度与概率数理统计学数据科学统计推断迴歸分析统计学习理论机器学习人工智能数据结构与算法
计算数学	计算机科学计算理论数值分析最优化计算机代数
应用数学	控制论信息论计算化学数理生物学数理经济学计量经济学數理金融學数学心理学数学物理学生物統計學
其它	娱乐数学数学与艺术（英语：Mathematics and art）数学教育
注释	数学的领域也可根据“MSC分类标准”或“中国学科分类国家标准”进行分类。
分类主题共享资源专题

查论编计算机科学的主要领域
注：该模板大致遵循ACM 电脑分类系统。
计算机硬件	印刷电路板外部设备集成电路超大规模集成电路绿色计算電子設計自動化
系统架构组织	電腦系統架構嵌入式系统实时计算
网络	网络传输协议路由网络拓扑网络服务
软件组织	直譯器中间件虛擬機器操作系统软件质量
软件符号和工具	编程范型编程语言編譯器领域特定语言軟體框架集成开发环境软件配置管理函式庫
软件开发	软件开发过程需求分析软件设计软件部署軟體維護开源模式
计算理论	自动机可计算性理论計算複雜性理論量子计算数值计算方法计算机逻辑形式语义学
算法	算法分析算法设计算法效率随机化算法计算几何
计算数学	离散数学信息与计算科学统计学数学软件数理逻辑集合论数论图论类型论范畴论信息论数值分析数学分析
信息系统	数据库管理系统電腦數據企业信息系统社会性软件地理信息系统决策支持系统过程控制数据挖掘數位圖書館系统平台數位行銷万维网信息檢索
安全	密码学形式化方法入侵检测系统网络安全信息安全
人机交互	计算机辅助功能用户界面可穿戴计算机普适计算虚拟现实聊天機器人
并发性	并发计算并行计算分布式计算多线程多元處理
人工智能	自动推理计算语言学计算机视觉进化计算专家系统自然语言处理机器人学
机器学习	監督式學習無監督學習强化学习交叉驗證
计算机图形学	计算机动画可视化渲染修飾照片圖形處理器混合现实虚拟现实图像处理图像压缩实体造型
应用计算	电子商务企业级软件计算数学计算物理学计算化学计算生物学計算社會科學医学信息学数字艺术電子出版網絡戰电子游戏文字处理器運籌學教育技术学生物信息学认知科学文件管理系统（英语：Document management system）
分类主题专题维基共享

规范控制数据库
国际	FAST
各地	西班牙法国 BnF data 德国以色列美国日本捷克
其他	IdRef