Porisma

Complete reference

Solving inequalities

Use this page when you want the full derivations, source detail, and method notes. The main lesson keeps the shorter study path.

Lesson notes

Critical values and repeated roots

Factor the polynomial, mark every real zero and test signs between them. For x2+2x−15=(x+5)(x−3)x^2+2x-15=(x+5)(x-3), the roots are −5,3-5,3 and interval signs are +,−,++,-,+. Thus x2+2x−15<0x^2+2x-15<0 gives −5<x<3-5<x<3, where the upward-opening parabola is below the axis.

For (x−1)(x+1)(x+3)2(x-1)(x+1)(x+3)^2, signs on (−∞,−3),(−3,−1),(−1,1),(1,∞)(-\infty,-3),(-3,-1),(-1,1),(1,\infty) are +,+,−,++,+,-,+. The double root −3-3 does not change the sign. The positive inequality gives x<−3x<-3 or −3<x<−1-3<x<-1 or x>1x>1; the nonpositive inequality gives x=−3x=-3 or −1≤x≤1-1\le x\le1.

Example 1’s test-point paragraph prints (x−5)(x+3)(x-5)(x+3): that is a typo. Test the original (x+5)(x−3)(x+5)(x-3), consistent with the source roots and final answer.

Nine rules for preserving an inequality

Before cancelling a factor, check its sign. When applying a function to both sides, check whether it increases or decreases.

  1. Transitivity: a<ba<b and b<cb<c imply a<ca<c. For example, −1<2<13-1<2<13 gives −1<13-1<13.
  2. Add the same number: a<ba<b implies a+c<b+ca+c<b+c. Starting with 2<72<7, adding 44 gives 6<116<11; adding −4-4 gives −2<3-2<3.
  3. Multiply by a positive number: if a>ba>b and c>0c>0, then ac>bcac>bc. From 2>−12>-1, multiplication by 33 gives 6>−36>-3.
  4. Multiply by a negative number: if a>ba>b and c<0c<0, then ac<bcac<bc. Multiplying 2>−12>-1 by −3-3 gives −6<3-6<3. Check this sign before multiplying by an expression involving xx.
  5. Square positive inputs: a>b>0a>b>0 implies a2>b2a^2>b^2. For example, 3>23>2 gives 9>49>4. Do not drop the positivity condition.
  6. A positive product: ab>0ab>0 means both factors are positive or both are negative. For example, (2)(3)>0(2)(3)>0 and (−2)(−3)>0(-2)(-3)>0.
  7. A negative product: ab<0ab<0 means the factors have opposite signs. For example, (2)(−3)<0(2)(-3)<0 and (−2)(3)<0(-2)(3)<0.
  8. Apply an increasing function: a<ba<b implies f(a)<f(b)f(a)<f(b) when ff is strictly increasing. The examples are ln⁡x\ln x on positive inputs and exe^x: ln⁡a<ln⁡b\ln a<\ln b and ea<ebe^a<e^b.
  9. Apply a decreasing function: a<ba<b implies f(a)>f(b)f(a)>f(b) when ff is strictly decreasing. For f(x)=e−xf(x)=e^{-x}, this gives e−a>e−be^{-a}>e^{-b}.

Algebraic and graphical methods describe the same solution set. Check critical values individually for non-strict inequalities; an even repeated root need not change the sign. When asked for the set of values, present set notation. A range may be written with inequalities, interval notation or set notation.

Choose one of three methods

One graph: make the right side zero, for example f(x)−g(x)>0f(x)-g(x)>0. Sketch the difference; find its x-intercepts and vertical asymptotes, then read the required intervals.

Two graphs: sketch y=f(x)y=f(x) and y=g(x)y=g(x). Find intersection inputs and vertical asymptotes of either graph, then compare which graph lies higher.

Analytical: make the right side zero, combine the left side into one rational expression and factor numerator and denominator as far as possible. Complete the square when a quadratic does not factor over the reals. Mark critical values and test every interval.

For other expressions a graph is often useful. Always inspect domain endpoints and vertical asymptotes as well as crossings. When squaring a radical comparison, first check that its radicand is nonnegative and that the two quantities being compared have the required signs.

Modulus: a nonnegative magnitude

By definition, ∣x∣=x|x|=x for x≥0x\ge0 and ∣x∣=−x|x|=-x for x<0x<0. Its graph reflects the negative half of y=xy=x above the axis.

  • ∣x∣≥0|x|\ge0 for every real xx.
  • ∣x∣2=∣x2∣=x2|x|^2=|x^2|=x^2.
  • x2=∣x∣\sqrt{x^2}=|x|, which need not equal xx when x<0x<0.
  • For a positive constant aa, ∣x∣<a|x|<a means −a<x<a-a<x<a.
  • For a positive constant aa, ∣x∣>a|x|>a means x<−ax<-a or x>ax>a.

Compare the V graph with y=ay=a to see the inside and outside intervals. Simple modulus inequalities can use these properties directly; more complicated ones can use graph comparisons. The positivity condition matters: ∣x∣<−2|x|<-2 has no solution, whereas ∣x∣>−2|x|>-2 holds for every real xx.

Recognise a hence substitution

Match the complete expression to a form already solved. Every occurrence of the old input must be replaced, including powers, denominators and modulus bars. Common replacements in these notes are x2x^2, exe^x, ln⁡x\ln x, ∣x∣|x| and sin⁡x\sin x.

Then intersect the resulting condition with the replacement’s range and domain: ∣x∣≥0|x|\ge0, ex>0e^x>0, ln⁡x\ln x requires x>0x>0, and −1≤sin⁡x≤1-1\le\sin x\le1. Keep denominator exclusions after substitution. Examples 10 and 11 show why the algebraic answer alone is not the last step.