Browse By

19th century

Proved places a theorem in the year its proof was actually finished. Wikipedia records that "after 358 years of effort by mathematicians, the first successful proof was released in 1994 by Andrew Wiles and formally published in 1995." Browsing by proved year shows how long a stated theorem can wait before a genuine proof arrives.

19th century

126 entries

Branch

Topic Area

Proved By

Named After

Statement Form

2-Factor Theorem

Abel-Ruffini Theorem

Abel's Identity

Abel's Lemniscate Division Theorem

Abel's Test

Abel's Theorem (Power Series)

AM-GM Inequality

Angle Trisection

Argument Principle

Arzela-Ascoli Theorem

Baire Category Theorem

Barbier's Theorem

Bertrand's Ballot Theorem

Bertrand's Postulate

Bertrand's Theorem (Classical Mechanics)

Betti's Theorem

Bolzano-Weierstrass Theorem

Bretschneider's Formula

Budan's Theorem

Burnside's Lemma

Butterfly Theorem

Cantor's Theorem

Cantor-Schroder-Bernstein Theorem

Cartan-Hadamard Theorem

Cauchy-Kovalevskaya Theorem

Cauchy's Rigidity Theorem (Convex Polyhedra)

Cauchy's Theorem (Group Theory)

Cauchy-Schwarz Inequality

Cayley-Hamilton Theorem

Cayley's Formula

Cayley's Theorem

Central Limit Theorem

Chasles' Theorem (Kinematics)

Chebyshev's Inequality

Class Number Formula

Clausius Theorem

Cousin's Theorem

Darboux's Theorem

De Morgan's Laws

Dini's Theorem

Dirichlet's Theorem on Arithmetic Progressions

Divergence Theorem

Dobinski's Formula

Earnshaw's Theorem

Eisenstein's Criterion

Envelope Theorem

Extreme Value Theorem

Fejer's Theorem

Fermat's Polygonal Number Theorem

Feuerbach's Theorem

Five Color Theorem

Frege's Theorem

Frobenius Reciprocity Theorem

Frobenius Theorem on Division Algebras

Fundamental Theorem of Arithmetic

Garfield's Proof of the Pythagorean Theorem

Gauss-Bonnet Theorem

Gauss-Lucas Theorem

Gauss's Lemma (Polynomials)

Gauss's Theorema Egregium

Glaisher's Theorem

Green's Theorem

Hairy Ball Theorem

Heine-Borel Theorem

Hilbert's Basis Theorem

Hilbert's Irreducibility Theorem

Hilbert's Nullstellensatz

Hilbert's Syzygy Theorem

Hilbert's Theorem 90

H-Theorem

Intermediate Value Theorem

Jacobi's Four-Square Theorem

Jordan Curve Theorem

Jordan Normal Form Theorem

Kelvin's Circulation Theorem

Kirchhoff's Theorem (Matrix-Tree Theorem)

Kronecker's Approximation Theorem

Kronecker-Weber Theorem

Kummer's Theorem

Lagrange's Theorem (Group Theory)