Difference between revisions of "Inequality"

(add two sections)
(Cleaned up the messy section on solving inequalities -- and added related Alcumus units)
(22 intermediate revisions by 11 users not shown)
Line 1: Line 1:
 
The subject of mathematical '''inequalities''' is tied closely with [[optimization]] methods.  While most of the subject of inequalities is often left out of the ordinary educational track, they are common in [[mathematics Olympiads]].
 
The subject of mathematical '''inequalities''' is tied closely with [[optimization]] methods.  While most of the subject of inequalities is often left out of the ordinary educational track, they are common in [[mathematics Olympiads]].
 
  
 
==Overview==
 
==Overview==
Line 19: Line 18:
  
 
==Solving Inequalities==
 
==Solving Inequalities==
A common application of inequalities is solving them for a variable. For example, consider the inequality <math>5x+7>3x+8</math>. We can solve for the variable <math>x</math> here and get <math>2x-1>0\Leftrightarrow x>\frac{1}{2}</math>, thus placing implicit restrictions upon the variable <math>x</math>. A more complex example is <math>\frac{x-8}{x+5}+4\ge 3</math>. Here, we manipulate the right hand side: <math>\frac{x+5-13}{x+5}+4\ge 3 \Leftrightarrow 1-\frac{-13}{x+5}+4\ge 3 \Leftrightarrow x+5-13+4x+20\ge 3x+15\Leftrightarrow x\ge \frac{3}{2}</math>. This type of inequality is true only for <math>x</math> satisfying the restriction that the solver will need to find.
+
 
 +
In general, when solving inequalities, same quantities can be added or subtracted without changing the inequality sign, much like [[equation|equations]]. However, when multiplying, dividing, or square rooting, we have to watch the sign.  In particular, notice that although <math>3 > 2</math>, we must have <math>-3 < -2</math>. In particular, when multiplying or dividing by negative quantities, we have to flip the sign.  Complications can arise when the value multiplied can have varying signs depending on the variable.
 +
 
 +
We also have to be careful about the boundaries of the solutions.  In the example <math>x > \frac{3}{2}</math>, the value <math>x = \frac{3}{2}</math> does not satisfy the inequality because the inequality is strict.  However, in the example <math>x \ge \frac{3}{2}</math>, the value <math>x = \frac{3}{2}</math> satisfies the inequality because the inequality is nonstrict.
 +
 
 +
Solutions can be written in [[interval notation]].  Closed bounds use square brackets, while open bounds (and bounds at infinity) use parentheses.  For instance, <math>x \in [3,6)</math> means <math>3 \le x < 6</math>.
 +
 
 +
===Linear Inequalities===
 +
 
 +
Linear inequalities can be solved much like linear equations to get implicit restrictions upon a variable.  However, when multiplying/dividing both sides by negative numbers, we have to flip the sign.
 +
 
 +
===Polynomial Inequalities===
 +
 
 +
The first part of solving polynomial inequalities is much like solving polynomial equations -- bringing all the terms to one side and finding the roots.
 +
 
 +
Afterward, we have to consider bounds.  We're comparing the sign of the polynomial with different inputs, so we could imagine a rough graph of the polynomial and how it passes through zeroes (since passing through zeroes could change the sign).  Then we can find the appropriate bounds of the inequality.
 +
 
 +
===Rational Inequalities===
 +
 
 +
A more complex example is <math>\frac{x-8}{x+5}+4\ge 3</math>.
 +
 
 +
<br>
 +
Here is a common mistake: <math>\frac{x-8}{x+5}+4\ge 3 \Rightarrow \frac{x+5-13}{x+5}+4\ge 3 \Rightarrow 1-\frac{13}{x+5}+4\ge 3 \Rightarrow x+5-13+4x+20\ge 3x+15\Rightarrow x\ge \frac{3}{2}</math>.The problem here is that we multiplied by <math>x+5</math> as one of the last steps.  We also kept the inequality sign in the same direction.  However, we don't ''know'' if the quantity <math>x+5</math> is negative or not; we can't assume that it is positive for all real <math>x</math>.  Thus, we may have to reverse the direction of the inequality sign if we are multiplying by a negative number.  But, we don't know if the quantity is negative either.
 +
 
 +
<br>
 +
A correct solution would be to move everything to the left side of the inequality, and form a common denominator.  Then, it will be simple to find the solutions to the inequality by considering the sign (negativeness or positiveness) of the fraction as <math>x</math> varies.
 +
<cmath>\begin{align*}
 +
\frac{x-8}{x+5}+4 &\ge 3 \\
 +
\frac{x-8}{x+5}+1 &\ge 0 \\
 +
\frac{2x-3}{x+5} &\ge 0
 +
\end{align*}</cmath>
 +
We will start with an intuitive solution, and then a rule can be built for solving general fractional inequalities.  To make things easier, we test positive integers.  <math>0</math> makes a good starting point, but does not solve the inequality.  Nor does <math>1</math>.  Therefore, these two aren't solutions.  Then we begin to test numbers such as <math>2</math>, <math>3</math>, and so on.  All of these work.  In fact, it's not difficult to see that the fraction will remain positive as <math>x</math> gets larger and larger.  But just where does <math>x</math>, which causes a negative fraction at <math>0</math> and <math>1</math>, begin to cause a positive fraction?  We can't just assume that <math>2</math> is the switching point; this solution is not simply limited to integers.  The numerator and denominator are big hints.  Specifically, we examine that when <math>2x-3=0</math> (the numerator), then the fraction is <math>0</math>, and begins to be positive for all higher values of <math>x</math>.  Solving the equation reveals that <math>x=\frac{3}{2}</math> is the turning point.  After more of this type of work, we realize that <math>x=-5</math> brings about division by <math>0</math>, so it certainly isn't a solution.  However, it also tells us that any value of <math>x</math> that is less than <math>-5</math> brings about a fraction that has a negative numerator and denominator, resulting in a positive fraction and thus satisfying the inequality.  No value between <math>x=-5</math> and <math>x=\frac{3}{2}</math> (except <math>\frac{3}{2}</math> itself) seems to be a solution.
 +
Therefore, we conclude that the solutions are the intervals <math>(-\infty,-5)\cup[\frac{3}{2},+\infty)</math>.
 +
 
 +
<br>
 +
For the sake of better notation, define the "x-intercept" of a fractional inequality to be those values of <math>x</math> that cause the numerator and/or the denominator to be <math>0</math>.To develop a method for quicker solutions of fractional inequalities, we can simply consider the "x-intercepts" of the numerator and denominator.  We graph them on the number line.  Then, in every region of the number line, we test one point to see if the whole region is part of the solution.  For example, in the example problem above, we see that we only had to test one value such as <math>0</math> in the region <math>(-5,\frac{3}{2})</math>, as well as one value in the region <math>(-\infty,-5]</math> and <math>[\frac{3}{2},+\infty)</math>; then we see which regions are part of the solution set.  This does indeed give the complete solution set.
 +
 
 +
<br>
 +
One must be careful about the boundaries of the solutions.  In the example problem, the value <math>x=\frac{3}{2}</math> was a solution only because the inequality was nonstrict.  Also, the value <math>x=-5</math> was not a solution because it would bring about division by <math>0</math>.  Similarly, any "x-intercept" of the numerator is a solution if and only if the inequality is nonstrict, and every "x-intercept" of the denominator is never a solution because we cannot divide by <math>0</math>.
  
 
==Complete Inequalities==
 
==Complete Inequalities==
A inequality that is true for all real numbers or for all positive numbers (or even for all complex numbers) is sometimes called a complete inequality. An example for real numbers is the so-called [[Trivial Inequality]], which states that for any real <math>x</math>, <math>x^2\ge 0</math>. Most inequalities of this type hold only for positive numbers, and this type of inequality often has very clever problems and applications.
+
A inequality that is true for all real numbers or for all positive numbers (or even for all complex numbers) is sometimes called a complete inequality. An example for real numbers is the so-called [[Trivial Inequality]], which states that for any real <math>x</math>, <math>x^2\ge 0</math>. Most inequalities of this type are only for positive numbers, and this type of inequality often has extremely clever problems and applications.
  
 
== List of Theorems ==
 
== List of Theorems ==
 
Here are some of the more useful inequality theorems, as well as general inequality topics.
 
Here are some of the more useful inequality theorems, as well as general inequality topics.
 +
=== Introductory ===
 
* [[Arithmetic Mean-Geometric Mean | Arithmetic Mean-Geometric Mean Inequality]]
 
* [[Arithmetic Mean-Geometric Mean | Arithmetic Mean-Geometric Mean Inequality]]
 
* [[Cauchy-Schwarz Inequality]]
 
* [[Cauchy-Schwarz Inequality]]
* [[Carleman's Inequality]]
+
*[[Titu's Lemma]]
 
* [[Chebyshevs inequality | Chebyshev's Inequality]]
 
* [[Chebyshevs inequality | Chebyshev's Inequality]]
 
* [[Geometric inequalities]]
 
* [[Geometric inequalities]]
 +
* [[Jensen's Inequality]]
 +
* [[Nesbitt's Inequality]]
 +
* [[Rearrangement Inequality]]
 +
* [[Power mean inequality]]
 +
* [[Triangle Inequality]]
 +
* [[Trivial inequality]]
 +
* [[Schur's Inequality]]
 +
 +
=== Advanced ===
 +
* [[Aczel's Inequality]]
 +
* [[Callebaut's Inequality]]
 +
* [[Carleman's Inequality]]
 
* [[Hölder's inequality]]
 
* [[Hölder's inequality]]
 +
* [[Homogenization]]
 
* [[Isoperimetric inequalities]]
 
* [[Isoperimetric inequalities]]
* [[Jensen's Inequality]]
 
 
* [[Maclaurin's Inequality]]
 
* [[Maclaurin's Inequality]]
 +
* [[Muirhead's Inequality]]
 
* [[Minkowski Inequality]]
 
* [[Minkowski Inequality]]
* [[Muirhead's Inequality]]
 
* [[Nesbitt's Inequality]]
 
 
* [[Newton's Inequality]]
 
* [[Newton's Inequality]]
* [[Power mean inequality]]
 
 
* [[Ptolemy's Inequality]]
 
* [[Ptolemy's Inequality]]
* [[Rearrangement Inequality]]
 
* [[Root-Mean Square-Arithmetic Mean-Geometric Mean-Harmonic mean Inequality]]
 
* [[Schur's Inequality]]
 
* [[Triangle Inequality]]
 
* [[Trivial inequality]]
 
  
 
==Problems==
 
==Problems==
 +
 
===Introductory===
 
===Introductory===
*Given that <math>(a+1)(b+1)(c+1) = 8</math>, show that <math>abc \le 1</math>. (<url>weblog_entry.php?t=172070 Source</url>)
+
* Practice Problems on [https://artofproblemsolving.com/alcumus/ Alcumus]
 +
** Inequalities (Prealgebra)
 +
** Solving Linear Inequalities (Algebra)
 +
** Quadratic Inequalities (Algebra)
 +
** Basic Rational Function Equations and Inequalities (Intermediate Algebra)
 +
* A tennis player computes her win [[ratio]] by dividing the number of matches she has won by the total number of matches she has played. At the start of a weekend, her win ratio is exactly <math>.500</math>. During the weekend, she plays four matches, winning three and losing one. At the end of the weekend, her win ratio is greater than <math>.503</math>. What's the largest number of matches she could've won before the weekend began? ([[1992 AIME Problems/Problem 3]])
 +
 
 
===Intermediate===
 
===Intermediate===
*A tennis player computes her win [[ratio]] by dividing the number of matches she has won by the total number of matches she has played. At the start of a weekend, her win ratio is exactly <math>.500</math>. During the weekend, she plays four matches, winning three and losing one. At the end of the weekend, her win ratio is greater than <math>.503</math>. What's the largest number of matches she could've won before the weekend began? ([[1992 AIME Problems/Problem 3|Source]])
+
* Practice Problems on [https://artofproblemsolving.com/alcumus/ Alcumus]
 +
** Quadratic Inequalities (Algebra)
 +
** Advanced Rational Function Equations and Inequalities (Intermediate Algebra)
 +
** General Inequality Skills (Intermediate Algebra)
 +
** Advanced Inequalities (Intermediate Algebra)
 +
*Given that <math>(a+1)(b+1)(c+1) = 8</math>, and <math>a, b, c \ge 0</math> show that <math>abc \le 1</math>. (<url>weblog_entry.php?t=172070 Source</url>)
 +
 
 
===Olympiad===
 
===Olympiad===
*Let <math>a,b,c</math> be positive real numbers. Prove that
+
:See also [[:Category:Olympiad Inequality Problems]]
<math>\frac{a}{\sqrt{a^{2}+8bc}}+\frac{b}{\sqrt{b^{2}+8ca}}+\frac{c}{\sqrt{c^{2}+8ab}}\ge 1</math> ([[2001 IMO Problems/Problem 2|Source]])
+
 
 +
*Let <math>a,b,c</math> be positive real numbers. Prove that <math>\frac{a}{\sqrt{a^{2}+8bc}}+\frac{b}{\sqrt{b^{2}+8ca}}+\frac{c}{\sqrt{c^{2}+8ab}}\ge 1</math> ([[2001 IMO Problems/Problem 2]])
 +
 
 
== Resources ==
 
== Resources ==
 
=== Books ===
 
=== Books ===
Line 62: Line 120:
  
 
==== Olympiad ====
 
==== Olympiad ====
 +
* [https://www.amazon.co.uk/Advanced-Olympiad-Inequalities-Algebraic-Geometric/dp/1794193928/ref=tmm_pap_swatch_0?_encoding=UTF8&qid=1556093238&sr=1-1-catcorr Advanced Olympiad Inequalities: Algebraic & Geometric Olympiad Inequalities] by Alijadallah Belabess.
 
* [http://www.amazon.com/exec/obidos/ASIN/052154677X/artofproblems-20 The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities] by J. Michael Steele.
 
* [http://www.amazon.com/exec/obidos/ASIN/052154677X/artofproblems-20 The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities] by J. Michael Steele.
 
* [http://www.amazon.com/exec/obidos/ASIN/0387982191/artofproblems-20 Problem Solving Strategies] by Arthur Engel contains significant material on inequalities.
 
* [http://www.amazon.com/exec/obidos/ASIN/0387982191/artofproblems-20 Problem Solving Strategies] by Arthur Engel contains significant material on inequalities.
Line 68: Line 127:
 
=== Articles ===
 
=== Articles ===
 
==== Olympiad ====
 
==== Olympiad ====
* [http://www.artofproblemsolving.com/Resources/Papers/KedlayaInequalities.pdf Inequalities] by [[MIT]] Professor Kiran Kedlaya.
+
* [https://artofproblemsolving.com/articles/files/KedlayaInequalities.pdf Inequalities] by [[MIT]] Professor Kiran Kedlaya.
* [http://www.artofproblemsolving.com/Resources/Papers/MildorfInequalities.pdf Inequalities] by [[IMO]] gold medalist [[Thomas Mildorf]].
+
* [https://artofproblemsolving.com/articles/files/MildorfInequalities.pdf Inequalities] by [[IMO]] gold medalist [[Thomas Mildorf]].
 
 
  
 
=== Classes ===
 
=== Classes ===
Line 81: Line 139:
 
* [[Math books]]
 
* [[Math books]]
  
[[Category:Inequality]]
+
[[Category:Inequality|*]]
 +
[[Category:Algebra]]

Revision as of 20:37, 11 June 2020

The subject of mathematical inequalities is tied closely with optimization methods. While most of the subject of inequalities is often left out of the ordinary educational track, they are common in mathematics Olympiads.

Overview

Inequalities are arguably a branch of elementary algebra, and relate slightly to number theory. They deal with relations of variables denoted by four signs: $>,<,\ge,\le$.

For two numbers $a$ and $b$:

  • $a>b$ if $a$ is greater than $b$, that is, $a-b$ is positive.
  • $a<b$ if $a$ is smaller than $b$, that is, $a-b$ is negative.
  • $a\ge b$ if $a$ is greater than or equal to $b$, that is, $a-b$ is either positive or $0$.
  • $a\le b$ if $a$ is less than or equal to $b$, that is, $a-b$ is either negative or $0$.

Note that if and only if $a>b$, $b<a$, and vice versa. The same applies to the latter two signs: if and only if $a\ge b$, $b\le a$, and vice versa.

Some properties of inequalities are:

  • If $a>b$, then $a+c>b$, where $c\ge 0$.
  • If $a \ge b$, then $a+c\ge b$, where $c\ge 0$.
  • If $a \ge b$, then $a+c>b$, where $c>0$.

Solving Inequalities

In general, when solving inequalities, same quantities can be added or subtracted without changing the inequality sign, much like equations. However, when multiplying, dividing, or square rooting, we have to watch the sign. In particular, notice that although $3 > 2$, we must have $-3 < -2$. In particular, when multiplying or dividing by negative quantities, we have to flip the sign. Complications can arise when the value multiplied can have varying signs depending on the variable.

We also have to be careful about the boundaries of the solutions. In the example $x > \frac{3}{2}$, the value $x = \frac{3}{2}$ does not satisfy the inequality because the inequality is strict. However, in the example $x \ge \frac{3}{2}$, the value $x = \frac{3}{2}$ satisfies the inequality because the inequality is nonstrict.

Solutions can be written in interval notation. Closed bounds use square brackets, while open bounds (and bounds at infinity) use parentheses. For instance, $x \in [3,6)$ means $3 \le x < 6$.

Linear Inequalities

Linear inequalities can be solved much like linear equations to get implicit restrictions upon a variable. However, when multiplying/dividing both sides by negative numbers, we have to flip the sign.

Polynomial Inequalities

The first part of solving polynomial inequalities is much like solving polynomial equations -- bringing all the terms to one side and finding the roots.

Afterward, we have to consider bounds. We're comparing the sign of the polynomial with different inputs, so we could imagine a rough graph of the polynomial and how it passes through zeroes (since passing through zeroes could change the sign). Then we can find the appropriate bounds of the inequality.

Rational Inequalities

A more complex example is $\frac{x-8}{x+5}+4\ge 3$.


Here is a common mistake: $\frac{x-8}{x+5}+4\ge 3 \Rightarrow \frac{x+5-13}{x+5}+4\ge 3 \Rightarrow 1-\frac{13}{x+5}+4\ge 3 \Rightarrow x+5-13+4x+20\ge 3x+15\Rightarrow x\ge \frac{3}{2}$.The problem here is that we multiplied by $x+5$ as one of the last steps. We also kept the inequality sign in the same direction. However, we don't know if the quantity $x+5$ is negative or not; we can't assume that it is positive for all real $x$. Thus, we may have to reverse the direction of the inequality sign if we are multiplying by a negative number. But, we don't know if the quantity is negative either.


A correct solution would be to move everything to the left side of the inequality, and form a common denominator. Then, it will be simple to find the solutions to the inequality by considering the sign (negativeness or positiveness) of the fraction as $x$ varies. \begin{align*} \frac{x-8}{x+5}+4 &\ge 3 \\ \frac{x-8}{x+5}+1 &\ge 0 \\ \frac{2x-3}{x+5} &\ge 0 \end{align*} We will start with an intuitive solution, and then a rule can be built for solving general fractional inequalities. To make things easier, we test positive integers. $0$ makes a good starting point, but does not solve the inequality. Nor does $1$. Therefore, these two aren't solutions. Then we begin to test numbers such as $2$, $3$, and so on. All of these work. In fact, it's not difficult to see that the fraction will remain positive as $x$ gets larger and larger. But just where does $x$, which causes a negative fraction at $0$ and $1$, begin to cause a positive fraction? We can't just assume that $2$ is the switching point; this solution is not simply limited to integers. The numerator and denominator are big hints. Specifically, we examine that when $2x-3=0$ (the numerator), then the fraction is $0$, and begins to be positive for all higher values of $x$. Solving the equation reveals that $x=\frac{3}{2}$ is the turning point. After more of this type of work, we realize that $x=-5$ brings about division by $0$, so it certainly isn't a solution. However, it also tells us that any value of $x$ that is less than $-5$ brings about a fraction that has a negative numerator and denominator, resulting in a positive fraction and thus satisfying the inequality. No value between $x=-5$ and $x=\frac{3}{2}$ (except $\frac{3}{2}$ itself) seems to be a solution. Therefore, we conclude that the solutions are the intervals $(-\infty,-5)\cup[\frac{3}{2},+\infty)$.


For the sake of better notation, define the "x-intercept" of a fractional inequality to be those values of $x$ that cause the numerator and/or the denominator to be $0$.To develop a method for quicker solutions of fractional inequalities, we can simply consider the "x-intercepts" of the numerator and denominator. We graph them on the number line. Then, in every region of the number line, we test one point to see if the whole region is part of the solution. For example, in the example problem above, we see that we only had to test one value such as $0$ in the region $(-5,\frac{3}{2})$, as well as one value in the region $(-\infty,-5]$ and $[\frac{3}{2},+\infty)$; then we see which regions are part of the solution set. This does indeed give the complete solution set.


One must be careful about the boundaries of the solutions. In the example problem, the value $x=\frac{3}{2}$ was a solution only because the inequality was nonstrict. Also, the value $x=-5$ was not a solution because it would bring about division by $0$. Similarly, any "x-intercept" of the numerator is a solution if and only if the inequality is nonstrict, and every "x-intercept" of the denominator is never a solution because we cannot divide by $0$.

Complete Inequalities

A inequality that is true for all real numbers or for all positive numbers (or even for all complex numbers) is sometimes called a complete inequality. An example for real numbers is the so-called Trivial Inequality, which states that for any real $x$, $x^2\ge 0$. Most inequalities of this type are only for positive numbers, and this type of inequality often has extremely clever problems and applications.

List of Theorems

Here are some of the more useful inequality theorems, as well as general inequality topics.

Introductory

Advanced

Problems

Introductory

  • Practice Problems on Alcumus
    • Inequalities (Prealgebra)
    • Solving Linear Inequalities (Algebra)
    • Quadratic Inequalities (Algebra)
    • Basic Rational Function Equations and Inequalities (Intermediate Algebra)
  • A tennis player computes her win ratio by dividing the number of matches she has won by the total number of matches she has played. At the start of a weekend, her win ratio is exactly $.500$. During the weekend, she plays four matches, winning three and losing one. At the end of the weekend, her win ratio is greater than $.503$. What's the largest number of matches she could've won before the weekend began? (1992 AIME Problems/Problem 3)

Intermediate

  • Practice Problems on Alcumus
    • Quadratic Inequalities (Algebra)
    • Advanced Rational Function Equations and Inequalities (Intermediate Algebra)
    • General Inequality Skills (Intermediate Algebra)
    • Advanced Inequalities (Intermediate Algebra)
  • Given that $(a+1)(b+1)(c+1) = 8$, and $a, b, c \ge 0$ show that $abc \le 1$. (<url>weblog_entry.php?t=172070 Source</url>)

Olympiad

See also Category:Olympiad Inequality Problems

Resources

Books

Intermediate

Olympiad

Articles

Olympiad

Classes

Olympiad


See also