# Category:Articles containing proofs

Jump to navigation
Jump to search

(previous page) (next page)

This is a maintenance category. It is used for maintenance of the Wikipedia project and is not part of the encyclopedia, it contains pages that are not articles, or it 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 '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 408 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

- 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
- 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