theorem
in mathematics, a statement that has been proved
closed range theorem
theorem
Waring's problem
mathematical problem
Blaschke selection theorem
theorem
Pascal's theorem
theorem
minimax theorem
theorem providing conditions that guarantee that the max–min inequality is also an equality
angle bisector theorem
two segments that divide a triangle
Simson line
line defined from a triangle and a point on its circumcircle, through the closest point on each side line to the given point
Hardy's inequality
inequality relating a real number greater than 1 and a sequence of non-negative numbers
Savitch's theorem
theorem that problems solvable nondeterministically in space S may be solved deterministically in space O(S²)
perpendicular axis theorem
Mathematical theorem
Cantor's intersection theorem
theorem that a decreasing nested sequences of nonempty closed compact sets has nonempty intersection
polynomial remainder theorem
theorem
unexpected hanging paradox
paradox about a person's expectations about the timing of a future event which they are told will occur at an unexpected time
Descartes' theorem
theorem
Lagrange's identity
mathematical identity in algebra
converse
reverse of a categorical or hypothetical proposition
spectral theorem
theorem
Gibbs' inequality
theorem
Hahn decomposition theorem
theorem
Lester's theorem
theorem
James' theorem
theorem in mathematics
monotonicity of entailment
property of many logical systems that if a sentence follows deductively from a given set of sentences then it also follows deductively from any superset of those sentences
Shell theorem
Simplified gravity models for objects inside or outside a spherically symmetrical body
geometric mean theorem
theorem about right triangles
Lebesgue differentiation theorem
Mathematical theorem in real analysis
Cousin's theorem
theorem in real analysis
Cubic reciprocity
conditions under which the congruence x3 equals p (mod q) is solvable
Bertrand's theorem
theorem that, among central-force potentials with bound orbits, there are only 2 types of central-force scalar potentials such that all bound orbits are closed: inverse square and radial harmonic
Law of truly large numbers
law of truly large numbers is of statistics, with a large enough number of samples, any outrageous thing is likely to be observed
Leibniz integral rule
differentiation under the integral sign formula
Post's theorem
Theorem in computability theory
product formula
property of number fields in algebraic number theory
Levinson's inequality
inequality on positive numbers and a function of positive third derivative
law of the zero-one of Borel
mathematical theorem
Engel's theorem
theorem in Lie representation theory
correspondence theorem
theorem in mathematical group theory
linear speedup theorem
speeding up Turing machines by increasing tape symbol complexity
ATS theorem
theorem on the approximation of a trigonometric sum by a shorter one
positive energy theorem
key result in general relativity
Bendixson theorem
special case of Bendixson–Dulac theorem
Reeb sphere theorem
theorem that a closed oriented connected manifold with a singular foliation having only centers is homeomorphic to the sphere and that the foliation has exactly two singularities
no-wandering-domain theorem
Mathematical theorem
absorption
inference rule where, given P→Q, one deduces P→(P∧Q)
adjunction formula
theorem
Anderson orthogonality theorem
theorem in physics
annulus theorem
in mathematics, the region between two well-behaved spheres