Difference between revisions of "Equality condition"
(creation) |
(I added a section on uses of equality conditions in optimization problems. I also added a list of notable inequalities and their equality conditions.) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | The '''equality condition''' of a non-strict [[inequality]] is when all the variables are such that the | + | 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== | ||
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.
