Solving rational inequalities with fractions on both sides requires a systematic approach that prioritizes domain restrictions and sign analysis over simple cross-multiplication. Worth adding: unlike equations, where multiplying both sides by a variable expression is often safe, inequalities demand extreme caution because the sign of the multiplier dictates whether the inequality symbol flips. Mastering this topic builds a critical foundation for calculus, optimization problems, and advanced algebraic modeling.
Understanding the Core Challenge
A rational inequality compares two rational expressions using symbols like ${content}lt;$, ${content}gt;$, $\le$, or $\ge$. In real terms, consider the inequality $\frac{1}{x} > \frac{1}{x+2}$. This leads to if you cross-multiply directly to get $x+2 > x$, you simplify to $2 > 0$, which suggests the solution is all real numbers. Still, the original inequality is undefined at $x=0$ and $x=-2$, and it is actually false for values between $-2$ and $0$. The error occurs because cross-multiplication implicitly assumes the denominators are positive. When fractions appear on both sides, the instinct to "cross-multiply" is dangerous. If $x$ is negative, multiplying by $x(x+2)$ flips the inequality sign, invalidating the result.
The only reliable algebraic method involves moving all terms to one side, combining them into a single rational expression, and performing a sign chart analysis (also known as the interval method or test point method). This transforms the problem into determining where a single fraction is positive, negative, or zero.
Step-by-Step Solution Framework
Follow this rigorous workflow every time you encounter fractions on both sides of an inequality symbol.
1. Move All Terms to One Side
Rewrite the inequality so that one side is exactly zero. Subtract the right-hand side expression from both sides.
- Example: $\frac{x+1}{x-2} \ge \frac{3}{x+1}$ becomes $\frac{x+1}{x-2} - \frac{3}{x+1} \ge 0$.
2. Combine into a Single Fraction
Find the Least Common Denominator (LCD). The LCD is the product of all distinct factors from the denominators, each raised to the highest power it appears. Do not multiply the inequality by the LCD yet; simply use it to combine the numerators algebraically.
- LCD: $(x-2)(x+1)$
- Combine: $\frac{(x+1)(x+1) - 3(x-2)}{(x-2)(x+1)} \ge 0$
3. Simplify the Numerator
Expand and combine like terms in the numerator only. Keep the denominator in factored form. Factored denominators reveal critical values instantly.
- Numerator: $(x^2 + 2x + 1) - (3x - 6) = x^2 - x + 7$
- Current Form: $\frac{x^2 - x + 7}{(x-2)(x+1)} \ge 0$
4. Find Critical Values (Boundary Points)
Critical values partition the number line into intervals. They come from two sources:
- Zeros of the Numerator: Solve $Numerator = 0$. These are values where the expression equals zero. Check if the inequality is non-strict ($\ge$ or $\le$) to determine if these points are included in the final solution (closed circles).
- Zeros of the Denominator: Solve $Denominator = 0$. These are excluded values (domain restrictions). The expression is undefined here. They are never included in the solution set (open circles), regardless of the inequality symbol.
- Numerator: $x^2 - x + 7 = 0$. Discriminant $(-1)^2 - 4(1)(7) = -27 < 0$. No real roots. The numerator is always positive.
- Denominator: $(x-2)(x+1) = 0 \rightarrow x = 2, x = -1$. These are vertical asymptotes/excluded values.
5. Construct the Sign Chart
Draw a number line. Mark the critical values found in Step 4. Use open circles ($\circ$) for excluded values (denominator zeros) and closed circles ($\bullet$) for included numerator zeros (if applicable). Since our example has no numerator zeros, we only mark $x=-1$ and $x=2$ with open circles.
This creates three intervals:
- $(-\infty, -1)$
- $(-1, 2)$
6. Test Each Interval
Select a single test point from each interval. Plug this value into the factored form of the combined expression $\frac{N(x)}{D(x)}$. You do not need the exact numerical value; you only need the sign (positive or negative) of each factor.
- Interval 1: Test $x = -2$.
- Numerator: $(-2)^2 - (-2) + 7 = 13$ (+)
- Factor $(x-2)$: $-4$ (-)
- Factor $(x+1)$: $-1$ (-)
- Total Sign: $\frac{(+)}{(-)(-)} = \frac{+}{+} =$ Positive.
- Interval 2: Test $x = 0$.
- Numerator: $7$ (+)
- Factor $(x-2)$: $-2$ (-)
- Factor $(x+1)$: $1$ (+)
- Total Sign: $\frac{(+)}{(-)(+)} = \frac{+}{-} =$ Negative.
- Interval 3: Test $x = 3$.
- Numerator: $13$ (+)
- Factor $(x-2)$: $1$ (+)
- Factor $(x+1)$: $4$ (+)
- Total Sign: $\frac{(+)}{(+)(+)} =$ Positive.
7. Write the Solution Set
Match the signs from the chart to the original inequality symbol ($\ge 0$ means we want Positive intervals).
- Positive intervals: $(-\infty, -1)$ and $(2, \infty)$.
- Check endpoints: The inequality is $\ge$, but the critical points $-1$ and $2$ make the denominator zero (undefined). They remain excluded.
- Final Answer: $(-\infty, -1) \cup (2, \infty)$.
Why Cross-Multiplication Fails: A Deep Dive
The prohibition against cross-multiplication stems from the Multiplication Property of Inequality.
- If $a > b$ and $c > 0$, then $ac > bc$.
- If $a > b$ and $c < 0$, then $ac < bc$ (the sign flips).
When you cross-multiply $\frac{A}{B} > \frac{C}{D}$, you are effectively multiplying by $B \cdot D$. Since $B$ and $D$ contain variables, their signs are unknown. They change depending on the value of $x$. You would have to split the problem into multiple cases based on the signs of $B$ and $D$:
- Case 1: $B>0, D>0$ (Sign stays same)
- Case 2: $B>0, D<0$ (Sign flips)
- Case 3: $B<0, D>0$ (Sign flips)
