Theorem of the Day
|
|
The list is presented here in reverse chronological order, so that new additions will appear at the top. This is not the order in which the theorem of the day is picked which is more designed to mix up the different areas of mathematics and the level of abstractness or technicality involved. The way that the list of theorems is indexed is described here.
Some of the theorem illustrations use Java applets or depend
on colour for their effect. Alternatives are provided as indicated. Except
for theorems with Java-based illustrations all files are pdf 
,
mostly between 100 and 200 Kbytes in size.
117. A theorem of Erdős and Wilson on Edge Colouring
116. The Polynomial Coprimality Theorem
115. The Hardy-Ramanujan Asymptotic Partition Formula
114. The Lagrange Property for Moufang Loops
113. van der Waerden's Conjecture
109. The Beardwood-Halton-Hammersley Theorem
108. The Analyst's Travelling Salesman Theorem
107. The Tverberg Partition Theorem
104. The Goins-Maddox-Rusin Theorem on Heron Triangles
103. The Parking Function Formula
101. Kepler's Conjecture (a Theorem under construction!)
100. The Design of the Century
97. Nevalinna's Five-Value Theorem
93. The Generalised Hexachord Theorem
91. Khinchin's Theorem on Continued Fractions
89. The Abel-Hurwitz Binomial Theorem
88. The Cauchy-Kovalevskaya Theorem
86. Noether's Symmetry Theorem
84. The Five Circle Theorem (or without Java applet)
83. The Delsarte-Goethals-Seidel Theorem
82. Gruenberg's Theorem on Nilpotent Groups
80. 1-factorisation of Regular Graphs (a Theorem under construction!) Colour-free version here.
78. The Three-Distance Theorem
75. Gödel's Second Incompleteness Theorem
74. Gödel's First Incompleteness Theorem
70. Graph Colouring by Vertex Degree (a Theorem under construction!)
69. Arrow's Impossibility Theorem
68. The Stable Marriage Theorem
66. An Erdő-Ko-Rado Theorem on Intersecting Permutations
64. Neumann's Separation Lemma
62. The Marriage Theorem and The Frobenius-König Theorem.
60. The Strong Perfect Graph Theorem
58. Galois' Theorem on Finite Fields
57. Garrett Birkhoff's Theorem
56. Morley's Miracle (or without Java applet)
55. Miquel's Triangle Theorem (or without Java applet)
54. The Bose Equivalence Theorem in Design Theory (600KB — a smaller version is here)
53. Bailey's Theorem on Latin Squares (or colour-free)
52. The Robertson-Seymour Graph Minor Theorem
51. A Theorem of Melody Chan on Group Actions
50. The Euler-Hierholzer "Bridges of Königsberg" Theorem
49. Netto's Conjecture (Dixon's Theorem)
48. Beineke's Theorem on Line Graphs
46. Cameron's Theorem on Distance-Transitive Graphs
44. Pappus' Theorem (or without Java applet)
35. The Second and Third Isomorphism Theorems
34. The First Isomorphism Theorem
32. The Green-Tao Theorem on Primes in Arithmetic Progression
29. Gauss' Law of Quadratic Reciprocity
22. Cantor's Uncountability Theorem
20. The Merton College Theorem
19. Dilworth's Theorem ( an older version with a snooker illustration)
18. Brouwer's Fixed Point Theorem
14. Cook's Theorem on NP-completeness
11. Lagrange's Four Squares Theorem
7. The Fundamental Theorem of Arithmetic
6. The Fundamental Theorem of Algebra
5. The Chinese Remainder Theorem
4. Euclid's Infinity of Primes
3. The Bruck-Ryser-Chowla Theorem on finite projective planes
