100个最伟大的定理.docx

100 个最伟大的定理这一千年似乎刺激了许多人去编辑许多东西的“最重要的 100个”或是“最好的100个”的列表， 包括电影（由美国电影学会）和书（由现代图书馆）数学家并没有免疫这些影响，在 1999 年 7 月的一个数学会议中，Paul和Jack Abad提出了他们的“一百个最伟大的定理"名单他们给出 的排列是基于一下标准；“定理在文献中的地位、证明的质量与结果的意外性”这个排列当然同电影还有书排列的一样的武断，但是这里的定理必定都是很有价值的结果我希望随着时间的推移能够包含所有证明的链接；现在，你将会满足于这个表格本身与主角 们的传记1根号2的无理性毕达哥拉斯和他的学派卡尔•弗里德里希•高斯（Frederich Gauss）公元前 500年2代数基本定理(Karll7993实数集的不可数康托(Georg Cantor)18674勾股定理毕达哥拉斯和他的学派公元前 500年5素数定理阿达玛 （Ja（caues1896Hadamard ) 和普森Charles-Jean de la Vallee6哥德尔不完全性定理Poussin（分别地） 哥德尔（Kurt Godel）19317二次互反律咼斯(Karl Frederich Gauss)旺策尔(Pierre Wantzel)18018二分角与倍立方体的不可能18379圆的面积阿基米德（Archimedes）公元前22510费马小定理的欧拉推广（Fermat'sLittle 欧拉(Leonhard Euler)1760Theorem)(费马 Pierre de Fermat)(1640)11素数是无穷的欧几里德（Euclid）公元前 30012第五公设的独立性咼 斯 (Karl Frederich1870-1880Gauss). J.波约(JanosBolyai).尼古拉.罗巴切夫斯 基 (Nikolai Lobachevsky . G离 曼 (G.F, BernhardRiemann collectively13多面体的欧拉公式欧拉(Leonhard Euler)l75l14欧拉对级数1 + (1/2厂2 +和仃/3厂2的求欧拉(Leonhard Euler)l73415微积分基本定理莱布尼兹(Gottfried Wilhelml686von Leibniz)［译注】：此定理由牛顿与莱布尼兹分别得出l6一般的高次方程无根式解阿贝尔(Niels Henrik Abel)1824l7棣莫弗定理棣莫弗(Abraham DeMoivre) 1730l8刘维尔定理和超越数的构造刘维尔(Joseph Liouville)1844l9四平方和定理拉格朗日(Joseph-Louis1770Lagrange)20所有素数都可以写成两个熟的平方和??2l格林定理格林(George Green)182822连续统的不可数性康托(Georg Cantor)187423勾股数公式欧几里德(Euclid)公元前 30024连续统假设的不可判定性【译注】：对ZF 科恩(Paul Cohen)1963公理系统25施罗德-伯恩斯坦定理??26莱布尼兹的 pi 的级数莱布尼兹(Gottfried Wilhelm1674 von Leibniz)27三角形内角和欧几里德(Euclid)300 B.C.28帕斯卡六边形定理帕斯卡(Blaise Pascal)164029费尔巴哈定理费尔巴哈(Karl Wilhelm1822Feuerbach)30投票问题贝特朗(J-L.F. Bertrand)18873l拉姆塞定理拉姆塞(F.P. Ramsey)193032四色问题阿佩尔(Kenneth Appel)与哈 1976 肯( Wolfgang Haken)33费马大定理怀尔斯(Andrew Wiles)199334调和级数的发散性奥里斯姆(Nicole Oresme)135035泰勒定理泰勒(Brook Taylor)171536Brouwer 不动点定理L.E.J. Brouwer1910373839404142434445464748495051525354555657三次方程解法算术平均值/几何平均值(Proof by Backward Induction)(Polya Proof)佩尔方程的解闵可夫斯基基本定理皮瑟定理三角形数的倒数和等周定理二项式定理分解定理一般四次方程的解中心极限定理狄利克雷定理Cayley-Hamilton 定理正多面体的数量Wilson 定理集合的子集数Pi 是超越数哥尼斯堡七桥问题切割弦定理 埃尔米特-林德曼超越数定理海伦公式希皮奥内•德尔•费罗(Scipionel500Del Ferro)柯西(Augustin-Louis Cauchy) ?波利 亚.(George Polya) ?欧拉(Leonhard Euler) 1759闵可 夫斯基 (Hermann 1896Minkowski)皮瑟(Victor Puiseux)(建立 1850在牛顿1671年的一个发现的基础上)莱布尼兹(Gottfried Wilhelm1672 von Leibniz)斯坦纟纳(Jacob Steiner) 1838牛顿(Isaac Newton) 1665欧拉(Leonhard Euler) 1740费拉里(Lodovico Ferrari) 1545??狄 利克雷 (Peter Lejune1837Dirichlet)Arthur Cayley 1858西厄蒂特斯(Theaetetus) 400 B.C.拉格朗 日(Joseph-Louis 1773Lagrange) ??林 德 曼 ( Ferdinand 1882Lindemann)欧拉(Leonhard Euler) 1736欧几里德(Euclid) 300 B.C.林 德 曼 ( Ferdinand 1882Lindemann)海伦(Heron of Alexandria) 75大数定理 裴蜀定理裴蜀(Etienne Bezout) ?赛瓦定理赛瓦(Giovanni Ceva) 1678公平博弈定理??康托定理康托(Georg Cantor) 1891洛必达法则伯努利(John Bernoulli) 1696?等腰三角形定理欧几里德（Euclid） 公元前300几何级数和阿基米德（Archimedes） 公元前260 ?e 是超越数厄尔米特(Charles Hermite) 1873等差数列求和巴比伦人 公 元 前1700辗转相除法欧几里德（Euclid） 公元前300完美数定理欧几里德（Euclid） 公元前300子集的阶拉 格朗日(Joseph-Louis1802Lagrange)Sylow 定理Ludwig Sylow 1870上升或下降序列(Ascending or Descending 厄尔朵思(Paul Erdos)和 G. 1935Sequences)Szekeres数学归纳法原理热尔松(Levi ben Gerson) 1321平均值定理柯西(Augustine-Louis1823Cauchy)傅里叶级数傅里叶(Joseph Fourier) 1811k 次方的和伯努利(Jakob Bernouilli) 1713Cauchy-Schwarz 不等式柯西 ( Augustine-Louis 1814?Cauchy)中值定理柯西 ( Augustine-Louis 1821Cauchy)算数基本定理欧几里德(Euclid) 300 B.C.素数的倒数和是分散的欧 拉 (Leonhard Euler) 1734?596061626364656667686970717273747576777879808182立方和的分解（J.E. Littlewood的优美证明）R.L. Brooks194083朋友定理厄尔朵思(Paul Erdos - Alfred 1966Renyi, Vera Sos84莫利定理莫利(Frank Morley)189985被三整除性??86Lebesgue 测度与积分勒贝格(Henri Lebesgue)190287笛沙格定理笛沙格(Gerard Desargues)165088错位排列公式??89因数与余数定理??90斯特林公式斯特林(James Stirling)173091三角不等式??92皮克定理George Pick189993生日问题??94余弦定理韦达(Francois Viete)157995托勒密定理托勒密（Ptolemy）120?96容斥原理??97克莱姆法则克莱姆(Gabriel Cramer)175098Bertrand 假设【译注】对 n>3,在 n 和 2n-2J.L.F. Bertrand 之间必有素数1860?99蒲丰投针问题蒲丰(Comte de Buffon1733100笛卡尔符号原则【译注】一种确定正根与笛卡尔(Rene Descartes)1637负根个数的方法S 二 J(p - a)(p - b)(p - c)(p - d)(p - e)/ p p 二(a + b + c + d + e)/2。