theorem
in mathematics, a statement that has been proved
multiplication theorem
theorem
primary decomposition
in algebra, expression of an ideal as the intersection of ideals of a specific type
Catalan's conjecture
theorem about consecutive powers
rational root theorem
theorem
Euclidean division
division with remainder of integers
Heron's formula
formula for calculating the area of a triangle
mean value theorem
on the existence of a tangent to an arc parallel to the line through its endpoints
central limit theorem
key theorem in probability theory
fundamental theorem of algebra
Every polynomial has a real or complex root
chain rule
method of differentiating composed functions
Faltings' theorem
theorem
Lax equivalence theorem
theorem that asserts that a consistent and stable numerical method is convergent
charge-parity-time symmetry
physics theorem
arrival theorem
theorem
cut-elimination
theorem
butterfly theorem
theorem
infinite monkey theorem
humorously stated theorem that a monkey hitting keys at random on a typewriter keyboard for an infinite amount of time will surely type a given text, such as the complete works of William Shakespeare.
Brooks' theorem
theorem that, with two classes of exceptions, vertex-coloring a graph needs a number of colors at most equal to its maximum degree
spin-statistics theorem
theorem that, in a Lorenz-invariant local quantum field theory, particles with integer spins are bosons, while particles with half-integer spins are fermions
Tarski's undefinability theorem
theorem that truth in the standard model of a formal system cannot be defined within the system
Max-flow min-cut theorem
theorem in optimization theory
virial theorem
general equation that relates the time-averaged total kinetic energy of a stable system consisting of N particles, bound by potential forces, with that of the time-averaged total potential energy
Cantor's diagonal argument
concept in set theory
Minimax
decision rule used for minimizing the possible loss for a worst case scenario
extreme value theorem
theorem that states that the image of real function having real closed interval as domain, has maximum and minimum
residue theorem
the theorem that complex contour integrals are simply the sums of residues of singularities contained within the contour
H-theorem
theorem stating that a quantity H (meant to represent entropy) increases monotonically with time, given an initial condition called molecular chaos (thus breaking time reversal symmetry)
handshaking lemma
lemma that every node-link graph has an even number of odd-degree vertices
resolution
in logic, rule of inference
Chernoff bound
exponentially decreasing bounds on tail distributions of sums of independent random variables
optical theorem
theorem in physics
Helmholtz decomposition
theorem
Lucas' theorem
theorem
Wallace theorem
theorem
Law of the Third
theorem in stochastics
Parseval's theorem
theorem
Picard theorem
theorem
intersecting secants theorem
relates the line segments created by two intersecting secants and the associated circle
Rice's theorem
theorem in computability theory
Burnside's theorem
a result in group theory that is often useful in taking account of symmetry when counting mathematical objects
primitive element theorem
Field theory theorem
parallelism implies equal corresponding angles
theorem in Euclidean plane geometry
Clausius theorem
theorem that for a thermodynamic system undergoing a thermodynamic cycle, the following inequality holds: ∮ δ𝑄/𝑇 ≤ 0, where δ𝑄 is heat absorbed by the system and 𝑇 is the temperature
ugly duckling theorem
an argument showing that classification is not really possible without some sort of bias
nth-term test
test for the divergence of an infinite series
convolution theorem
theorem that under suitable conditions the Fourier transform of a convolution of two signals is the pointwise product of their Fourier transforms
work-energy principle
theorem that shows the relation between work and energy
Browder fixed point theorem
mathematical theorem
Lie product formula
formula of matrix exponentials