| The
Whole Jolly Lot
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
112.
Bregman's Theorem
111.
De Morgan's Laws
110.
The Robbins Problem
109.
The Beardwood-Halton-Hammersley Theorem
108.
The Analyst's Travelling Salesman Theorem
107.
The Tverberg Partition Theorem
106.
Babbitt's Theorem
105.
The Pumping Lemma
104.
The Goins-Maddox-Rusin Theorem on Heron Triangles
103.
The Parking Function Formula
102.
Viète's Formula
101.
Kepler's Conjecture (a Theorem
under construction!)
100.
The Design of the Century
99.
The Happy Ending Problem
98.
Cartwright's Theorem
97.
Nevalinna's Five-Value Theorem
96.
The Rule of Sarrus
95.
The Convolution Theorem
94.
Cayley's Formula
93.
The Generalised Hexachord Theorem
92.
The Quadratic Formula
91.
Khinchin's Theorem on Continued Fractions
90.
Cardano's Cubic Formula
89.
The Abel-Hurwitz Binomial Theorem
88.
The Cauchy-Kovalevskaya Theorem
87.
Lamé's Theorem
86.
Noether's Symmetry Theorem
85.
Cayley's Theorem
84.
The Five Circle Theorem (or without
Java applet)
83.
The Delsarte-Goethals-Seidel Theorem
82.
Gruenberg's Theorem on Nilpotent Groups
81.
The Lutz-Nagell Theorem
80.
1-factorisation of Regular Graphs (a Theorem
under construction!) Colour-free version here.
79.
The Fifteen Theorem
78.
The Three-Distance Theorem
77.
Pick's Theorem
76.
Brahmagupta's Formula
75.
Gödel's Second Incompleteness Theorem
74.
Gödel's First Incompleteness Theorem
73.
Goodstein's Theorem
72.
MacWilliams' Theorem
71.
Sharkovsky's Theorem
70.
Graph Colouring by Vertex Degree (a Theorem
under construction!)
69.
Arrow's Impossibility Theorem
68.
The Stable Marriage Theorem
67.
Reidemeister's Theorem
66.
An Erdő-Ko-Rado Theorem on Intersecting Permutations
65.
Sims' Conjecture
64.
Neumann's Separation Lemma
63.
Thales' Theorem
62.
The Marriage Theorem and The Frobenius-König Theorem.
61.
Moufang's Theorem
60.
The Strong Perfect Graph Theorem
59.
Germain's 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
47.
The Binomial Theorem
46.
Cameron's Theorem on Distance-Transitive Graphs
45.
Binet's Formula
44.
Pappus' Theorem (or without
Java applet)
43.
The DPRM Theorem
42.
Zeckendorf's Theorem
41.
Lagrange's Theorem
40.
Stirling's Approximation
39.
Pascal's Rule
38.
Lucas' Theorem
37.
Girard's Theorem
36.
Euler's Identity
35.
The Second and Third Isomorphism Theorems
34.
The First Isomorphism Theorem
33.
The Prime Number Theorem
32.
The Green-Tao Theorem on Primes in Arithmetic Progression
31.
Benford's Law
30.
The Law of Large Numbers
29.
Gauss' Law of Quadratic Reciprocity
28.
Ramsey's Theorem
27.
The Pythagorean Theorem
26.
Euler's Formula
25.
Wagner's Theorem
24.
Kuratowski's Theorem
23.
Cantor's Theorem
22.
Cantor's Uncountability Theorem
21.
Brun's Theorem
20.
The Merton College Theorem
19.
Dilworth's Theorem ( an older
version with a snooker illustration)
18.
Brouwer's Fixed Point Theorem
17.
The Well-Ordering Theorem
16.
Sperner's Lemma
15.
The Orbit Counting Lemma
14.
Cook's Theorem on NP-completeness
13.
Fermat's Little Theorem
12.
The Matrix Tree Theorem
11.
Lagrange's Four Squares Theorem
10.
Bayes' Theorem
9.
Fermat's Last Theorem
8.
The Central Limit 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
2.
The Fundamental Theorem of the Calculus
1. The Four-Colour Theorem |