1 几何
1.1梅涅劳斯定理，Menelaus
1.2塞瓦定理，Ceva，1678
1.3笛沙格定理，Desargues，1639
1.4帕斯卡定理，Pascal， 1639
1.5帕普斯定理，Pappus ,320
1.6托勒密定理，Ptolemy
1.7三弦定理
1.8张角定理
1.9西姆松定理，Simson，1797
1.10 斯坦纳定理，Steiner，1856
1.11 斯特瓦尔特定理，Stewart，1746
1.12 布利安桑定理，Brianchon，1806
1.13 布洛卡定理，Brocard
1.14 密克定理，Miguel，1838
1.15 蝴蝶定理，1803
1.16 蒙日圆定理，Monge
1.17 开世定理，Casey，1866
1.18 费尔巴哈定理，Feuerbach，1822
1.19高斯-波登米勒定理，Gauss-Bodenmiller
1.20彭赛列闭合定理，Poncelet，1813
1.21莫利定理，Morley，1900
1.22沢山引理，Sawayama，1905
1.23Thébault 定理，1938
1.24笛卡尔圆定理，Descartes，1643
1.25 杜洛斯-凡利线定理，Droz-Farny，1899
1.26;Sondat定理，1894
1.27 Erd6s-Mordell 不等式，1935
2 不等式
2.1均值不等式
2.2柯西不等式，Cauchy，1821
2.3Aczél 不等式，1956
2.4拉格朗日恒等式，Lagrange
2.5排序不等式
2.6切比雪夫不等式，Chebyshev
2.7阿贝尔变换，Abel，1826
2.8伯努利不等式，Bernoulli，1689
2.9琴生不等式，Jensen，1906
2.10 幂平均不等式，1858
2.11范数不等式，1902
2.12 赫尔德不等式，Hölder，1889
2.13 闵可夫斯基不等式，Minkowski，1896
2.14樊畿不等式，1959
2.15嵌入不等式，Wolstenholme，1867
2.16 舒尔不等式，Schur，1934
2.17康托洛维奇不等式，Kantorovich，1948
2.18 波利亚-舍贵不等式，Pólya-Szegö，1925
2.19 Ostrowski 不等式，1951
2.20 哈代不等式，Hardy，1920.
2.21Carleman 不等式，1923
2.22 希尔伯特不等式，Hilbert，1888
2.23 Carlson 不等式，1934
2.24 Fan-Taussky-Todd 不等式，1955
2.25 Lenhard 不等式，1957
2.26Hlawka 不等式，1942
2.27 卡拉玛特不等式，Karamata，1932
2.28 Popoviciu 不等式，1965
2.29牛顿不等式，Newton，1707
2.30麦克劳林不等式，Maclaurin，1729
2.31Surányi 不等式，1968
3 多项式
3.1韦达定理，Vieta，1579
3.2代数基本定理，1608
3.3牛顿恒等式，Newton，1629
3.4拉格朗日插值公式，Lagrange，1795
3.5艾森斯坦判别法，Eisenstein，1846
3.6组合零点定理，Alon，1999
3.7高斯-卢卡斯定理，Gauss-Lucas，1836
3.8Marden定理，1864
3.9笛卡尔符号法则，Descartes，1637
3.10 Perron 判别法，1907.
3.11 Cohn 判别法，1925
3.12 Mason-Stothers 定理，1981
4.数论
4.1算术基本定理
4.2裴蜀定理，Bézout，1624
4.3费马小定理，Fermat，1640
4.4欧拉定理，Euler，1736
4.5威尔逊定理，Wilson，1770
4.6中国剩余定理
4.7拉格朗日定理，Lagrange
4.8欧拉判别法，Euler，1761
4.9二次互反律，Gauss，1801
4.10 Thue 引理，1902
4.11 费马二平方和定理，Fermat，1640
4.12 拉格朗日四平方和定理，Lagrange，1770
4.13 厄米特恒等式，Hermite，1884
4.14 勒让德公式，Legendre，1808
4.15 指数提升引理 ...
4.16 卢卡斯定理，Lucas，1878
4.17 库默尔定理，Kummer，1852
4.18 沃斯滕霍姆定理，Wolstenholme，1862
4.19 舒尔定理，Schur，1912
4.20 亨泽尔引理，Hensel，1904
4.21 莫比乌斯反演公式，Möbius，1832
4.22 闵可夫斯基定理，Minkowski，1896
4.23 狄利克雷逼近定理，Dirichlet，1842
4.24 克罗内克逼近定理，Kronecker，1884
4.25 Hurwitz 无理数定理，1891
4.26 刘维尔定理，Liouville，1844
4.27 Thue 定理，1909..
4.28 小林定理，Kobayashi，1981
4.29Erd6s-Ginzburg-Ziv定理，1961
4.30 柯西-达文波特定理，Cauchy-Davenport，1813
4.31Chevalley-Warning定理，1935
4.32 卡塔兰猜想，Catalan，1844
4.33 Bertrand 假设，1845
4.34 Sylvester-Schur 定理，1892
4.35 Mertens 定理，1874
4.36 狄利克雷定理，Dirichlet，1837
4.37 Pólya-Vinogradov 不等式，1918
4.38 Zsigmondy 定理，1892
4.39 Beatty 定理，1894
4.40 Uspensky 定理，1927
4.41 Lerch 同余式，1905
5 组合
5.1施佩纳定理，Sperner，1928
5.2LYM 不等式，Lubell-Yamamoto-Meshalkin，1954
5.3Bollobás 定理，1965
5.4Erd6s-Ko-Rado定理，1961
5.5Kleitman引理，1966
5.6Fisher 不等式，1940
5.5舒尔定理，Schur，1917
5.8Dilworth 定理，1950
5.9Mirsky 定理，1971
5.10 Erd6s-Szekeres 定理，1935
5.11太阳花引理，1960
5.12 拉格朗日反演公式，Lagrange，1770
5.13 范德瓦尔登定理，van der Waerden，1927
5.14 Rado 定理，1933
5.15 Raney引理，1960
6.图论
6.1图兰定理，Turán，1941
6.2拉姆赛定理，Ramsey，1930
6.3雀尔定理，Hall，1935
6.4Ore 定理，1960
6.5Caro-Wei定理，1979
6.6交叉数引理，1973
6.7Berge 定理，1957
6.8Gallai-Roy 定理，1958
6.9 Brooks定理，1941
6.10 König 边染色定理，1916
6.11 Vizing 定理，1964
6.12 Tutte 定理，1947
6.13 Menger 定理，1927
6.14 K6nig-Egeváry 定理，1931
6.15 Hoffman-Singleton 定理，1960
6.16 友谊定理，1966
6.17 Graham-Pollak定理，1972
6.18 Erdös-Gallai 定理，1960
7.组合体
7.1皮克定理，Pick，1899
7.2欧拉多面体公式，Euler，1750
7.3海莱定理，Helly，1913
7.4Sylvester-Gallai定理，1893
7.5施佩纳引理，Sperner，1928
7.6Szemerédi-Trotter定理，1983.
7.7Spencer-Szemerédi-Trotter定理，1984
8.概率
8.1Bonferroni 不等式，1936
8.2马尔可夫不等式，Markov，1889
8.3切比雪夫不等式，Chebyshev，1853
8.4霍夫丁不等式，Hoefding，1963
8.5 Lovász 局部引理，1975
9.其他
9.1离散介值定理
9.2欧拉四平方和恒等式，Euler，1749
9.3齐肯多夫定理，Zeckendorf，1939
9.4西格尔引理，Siegel，1929
