# Category:Articles containing proofs

*https://en.wikipedia.org/wiki/Category:Articles_containing_proofs*

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 409 total. This list may not reflect recent changes ( learn more).

(previous page) ( next page)### 0–9

### A

- Abel–Ruffini theorem
- Abel's identity
- Abel's test
- Activity selection problem
- 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
- 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 formula
- 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
- Dilworth's theorem
- Dimension theorem for vector spaces
- Dini's theorem
- Dirichlet kernel
- 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 number
- Five lemma
- Fixed-point lemma for normal functions
- Fodor's lemma
- Frattini's argument
- Fréchet inequalities
- Freivalds' algorithm
- Frobenius theorem (real division algebras)
- Froda's theorem
- 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
- Gauss–Lucas theorem
- Gauss's lemma (number theory)
- Gauss's lemma (Riemannian geometry)
- Gaussian function
- Gaussian integral
- 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
- Goppa code
- Goursat's lemma
- Gradient theorem
- Green's theorem
- Griesmer bound
- Grönwall's inequality

### H

- Hahn decomposition 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
- Incidence (geometry)
- Inclusion–exclusion principle
- Inequality of arithmetic and geometric means
- Infinite monkey theorem
- Infinite-dimensional Lebesgue measure
- Inscribed angle
- Integral test for convergence
- Integration by substitution
- Interesting number paradox
- Intermediate value theorem
- IP (complexity)
- Irrational number