Theorem of the Day  

 

 

Home

 

 

Resources Centre

 

 

Gallery Shop

  

 

Acknowledgements 

 

 

Other listings
Alphabetical Theorem List
Subject Listings
Theorems by Women Mathematicians  
Index of Mathematicians
Bibliography

Theorem of the Day is maintained by Robin Whitty. Comments or suggestions are welcomed by me.
"Theorem of the Day" is registered as a UK Trademark, no. 00003123351. All text and images and associated .pdf files © Robin Whitty, 2005–2023, except where otherwise acknowledged. See FAQ for more.
Website terms and conditions

Jump to Top
Jump to Top
Jump to Top
Jump to Top
Jump to Top
Jump to Top
Jump to Top

Complete Theorem Listing

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.

All files are pdf pdf file icon, mostly between 100 and 300 Kbytes in size.

A QED following a theorem indicates that the description includes a (sketch) proof of the theorem.

A Notes link takes you to accompanying notes (e.g. expert commentary or references to source articles). Uses MathJax which takes a while to load and is unpredictable on handheld devices.

A list of theorems which may eventually feature in this list is given here, of value mostly because I record web links to relevant material.

Alternative versions of theorem descriptions are available as indicated:

  • monochrome versions, where theorem illustrations depend on colour for their effect;
  • poster versions supress clickable icons and add a more visible theoremoftheday logo
  • translations from the original English (may have some variation in content). People who helped with translation are acknowledged here and on individual theorem pages by their initials next to a translation  icon symbol
  1. Turing-completeness of Conway's Game of Life    Notes
  2. Bondy's Subset Theorem   NotesFibonacci imageFrench version
  3. Tunnell's Theorem    Notes
  4. The Shoelace Formula    Notes
  5. The Polygonal Number Theorem    QED   Notes
  6. Euclid's Pythagorean Formula   NotesFibonacci imageFrench version
  7. Dunn and Pretty's Triangle-Halving Deltoid   Notes
  8. Schur's Commuting Matrices Bound   Notes
  9. Sylow's Theorems   Notes
  10. Distribution of Local Maxima in Random Samples   Notes
  11. Moreau's Necklace Formula   Notes
  12. Countability of the Rationals    QED   Notes
  13. Kasteleyn's Theorem   Notes
  14. The Third Isomorphism Theorem   Notes
  15. Bertrand's Ballot Theorem    QED   Notes
  16. The Hanani–Tutte Theorem   NotesFibonacci imagePoster
  17. The Power of a Point Theorem     QED   Notes
  18. Bézout's Identity     QED   NotesFibonacci imagePoster
  19. A Theorem about Gaussian Moats    Notes
  20. Euler's Product Formula for Sine    QEDNotes
  21. Euler's Product Formula for ζ(s)     QED   Notes
  22. The Alternating Series Test    Notes
  23. The LYM Inequality   QED    Notes
  24. A Theorem of Anderson, Cameron and Preece on Groups of Units   Notes
  25. The Pólya–Redfield Enumeration Theorem   Notes
  26. The Large Prime Gaps Theorem (Notes icon a Theorem under construction!)   Notes
  27. The Jones Knot Polynomial Theorem   Notes
  28. Kuratowski's 14-Set Theorem   Notes
  29. Euler's Even Zeta Formula   Notes
  30. Sylvester's Catalecticant   Notes
  31. Kemeny's Constant   Notes
  32. A Theorem on Modular Fibonacci Periodicity    QED   Notes
  33. A Generalised Hlawka Inequality   Notes
  34. The Circle Area Theorem    QED   NotesFibonacci imagePosterFibonacci imageGreek Poster
  35. The Riemann Explicit Formula   Notes
  36. Sophie Germain's Identity    QED   Notes
  37. Ore's Theorem in Graph Theory QED   NotesFibonacci imageFrench version
  38. Poncelet's Porism   NotesFibonacci imageFrench version
  39. Fisher's Inequality    QED   Notes
  40. Cauchy's Theorem in Group Theory   QED   NotesFibonacci imageFrench version
  41. Wolstenholme's Theorem   Notes
  42. The Spherical Law of Cosines   Notes
  43. Green's Theorem   Notes
  44. Tutte's Golden Identity    NotesFibonacci imagePoster
  45. Faulhaber's Formula   Notes
  46. The Inclusion-Exclusion Principle   Notes
  47. The Pappus–Guldin Theorems   Notes
  48. Integration by Parts   Notes
  49. The Riemann Rearrangement Theorem    QED   Notes
  50. Taylor's Theorem   Notes
  51. Irrationality of Circumference of Unit Circle    QED   Notes
  52. Wedderburn's Little Theorem   Notes
  53. A Theorem on Maximal Sum-free Sets in Groups   Notes
  54. The 6-Circles Theorem   Notes
  55. Vizing's Theorem   Notes
  56. Willans' Formula   QED   Notes
  57. The Basel Problem   QED   Notes
  58. The Erdős Discrepancy Problem (Notes icon a Theorem under construction!)   Notes
  59. Toricelli's Trumpet QED   NotesFibonacci imageFrench version
  60. The Eratosthenes-Legendre Sieve QED   Notes
  61. Euler's Formula QED   Notes
  62. The Classification of the Semiregular Tilings   Notes
  63. Singmaster's Binomial Multiplicity Bound (Notes icon a Theorem under construction!)  QED   Notes
  64. Euler's Continued Fraction Correspondence    Notes
  65. The Friedlander–Iwaniec Theorem    Notes
  66. Jensen's Inequality    Notes
  67. Minkowski's Convex Body Theorem QED   Notes
  68. Fermat's Two-Squares Theorem QED   Notes
  69. The Art Gallery Theorem QED   Notes
  70. The Robin–Lagarias Theorem   Notes
  71. The Cantor–Bernstein–Schröder Theorem QED   Notes
  72. The Erdős–Ko–Rado Theorem QED   Notes
  73. Wilson's Theorem QED   Notes
  74. Frieze's Theorem on Expected Minimum Tree Length   Notes
  75. The Rotation Distance Bound   Notes
  76. L'Hospital's Rule   Notes
  77. Jackson's Theorem on Compatible Euler Tours   NotesFibonacci imagemonochrome
  78. The Handshaking Lemma QED   Notes
  79. al-Kāshi's Law of Cosines   Notes
  80. Karp's Theorem (Detail) QED   Notes
  81. The Insolvability of the Entscheidungsproblem QED   Notes
  82. Kőnig's Bipartite Matching Theorem   Notes
  83. von Neumann's Minimax Theorem   Notes
  84. Theorema Egregium   Notes
  85. The Girard-Newton Identities   Notes
  86. Archimedes' Equiareal Map Theorem   Notes
  87. The Greibach Normal Form Theorem   Notes
  88. The Descartes Circle Theorem   Notes
  89. Sendov's Conjecture (Notes icon a Theorem under construction!)   Notes
  90. The Heine–Borel Theorem QED   Notes
  91. The Existence Theorem for Bachelor Latin Squares   Notes
  92. The Bungers–Lehmer Theorem on Cyclotomic Coefficients   Notes
  93. The Cameron–Fon-Der-Flaass IBIS Theorem   Notes
  94. The Ramanujan Partition Congruences   Notes
  95. The Andrews–Garvan–Dyson Crank   Notes
  96. The BEST Theorem    NotesFibonacci imagePoster
  97. Machin's Formula   Notes
  98. Sokal's Theorem on Chromatic Roots   Notes
  99. The Max-Flow Min-Cut Theorem   Notes
  100. The Lindemann–Weierstrass Theorem   Notes
  101. Haken's Unknot Theorem   Notes
  102. Lin McMullin's Theorem   Notes
  103. The Diaconis–Holmes–Montgomery Coin Tossing Theorem   Notes
  104. The Friendship Theorem   Notes
  105. Heath's Finitely Discontinuous Function Theorem   Notes
  106. Quadratic Nonresidue is Zero-Knowledge Provable QED   Notes
  107. The Classification of Archimedean 4-Polytopes   Notes
  108. The McIver–Neumann 1/2-n Bound   Notes
  109. The Albert–Brauer–Hasse–Noether Main Theorem   Notes
  110. The Transversal Matroid Theorem   Notes
  111. The Lecture Hall Partition Theorem   Notes
  112. A Tripartite Turán Theorem   Notes
  113. The Remainder Theorem QED   Notes
  114. Euler's Partition Identity QED   Notes
  115. De Moivre's Theorem   Notes
  116. The Small Prime Gaps Theorem   Notes
  117. Woodall's Hopping Lemma   Notes
  118. Euclid's Triangular Prism QED   Notes
  119. A Theorem of Schur on Real-Rootedness   Notes
  120. The Sophomore's Dream   Notes
  121. The Panarboreal Formula   Notes
  122. The Contraction Mapping Theorem QED   Notes
  123. Lieb's Square Ice Theorem   Notes
  124. The Robinson–Schensted–Knuth Correspondence QED   Notes
  125. Sylvester's Law of Inertia   Notes
  126. The Piff–Welsh Theorem   Notes
  127. A Theorem on Rectangular Tensegrities   Notes
  128. Strassen's Matrix Theorem (Notes icon a Theorem under construction!) QED    Notes
  129. Vaughan Pratt's Theorem   Notes
  130. Wallis's Product   Notes
  131. Theorems of Euler and Rényi on 'e'   Notes
  132. Praeger's Theorem on Bounded Movement   Notes
  133. The Change of Variables Theorem   Notes
  134. The Total Probability Theorem   Notes
  135. Theaetetus' Theorem on the Platonic Solids   Notes
  136. The Existence Theorem for Orthogonal Diagonal Latin Squares   Notes
  137. A Theorem on Apollonian Circle Packings   Notes
  138. The Ollerenshaw–Brée Formula   Notes
  139. The Euclid–Euler Theorem   Notes
  140. The Lucas–Lehmer Test   Notes
  141. The Asymptotic (Half) Liar Formula   Notes
  142. The Skolem–Noether Theorem   Notes
  143. The Lagrange Interpolation Formula QED   Notes
  144. The Wedderburn–Artin Theorem   Notes
  145. The Borsuk–Ulam Theorem   Notes
  146. Lambert's Formula   Notes
  147. The Lovász Local Lemma   Notes
  148. Kneser's Conjecture   Notes
  149. Catalan's Conjecture (Mihăilescu's Theorem)   NotesFibonacci imageSpanish version
  150. A Theorem of Erdős and Wilson on Edge Colouring   Notes
  151. The Polynomial Coprimality Theorem   Notes
  152. The Hardy–Ramanujan Asymptotic Partition Formula   Notes
  153. The Lagrange Property for Moufang Loops   Notes
  154. van der Waerden's Conjecture   Notes
  155. Bregman's Theorem   Notes
  156. De Morgan's Laws QED   Notes
  157. The Robbins Problem   Notes
  158. The Beardwood–Halton–Hammersley Theorem   Notes
  159. The Analyst's Travelling Salesman Theorem   Notes
  160. The Tverberg Partition Theorem   Notes
  161. Babbitt's Theorem   Notes
  162. The Pumping Lemma   Notes
  163. The Goins–Maddox–Rusin Theorem on Heron Triangles   Notes
  164. The Parking Function Formula QED   Notes
  165. Viète's Formula   Notes
  166. Kepler's Conjecture (Notes icon a Theorem under construction!)   Notes
  167. The Design of the Century   Notes
  168. The Happy Ending Problem QED   Notes
  169. Cartwright's Theorem   Notes
  170. Nevanlinna's Five-Value Theorem   Notes
  171. The Rule of Sarrus QED   Notes
  172. The Convolution Theorem   Notes
  173. Cayley's Formula    Notes
  174. The Generalised Hexachord Theorem   Notes
  175. The Quadratic Formula QED   Notes
  176. Khinchin's Theorem on Continued Fractions   Notes
  177. Cardano's Cubic Formula   Notes
  178. The Abel–Hurwitz Binomial Theorem   Notes
  179. The Cauchy–Kovalevskaya Theorem   Notes
  180. Lamé's Theorem QED   Notes
  181. Noether's Symmetry Theorem   Notes
  182. Cayley's Theorem   Notes
  183. The Five Circle Theorem    Notes
  184. The Delsarte–Goethals–Seidel Theorem    Notes
  185. Gruenberg's Theorem on Nilpotent Groups   Notes
  186. The Lutz–Nagell Theorem   Notes
  187. 1-Factorisation of Regular Graphs (Notes icon a Theorem under construction!)    NotesFibonacci imagemonochrome
  188. The Fifteen Theorem   Notes
  189. The Three-Distance Theorem   Notes
  190. Pick's Theorem   Notes
  191. Brahmagupta's Formula   Notes
  192. Gödel's Second Incompleteness Theorem   Notes
  193. Gödel's First Incompleteness Theorem    Notes
  194. Goodstein's Theorem   Notes
  195. MacWilliams' Identity   Notes
  196. Sharkovsky's Theorem   Notes
  197. The 1-2-3 Conjecture (Notes icon a Theorem under construction!)    Notes
  198. Arrow's Impossibility Theorem   Notes
  199. The Stable Marriage Theorem   Notes
  200. Reidemeister's Theorem   Notes
  201. An Erdős–Ko–Rado Theorem on Intersecting Permutations   Notes
  202. The Sims Conjecture   Notes
  203. Neumann's Separation Lemma   Notes
  204. Thales' Theorem   Notes
  205. The Marriage Theorem and The Frobenius–Kőnig Theorem   Notes
  206. Moufang's Theorem   Notes
  207. The Strong Perfect Graph Theorem   Notes
  208. Germain's Theorem    NotesFibonacci imagePosterFibonacci imageGreek Poster
  209. Galois' Theorem on Finite Fields   Notes
  210. The Birkhoff–von Neumann Theorem   Notes
  211. Morley's Miracle    NotesFibonacci imageFrench version
  212. Miquel's Triangle Theorem    Notes
  213. The Bose Equivalence Theorem in Design Theory (600KB — a smaller version is here)    Notes
  214. Bailey's Theorem on Latin Squares    NotesFibonacci imagemonochrome
  215. The Robertson–Seymour Graph Minors Theorem   Notes
  216. A Theorem of Melody Chan on Group Actions   Notes
  217. The Euler–Hierholzer "Bridges of Königsberg" Theorem   Notes
  218. Netto's Conjecture (Dixon's Theorem)    Notes
  219. Beineke's Theorem on Line Graphs   Notes
  220. The Binomial Theorem   Notes
  221. Cameron's Theorem on Distance-Transitive Graphs   Notes
  222. Binet's Formula   Notes
  223. Pappus' Theorem    Notes
  224. The DPRM Theorem   Notes
  225. Zeckendorf's Theorem    Notes
  226. Lagrange's Theorem    Notes
  227. Stirling's Approximation    Notes
  228. Pascal's Rule QED   Notes
  229. Lucas' Theorem   Notes
  230. Girard's Theorem QED   Notes
  231. Euler's Identity QED   Notes
  232. The Second Isomorphism Theorem   Notes
  233. The First Isomorphism Theorem   Notes
  234. The Prime Number Theorem   Notes
  235. The Green–Tao Theorem on Primes in Arithmetic Progression   Notes
  236. Benford's Law   Notes
  237. The Law of Large Numbers   Notes
  238. Gauss's Law of Quadratic Reciprocity   Notes
  239. Ramsey's Theorem   Notes
  240. The Pythagorean Theorem    QED    Notes
  241. Euler's Polyhedral Formula QED    Notes
  242. Wagner's Theorem   Notes
  243. Kuratowski's Theorem   Notes
  244. Cantor's Theorem QED   NotesFibonacci imageFrench version
  245. Cantor's Uncountability Theorem QED   NotesFibonacci imageFrench version
  246. Brun's Theorem   Notes
  247. The Merton College Theorem   Notes
  248. Dilworth's Theorem   Notes
  249. Brouwer's Fixed Point Theorem   NotesFibonacci imageFrench version
  250. The Well-Ordering Theorem   Notes
  251. Sperner's Lemma QED   Notes
  252. The Cauchy–Frobenius Lemma   NotesFibonacci imageFrench version
  253. Cook's Theorem on NP-completeness   Notes
  254. Fermat's Little Theorem QED   Notes
  255. The Matrix Tree Theorem   Notes
  256. Lagrange's Four-Squares Theorem   NotesFibonacci imagePosterFibonacci imageGreek Poster
  257. Bayes' Theorem   Notes
  258. Fermat's Last Theorem   Notes
  259. The Central Limit Theorem   Notes
  260. The Fundamental Theorem of Arithmetic   Notes
  261. The Fundamental Theorem of Algebra   Notes
  262. The Chinese Remainder Theorem QED   Notes
  263. Euclid's Infinity of Primes QED   Notes
  264. The Bruck–Ryser–Chowla Theorem on Finite Projective Planes   Notes
  265. The Fundamental Theorem of the Calculus   Notes
  266. The Four-Colour Theorem    NotesFibonacci imagePosterFibonacci imageGreek PosterFibonacci imageFrench version


















Jump to Top