theorems.yml

1: The Irrationality of the Square Root of 2
2: Fundamental Theorem of Algebra
3: The Denumerability of the Rational Numbers
4: Pythagorean Theorem
5: Prime Number Theorem
6: Gödel’s Incompleteness Theorem
7: Law of Quadratic Reciprocity
8: The Impossibility of Trisecting the Angle and Doubling the Cube
9: The Area of a Circle
10: Euler’s Generalization of Fermat’s Little Theorem
11: The Infinitude of Primes
12: The Independence of the Parallel Postulate
13: Polyhedron Formula
14: Euler’s Summation of 1 + (1/2)^2 + (1/3)^2 + ….
15: Fundamental Theorem of Integral Calculus
16: Insolvability of General Higher Degree Equations
17: DeMoivre’s Theorem
18: Liouville’s Theorem and the Construction of Transcendental Numbers
19: Four Squares Theorem
20: All Primes (= 1 mod 4) Equal the Sum of Two Squares
21: Green’s Theorem
22: The Non-Denumerability of the Continuum
23: Formula for Pythagorean Triples
24: The Undecidability of the Continuum Hypothesis
25: Schroeder-Bernstein Theorem
26: Leibniz’s Series for Pi
27: Sum of the Angles of a Triangle
28: Pascal’s Hexagon Theorem
29: Feuerbach’s Theorem
30: The Ballot Problem
31: Ramsey’s Theorem
32: The Four Color Problem
33: Fermat’s Last Theorem
34: Divergence of the Harmonic Series
35: Taylor’s Theorem
36: Brouwer Fixed Point Theorem
37: The Solution of a Cubic
38: Arithmetic Mean/Geometric Mean
39: Solutions to Pell’s Equation
40: Minkowski’s Fundamental Theorem
41: Puiseux’s Theorem
42: Sum of the Reciprocals of the Triangular Numbers
43: The Isoperimetric Theorem
44: The Binomial Theorem
45: The Partition Theorem
46: The Solution of the General Quartic Equation
47: The Central Limit Theorem
48: Dirichlet’s Theorem
49: The Cayley-Hamilton Theorem
50: The Number of Platonic Solids
51: Wilson’s Theorem
52: The Number of Subsets of a Set
53: Pi is Transcendental
54: Konigsberg Bridges Problem
55: Product of Segments of Chords
56: The Hermite-Lindemann Transcendence Theorem
57: Heron’s Formula
58: Formula for the Number of Combinations
59: The Laws of Large Numbers
60: Bezout’s Theorem
61: Theorem of Ceva
62: Fair Games Theorem
63: Cantor’s Theorem
64: L’Hopital’s Rule
65: Isosceles Triangle Theorem
66: Sum of a Geometric Series
67: e is Transcendental
68: Sum of an arithmetic series
69: Greatest Common Divisor Algorithm
70: The Perfect Number Theorem
71: Order of a Subgroup
72: Sylow’s Theorem
73: Ascending or Descending Sequences
74: The Principle of Mathematical Induction
75: The Mean Value Theorem
76: Fourier Series
77: Sum of kth powers
78: The Cauchy-Schwarz Inequality
79: The Intermediate Value Theorem
80: The Fundamental Theorem of Arithmetic
81: Divergence of the Prime Reciprocal Series
82: Dissection of Cubes (J.E. Littlewood’s ‘elegant’ proof)
83: The Friendship Theorem
84: Morley’s Theorem
85: Divisibility by 3 Rule
86: Lebesgue Measure and Integration
87: Desargues’s Theorem
88: Derangements Formula
89: The Factor and Remainder Theorems
90: Stirling’s Formula
91: The Triangle Inequality
92: Pick’s Theorem
93: The Birthday Problem
94: The Law of Cosines
95: Ptolemy’s Theorem
96: Principle of Inclusion/Exclusion
97: Cramer’s Rule
98: Bertrand’s Postulate
99: Buffon Needle Problem
100: Descartes Rule of Signs