Category:Articles containing proofs
Jump to navigation
Jump to search
Template:Polluted category Template:Wikipedia category This category contains articles which contain claims and their mathematical proofs.
See Category:Mathematical proofs for a list of proof-related categories. Template:CatAutoTOC
Script error: No such module "anchor".Pages in category "Articles containing proofs"
The following 200 pages are in this category, out of approximately 379 total. This list may not reflect recent changes.
(previous page) (next page)0
A
- Abel's identity
- Abel's test
- Abel–Ruffini theorem
- 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
- Borel–Carathéodory theorem
- Bourbaki–Witt theorem
- Brahmagupta theorem
- Bretschneider's formula
- Buckingham pi theorem
- Buckingham π theorem
- Butterfly theorem
C
- Carathéodory's theorem (convex hull)
- Casey's theorem
- Casorati–Weierstrass theorem
- Cassini and Catalan identities
- Catalan number
- Cauchy product
- Cauchy's theorem (group theory)
- Cauchy–Schwarz inequality
- Cayley's theorem
- Cayley–Hamilton 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
- Cissoid of Diocles
- Classical orthogonal polynomials
- Commutator subgroup
- Compact operator on Hilbert space
- Completing the square
- Complex conjugate root theorem
- Convolution theorem
- Cook–Levin theorem
- Coupon collector's problem
- Cramér–Rao bound
- Crystallographic restriction theorem
- Curtis–Hedlund–Lyndon theorem
D
- Darboux's theorem (analysis)
- De Moivre's formula
- De Morgan's laws
- Decimal representation
- Delta method
- Diagonal lemma
- Difference of two squares
- Differentiation of trigonometric functions
- Differentiation rules
- Dilworth's theorem
- Dimension theorem for vector spaces
- Dini's theorem
- Distribution (mathematical analysis)
- Distribution (mathematics)
- Divisibility rule
- Euclidean division
- Dobiński's formula
- Dominated convergence theorem
- Dot product
- Double counting (proof technique)
E
- Egorov's theorem
- Eisenstein's criterion
- Elementary symmetric polynomial
- Erdős–Anning theorem
- Erdős–Ko–Rado theorem
- Erdős–Szekeres theorem
- Euclid's lemma
- Euclid's theorem
- Euclidean algorithm
- Euclidean plane isometry
- Euler characteristic
- Euler's criterion
- Euler's formula
- Euler's theorem
- Euler's theorem in geometry
- Euler's totient function
- Euler–Lagrange equation
- Euler–Maclaurin formula
- Expected value
- Exterior angle theorem
- Extreme value theorem
F
- Fáry's theorem
- Fatou's lemma
- Fatou–Lebesgue theorem
- Fermat number
- Fermat point
- Interior extremum theorem
- Feynman–Kac formula
- Fibonacci sequence
- Five lemma
- Fixed-point lemma for normal functions
- Fodor's lemma
- Frattini's argument
- Freivalds' algorithm
- Frobenius theorem (real division algebras)
- 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's lemma (number theory)
- Gauss's lemma (Riemannian geometry)
- Gauss–Lucas theorem
- Gaussian function
- Gaussian integral
- General Leibniz rule
- Geodesics in general relativity
- 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
- Grönwall's inequality
H
- Hahn decomposition theorem
- Hahn–Banach theorem
- Hales–Jewett theorem
- Hall's marriage theorem
- Ham sandwich theorem
- 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)
- 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
- Interesting number paradox
- Intermediate value theorem
- Inverse function rule
- IP (complexity)