![]() | This is a maintenance category, used for maintenance of the Wikipedia project. It is not part of the encyclopedia and contains non-article pages, or groups articles by status rather than subject. Do not include this category in content categories.
This is a hidden category. It is not shown on its member pages, unless the corresponding user preference (Appearance → Show hidden categories) is set. |
This category contains articles which contain claims and their mathematical proofs.
See Category:Mathematical proofs for a list of proof-related categories.
Pages in category "Articles containing proofs"
The following 200 pages are in this category, out of approximately 429 total. This list may not reflect recent changes.
(previous page) (next page)0–9
A
- Abel–Ruffini theorem
- Abel's identity
- Abel's test
- Activity selection problem
- Algebraic geometry code
- AM–GM inequality
- Analogy of the divided line
- Angle bisector theorem
- Angle trisection
- Apollonius's theorem
- Area of a circle
- Area theorem (conformal mapping)
- Arithmetic progression
- Arithmetic–geometric mean
- Art gallery problem
- Arzelà–Ascoli theorem
B
- Back-and-forth method
- Baire category theorem
- Banach fixed-point theorem
- Banach–Alaoglu theorem
- Basel problem
- Basis (linear algebra)
- Basu's theorem
- Bauer–Fike theorem
- Beatty sequence
- Beck's theorem (geometry)
- Bernstein polynomial
- Bertrand's ballot theorem
- Bessel's correction
- Bézout's identity
- Bhaskara's lemma
- BIBO stability
- Bijective proof
- Binet–Cauchy identity
- Binomial theorem
- Biquaternion
- Bohr–Van Leeuwen theorem
- Borel–Carathéodory theorem
- Bourbaki–Witt theorem
- Brahmagupta theorem
- Bretschneider's formula
- Bride's Chair
- Buckingham π theorem
- Butterfly theorem
C
- Candido's identity
- Cantor's intersection theorem
- Carathéodory's theorem (convex hull)
- Casey's theorem
- Casorati–Weierstrass theorem
- Cassini and Catalan identities
- Catalan number
- Cauchy product
- Cauchy–Schwarz inequality
- Cauchy's theorem (group theory)
- Cayley–Hamilton theorem
- Cayley's theorem
- Central limit theorem
- Ceva's theorem
- Chain rule
- Chain rule for Kolmogorov complexity
- Characterizations of the exponential function
- Chebyshev's inequality
- Chinese remainder theorem
- Choi's theorem on completely positive maps
- Cipolla's algorithm
- Cissoid of Diocles
- Classical orthogonal polynomials
- Commutator subgroup
- Compact operator on Hilbert space
- Completing the square
- Complex conjugate root theorem
- Continuous mapping theorem
- Convolution theorem
- Cook–Levin theorem
- Coupon collector's problem
- Cramér–Rao bound
- Crossing number inequality
- Crystallographic restriction theorem
- Curtis–Hedlund–Lyndon theorem
D
- Darboux's theorem (analysis)
- De Moivre's formula
- De Morgan's laws
- Decimal representation
- Delta method
- Derivation of the conjugate gradient method
- Diagonal lemma
- Difference of two squares
- Differentiation of trigonometric functions
- Differentiation rules
- Dilworth's theorem
- Dimension theorem for vector spaces
- Dini's theorem
- Dirichlet kernel
- Discontinuities of monotone functions
- Distribution (mathematics)
- Divisibility rule
- Euclidean division
- Dobiński's formula
- Dominated convergence theorem
- Doob decomposition theorem
- Dot product
- Double counting (proof technique)
E
- Egorov's theorem
- Eisenstein's criterion
- Elementary symmetric polynomial
- Elias Bassalygo bound
- Erdős–Anning theorem
- Erdős–Ko–Rado theorem
- Erdős–Szekeres theorem
- Euclid–Euler theorem
- Euclid's lemma
- Euclid's theorem
- Euclidean algorithm
- Euclidean plane isometry
- Euler characteristic
- Euler–Lagrange equation
- Euler–Maclaurin formula
- Euler's criterion
- Euler's formula
- Euler's theorem
- Euler's theorem in geometry
- Euler's totient function
- Expected value
- Exterior angle theorem
- Extreme value theorem
F
- Fáry's theorem
- Fatou–Lebesgue theorem
- Fatou's lemma
- Fermat number
- Fermat point
- Fermat's theorem (stationary points)
- Feynman–Kac formula
- Fibonacci sequence
- Five lemma
- Fixed-point lemma for normal functions
- Fodor's lemma
- Frattini's argument
- Fréchet inequalities
- Freivalds' algorithm
- Frobenius theorem (real division algebras)
- Fubini's nightmare
- Fubini's theorem
- Fundamental theorem of algebra
- Fundamental theorem of arithmetic
- Fundamental theorem of calculus
- Fundamental theorem of Riemannian geometry
G
- Galerkin method
- Gamma matrices
- Garfield's proof of the Pythagorean theorem
- Gauss–Lucas theorem
- Gauss's lemma (number theory)
- Gauss's lemma (Riemannian geometry)
- Gaussian function
- Gaussian integral
- General Leibniz rule
- Generalized pencil-of-function method
- Geodesics in general relativity
- Geometric mean theorem
- Geometric progression
- Geometric series
- Gershgorin circle theorem
- Gibbs' inequality
- Gilbert–Varshamov bound
- Gödel numbering for sequences
- Goldbach–Euler theorem
- Goodstein's theorem
- Goursat's lemma
- Gradient theorem
- Green's theorem
- Griesmer bound
- Grönwall's inequality
H
- Hahn decomposition theorem
- Hahn–Banach theorem
- Hales–Jewett theorem
- Hall's marriage theorem
- Ham sandwich theorem
- Hardy–Littlewood inequality
- Heine–Borel theorem
- Heine–Cantor theorem
- Helly's theorem
- Hermite's identity
- Heron's formula
- Heronian triangle
- Hilbert's basis theorem
- Hilbert's theorem (differential geometry)
- Hockey-stick identity
- Hölder's inequality
I
- Ideal (order theory)
- Identity theorem
- Immerman–Szelepcsényi theorem
- Implicational propositional calculus
- Implicit function theorem
- Incidence (geometry)
- Inclusion–exclusion principle
- Infinite monkey theorem
- Infinite-dimensional Lebesgue measure
- Inscribed angle
- Integral test for convergence
- Integration by substitution