# Difference between revisions of "Equality condition"

m |
(I added a section on uses of equality conditions in optimization problems. I also added a list of notable inequalities and their equality conditions.) |
||

Line 1: | Line 1: | ||

− | The '''equality condition''' of a non-strict [[inequality]] is when all the variables are such that the sides of the inequality are [[equal]]. | + | The '''equality condition''' of a non-strict [[inequality]] is when all the variables are such that the sides of the inequality are [[equal]]. Equality conditions can be used in optimization problems. Many inequalities reach their equality conditions when the variables are equal, most notably the QM-GM-AM-HM inequality. |

+ | |||

+ | ==Uses in Optimization== | ||

+ | |||

+ | In order to find the minimum or maximum of an expression, it is often useful to create an inequality equivalent to the expression. For example, in order to find the minimum of the square of a real number, (see [[Trivial Inequality]]) it is possible to construct the inequality <math>x^2\geq0</math>. The minimum, in this case, is the equality condition, <math>x=0</math>, so we can state that 0 is the minimum value of <math>x^2</math>. | ||

+ | |||

+ | ==Notable Inequalities and Their Equality Conditions== | ||

+ | |||

+ | QM-GM-AM-HM- This inequality achieves equality when the numbers being averaged are equal. | ||

+ | |||

+ | Cauchy-Schwartz Inequality- This inequality achieves equality when the terms of the first set of numbers- say <math>a_1,a_2,...,a_i</math>, can be multiplied by a constant to get the second set of numbers- <math>b_1,b_2,...,b_i</math>. So <math>a_1=k*b_1</math>, and <math>a_i=k*b_i</math> in general where <math>k</math> is a constant. | ||

+ | |||

+ | [[Triangle Inequality]]- This inequality achieves equality when two of the sides of the triangle sum to the third side, or when the triangle is [[degenerate]]. | ||

+ | |||

+ | [[Trivial Inequality]]- This inequality achieves equality when the number being squared is equal to 0. | ||

==See Also== | ==See Also== |

## Latest revision as of 21:04, 31 March 2018

The **equality condition** of a non-strict inequality is when all the variables are such that the sides of the inequality are equal. Equality conditions can be used in optimization problems. Many inequalities reach their equality conditions when the variables are equal, most notably the QM-GM-AM-HM inequality.

## Uses in Optimization

In order to find the minimum or maximum of an expression, it is often useful to create an inequality equivalent to the expression. For example, in order to find the minimum of the square of a real number, (see Trivial Inequality) it is possible to construct the inequality . The minimum, in this case, is the equality condition, , so we can state that 0 is the minimum value of .

## Notable Inequalities and Their Equality Conditions

QM-GM-AM-HM- This inequality achieves equality when the numbers being averaged are equal.

Cauchy-Schwartz Inequality- This inequality achieves equality when the terms of the first set of numbers- say , can be multiplied by a constant to get the second set of numbers- . So , and in general where is a constant.

Triangle Inequality- This inequality achieves equality when two of the sides of the triangle sum to the third side, or when the triangle is degenerate.

Trivial Inequality- This inequality achieves equality when the number being squared is equal to 0.

## See Also

*This article is a stub. Help us out by expanding it.*