Ahlswede–Daykin inequalityBell's inequality – see Bell's theoremBell's original inequalityCHSH inequalityClausius–Duhem inequalityCorrelation inequality – any of several inequalitiesFKG inequality ...
This page lists mathematical identities, that is, identically true relations holding in mathematics.Bézout's identity (despite of its usual name, it is not, properly speaking, an identity)Brahmagupta ...
Classical geometryC = 2 \pi r = \pi d\!where C is the circumference of a circle, r is the radius and d is the diameter.A = \pi r^2\!where A is the area of a circle and r is the radius.V = {4 \over 3}\ ...
The following is a list of significant formulae involving the mathematical constant π. The list contains only formulae whose significance is established either in the article on the formula itself, t ...
Constitutive equationLaws of scienceDefining equation (physical chemistry)Defining equation (physics)List of equations in classical mechanicsTable of thermodynamic equationsList of equations in wave t ...
Main article: Double counting (proof technique)Double counting is a technique that equates two expressions that count the size of a set in two ways.Pigeonhole principleMain article: Pigeonhole princip ...
Main article: Inclusion-exclusion principleThe inclusion-exclusion principle relates the size of the union of multiple sets, the size of each set, and the size of each possible intersection of the set ...
Main article: Rule of productThe rule of product is another intuitive principle stating that if there are a ways to do something and b ways to do another thing, then there are a · b ways to do both t ...
Main article: Rule of sumThe rule of sum is an intuitive principle stating that if there are a possible outcomes for an event (or ways to do something) and b possible outcomes for another event (or wa ...
In proving results in combinatorics several useful combinatorial rules or combinatorial principles are commonly recognized and used.The rule of sum, rule of product, and inclusion-exclusion principle ...
A conjecture on equitable colorings proven in 1970 by András Hajnal and Endre Szemerédi and now known as the Hajnal–Szemerédi theorem.The Erd?s–Lovász conjecture on weak/strong delta-systems, p ...
The Erd?s–Burr conjecture on Ramsey numbers of graphs.The Erd?s–Faber–Lovász conjecture on coloring unions of cliques.The Erd?s–Gyárfás conjecture on cycles with lengths equal to a power of ...
