
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 ,
mostly between 100 and 300 Kbytes in size.
A QED following a theorem indicates that the description includes a (sketch) proof of the theorem.
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). Thanks esp. to Demetres Christofides for Greek translations.
 The Third Isomorphism Theorem
 Bertrand's Ballot Theorem
 The Hanani–Tutte Theorem Poster
 The Power of a Point Theorem
 Bézout's Identity Poster
 A Theorem about Gaussian Moats
 Euler's Product Formula for Sine QED
 Euler's Product Formula for ζ(s) QED
 The Alternating Series Test
 The LYM Inequality QED
 A Theorem of Anderson, Cameron and Preece on Groups of Units
 The Pólya–Redfield Enumeration Theorem
 The Large Prime Gaps Theorem ( a Theorem under construction!)
 The Jones Knot Polynomial Theorem
 Kuratowski's 14Set Theorem
 Euler's Even Zeta Formula
 Sylvester's Catalecticant
 Kemeny's Constant
 A Theorem on Modular Fibonacci Periodicity
 A Generalised Hlawka Inequality
 The Circle Area Theorem Poster Greek Poster
 The Riemann Explicit Formula
 Sophie Germain's Identity QED

Ore's Theorem in Graph Theory QED French version
 Poncelet's Porism French version
 Fisher's Inequality QED
 Cauchy's Theorem in Group Theory QED
 Wolstenholme's Theorem
 The Spherical Law of Cosines
 Green's Theorem
 Tutte's Golden Identity Poster
 Faulhaber's Formula
 The InclusionExclusion Principle
 The Pappus–Guldin Theorems
 Integration by Parts
 The Riemann Rearrangement Theorem
 Taylor's Theorem
 Irrationality of Circumference of Unit Circle
 Wedderburn's Little Theorem
 A Theorem on Maximal Sumfree Sets in Groups
 The 6Circles Theorem
 Vizing's Theorem
 Willans' Formula QED
 The Basel Problem QED
 The Erdős Discrepancy Problem ( a
Theorem
under construction!)
 Toricelli's Trumpet QED
 The EratosthenesLegendre Sieve QED
 Euler's Formula QED
 The Classification of the Semiregular Tilings
 Singmaster's Binomial Multiplicity Bound ( a Theorem under construction!) QED
 Euler's Continued Fraction Correspondence
 The Friedlander–Iwaniec Theorem
 Jensen's Inequality
 Minkowski's Convex Body Theorem QED
 Fermat's TwoSquares Theorem QED
 The Art Gallery Theorem QED
 The Robin–Lagarias Theorem
 The Cantor–Bernstein–Schröder Theorem QED
 The Erdős–Ko–Rado Theorem QED
 Wilson's Theorem QED
 Frieze's Theorem on Expected Minimum Tree Length
 The Rotation Distance Bound
 L'Hospital's Rule
 Jackson's Theorem on Compatible Euler Tours monochrome
 The Handshaking Lemma QED
 alKāshi's Law of Cosines
 Karp's Theorem (Detail) QED
 The Insolvability of the Entscheidungsproblem QED
 Kőnig's Bipartite Matching Theorem
 von Neumann's Minimax Theorem
 Theorema Egregium
 The GirardNewton Identities
 Archimedes' Equiareal Map Theorem
 The Greibach Normal Form Theorem
 The Descartes Circle Theorem
 Sendov's Conjecture ( a Theorem under construction!)
 The Heine–Borel Theorem QED
 The Existence Theorem for Bachelor Latin Squares
 The Bungers–Lehmer Theorem on Cyclotomic Coefficients
 The Cameron–FonDerFlaass IBIS Theorem
 The Ramanujan Partition Congruences
 The Andrews–Garvan–Dyson Crank
 The BEST Theorem Poster
 Machin's Formula
 Sokal's Theorem on Chromatic Roots
 The MaxFlow MinCut Theorem
 The Lindemann–Weierstrass Theorem
 Haken's Unknot Theorem
 Lin McMullin's Theorem
 The Diaconis–Holmes–Montgomery Coin Tossing Theorem
 The Friendship Theorem
 Heath's Finitely Discontinuous Function Theorem
 Quadratic Nonresidue is ZeroKnowledge Provable QED
 The Classification of Archimedean 4Polytopes
 The McIver–Neumann 1/2n Bound
 The Albert–Brauer–Hasse–Noether Main Theorem
 The Transversal Matroid Theorem
 The Lecture Hall Partition Theorem
 A Tripartite Turán Theorem
 The Remainder Theorem QED
 Euler's Partition Identity QED
 De Moivre's Theorem
 The Small Prime Gaps Theorem
 Woodall's Hopping Lemma
 Euclid's Triangular Prism QED
 A Theorem of Schur on RealRootedness
 The Sophomore's Dream
 The Panarboreal Formula
 The Contraction Mapping Theorem QED
 Lieb's Square Ice Theorem
 The Robinson–Schensted–Knuth Correspondence QED
 Sylvester's Law of Inertia
 The Piff–Welsh Theorem
 A Theorem on Rectangular Tensegrities

Strassen's Matrix Theorem ( a Theorem under construction!) QED
 Vaughan
Pratt's Theorem
 Wallis's Product
 Theorems
of Euler and Rényi on 'e'
 Praeger's Theorem on Bounded Movement
 The Change of Variables Theorem
 The Total Probability Theorem
 Theaetetus' Theorem on the Platonic Solids
 The Existence Theorem for Orthogonal Diagonal Latin Squares
 A Theorem on Apollonian Circle Packings
 The Ollerenshaw–Brée Formula
 The Euclid–Euler Theorem
 The Lucas–Lehmer Test
 The Asymptotic (Half) Liar Formula
 The Skolem–Noether Theorem
 The Lagrange Interpolation Formula QED
 The Wedderburn–Artin Theorem
 The Borsuk–Ulam Theorem
 Lambert's Formula
 The Lovász Local Lemma
 Kneser's Conjecture
 Catalan's Conjecture (Mihăilescu's Theorem)
 A Theorem of Erdős and Wilson on Edge Colouring
 The Polynomial Coprimality Theorem
 The Hardy–Ramanujan Asymptotic Partition Formula
 The Lagrange Property for Moufang Loops
 van der Waerden's Conjecture
 Bregman's Theorem

De Morgan's Laws QED
 The Robbins Problem
 The Beardwood–Halton–Hammersley Theorem
 The Analyst's Travelling Salesman Theorem
 The Tverberg Partition Theorem
 Babbitt's Theorem
 The Pumping Lemma
 The Goins–Maddox–Rusin Theorem on Heron Triangles
 The Parking Function Formula QED
 Viète's Formula
 Kepler's Conjecture (
a Theorem
under construction!)
 The Design of the Century
 The Happy Ending Problem QED
 Cartwright's Theorem

Nevanlinna's FiveValue Theorem
 The Rule of Sarrus QED
 The Convolution Theorem
 Cayley's Formula
 The Generalised Hexachord Theorem
 The Quadratic Formula QED
 Khinchin's Theorem on Continued Fractions
 Cardano's Cubic Formula
 The Abel–Hurwitz Binomial Theorem
 The Cauchy–Kovalevskaya Theorem
 Lamé's Theorem QED
 Noether's Symmetry Theorem
 Cayley's Theorem
 The Five Circle Theorem
 The Delsarte–Goethals–Seidel Theorem
 Gruenberg's Theorem on Nilpotent Groups
 The Lutz–Nagell Theorem
 1Factorisation of Regular Graphs ( a Theorem under construction!) monochrome

The Fifteen Theorem
 The ThreeDistance Theorem
 Pick's Theorem
 Brahmagupta's Formula
 Gödel's Second Incompleteness Theorem
 Gödel's First Incompleteness Theorem
 Goodstein's Theorem
 MacWilliams' Identity
 Sharkovsky's Theorem
 The 123 Conjecture ( a Theorem under construction!)
 Arrow's Impossibility Theorem
 The Stable Marriage Theorem
 Reidemeister's Theorem
 An Erdős–Ko–Rado Theorem on Intersecting Permutations
 The Sims Conjecture
 Neumann's Separation Lemma
 Thales' Theorem
 The Marriage Theorem and The Frobenius–Kőnig Theorem
 Moufang's Theorem
 The Strong Perfect Graph Theorem
 Germain's Theorem Poster Greek Poster
 Galois' Theorem on Finite Fields
 The Birkhoff–von Neumann Theorem
 Morley's Miracle
 Miquel's Triangle Theorem
 The Bose Equivalence Theorem in Design Theory (600KB — a smaller
version is here)
 Bailey's Theorem on Latin Squares monochrome
 The Robertson–Seymour Graph Minors Theorem
 A Theorem of Melody Chan on Group Actions
 The Euler–Hierholzer "Bridges of Königsberg" Theorem
 Netto's Conjecture (Dixon's Theorem) monochrome
 Beineke's Theorem on Line Graphs
 The Binomial Theorem
 Cameron's Theorem on DistanceTransitive Graphs
 Binet's Formula
 Pappus' Theorem
 The DPRM Theorem
 Zeckendorf's Theorem
 Lagrange's Theorem
 Stirling's Approximation
 Pascal's Rule
QED
 Lucas' Theorem
 Girard's Theorem QED
 Euler's Identity QED
 The Second Isomorphism Theorem
 The First Isomorphism Theorem
 The Prime Number Theorem
 The Green–Tao Theorem on Primes in Arithmetic Progression
 Benford's Law
 The Law of Large Numbers
 Gauss's Law of Quadratic Reciprocity
 Ramsey's Theorem
 The Pythagorean Theorem QED
 Euler's Polyhedral Formula QED
 Wagner's Theorem
 Kuratowski's Theorem
 Cantor's Theorem QED
 Cantor's Uncountability Theorem QED
 Brun's Theorem
 The Merton College Theorem
 Dilworth's Theorem
 Brouwer's Fixed Point Theorem
 The WellOrdering Theorem
 Sperner's Lemma QED
 The Orbit Counting Lemma
 Cook's Theorem on NPcompleteness
 Fermat's Little Theorem QED
 The Matrix Tree Theorem
 Lagrange's FourSquares Theorem Poster
Greek Poster
 Bayes' Theorem
 Fermat's Last Theorem
 The Central Limit Theorem
 The Fundamental Theorem of Arithmetic
 The Fundamental Theorem of Algebra
 The Chinese Remainder Theorem QED
 Euclid's Infinity of Primes QED
 The Bruck–Ryser–Chowla Theorem on Finite Projective Planes
 The Fundamental Theorem of the Calculus
 The FourColour Theorem Poster Greek Poster
