4.3 Exponent & Root Inequalities and Traps

Key Takeaways

  • Ordering of powers and roots depends on the base interval: for 0 < x < 1, x^2 < x < sqrt(x) < 1, which reverses the x > 1 pattern sqrt(x) < x < x^2.

  • For -1 < x < 0, odd powers stay negative and move toward 0 (x < x^3 < 0) while even powers are positive and shrink toward 0 (0 < x^4 < x^2 < 1).

  • Radicals do not distribute over addition or subtraction: sqrt(a^2 + b^2) != a + b and sqrt(a - b) != sqrt(a) - sqrt(b); also (ab)^n != a^n + b^n.

  • Even roots require a non-negative radicand in the reals, and you may square both sides of an inequality only after confirming both sides are non-negative.

  • For b^x > b^y with b > 1, the inequality on exponents keeps the same direction; if 0 < b < 1, the exponent inequality reverses.

Last updated: August 2026

Quick Answer: Exponents and roots do not keep one ordering on the whole real line. For x>1x > 1, x<x<x2<x3\sqrt{x} < x < x^2 < x^3. For 0<x<10 < x < 1 the chain reverses: x3<x2<x<x<1x^3 < x^2 < x < \sqrt{x} < 1. Negative bases split by parity: even powers are positive, odd powers stay negative, and even roots of negatives are undefined in the reals. Never write a2+b2=a+b\sqrt{a^2 + b^2} = a + b or (ab)n=an+bn(ab)^n = a^n + b^n. For bf(x)>bg(x)b^{f(x)} > b^{g(x)}, keep the exponent inequality if b>1b > 1 and reverse it if 0<b<10 < b < 1. GMAT Quantitative Reasoning (21 questions, 45 minutes, no calculator; OG Quantitative Review 2026–2027 Math Review 3.2) tests these comparisons with exact arithmetic, not calculator graphs.

Four Intervals, Four Orderings

Mark −1-1, 00, and 11 on a number line before you compare xx, x2x^2, x3x^3, and x\sqrt{x}. Those three cut-points split the line into the four intervals GMAT writers actually use.

Interval 1: x>1x > 1 (powers grow)

Multiplying by a number larger than 11 increases magnitude:

x3<x<x<x2<x3\sqrt[3]{x} < \sqrt{x} < x < x^2 < x^3

Test x=4x = 4: 4=2\sqrt{4} = 2, 42=164^2 = 16, 43=644^3 = 64, so 2<4<16<642 < 4 < 16 < 64. Higher integer exponents make larger values; roots pull the value back toward 11 from above.

Interval 2: 0<x<10 < x < 1 (the reversal trap)

Multiplying by a proper fraction pulls the value toward 00; taking a root pulls it toward 11:

0<x3<x2<x<x<x3<10 < x^3 < x^2 < x < \sqrt{x} < \sqrt[3]{x} < 1

Test x=14x = \dfrac{1}{4}:

  • x3=164=0.015625x^3 = \dfrac{1}{64} = 0.015625
  • x2=116=0.0625x^2 = \dfrac{1}{16} = 0.0625
  • x=0.25x = 0.25
  • x=0.5\sqrt{x} = 0.5

So 164<116<14<12<1\dfrac{1}{64} < \dfrac{1}{16} < \dfrac{1}{4} < \dfrac{1}{2} < 1. Squaring a number in (0,1)(0,1) makes it smaller; taking a square root makes it larger.

The same reversal governs negative exponents of a base greater than 11: 2−5<2−3<1<232^{-5} < 2^{-3} < 1 < 2^3, because a more negative exponent is a smaller positive unit fraction. For a base in (0,1)(0,1) the reverse holds: (12)−5=32>(12)−3=8\bigl(\tfrac{1}{2}\bigr)^{-5} = 32 > \bigl(\tfrac{1}{2}\bigr)^{-3} = 8.

Interval 3: −1<x<0-1 < x < 0 (negative proper fractions)

Odd powers stay negative and march toward 00; even powers are positive and shrink toward 00:

x<x3<x5<0<⋯<x6<x4<x2<1x < x^3 < x^5 < 0 < \cdots < x^6 < x^4 < x^2 < 1

Test x=−12x = -\dfrac{1}{2}:

  • x=−0.5x = -0.5
  • x2=0.25x^2 = 0.25
  • x3=−0.125x^3 = -0.125
  • x4=0.0625x^4 = 0.0625
  • x5=−0.03125x^5 = -0.03125

Ordering: −12<−18<0<116<14-\tfrac{1}{2} < -\tfrac{1}{8} < 0 < \tfrac{1}{16} < \tfrac{1}{4}. Square roots of xx itself are undefined in the reals on this interval, because x<0x < 0.

Interval 4: x<−1x < -1 (large negative bases)

Magnitudes grow, and signs follow parity:

⋯<x5<x3<x<0<1<∣x∣<x2<x4\cdots < x^5 < x^3 < x < 0 < 1 < |x| < x^2 < x^4

Test x=−2x = -2: x3=−8x^3 = -8, x=−2x = -2, x2=4x^2 = 4, x4=16x^4 = 16. Even roots of xx are again undefined in the reals. Odd roots remain real and negative: −83=−2\sqrt[3]{-8} = -2.

Interval Summary Table

IntervalTest valueOrderingCore insight
x>1x > 1x=4x = 4x<x<x2<x3\sqrt{x} < x < x^2 < x^3Higher powers increase; roots decrease toward 1.
0<x<10 < x < 1x=1/4x = 1/4x3<x2<x<xx^3 < x^2 < x < \sqrt{x}Higher powers decrease; roots increase toward 1.
−1<x<0-1 < x < 0x=−1/2x = -1/2x<x3<0<x4<x2x < x^3 < 0 < x^4 < x^2Odd powers negative and near 0; even powers positive and near 0.
x<−1x < -1x=−2x = -2x3<x<0<1<x2<x4x^3 < x < 0 < 1 < x^2 < x^4Odd powers large negative; even powers large positive.

When a stem gives only x<0x < 0 without placing xx relative to −1-1, do not claim a single order for ∣x∣2|x|^2 versus ∣x∣3|x|^3. Split the case at −1-1, or pick two test values (for example −12-\tfrac{1}{2} and −2-2) before you eliminate choices.

Classic Algebra Traps

Trap 1: a2+b2≠a+b\sqrt{a^2 + b^2} \ne a + b

A square root does not distribute over addition. For a,b>0a, b > 0,

(a+b)2=a2+2ab+b2>a2+b2  ⟹  a2+b2<a+b.(a+b)^2 = a^2 + 2ab + b^2 > a^2 + b^2 \implies \sqrt{a^2 + b^2} < a + b.

Counterexample: 32+42=5\sqrt{3^2 + 4^2} = 5, while 3+4=73 + 4 = 7.

Trap 2: a−b≠a−b\sqrt{a - b} \ne \sqrt{a} - \sqrt{b}

Counterexample: 100−64=6\sqrt{100 - 64} = 6, while 100−64=2\sqrt{100} - \sqrt{64} = 2.

Trap 3: (a+b)n≠an+bn(a + b)^n \ne a^n + b^n (and (ab)n≠an+bn(ab)^n \ne a^n + b^n)

The power of a product is anbna^n b^n. The power of a sum expands with binomial cross terms: (a+b)2=a2+2ab+b2(a+b)^2 = a^2 + 2ab + b^2. Dropping 2ab2ab is the “freshman’s dream.” Likewise (ab)n(ab)^n is never an+bna^n + b^n for generic nonzero a,ba, b.

Trap 4: (a−b)2(a - b)^2 is not a2−b2a^2 - b^2

  • (a−b)2=a2−2ab+b2(a - b)^2 = a^2 - 2ab + b^2 (perfect-square trinomial).
  • a2−b2=(a−b)(a+b)a^2 - b^2 = (a - b)(a + b) (difference of squares).

They agree only in special cases (for instance b=0b = 0).

Trap 5: adding unlike radicals, and 1a+b≠1a+1b\dfrac{1}{a+b} \ne \dfrac{1}{a} + \dfrac{1}{b}

2+8=2+22=32\sqrt{2} + \sqrt{8} = \sqrt{2} + 2\sqrt{2} = 3\sqrt{2}, but 2+3\sqrt{2} + \sqrt{3} stays a sum. And 12+2=14\dfrac{1}{2+2} = \dfrac{1}{4}, while 12+12=1\dfrac{1}{2} + \dfrac{1}{2} = 1.

Domain Restrictions and Squaring Inequalities

f(x)\sqrt{f(x)} is defined in the reals if and only if f(x)≥0f(x) \ge 0. Example: 6−2x\sqrt{6 - 2x} requires x≤3x \le 3. Even fourth roots impose the same non-negativity; odd roots do not.

You may square both sides of A>BA > B only when both sides are known to be non-negative. Then A>B≥0A > B \ge 0 implies A2>B2A^2 > B^2. If both sides are negative, the inequality reverses under squaring: −2>−5-2 > -5 but 4<254 < 25. Mixed or unknown signs make squaring invalid: −4<3-4 < 3 but 16>916 > 9. On Quant, convert a radical inequality into f(x)≥0f(x) \ge 0 first, then square only the non-negative sides that remain.

Directional Rules for Exponential Inequalities

For bf(x)>bg(x)b^{f(x)} > b^{g(x)}:

  • If b>1b > 1, the exponential is increasing: f(x)>g(x)f(x) > g(x). Example: 23x−1>2x+5  ⟹  3x−1>x+5  ⟹  x>32^{3x-1} > 2^{x+5} \implies 3x - 1 > x + 5 \implies x > 3.
  • If 0<b<10 < b < 1, the exponential is decreasing: reverse the exponent inequality. Example: (13)2x>(13)6  ⟹  2x<6  ⟹  x<3\bigl(\tfrac{1}{3}\bigr)^{2x} > \bigl(\tfrac{1}{3}\bigr)^{6} \implies 2x < 6 \implies x < 3.

Bases equal to 11, 00, or negatives are not usable exponential bases for these comparison rules. A negative base raised to a non-integer power is generally not real, so GMAT stems that compare bxb^x for variable xx use b>0b > 0.

Loading diagram...
Behavior of powers and roots: four base intervals

Worked Trap and Inequality Problems

Worked Example 1: Ordering with 0<y<10 < y < 1

Arrange P=y2P = y^2, Q=yQ = \sqrt{y}, and R=1/yR = 1/y in increasing order.

Pick y=14y = \dfrac{1}{4}:

  • P=116=0.0625P = \dfrac{1}{16} = 0.0625
  • Q=12=0.50Q = \dfrac{1}{2} = 0.50
  • R=4R = 4

So P<Q<RP < Q < R, that is y2<y<1yy^2 < \sqrt{y} < \dfrac{1}{y}. The same chain holds for every yy in (0,1)(0,1) because y2<y<y<1y^2 < y < \sqrt{y} < 1 while 1/y>11/y > 1.

Worked Example 2: Do not distribute the square root

If aa and bb are positive, a2+b2=50a^2 + b^2 = 50, and ab=7ab = 7, find (a−b)2(a - b)^2.

(a−b)2=a2−2ab+b2=(a2+b2)−2ab=50−14=36.(a - b)^2 = a^2 - 2ab + b^2 = (a^2 + b^2) - 2ab = 50 - 14 = 36.

The false step a2+b2=a+b\sqrt{a^2 + b^2} = a + b would have sent you to a+b=50a + b = \sqrt{50}, which is not needed and not equal to a+ba + b.

Worked Example 3: Exponential inequality with a unit-fraction base

Solve (12)1−x>8\bigl(\tfrac{1}{2}\bigr)^{1-x} > 8. Rewrite 8=23=(12)−38 = 2^3 = \bigl(\tfrac{1}{2}\bigr)^{-3}. Then (12)1−x>(12)−3\bigl(\tfrac{1}{2}\bigr)^{1-x} > \bigl(\tfrac{1}{2}\bigr)^{-3}. Because 0<1/2<10 < 1/2 < 1, reverse: 1−x<−31 - x < -3, so −x<−4-x < -4 and x>4x > 4.

Test Your Knowledge

If 0 < x < 1, which of the following statements must be true?

I. x^4 < x^2 II. 1/x > sqrt(x) III. x^2 < 1/x

A

I and II only

B

I, II, and III

C

I and III only

D

II and III only

Test Your Knowledge

If x is a real number such that (1/5)^(x + 4) > (1/125)^(x - 1), what is the complete set of possible values for x?

A

x < 7/2

B

x > 4

C

x > 7/2

D

x < 4

Test Your Knowledge

If a and b are positive real numbers such that a^2 + b^2 = 169 and ab = 60, what is the value of sqrt(a^2 + b^2) / (a + b)?

A

17/13

B

1

C

13

D

13/17

Sections you finish are checked off in the contents.