The Central Idea
Suppose we want to solve
\[ (x-1)(x+4)>0. \]The expression can change sign only when one of its factors changes sign.
Those changes can occur at
\[ x=1 \]and
\[ x=-4. \]These values divide the real number line into three intervals:
\[ (-\infty,-4),\qquad (-4,1),\qquad (1,\infty). \]Inside each interval, neither factor passes through zero, so the sign of each factor remains fixed.
This gives the central principle of sign analysis:
Find the boundary points, divide the domain into regions, determine the sign on each region, and then select the regions that satisfy the condition.
What Is Sign Analysis?
Sign analysis is the systematic study of where an expression is:
- positive;
- negative;
- zero;
- or undefined.
It is especially useful when the expression has a factored structure such as
\[ (x-a)(x-b), \] \[ \frac{x-a}{x-b}, \]or a product of several factors.
Sign analysis is not limited to polynomial and rational inequalities. The same logic appears later in function analysis, derivatives, optimization, and interval testing.
What Is a Boundary Point?
A boundary point is a value that separates regions of the solution set or marks a place where the behavior of an expression may change.
Typical boundary points come from:
- zeros of an expression;
- undefined values;
- endpoints of a stated domain;
- piecewise breakpoints;
- or values where a condition changes form.
Not every boundary point is included in the solution set.
Zeros as Boundary Points
Consider
\[ f(x)=(x-2)(x+5). \]The expression is zero when
\[ x=2 \]or
\[ x=-5. \]These zeros separate intervals where the sign may differ:
\[ (-\infty,-5), \] \[ (-5,2), \]and
\[ (2,\infty). \]Whether the zeros themselves belong to a final inequality solution depends on whether equality is allowed.
Undefined Points as Boundary Points
Consider
\[ f(x)=\frac{x-3}{x+1}. \]The denominator is zero at
\[ x=-1. \]So \(x=-1\) is outside the domain.
Even though the function is undefined there, the point still divides the domain into separate intervals:
\[ (-\infty,-1) \]and
\[ (-1,\infty). \]Undefined points are important boundaries even though they can never be included in the solution set.
Zeros and Undefined Points Play Different Roles
For
\[ \frac{x-3}{x+1}, \]we have:
- \(x=3\) makes the expression zero;
- \(x=-1\) makes the expression undefined.
If we solve
\[ \frac{x-3}{x+1}\ge0, \]the zero at \(x=3\) may be included because equality is allowed.
The undefined point \(x=-1\) can never be included.
Critical Points and Boundary Points
In sign analysis, the phrase critical point is often used informally for values that must be placed on the sign chart because they can affect the sign or domain.
For algebraic inequalities, these usually include:
- real zeros of numerator factors;
- real zeros of denominator factors;
- and any additional domain endpoints.
These points partition the domain into test intervals.
Why the Sign Stays Constant Between Boundaries
Suppose a continuous factor does not equal zero anywhere inside an interval.
If it changed from positive to negative, it would have to pass through zero somewhere between.
Therefore, a continuous nonzero factor cannot change sign inside such an interval.
This is the deeper reason one test point can describe an entire interval.
Continuity and Sign Stability
Polynomial functions are continuous everywhere.
Rational functions are continuous wherever their denominators are nonzero.
So once zeros and undefined values have been removed, each remaining interval is a region where the function is continuous and nonzero.
Its sign therefore remains constant throughout that interval.
One Test Point per Interval
Consider
\[ (x-1)(x+4). \]The boundary points are
\[ -4,\qquad 1. \]Choose one value from each interval:
- \(x=-5\) from \((-\infty,-4)\);
- \(x=0\) from \((-4,1)\);
- \(x=2\) from \((1,\infty)\).
Those three test values determine the sign everywhere on the three intervals.
Example: Direct Interval Testing
Determine the sign of
\[ (x-1)(x+4). \]For \(x=-5\):
\[ (-6)(-1)>0. \]For \(x=0\):
\[ (-1)(4)<0. \]For \(x=2\):
\[ (1)(6)>0. \]So the sign pattern is
\[ +\quad-\quad+. \]Sign Charts
A sign chart records the sign of each factor and of the complete expression.
For
\[ (x-1)(x+4), \]| Interval | \(x+4\) | \(x-1\) | Product |
|---|---|---|---|
| \((-\infty,-4)\) | \(-\) | \(-\) | \(+\) |
| \((-4,1)\) | \(+\) | \(-\) | \(-\) |
| \((1,\infty)\) | \(+\) | \(+\) | \(+\) |
The product sign comes from the ordinary sign rules for multiplication.
Sign Logic for Products
For two nonzero factors:
| Factor 1 | Factor 2 | Product |
|---|---|---|
| Positive | Positive | Positive |
| Positive | Negative | Negative |
| Negative | Positive | Negative |
| Negative | Negative | Positive |
Sign Logic for Quotients
For a nonzero numerator and denominator:
- same signs produce a positive quotient;
- opposite signs produce a negative quotient.
So rational sign charts use the same positive/negative logic as products.
The extra issue is that denominator zeros are excluded from the domain.
Boundary Inclusion
Suppose sign analysis gives a positive region between two zeros.
Whether the endpoints are included depends on the original comparison.
For
\[ f(x)>0, \]zeros are excluded.
For
\[ f(x)\ge0, \]zeros may be included if the expression is defined there.
Undefined Boundaries Are Never Included
If a rational expression is undefined at
\[ x=a, \]then \(a\) is excluded regardless of whether the inequality is strict or inclusive.
For example,
\[ \frac{x-2}{x-5}\ge0 \]can never include
\[ x=5. \]The symbol \(\ge\) permits zeros, not undefined values.
Open and Closed Boundary Notation
In interval notation:
- use a bracket when a finite boundary point is included;
- use a parenthesis when a finite boundary point is excluded;
- always use parentheses with \(\infty\) and \(-\infty\).
Thus,
\[ x\le3 \]is
\[ (-\infty,3], \]while
\[ x<3 \]is
\[ (-\infty,3). \]Multiplicity and Sign Changes
Consider a factor
\[ (x-a)^m. \]The exponent \(m\) is the multiplicity of the zero \(x=a\).
The parity of \(m\) matters:
- odd multiplicity usually causes a sign change;
- even multiplicity usually does not.
Odd Multiplicity
Consider
\[ x-2. \]To the left of \(2\), the factor is negative.
To the right of \(2\), the factor is positive.
So the sign changes:
\[ -\quad\longrightarrow\quad+. \]The zero has multiplicity \(1\), which is odd.
Even Multiplicity
Now consider
\[ (x-2)^2. \]On both sides of \(2\), the factor is positive.
At \(x=2\), it is zero.
So the sign pattern is
\[ +\quad0\quad+. \]The sign does not change because the multiplicity is even.
Graphical Meaning of Multiplicity
At an odd-multiplicity zero, a polynomial graph typically crosses the \(x\)-axis.
At an even-multiplicity zero, it typically touches the axis and turns back.
This geometric behavior matches the sign-chart behavior.
Example with Mixed Multiplicity
Consider
\[ f(x)=(x+2)(x-1)^2(x-4). \]The zeros are
\[ x=-2,\qquad x=1,\qquad x=4. \]The sign changes at \(-2\) and \(4\) because those factors have odd multiplicity.
The sign does not change at \(1\) because \((x-1)^2\) has even multiplicity.
Determining Signs from the Far Right
For a factored polynomial, one efficient strategy is to begin with a large positive \(x\).
For
\[ (x+2)(x-1)^2(x-4), \]all factors are positive when \(x>4\), so the sign is positive on
\[ (4,\infty). \]Moving left:
- cross \(x=4\): sign changes;
- cross \(x=1\): sign stays the same;
- cross \(x=-2\): sign changes again.
Multiplicity can therefore reduce the number of test calculations needed.
Repeated Denominator Factors
Multiplicity also matters for rational expressions.
Consider
\[ \frac{x-3}{(x+1)^2}. \]The denominator is positive on both sides of \(x=-1\), though undefined exactly at \(x=-1\).
So the sign does not switch at the denominator boundary.
The point still divides the domain and must remain excluded.
Odd-Multiplicity Denominator Factors
Consider
\[ \frac{x-3}{x+1}. \]The denominator factor \(x+1\) has odd multiplicity.
Its sign changes as \(x\) passes through \(-1\).
That sign change affects the sign of the entire quotient.
Canceled Factors and Hidden Boundaries
Consider
\[ \frac{(x-2)(x+3)}{x-2}. \]For
\[ x\ne2, \]the expression simplifies to
\[ x+3. \]But the original domain still excludes
\[ x=2. \]So \(x=2\) remains a boundary point even though the simplified expression no longer shows it.
A Hole Can Split an Otherwise Continuous Solution Interval
Suppose we solve
\[ \frac{(x-2)(x+3)}{x-2}>0. \]For allowed values, this becomes
\[ x+3>0, \]so
\[ x>-3. \]But \(x=2\) is excluded.
Therefore,
\[ (-3,2)\cup(2,\infty). \]A missing domain point can split one algebraic interval into two pieces.
Domain Endpoints as Boundaries
Not every boundary comes from a zero or denominator.
Consider
\[ \sqrt{x-1}. \]Its real domain begins at
\[ x=1. \]The point \(1\) is therefore a domain boundary.
If an inequality involving this expression is solved, \(x=1\) must be considered when determining the allowable intervals.
Example with a Radical Domain Boundary
Consider
\[ \sqrt{x-1}>2. \]The domain is
\[ x\ge1. \]Since both sides are nonnegative, square:
\[ x-1>4. \]Thus,
\[ x>5. \]The final solution lies entirely inside the original domain.
The domain boundary at \(1\) was still part of the problem even though it did not become a final endpoint.
Piecewise Breakpoints
A piecewise-defined expression may change formula at a specified value.
For example, absolute value can be written as
\[ |x|= \begin{cases} x, & x\ge0,\\ -x, & x<0. \end{cases} \]The point
\[ x=0 \]is a breakpoint because the algebraic rule changes there.
Piecewise breakpoints can serve the same organizational role as other boundary points.
Boundary Points Need Not Be Solutions
A boundary point may be:
- included in the solution set;
- excluded because the inequality is strict;
- excluded because the expression is undefined;
- or excluded because it fails another domain condition.
Being a boundary point means the value organizes the solution set—not that it automatically belongs to it.
Boundary Points and Equality Cases
Suppose
\[ f(x)\ge0. \]Any point where
\[ f(x)=0 \]is potentially included.
But if that same point is not in the domain of the original expression, it must still be excluded.
This distinction is especially important for rational expressions with canceled factors.
Boundary Testing
After finding a solution interval, test the boundary values directly when possible.
For example, if the result appears to be
\[ [-2,5), \]check:
- whether \(x=-2\) satisfies the original condition;
- whether \(x=5\) fails or is undefined;
- and whether a point such as \(x=0\) satisfies the condition inside the interval.
This catches endpoint mistakes quickly.
Interior and Exterior Test Points
A strong verification strategy uses three kinds of points:
- boundary points to check inclusion;
- interior points to confirm accepted intervals;
- exterior points to confirm rejected intervals.
This is especially useful when a final solution contains several disjoint intervals.
Sign Analysis Without Full Expansion
Factored form is often more useful than expanded form.
Consider
\[ (x-4)(x+2)(x+7). \]The zeros are visible immediately:
\[ x=-7,\qquad -2,\qquad 4. \]Expanding would hide this structure and make sign analysis harder.
Choose the representation that exposes the important boundaries.
Why Factored Form Is So Useful
Factored form tells us:
- where the expression is zero;
- the multiplicity of each zero;
- where sign changes may occur;
- and how the sign of the whole expression depends on the signs of its factors.
This is one reason factoring is not merely a simplification technique—it is a structural analysis tool.
Graphical Interpretation
For a function \(f\),
\[ f(x)>0 \]means the graph lies above the \(x\)-axis.
The inequality
\[ f(x)<0 \]means the graph lies below the \(x\)-axis.
Zeros are axis intersections, while undefined points may appear as holes, asymptotes, or gaps.
Sign charts and graphs therefore describe the same behavior in different representations.
Crossing Versus Touching
If a graph crosses the \(x\)-axis at a zero, the function changes sign.
If it only touches the axis and turns back, the sign stays the same.
This geometric observation corresponds to odd versus even multiplicity in factored algebraic form.
Asymptotes as Domain Boundaries
For
\[ f(x)=\frac{1}{x-2}, \]the point
\[ x=2 \]is outside the domain and corresponds to a vertical asymptote.
The sign is negative on
\[ (-\infty,2) \]and positive on
\[ (2,\infty). \]The asymptote separates two distinct sign regions.
Not Every Undefined Point Changes Sign
Consider
\[ f(x)=\frac{1}{(x-2)^2}. \]The function is undefined at
\[ x=2, \]but positive on both sides.
So the point is still a domain boundary even though the sign does not change.
This is the rational-function analogue of an even-multiplicity zero.
A General Boundary-Point Workflow
- Identify the domain.
- Rewrite the expression into a useful structural form.
- Find zeros.
- Find undefined points and other domain boundaries.
- Order all boundary points on the number line.
- Determine the sign on each interval.
- Apply multiplicity reasoning where useful.
- Select the intervals satisfying the desired sign condition.
- Decide which finite boundary points are included.
- Write the final solution set clearly.
Worked Example: Polynomial Sign Analysis
Solve
\[ (x+3)(x-1)(x-4)\le0. \]Boundary points:
\[ -3,\qquad 1,\qquad 4. \]For large positive \(x\), all factors are positive, so the sign on
\[ (4,\infty) \]is positive.
Each zero has odd multiplicity, so the sign changes at every boundary:
\[ -\quad+\quad-\quad+. \]Reading left to right:
\[ (-\infty,-3): - \] \[ (-3,1): + \] \[ (1,4): - \] \[ (4,\infty): + \]Because we want \(\le0\), include negative intervals and the zeros:
\[ \boxed{(-\infty,-3]\cup[1,4]}. \]Worked Example: Even Multiplicity
Solve
\[ (x+2)^2(x-5)>0. \]Boundary points:
\[ -2,\qquad 5. \]For \(x>5\), the expression is positive.
Crossing \(x=5\), an odd-multiplicity zero, changes the sign to negative.
Crossing \(x=-2\), an even-multiplicity zero, does not change the sign.
Thus, the expression is negative on both intervals to the left of \(5\), except that it equals zero at \(x=-2\).
Therefore,
\[ \boxed{(5,\infty)}. \]Worked Example: Rational Sign Analysis
Solve
\[ \frac{(x+1)(x-3)}{x-2}\ge0. \]Boundary points:
\[ -1,\qquad 2,\qquad 3. \]The points \(-1\) and \(3\) are zeros.
The point \(2\) is undefined.
Testing intervals gives:
\[ (-\infty,-1): - \] \[ (-1,2): + \] \[ (2,3): - \] \[ (3,\infty): +. \]Include the numerator zeros because equality is allowed, but exclude the denominator zero:
\[ \boxed{[-1,2)\cup[3,\infty)}. \]Worked Example: Hidden Hole
Solve
\[ \frac{(x-1)(x+4)}{x-1}\le0. \]Original restriction:
\[ x\ne1. \]For allowed values, simplify:
\[ x+4\le0. \]Thus,
\[ x\le-4. \]The excluded value \(x=1\) lies outside this solution region, so it does not split the final interval.
Therefore,
\[ \boxed{(-\infty,-4]}. \]Worked Example: Hidden Hole Inside the Solution
Solve
\[ \frac{(x-2)(x+4)}{x-2}\ge0. \]Original restriction:
\[ x\ne2. \]For allowed values,
\[ x+4\ge0, \]so
\[ x\ge-4. \]Now remove the excluded point \(x=2\):
\[ \boxed{[-4,2)\cup(2,\infty)}. \]Worked Example: Domain Boundary from a Radical
Solve
\[ \sqrt{x+2}-3\ge0. \]The domain requires
\[ x\ge-2. \]Now solve:
\[ \sqrt{x+2}\ge3. \]Both sides are nonnegative, so square:
\[ x+2\ge9. \]Thus,
\[ x\ge7. \]The final solution is
\[ \boxed{[7,\infty)}. \]Sign Analysis as a Reusable Tool
The same reasoning appears in many later topics.
Examples include determining where:
- a function is positive or negative;
- a derivative is positive or negative;
- a function is increasing or decreasing;
- a model is feasible;
- a denominator changes sign;
- a quantity enters or leaves an allowed domain;
- or a constraint changes status.
Sign analysis is therefore a general reasoning method, not merely a procedure for one chapter on inequalities.
Common Errors
Using Only the Zeros as the Answer
Zeros are usually boundaries. The actual inequality solution often consists of intervals between or outside them.
Ignoring Undefined Points
Undefined values still divide the domain and must be placed on the sign chart.
Including a Denominator Zero
An undefined value can never belong to the final solution set.
Assuming the Sign Changes at Every Boundary
Even-multiplicity zeros and denominator factors may leave the sign unchanged.
Testing More Points Than Necessary
Once the boundaries are correct, one test point per interval is enough.
Expanding Away Useful Structure
Factored form usually makes boundaries and multiplicities easier to see.
Forgetting the Original Domain After Cancellation
Canceled factors can leave hidden holes.
Practice
1. Find the Boundary Points
For
\[ (x-3)(x+5), \]identify the boundary points for sign analysis.
Check Answer
\[ x=-5,\qquad x=3. \]2. Polynomial Sign Analysis
Solve:
\[ (x-3)(x+5)<0. \]Check Answer
The product is negative between the two simple roots:
\[ \boxed{(-5,3)}. \]3. Inclusive Polynomial Case
Solve:
\[ (x-3)(x+5)\ge0. \]Check Answer
The product is nonnegative outside the roots, including the zeros:
\[ \boxed{(-\infty,-5]\cup[3,\infty)}. \]4. Rational Boundary Points
For
\[ \frac{x-4}{x+2}, \]identify the zero and the undefined boundary.
Check Answer
Zero:
\[ x=4. \]Undefined boundary:
\[ x=-2. \]5. Rational Sign Analysis
Solve:
\[ \frac{x-4}{x+2}<0. \]Check Answer
The quotient is negative between the boundary points:
\[ \boxed{(-2,4)}. \]6. Even Multiplicity
Does the sign change at \(x=1\) for
\[ (x-1)^2(x+3)? \]Check Answer
No. The factor \((x-1)^2\) has even multiplicity, so its sign is positive on both sides of \(x=1\).
7. Hidden Hole
Solve:
\[ \frac{(x-2)(x+1)}{x-2}>0. \]Check Answer
Original restriction:
\[ x\ne2. \]For allowed values, the inequality becomes
\[ x+1>0, \]so
\[ x>-1. \]Remove \(x=2\):
\[ \boxed{(-1,2)\cup(2,\infty)}. \]Key Ideas
- Sign analysis determines where an expression is positive, negative, zero, or undefined.
- Boundary points divide the domain into intervals where behavior can be analyzed consistently.
- Polynomial zeros, rational numerator zeros, denominator zeros, domain endpoints, and piecewise breakpoints can all act as boundaries.
- Between consecutive boundary points, continuous nonzero factors keep a constant sign.
- One test point per interval is therefore sufficient.
- Zeros may be included in inclusive inequalities when the expression is defined there.
- Undefined points are never included.
- Odd multiplicity usually causes a sign change; even multiplicity usually does not.
- Canceled denominator factors can leave hidden domain holes.
- Factored form often exposes sign structure better than expanded form.
- Graphs, sign charts, and interval notation are different representations of the same underlying behavior.
- Sign analysis is a reusable tool that will later support function analysis, derivatives, optimization, and constraint reasoning.
Where This Leads
Sign analysis turns inequalities into a study of structure across intervals rather than a sequence of isolated symbolic moves.
This same framework will reappear whenever mathematics asks where a quantity changes sign, crosses a boundary, becomes undefined, or moves from one qualitative behavior to another.