β—€ Back to Note

Tony's Intertwingled Memex β€’ Reference Manual

Sign Analysis and 1D Sign Charts

Formulas & Definitions
Core Definition

Sign analysis is a systematic algebraic technique used to determine the intervals where a continuous or piecewise-continuous expression g(x)g(x)g(x) is strictly positive (g(x)>0g(x) > 0g(x)>0) or strictly negative (g(x)<0g(x) < 0g(x)<0). By placing all partition numbersβ€”points where g(x)=0g(x) = 0g(x)=0 (roots) or where g(x)g(x)g(x) is undefined (singularities / domain exclusions)β€”on a one-dimensional real coordinate line, the real axis is partitioned into open intervals where the sign of g(x)g(x)g(x) remains invariant.


Concept Explanation

According to the Intermediate Value Theorem and the Bolzano Zero Theorem, a continuous function cannot transition from positive to negative values without passing through zero or crossing an undefined point (such as a vertical asymptote or discontinuity). Consequently, the sign of an algebraic expression is invariant across any open interval between consecutive partition points.

The 4-Step 1D Sign Chart Workflow

To construct and evaluate a 1D Sign Chart for any algebraic, rational, or factored expression g(x)g(x)g(x):

Partition Numbers:         c1           c2           c3
Number Line:       -------(o)----------(x)----------(o)------->
Intervals:      (-inf, c1) |  (c1, c2)   |  (c2, c3)   | (c3, inf)
Test Points:        k1     |     k2      |     k3      |    k4
Sign of g(x):      (+)     |    (-)      |    (-)      |   (+)
  1. Find All Partition Numbers (Roots & Undefined Points):
    • Roots (g(x)=0g(x) = 0g(x)=0): Set numerator terms or polynomial factors equal to zero and solve for xxx.
    • Undefined Points (g(x)Β DNEg(x) \text{ DNE}g(x)Β DNE): Identify all domain exclusions, such as values that make denominators vanish (Q(x)=0Q(x) = 0Q(x)=0) or arguments of even roots/logarithms non-viable.
  2. Order and Partition the Number Line:
    • Arrange all partition numbers in strictly ascending numerical order on a horizontal axis.
    • Use distinct notation for roots (e.g., open circle o or labeled tick mark) versus domain discontinuities/vertical asymptotes (e.g., cross x or dashed vertical bar).
  3. Select Test Points (kik_iki​):
    • Choose one convenient numerical test value kik_iki​ strictly inside each sub-interval.
    • Pro Tip: Whenever 000 lies within an interval, choose k=0k = 0k=0 for rapid arithmetic evaluation.
  4. Determine Interval Signs:
    • Evaluate the sign (+++ or βˆ’-βˆ’) of g(ki)g(k_i)g(ki​) on each interval.

Two Evaluation Strategies: Direct Substitution vs. Factor Signs

Depending on the algebraic structure of the expression, choose between two strategies:

Method 1: The Factor Sign Analysis (Fastest & Safest)

When g(x)g(x)g(x) is expressed in fully factored form:

g(x)=(xβˆ’r1)m1(xβˆ’r2)m2…(xβˆ’d1)p1…g(x) = \frac{(x - r_1)^{m_1}(x - r_2)^{m_2}\dots}{(x - d_1)^{p_1}\dots}g(x)=(xβˆ’d1​)p1​…(xβˆ’r1​)m1​(xβˆ’r2​)m2​…​
Rather than multiplying out large numerical values, simply record the sign of each individual linear factor for the chosen test point kkk, then apply the standard parity rule of signs:

  • An odd number of negative factors produces an overall negative sign (βˆ’-βˆ’).
  • An even number of negative factors produces an overall positive sign (+++).

Method 2: The Multiplicity Parity Shortcut

When tracking signs across partition numbers, you can determine whether a sign flips or remains identical across a root by inspecting its multiplicity mmm from the factor (xβˆ’c)m(x - c)^m(xβˆ’c)m:

  • Odd Multiplicity (m=1,3,5,…m = 1, 3, 5, \dotsm=1,3,5,…): The factor (xβˆ’c)m(x - c)^m(xβˆ’c)m changes sign as xxx crosses ccc. Therefore, the sign of g(x)g(x)g(x) reverses (+β†’βˆ’+ \to -+β†’βˆ’ or βˆ’β†’+- \to +βˆ’β†’+).
  • Even Multiplicity (m=2,4,6,…m = 2, 4, 6, \dotsm=2,4,6,…): The factor (xβˆ’c)mβ‰₯0(x - c)^m \ge 0(xβˆ’c)mβ‰₯0 for all xβ‰ cx \ne cxξ€ =c. The factor never changes sign. Therefore, the sign of g(x)g(x)g(x) stays the same (+β†’++ \to ++β†’+ or βˆ’β†’βˆ’- \to -βˆ’β†’βˆ’).
Beware of Undefined Points

The multiplicity parity shortcut only applies across continuous zeros. While a factor (xβˆ’d)2(x - d)^2(xβˆ’d)2 in the denominator preserves the sign across x=dx = dx=d, x=dx = dx=d is a vertical asymptote and cannot be treated as a continuous critical point.


When to Use It / Method Comparison

Method Best Used When Primary Advantage Watch Out For
Factor Sign Product Expression is already fully factored into linear/irreducible terms Arithmetic is trivial (only checking if kβˆ’r>0k - r > 0kβˆ’r>0 or <0< 0<0) Missing a negative scalar leading coefficient (e.g., βˆ’2(xβˆ’1)-2(x-1)βˆ’2(xβˆ’1))
Multiplicity Parity Polynomials or rational functions with repeated roots Only requires testing one single interval; all other intervals fill via alternating/persisting signs Even powers maintain sign; do not blindly alternate signs across every tick mark
Direct Arithmetic Small expressions or simple difference fractions Direct and requires no factoring Heavy mental arithmetic; easy to make careless calculation errors with large powers

Why We Use It in Calculus (Calculus I: The First Derivative Test & Monotonicity)

In Calculus I, sign analysis is the primary analytical engine for analyzing curve topology:

  1. Monotonicity & The First Derivative Test:
    • Setting g(x)=fβ€²(x)g(x) = f'(x)g(x)=fβ€²(x), a sign chart immediately classifies the direction of the curve:
      • fβ€²(x)>0β€…β€ŠβŸΉβ€…β€Šf(x)f'(x) > 0 \implies f(x)fβ€²(x)>0⟹f(x) is strictly increasing (β†—\nearrowβ†—).
      • fβ€²(x)<0β€…β€ŠβŸΉβ€…β€Šf(x)f'(x) < 0 \implies f(x)fβ€²(x)<0⟹f(x) is strictly decreasing (β†˜\searrowβ†˜).
    • A sign transition from +β†’βˆ’+ \to -+β†’βˆ’ across a critical number c∈dom(f)c \in \text{dom}(f)c∈dom(f) proves f(c)f(c)f(c) is a local maximum.
    • A sign transition from βˆ’β†’+- \to +βˆ’β†’+ across c∈dom(f)c \in \text{dom}(f)c∈dom(f) proves f(c)f(c)f(c) is a local minimum.
    • No sign transition (+β†’++ \to ++β†’+ or βˆ’β†’βˆ’- \to -βˆ’β†’βˆ’) identifies a horizontal inflection terrace.
  2. Concavity & Points of Inflection (Second Derivative):
    • Setting g(x)=fβ€²β€²(x)g(x) = f''(x)g(x)=fβ€²β€²(x), a sign chart determines curve bending:
      • fβ€²β€²(x)>0β€…β€ŠβŸΉβ€…β€Šf(x)f''(x) > 0 \implies f(x)fβ€²β€²(x)>0⟹f(x) is concave upward (βˆͺ\cupβˆͺ).
      • fβ€²β€²(x)<0β€…β€ŠβŸΉβ€…β€Šf(x)f''(x) < 0 \implies f(x)fβ€²β€²(x)<0⟹f(x) is concave downward (∩\cap∩).
    • A sign transition of fβ€²β€²(x)f''(x)fβ€²β€²(x) across a domain point establishes a physical point of inflection.

Example Problems

Example Problem 1: Rational Derivative Sign Analysis

Given the derivative of a function:

fβ€²(x)=xβˆ’4(x+2)2f'(x) = \frac{x - 4}{(x + 2)^2}fβ€²(x)=(x+2)2xβˆ’4​
Construct a 1D sign chart to determine the intervals of increase and decrease of f(x)f(x)f(x), and classify all critical numbers. Assume dom(f)={x∈R∣xβ‰ βˆ’2}\text{dom}(f) = \{x \in \mathbb{R} \mid x \ne -2\}dom(f)={x∈R∣xξ€ =βˆ’2}.

Solution

Step 1: Identify Partition Numbers:

  • Numerator root: xβˆ’4=0β€…β€ŠβŸΉβ€…β€Šx=4x - 4 = 0 \implies x = 4xβˆ’4=0⟹x=4. Since 4∈dom(f)4 \in \text{dom}(f)4∈dom(f), x=4x = 4x=4 is a critical number (fβ€²(4)=0f'(4) = 0fβ€²(4)=0).
  • Denominator root: (x+2)2=0β€…β€ŠβŸΉβ€…β€Šx=βˆ’2(x + 2)^2 = 0 \implies x = -2(x+2)2=0⟹x=βˆ’2. Since βˆ’2βˆ‰dom(f)-2 \notin \text{dom}(f)βˆ’2∈/dom(f), x=βˆ’2x = -2x=βˆ’2 is a vertical asymptote / domain exclusion, not a critical number.

Step 2: Partition the Number Line: The partition numbers are x=βˆ’2x = -2x=βˆ’2 and x=4x = 4x=4, creating three test intervals:

(βˆ’βˆž,βˆ’2),(βˆ’2,4),(4,∞)(-\infty, -2), \quad (-2, 4), \quad (4, \infty)(βˆ’βˆž,βˆ’2),(βˆ’2,4),(4,∞)

Step 3: Analyze Factor Signs: Notice that the denominator (x+2)2(x + 2)^2(x+2)2 has an even power (m=2m=2m=2), so (x+2)2>0(x + 2)^2 > 0(x+2)2>0 for all xβ‰ βˆ’2x \ne -2xξ€ =βˆ’2. The sign of fβ€²(x)f'(x)fβ€²(x) is determined entirely by the linear factor (xβˆ’4)(x - 4)(xβˆ’4):

  • Interval (βˆ’βˆž,βˆ’2)(-\infty, -2)(βˆ’βˆž,βˆ’2): Test point k=βˆ’3k = -3k=βˆ’3:
    fβ€²(βˆ’3)=(βˆ’3βˆ’4)(βˆ’3+2)2=βˆ’7(+1)2=βˆ’+=(βˆ’)f'(-3) = \frac{(-3 - 4)}{(-3 + 2)^2} = \frac{-7}{(+1)^2} = \frac{-}{+} = (-)fβ€²(βˆ’3)=(βˆ’3+2)2(βˆ’3βˆ’4)​=(+1)2βˆ’7​=+βˆ’β€‹=(βˆ’)
  • Interval (βˆ’2,4)(-2, 4)(βˆ’2,4): Test point k=0k = 0k=0:
    fβ€²(0)=0βˆ’4(0+2)2=βˆ’4+4=(βˆ’)f'(0) = \frac{0 - 4}{(0 + 2)^2} = \frac{-4}{+4} = (-)fβ€²(0)=(0+2)20βˆ’4​=+4βˆ’4​=(βˆ’)
  • Interval (4,∞)(4, \infty)(4,∞): Test point k=5k = 5k=5:
    fβ€²(5)=5βˆ’4(5+2)2=+1+49=(+)f'(5) = \frac{5 - 4}{(5 + 2)^2} = \frac{+1}{+49} = (+)fβ€²(5)=(5+2)25βˆ’4​=+49+1​=(+)

Step 4: Summary Sign Chart & Classification:

Interval:         (-inf, -2)   |   (-2, 4)     |   (4, inf)
Sign of f'(x):       (-)       |     (-)       |     (+)
Behavior of f(x): Decreasing   |  Decreasing   |  Increasing
  • Intervals of Decrease: (βˆ’βˆž,βˆ’2)(-\infty, -2)(βˆ’βˆž,βˆ’2) and (βˆ’2,4)(-2, 4)(βˆ’2,4).
  • Interval of Increase: (4,∞)(4, \infty)(4,∞).
  • First Derivative Test at x=4x = 4x=4: fβ€²(x)f'(x)fβ€²(x) switches from negative to positive (βˆ’β†’+- \to +βˆ’β†’+). Therefore, f(x)f(x)f(x) attains a local minimum at x=4x = 4x=4.
  • At x=βˆ’2x = -2x=βˆ’2: Although fβ€²(x)f'(x)fβ€²(x) is negative on both sides, x=βˆ’2x = -2x=βˆ’2 is not in the domain of fff, so it cannot be an extremum.

Example Problem 2: Polynomial Factor Multiplicity Sign Analysis

Given the factored derivative:

fβ€²(x)=βˆ’(x+3)2(xβˆ’1)(xβˆ’5)f'(x) = -(x + 3)^2 (x - 1)(x - 5)fβ€²(x)=βˆ’(x+3)2(xβˆ’1)(xβˆ’5)
for a polynomial function f(x)f(x)f(x) defined on (βˆ’βˆž,∞)(-\infty, \infty)(βˆ’βˆž,∞). Construct a 1D sign chart and classify all critical numbers of f(x)f(x)f(x) as local maxima, local minima, or neither.

Solution

Step 1: Identify Partition Numbers: Setting fβ€²(x)=0f'(x) = 0fβ€²(x)=0 yields:

  • x=βˆ’3x = -3x=βˆ’3 (multiplicity m=2m = 2m=2, even)
  • x=1x = 1x=1 (multiplicity m=1m = 1m=1, odd)
  • x=5x = 5x=5 (multiplicity m=1m = 1m=1, odd) All three are valid critical numbers because polynomials are defined everywhere on R\mathbb{R}R.

Step 2: Partition the Number Line: The partition points divide the axis into four intervals:

(βˆ’βˆž,βˆ’3),(βˆ’3,1),(1,5),(5,∞)(-\infty, -3), \quad (-3, 1), \quad (1, 5), \quad (5, \infty)(βˆ’βˆž,βˆ’3),(βˆ’3,1),(1,5),(5,∞)

Step 3: Factor Sign Analysis (Remember the leading negative sign βˆ’1-1βˆ’1!):

  • Interval (5,∞)(5, \infty)(5,∞): Test k=6k = 6k=6:
    fβ€²(6)=βˆ’(6+3)2(6βˆ’1)(6βˆ’5)=βˆ’(+)(+)(+)=(βˆ’)f'(6) = - (6 + 3)^2 (6 - 1)(6 - 5) = -(+)(+)(+) = (-)fβ€²(6)=βˆ’(6+3)2(6βˆ’1)(6βˆ’5)=βˆ’(+)(+)(+)=(βˆ’)
  • Interval (1,5)(1, 5)(1,5): As xxx crosses x=5x = 5x=5 (odd multiplicity m=1m=1m=1), sign flips:
    (βˆ’β†’+)β€…β€ŠβŸΉβ€…β€Š(+)(- \to +) \implies (+)(βˆ’β†’+)⟹(+)
  • Interval (βˆ’3,1)(-3, 1)(βˆ’3,1): As xxx crosses x=1x = 1x=1 (odd multiplicity m=1m=1m=1), sign flips:
    (+β†’βˆ’)β€…β€ŠβŸΉβ€…β€Š(βˆ’)(+ \to -) \implies (-)(+β†’βˆ’)⟹(βˆ’)
  • Interval (βˆ’βˆž,βˆ’3)(-\infty, -3)(βˆ’βˆž,βˆ’3): As xxx crosses x=βˆ’3x = -3x=βˆ’3 (even multiplicity m=2m=2m=2), sign stays the same:
    (βˆ’β†’βˆ’)β€…β€ŠβŸΉβ€…β€Š(βˆ’)(- \to -) \implies (-)(βˆ’β†’βˆ’)⟹(βˆ’)

(Verification via test point k=0∈(βˆ’3,1)k = 0 \in (-3, 1)k=0∈(βˆ’3,1): fβ€²(0)=βˆ’(3)2(βˆ’1)(βˆ’5)=βˆ’(9)(+5)=βˆ’45<0f'(0) = -(3)^2(-1)(-5) = -(9)(+5) = -45 < 0fβ€²(0)=βˆ’(3)2(βˆ’1)(βˆ’5)=βˆ’(9)(+5)=βˆ’45<0. Matches!)

Step 4: Summary Sign Chart & First Derivative Classification:

Interval:         (-inf, -3)  |   (-3, 1)     |    (1, 5)     |   (5, inf)
Sign of f'(x):       (-)      |     (-)       |     (+)       |     (-)
Behavior of f(x): Decreasing  |  Decreasing   |  Increasing   |  Decreasing
  • At x=βˆ’3x = -3x=βˆ’3: fβ€²(x)f'(x)fβ€²(x) is negative on both sides (βˆ’β†’βˆ’- \to -βˆ’β†’βˆ’). Therefore, x=βˆ’3x = -3x=βˆ’3 is an inflection terrace (neither a local maximum nor local minimum).
  • At x=1x = 1x=1: fβ€²(x)f'(x)fβ€²(x) switches from negative to positive (βˆ’β†’+- \to +βˆ’β†’+). Therefore, f(x)f(x)f(x) attains a local minimum at x=1x = 1x=1.
  • At x=5x = 5x=5: fβ€²(x)f'(x)fβ€²(x) switches from positive to negative (+β†’βˆ’+ \to -+β†’βˆ’). Therefore, f(x)f(x)f(x) attains a local maximum at x=5x = 5x=5.

Connections & References

  • Parent Concepts: Domain of Algebraic Functions, Solving Inequalities, Factoring Second Order Polynomials
  • Direct Theoretical Applications: Critical Numbers and Critical Points, First Derivative Test, Absolute and Relative Extrema
  • Course Links: Calc-1 Discussion 06 | Calc-1 Session 13