# Inequalities

## Introduction

In an algebra course, students are introduced to the concept of order on the real numbers. This is a relation between the real numbers, denoted by the symbol $>$, which is often read as "greater than". We have the following 4 order axioms for real numbers:

Axiom 1: [Trichotomy] If $a, b$ are real numbers, then one and only one of the following is true: $a >b$, $a = b$, $b > a$.

Axiom 2: [Transitivity] If $a, b, c$ are real numbers and $a > b , b > c$, then $a > c$.

Axiom 3: If $a, b, c$ are real numbers and $a>b$, then $a + c > b + c$.

Axiom 4: If $a, b, c$ are real numbers such that $a>b, c > 0$, then $ac > bc$.

With this, we can formally define a positive and negative number. A positive number is a number $a$ that satisfies $a > 0$, while a negative number is a number $a$ that satisfies $0 > a$. By the trichotomy axiom, a real number is either positive, negative, or zero. However, this does not appear to tell us much. In particular, is 1 a positive number?

An important inequality is the trivial inequality which states that the square of any real number is non-negative. This is easily shown by considering Trichotomy cases:

1. If $f = 0$, then $f^2 = 0$.

2. If $f > 0$, then multiplying both sides by $f$ gives $f^2 > 0$, where we keep the sign since $f$ is positive.

3. If $0 > f$, then $-f > 0$ (Axiom 3) and multiplying both sides by $-f$ gives $0 > -f^2$ (Axiom 4), and adding $f^2$ to both sides yields $f^2 > 0$ (Axiom 3).

With the trivial inequality, we now know that $1 = (1) ^2$ is a positive number.

Polynomial inequalities can be solved by understanding how the graph behaves. Because the graph is continuous (naively this means that the graph can be drawn without lifting off your pen), we only need to find the roots of the polynomial and test one value in each of the corresponding regions to determine if they are positive or negative.

## Application and Extensions

### Determine the region in which $x^2 < 1$.

The proper approach would be to shift the terms to one side, and then factorize, to get $x^2 - 1 < 0 \Leftrightarrow (x-1)(x+1) < 0$.

This has roots $1$ and $-1$, so we test the 3 different regions ( i.e. $x < -1, -1 < x < 1, 1, to conclude that the inequality is satisfied for $-1 < x < 1$.

Note: Similar to the equality case $x^2 = 1$, the first instinct of many students is to simply take square roots on the inequality and conclude that $x < 1$. This likewise leads to the wrong answer.

### Determine the region in which $\frac {x^2+3x} {x+5} \leq \frac {x^2 + 5x +2 }{x+5}$.

To avoid dividing by 0, we want to ensure that the denominator is never 0. As such, we have to exclude $x=-5$ as a possibility. From Axiom 4, we can only multiply by a quantity with a fixed sign.

Since $x+5$ is negative when $x < -5$, we cannot simply multiply by $x+5$. Instead, we can multiply by $(x+5)^2$, which we know is always non-negative, to obtain $( x^2 + 3x) (x+5) \leq (x^2 + 5x + 2 ) ( x+5 ).$

At this point, it is tempting to cancel the term $x+5$ on both sides, but this is equivalent to multiplying by $\frac {1}{x+5}$. We may not do so, we choose to factorize instead. Shifting all the terms to one side and factorizing, we get $0 \leq 2 (x+1) ( x+ 5).$

We easily understand the graph of this quadratic equation, and (by using the number line) can conclude that the inequality is satisfied when $x < -5$ (Recall that $x = -5$ is excluded) or $x \geq -1$.

### Show that $x^2 + 2x + 2 \geq 0$ for all real values of $x$.

If we tried to calculate the roots to the quadratic equation $x^2 + 2x +2 = 0$, since the discriminant is negative, we know that the roots are complex numbers. Hence there is only 1 region on the number line. Testing $x = 0$ shows that the quantity is always positive.

Another approach is to rewrite $x^2 + 2x + 2 = (x+1) ^2 + 1$ by Completing the square. Since both terms are squares, they are non-negative, and hence their sum is non-negative (axiom 3).

### Show that the product of 2 positive numbers is positive.

If $X$ and $Y$ are positive numbers, then $X > 0, Y > 0$. Using axiom 4, (with $a = X, b = 0, c = Y$), we get that $X \cdot Y > 0 \cdot Y = 0$. Hence, the product $XY$ is positive.

Note by Calvin Lin
7 years ago

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

• Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
• Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
• Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold
- bulleted- list
• bulleted
• list
1. numbered2. list
1. numbered
2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in $$ ... $$ or $ ... $ to ensure proper formatting.
2 \times 3 $2 \times 3$
2^{34} $2^{34}$
a_{i-1} $a_{i-1}$
\frac{2}{3} $\frac{2}{3}$
\sqrt{2} $\sqrt{2}$
\sum_{i=1}^3 $\sum_{i=1}^3$
\sin \theta $\sin \theta$
\boxed{123} $\boxed{123}$

Sort by:

You can also add that inequalities are not valid for $\text{complex numbers}$.
Example : We cannot compare which one is greater between $2 + 3i$ and $1+ 3i$. $( i = \sqrt{-1}$)

- 5 years, 7 months ago

You can discuss Wavy curve method also. :-)

- 5 years, 6 months ago