查看“︁数论年表”︁的源代码

{{Orphan|time=2024-03-15T16:01:34+00:00}}
'''[[数论]]'''的时间軸。

== 公元前1000年之前 ==

* 约[[旧石器时代晚期|公元前 20,000 年]]—[[尼罗河|尼罗河谷]]的[[伊尚戈骨]]：可能是最早提及[[质数|質数]]和{{le|古埃及乘法|Ancient Egyptian multiplication}}的文献，但这点尚存在争议。 <ref>{{Cite book|last=Rudman|first=Peter Strom|title=How Mathematics Happened: The First 50,000 Years|year=2007|publisher=Prometheus Books|isbn=978-1-59102-477-4|page=[https://archive.org/details/howmathematicsha0000rudm/page/64 64]|url=https://archive.org/details/howmathematicsha0000rudm/page/64}}</ref>

== 约公元前300年 ==

* 公元前 300 年——[[欧几里得]]证明[[欧几里得定理|存在無窮多個質数]]。

== 公元第一个千年 ==

* 250年 — [[丢番图]]撰写了《{{le|算術 (丟番圖著作)|Arithmetica|算术}}》 ，这是最早的[[代数]]专着之一。
* 500年 — [[阿耶波多]]求解一般线性[[丟番圖方程|丢番图方程]]。
* 628年 — [[婆羅摩笈多]]提出{{le|婆羅摩笈多恒等式|Brahmagupta's identity}}（Brahmagupta's identity），并求解[[佩尔方程]]。
* 约650年 — 印度数学家创造了平常使用的[[印度-阿拉伯数字系统]]，包括零、小数和负数。

== 1000 &#x2013; 1500 ==

* 约1000年 — [[阿布·马哈茂德·胡詹迪|Abu-Mahmud al-Khujandi]]最先陈述了[[费马大定理]]的特例。
* 895年 — [[萨比特·伊本·库拉|薩比特·伊本·庫拉]]给出一个可以找到[[相亲数|友好数]]对（即两个数字，每个数字都是另一个数字的[[因數|真因数]]之和）的[[塔別脫數|定理]]。
* 975年 — 最早的[[二項式係數|二项式系数]]三角形（帕斯卡三角形）出现在 10 世纪 Chandas Shastra 的评论中。
* 1150年 — [[婆什迦羅第二]]给出第一个求解[[佩尔方程]]的一般方法。
* 1260年 — [[法里西|Al-Farisi]]给出[[塔別脫數|萨比特·伊本·库拉定理]]的新证明，引入了有关[[因式分解]]和[[组合数学|组合]]方法的重要新思想。他还给出了一对友好数 17296 和 18416，这两个数字也被共同归因于[[皮埃爾·德·費馬|费马]]和薩比特·伊本·庫拉。 <ref>[http://amicable.homepage.dk/apstat.htm#discoverer Various AP Lists and Statistics] {{Webarchive|url=https://web.archive.org/web/20120728163824/http://amicable.homepage.dk/apstat.htm#discoverer|date=2012-07-28}}</ref>

== 17世纪 ==

* 1637年 — 皮埃尔·德·费马在丟番圖的《''算术''》副本中宣稱他证明了[[费马大定理]]。

== 18世纪 ==

* 1742年 — [[克里斯蒂安·哥德巴赫]]猜測每个大于二的[[偶数]]都可以被表示为两个質数的和，现被称做[[哥德巴赫猜想]]。
* 1770年 — [[约瑟夫·拉格朗日|约瑟夫·路易斯·拉格朗日]]证明[[四平方和定理]]，即每个正[[整数]]都是四个[[平方數]]的和。同年，[[爱德华·华林|爱德华·華林]]提出[[華林問題|華林问题]]，即对于任意正整数<math>k</math> ，每个正整数都是固定个数的<math>k
</math>次方和。
* 1796年 — [[阿德里安-玛丽·勒让德]]給出[[質數定理|質数定理]]的猜想。

== 19世纪 ==

* 1801年 —[[卡爾·弗里德里希·高斯|卡尔·弗里德里希·高斯]]的[[数论]]专着《''[[算术研究]]''》以拉丁文出版。
* 1825年 — [[約翰·彼得·古斯塔夫·勒熱納·狄利克雷]]和勒让德证明了费马大定理當 <math>n = 5
</math> 的情況。
* 1832年 — 狄利克雷证明了费马大定理當 <math>n = 14

</math> 的情況。
* 1835年 — 狄利克雷证明关于[[等差数列|等差數列]]中質数分布的[[狄利克雷定理]]。
* 1859年 — [[伯恩哈德·黎曼]]提出[[黎曼猜想]]，该猜想对質數的分布具有重要意义。
* 1896年 — [[雅克·阿达马]]和[[夏尔-让·德拉瓦莱·普桑]]独立证明[[質數定理|素数定理]]。
* 1896年 — [[赫尔曼·闵可夫斯基]]發表''《幾何數論》''。

== 20世纪 ==

* 1903年 — [[愛德蒙·蘭道]]给出質数定理的简单證明。
* 1909年 — [[大卫·希尔伯特|大卫希尔伯特]]证明[[華林問題|華林问题]]。
* 1912年 — Josip Plemelj 发布了费马大定理當 <math>n = 5
</math> 的简化证明。
* 1913年 — [[斯里尼瓦瑟·拉马努金]]寄給[[戈弗雷·哈罗德·哈代]]一长串没有证明的复杂定理。
* 1914年 — 拉马努金發表了''《Modular Equations and Approximations to π》''。
* 1910年代 — 拉马努金提出 3000 多个定理，包括[[高合成数]]的性质、分拆函数及其[[渐近分析|渐近函数]]以及[[模拟模块化形式|偽 theta 函数]] ([[Mock modular form|mock theta functions]]) 。他还在[[Γ函数]]、[[模形式]]、[[发散级数]]、[[广义超几何函数|超几何级数]]和質数數论等领域取得了重大突破和发现。
* 1919年 — [[瑋哥·布朗]]定义[[孪生素数]]的[[布朗定理|布朗常数]] <math>B_2
</math> 。
* 1937年 — [[伊萬·維諾格拉多夫]]证明[[維諾格拉多夫定理]]，即每个足够大的[[奇偶性 (数学)|奇]]整数都是三个質数的和，这是证明[[哥德巴赫弱猜想]]的接近方法。
* 1949年 — [[阿特勒·塞爾伯格]]和[[埃尔德什·帕尔|艾狄胥·帕爾]]给出了[[質數定理|質数定理]]的第一个基本证明。
* 1966年 — [[陈景润]]证明了[[陈氏定理]]，接近证明出[[哥德巴赫猜想]]。
* 1967年 —[[罗伯特·朗兰兹]]制定了在数论和[[表示论]]中颇具影响力的[[朗蘭茲綱領|朗兰兹纲领]]。
* 1983年 — [[格尔德·法尔廷斯]]证明[[莫德尔猜想]]，从而表明费马大定理的每个次方只有有限多組整数解。
* 1994年 — [[安德魯·懷爾斯]]证明[[谷山-志村定理|谷山-志村猜想]]的一部分，故而证明了[[费马大定理]]。
* 1999年 — 完整的谷山-志村猜想被证明。

== 21世纪 ==

* 2002年 — [[印度坎普爾理工學院|印度理工学院坎普尔分校]]的[[曼寧德拉·阿格拉瓦爾|Manindra Agrawal]] 、 [[尼汀·沙克謝納|Nitin Saxena]]和[[尼拉吉·卡亞爾|Neeraj Kayal]]提出了一种无条件，确定性[[时间复杂度|多项式时间]]算法来确定给定整數是否为[[质数|質数]]。
* 2002年 — [[普雷達·米赫伊列斯庫|Preda Mihăilescu]] 证明了[[卡塔蘭猜想]]。
* 2004年 — 本·格林 ( [[Ben Green]] ) 和[[陶哲轩]]证明[[格林-陶定理]]，该定理指出質數數列中包含任意长的等差數列。

== 参考 ==

[[Category:数论]]