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 a, b are real numbers, then one and only one of the following is true: a>b a >b , a=b a = b , b>a b > a .

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

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

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

With this, we can formally define a positive and negative number. A positive number is a number a a that satisfies a>0 a > 0 , while a negative number is a number a a that satisfies 0>a 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 f = 0 , then f2=0 f^2 = 0 .

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

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

With the trivial inequality, we now know that 1=(1)2 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 x2<1 x^2 < 1 .

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

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

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


Determine the region in which x2+3xx+5x2+5x+2x+5 \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 x=-5 as a possibility. From Axiom 4, we can only multiply by a quantity with a fixed sign.

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

At this point, it is tempting to cancel the term x+5 x+5 on both sides, but this is equivalent to multiplying by 1x+5 \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 02(x+1)(x+5). 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 x < -5 (Recall that x=5 x = -5 is excluded) or x1 x \geq -1 .


Show that x2+2x+20 x^2 + 2x + 2 \geq 0 for all real values of x x .

If we tried to calculate the roots to the quadratic equation x2+2x+2=0 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 x = 0 shows that the quantity is always positive.

Another approach is to rewrite x2+2x+2=(x+1)2+1 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 X and Y Y are positive numbers, then X>0,Y>0 X > 0, Y > 0 . Using axiom 4, (with a=X,b=0,c=Y a = X, b = 0, c = Y ), we get that XY>0Y=0 X \cdot Y > 0 \cdot Y = 0 . Hence, the product XY XY is positive.

Note by Calvin Lin
7 years, 4 months ago

No vote yet
1 vote

  Easy Math Editor

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.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. 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 1

paragraph 2

paragraph 1

paragraph 2

[example link]( 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×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}


Sort by:

Top Newest

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

Akhil Bansal - 5 years, 10 months ago

Log in to reply

You can discuss Wavy curve method also. :-)

Sachin Vishwakarma - 5 years, 10 months ago

Log in to reply


Problem Loading...

Note Loading...

Set Loading...