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.
For two numbers and :
- if is greater than , that is, is positive.
- if is smaller than , that is, is negative.
- if is greater than or equal to , that is, is either positive or .
- if is less than or equal to , that is, is either negative or .
Note that if and only if , , and vice versa. The same applies to the latter two signs: if and only if , , and vice versa.
Some properties of inequalities are:
- If , then , where .
- If , then , where .
- If , then , where .
A common application of inequalities is solving them for a variable. For example, consider the inequality . We can solve for the variable here and get , thus placing implicit restrictions upon the variable . A more complex example is . Here is a common mistake: .
The problem here is that we multiplied by as one of the last steps. We also kept the inequality sign in the same direction. However, we don't know if the quantity is negative or not; we can't assume that it is positive for all real . 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 varies:
. 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. makes a good starting point, but does not solve the inequality. Nor does . Therefore, these two aren't solutions. Then we begin to test numbers such as , , and so on. All of these work. In fact, it's not difficult to see that the fraction will remain positive as gets larger and larger. But just where does , which causes a negative fraction at and , begin to cause a positive fraction? We can't just assume that is the switching point; this solution is not simply limited to integers. The numerator and denominator are big hints. Specifically, we examine that when (the numerator), then the fraction is , and begins to be positive for all higher values of . Solving the equation reveals that is the turning point. After more of this type of work, we realize that brings about division by , so it certainly isn't a solution. However, it also tells us that any value of that is less than brings about a fraction that has a negative numerator and denominator, resulting in a positive fraction and thus satisfying the inequality. No value between and (except itself) seems to be a solution. Therefore, we conclude that the solutions are the intervals .
For the sake of better notation, define the "x-intercept" of a fractional inequality to be those values of that cause the numerator and/or the denominator to be . 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 in the region , as well as one value in the region and ; 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 was a solution only because the inequality was nonstrict. Also, the value was not a solution because it would bring about division by . 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 .
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 , . 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.
- Arithmetic Mean-Geometric Mean Inequality
- Cauchy-Schwarz Inequality
- Chebyshev's Inequality
- Geometric inequalities
- Jensen's Inequality
- Nesbitt's Inequality
- Rearrangement Inequality
- Root-Mean Square-Arithmetic Mean-Geometric Mean-Harmonic mean Inequality, see also Power mean inequality
- Triangle Inequality
- Trivial inequality
- Aczel's Inequality
- Callebaut's Inequality
- Carleman's Inequality
- Hölder's inequality
- Isoperimetric inequalities
- Maclaurin's Inequality
- Muirhead's Inequality
- Minkowski Inequality
- Newton's Inequality
- Power mean inequality
- Ptolemy's Inequality
- Schur's Inequality
- 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 . During the weekend, she plays four matches, winning three and losing one. At the end of the weekend, her win ratio is greater than . What's the largest number of matches she could've won before the weekend began? (Source)
- Given that , and show that . (<url>weblog_entry.php?t=172070 Source</url>)
- Let be positive real numbers. Prove that
- The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities by J. Michael Steele.
- Problem Solving Strategies by Arthur Engel contains significant material on inequalities.
- Inequalities by G. H. Hardy, J. E. Littlewood, G. Pólya.
- The Worldwide Online Olympiad Training Program is designed to help students learn to tackle mathematical Olympiad problems in topics such as inequalities.