Algebra of Inequalities and Real-Number Properties

11 min read

Quick Reference

Rosen develops the order axioms formally in Appendix 1 and uses the well-ordering property again in Section 5.2 (p.341). A student entering MATH 301 is expected to manipulate inequalities fluently before the first proof.

Before You Start: Prerequisite Check

Try This First

Pick any two different real numbers and call them $x$ and $y$. Place them on a number line.

Now answer three questions before reading further:

• Is it possible for neither $x < y$ nor $y < x$ to hold, when $x$ and $y$ are different?
• If you slide both points right by the same amount (add $7$ to each), does their left-to-right order change?
• If you stretch the line by a positive factor (multiply each by $3$), does their order change? What if you multiply each by $-3$?

Write down what you expect. The order axioms below name exactly the rules your number line is obeying, and the third question hides the one rule beginners forget.

What an Inequality Records

An inequality records the order of two quantities: which one sits to the left on the number line. The whole machinery of discrete mathematics proofs (bounding a sum, showing one quantity stays below another, arguing that a smallest counterexample cannot exist) rests on a short list of rules for how that order behaves when you add, when you multiply, and when you compare.

Reading the order axioms as a set of moves you are allowed to make turns inequality algebra into a process: an inequality goes in, you apply a legal move, a new inequality comes out, and the order is preserved (or, in one named case, reversed).

Prerequisite Hub

Nothing in the discrete-mathematics tree comes before this material; it is assumed background for MATH 301.

Builds on: nothing inside this course. The reader is assumed to have arithmetic with signed real numbers and a working number line from earlier coursework.

Unlocks (the proof nodes that depend on fluent inequality algebra and the well-ordering property):

graph LR
    subgraph ThisNode["This Node"]
        A["Algebra of Inequalities<br/>and Real-Number Properties"]
    end

    subgraph Unlocks
        B["Introduction<br/>to Proofs"]
        C["Proof Methods<br/>and Strategy"]
        D["Mathematical<br/>Induction"]
    end

    A --> B
    A --> C
    A --> D

    style A fill:#d1fae5,stroke:#a565f0,stroke-width:3px

    click B "../ch1-sec7/introduction-to-proofs.html"
    click C "../ch1-sec8/proof-methods-and-strategy.html"
    click D "../ch5-sec1/mathematical-induction.html"

Quick Reference

The Four Order Moves at a Glance

The one move not on this list (multiply by a negative) is the source of the most common error. Its handling is derived below, not assumed.

Key Concepts

The Order Axioms

Order axioms for the real numbers:

For any real numbers $x$, $y$, and $z$:

1. Trichotomy. Exactly one of $x < y$, $x = y$, or $x > y$ holds.
2. Transitivity. If $x < y$ and $y < z$, then $x < z$.
3. Additivity. If $x < y$, then $x + z < y + z$ for any real $z$.
4. Multiplication by a positive. If $x < y$ and $0 < z$, then $xz < yz$.

Source: Rosen, Discrete Mathematics and Its Applications, 8th ed., Appendix 1 (Axioms for the Real Numbers and the Positive Integers), p.A-1 to A-2.

These four statements are the official definition of the order relation $<$ on the real numbers. Every legal step in inequality algebra is one of these four, or a consequence proved from them.

Two Faces of the Same Symbol

The symbol $<$ has a number-line face and a rule face, and both describe one relation.

• Number-line face: $x < y$ means $x$ sits to the left of $y$.
• Rule face: $x < y$ is something you can transform with the four axioms, the way a function transforms an input into an output.

A worked argument moves between these two faces: picture the order, apply a legal move, picture the new order. Keeping both faces in view is what stops a step from feeling like a memorized trick.

Deriving the Negative-Multiplication Rule

The axioms list multiplication by a positive number. What happens when you multiply by a negative? This is not a separate axiom; it follows from the four above, so it is worth deriving once rather than memorizing.

Suppose $x < y$ and let $z$ be negative, so $z < 0$.

Step 1. From $z < 0$, add $-z$ to both sides (Additivity, with the value $-z$): $$z + (-z) < 0 + (-z), \qquad \text{so} \qquad 0 < -z.$$ The quantity $-z$ is therefore positive.

Step 2. Apply Multiplication by a positive, using the positive number $-z$, to $x < y$: $$x(-z) < y(-z), \qquad \text{so} \qquad -xz < -yz.$$

Step 3. Add $xz + yz$ to both sides (Additivity again): $$-xz + (xz + yz) < -yz + (xz + yz), \qquad \text{so} \qquad yz < xz.$$

Reading that last line right to left gives $xz > yz$. Multiplying an inequality by a negative number reverses its direction, and the reversal is forced by the same four axioms, not by a new rule.

The Well-Ordering Property

Well-Ordering Property of the positive integers:

Every nonempty set of positive integers has a least element.

Source: Rosen, Discrete Mathematics and Its Applications, 8th ed., Appendix 1, p.A-2 (also stated in Section 5.2, p.341).

This property looks almost too obvious to state, yet it is the engine behind mathematical induction. When a proof argues that “if a counterexample existed, there would be a smallest one,” the existence of that smallest counterexample is exactly the well-ordering property. The real numbers do not have this property (the open interval of positive reals has no least element), so well-ordering is special to the positive integers and is the reason induction works on them and not on the reals.

Worked Example: Bounding a Quantity

Claim. If $0 < a < b$, then $a^2 < b^2$.

Predict first. Squaring is multiplication of a number by itself. The inputs are both positive. Before computing, predict: should the order survive squaring, and why might that be plausible?

Reasoning. Start from $a < b$.

• Multiply $a < b$ by the positive number $a$ (Multiplication by a positive, since $0 < a$):

$$a \cdot a < b \cdot a, \qquad \text{so} \qquad a^2 < ab.$$

• Multiply $a < b$ by the positive number $b$ (since $0 < b$):

$$a \cdot b < b \cdot b, \qquad \text{so} \qquad ab < b^2.$$

• Chain the two results with Transitivity:

$$a^2 < ab \quad \text{and} \quad ab < b^2 \quad \Longrightarrow \quad a^2 < b^2.$$

Compare. The prediction that the order survives is confirmed, and the argument shows why: positivity let both multiplications preserve the direction, and transitivity stitched the two halves together. If $a$ were allowed to be negative the prediction would fail; for example $-3 < 2$ but $9 > 4$.

A Second Path

Another way to see this. The same claim follows from a single factoring step. Because $b^2 - a^2 = (b - a)(b + a)$, and both $b - a$ and $b + a$ are positive when $0 < a < b$, the product $(b-a)(b+a)$ is positive, so $b^2 - a^2 > 0$, which is $a^2 < b^2$. One path chains two multiplications; the other multiplies two positive factors. Which feels more convincing to you, and why?

Common Misconceptions

Practice Problems

Mastery Checklist

Novice (Level 1-2):

• I can state the four order axioms (trichotomy, transitivity, additivity, multiplication by a positive)
• I can add the same number to both sides of an inequality and name the axiom
• I can explain why multiplying by a negative number reverses the direction

Competent (Level 3-4):

• I can chain inequalities using transitivity across several links
• I can prove a short bounding statement such as $a^2 < b^2$ from the axioms
• I can predict whether a step preserves or reverses the inequality before computing

Proficient (Level 5):

• I can state the Well-Ordering Property precisely
• I can explain why well-ordering holds for the positive integers but not for the reals
• I can connect well-ordering to the smallest-counterexample structure of an induction proof

Mental Model

The number line as a one-way street. Picture every real number as an address on a street running left to right. An inequality records which address comes first. Adding the same amount to two addresses shifts both the same distance, so their order never changes. Stretching the street by a positive factor keeps the order. Reflecting the street (multiplying by a negative) flips left and right, which is the one move that reverses the inequality. The well-ordering property says that on the integer addresses, any nonempty set you mark off has a leftmost mark, a fact that fails on the continuous street of all reals.

Connections

Looking back:

• The only background assumed is signed-number arithmetic and a working number line from earlier coursework. There is no MATH 301 prerequisite.

Looking ahead:

• Introduction to Proofs: direct and contradiction proofs about integers manipulate inequalities at every line.
• Proof Methods and Strategy: proof by cases and counterexample search compare and bound quantities.
• Mathematical Induction: the well-ordering property stated here is the justification for induction.

Real-world connections:

• Bounding arguments in algorithm analysis (showing one running time stays below another) are inequality chains built from these axioms.
• The smallest-counterexample method, used throughout discrete mathematics, is the well-ordering property in disguise.

Resources

Last updated: 2026-06-16