β—€ Back to Note

Tony's Intertwingled Memex β€’ Reference Manual

Critical Numbers and Critical Points

Formulas & Definitions
Core Definition

Let fff be a function defined on an open interval containing ccc. A number ccc in the domain of fff (c∈dom(f)c \in \text{dom}(f)c∈dom(f)) is called a critical number (or critical value of the independent variable) if:

fβ€²(c)=0orfβ€²(c)Β doesΒ notΒ existΒ (DNE)f'(c) = 0 \quad \text{or} \quad f'(c) \text{ does not exist (DNE)}fβ€²(c)=0orfβ€²(c)Β doesΒ notΒ existΒ (DNE)
The ordered pair (c,f(c))(c, f(c))(c,f(c)) on the graph of fff is called a critical point.


Concept Explanation

1. The Anatomy of a Critical Number

Locating the critical numbers of a function is the foundational first step of differential optimization. Every local peak, local valley, or sharp turning point must occur at a critical number.

Critical numbers manifest in two distinct mathematical ways:

  1. Stationary Points (fβ€²(c)=0f'(c) = 0fβ€²(c)=0): The tangent line to the curve at x=cx = cx=c is perfectly horizontal. The instantaneous rate of change temporarily halts. Examples include smooth peaks, smooth troughs, and horizontal inflection plateaus (such as f(x)=x3f(x) = x^3f(x)=x3 at x=0x = 0x=0).
  2. Singular Points (fβ€²(c)Β DNEf'(c) \text{ DNE}fβ€²(c)Β DNE): The derivative fails to exist at x=cx = cx=c, yet ccc remains a valid point within the function's domain. Examples include:
    • Sharp Corners: Left-hand and right-hand slopes approach different finite values (e.g., f(x)=∣x∣f(x) = |x|f(x)=∣x∣ at x=0x = 0x=0).
    • Sharp Cusps: Slopes approach infinite values of opposite signs (e.g., f(x)=x2/3f(x) = x^{2/3}f(x)=x2/3 at x=0x = 0x=0, where fβ€²(x)=23x1/3f'(x) = \frac{2}{3x^{1/3}}fβ€²(x)=3x1/32​).
    • Vertical Tangents: Slopes approach +∞+\infty+∞ or βˆ’βˆž-\inftyβˆ’βˆž from both sides (e.g., f(x)=x1/3f(x) = x^{1/3}f(x)=x1/3 at x=0x = 0x=0).
Fermat_Theorem_and_Cusps.png

2. Fermat's Theorem and the Converse Trap

Fermat's Theorem on Local Extrema states:

If fff has a local extremum (local maximum or local minimum) at ccc, and if fβ€²(c)f'(c)fβ€²(c) exists, then fβ€²(c)=0f'(c) = 0fβ€²(c)=0.

The Critical Number Converse Trap

Fermat's Theorem guarantees that local extrema only occur at critical numbers. However, the converse is FALSE: A critical number does NOT guarantee the existence of a local extremum!

  • Counterexample: Consider f(x)=x3f(x) = x^3f(x)=x3. Its derivative is fβ€²(x)=3x2f'(x) = 3x^2fβ€²(x)=3x2. Setting fβ€²(x)=0f'(x) = 0fβ€²(x)=0 yields x=0x = 0x=0, so x=0x = 0x=0 is a valid critical number. However, f(x)f(x)f(x) is strictly increasing across all real numbers (x3<0x^3 < 0x3<0 for x<0x < 0x<0, and x3>0x^3 > 0x3>0 for x>0x > 0x>0). The point (0,0)(0, 0)(0,0) is an inflection terrace, neither a local maximum nor a local minimum.
  • To determine whether a critical number actually generates an extremum, one must apply the First Derivative Test or Second Derivative Test.

3. The Crucial Domain Restriction Rule

A number ccc can only be classified as a critical number if it belongs to the domain of the original function fff:

c∈dom(f)c \in \text{dom}(f)c∈dom(f)

  • The Rational Function Trap: Consider f(x)=1xf(x) = \frac{1}{x}f(x)=x1​. Its derivative is fβ€²(x)=βˆ’1x2f'(x) = -\frac{1}{x^2}fβ€²(x)=βˆ’x21​. At x=0x = 0x=0, the derivative is undefined. However, x=0x = 0x=0 is NOT a critical number because x=0x = 0x=0 is not in the domain of f(x)f(x)f(x) (it is a vertical asymptote).
  • The Logarithmic Function Trap: For f(x)=ln⁑(x)f(x) = \ln(x)f(x)=ln(x), fβ€²(x)=1xf'(x) = \frac{1}{x}fβ€²(x)=x1​. While 1x\frac{1}{x}x1​ is undefined at x=0x = 0x=0, 0βˆ‰(0,∞)0 \notin (0, \infty)0∈/(0,∞), so x=0x = 0x=0 is not a critical number.

Engineering Applications

  • Mechanical Cam and Follower Profiling: In internal combustion engines and automated packaging machines, cam lobes are engineered with specific lift profiles y(ΞΈ)y(\theta)y(ΞΈ). Critical points where dydΞΈ=0\frac{dy}{d\theta} = 0dΞΈdy​=0 define the valve dwell anglesβ€”instants of zero velocity where the intake or exhaust valve remains fully open to maximize airflow.
  • Electrical Circuit Transient Response: In RLC filter circuits, the instantaneous capacitor voltage v(t)v(t)v(t) following a switching transient contains critical numbers where dvdt=0\frac{dv}{dt} = 0dtdv​=0. Electrical engineers calculate these critical points to determine the exact peak overshoot voltage and prevent dielectric insulation breakdown in semiconductor components.
  • Structural Load Deflection: In civil structural beams, points of zero slope in the deflection curve v(x)v(x)v(x) identify the maximum beam sag under distributed dead weight, dictating where reinforcement tendons must be anchored.

Example Problems

Example 1: Critical Numbers of a Polynomial Function

Find all critical numbers of the polynomial function:

f(x)=2x3βˆ’9x2+12xβˆ’5f(x) = 2x^3 - 9x^2 + 12x - 5f(x)=2x3βˆ’9x2+12xβˆ’5

Solution
  1. Identify the Domain: As a polynomial, the domain of f(x)f(x)f(x) is all real numbers, (βˆ’βˆž,∞)(-\infty, \infty)(βˆ’βˆž,∞).
  2. Differentiate:
    fβ€²(x)=6x2βˆ’18x+12f'(x) = 6x^2 - 18x + 12fβ€²(x)=6x2βˆ’18x+12
  3. Solve for Stationary Points (fβ€²(x)=0f'(x) = 0fβ€²(x)=0): Factor out the greatest common factor:
    6(x2βˆ’3x+2)=06(x^2 - 3x + 2) = 06(x2βˆ’3x+2)=0
    6(xβˆ’1)(xβˆ’2)=06(x - 1)(x - 2) = 06(xβˆ’1)(xβˆ’2)=0
    Setting each linear factor to zero yields:
    x=1andx=2x = 1 \quad \text{and} \quad x = 2x=1andx=2
  4. Check Singular Points (fβ€²(x)Β DNEf'(x) \text{ DNE}fβ€²(x)Β DNE): Since fβ€²(x)f'(x)fβ€²(x) is a polynomial, it is defined everywhere; there are no singular points.
  5. Conclusion: The critical numbers are x=1x = 1x=1 and x=2x = 2x=2.

Example 2: Critical Numbers with Singular Points (Cusps)

Find all critical numbers of the function:

g(x)=5βˆ’(xβˆ’3)2/3g(x) = 5 - (x - 3)^{2/3}g(x)=5βˆ’(xβˆ’3)2/3

Solution
  1. Identify the Domain: The expression (xβˆ’3)2/3=(xβˆ’33)2(x - 3)^{2/3} = \left(\sqrt[3]{x - 3}\right)^2(xβˆ’3)2/3=(3xβˆ’3​)2 involves an odd root (cube root), which is defined for all real numbers. Thus, dom(g)=(βˆ’βˆž,∞)\text{dom}(g) = (-\infty, \infty)dom(g)=(βˆ’βˆž,∞).
  2. Differentiate: Using the Power Rule and Chain Rule:
    gβ€²(x)=βˆ’23(xβˆ’3)βˆ’1/3β‹…ddx[xβˆ’3]=βˆ’23(xβˆ’3)1/3g'(x) = -\frac{2}{3}(x - 3)^{-1/3} \cdot \frac{d}{dx}[x - 3] = -\frac{2}{3(x - 3)^{1/3}}gβ€²(x)=βˆ’32​(xβˆ’3)βˆ’1/3β‹…dxd​[xβˆ’3]=βˆ’3(xβˆ’3)1/32​
  3. Solve for Stationary Points (gβ€²(x)=0g'(x) = 0gβ€²(x)=0): A fraction equals zero only when its numerator is zero. The numerator is βˆ’2β‰ 0-2 \neq 0βˆ’2ξ€ =0. Therefore, gβ€²(x)β‰ 0g'(x) \neq 0gβ€²(x)ξ€ =0 for all xxx.
  4. Solve for Singular Points (gβ€²(x)Β DNEg'(x) \text{ DNE}gβ€²(x)Β DNE): The derivative is undefined when the denominator equals zero:
    3(xβˆ’3)1/3=0β€…β€ŠβŸΉβ€…β€Šxβˆ’3=0β€…β€ŠβŸΉβ€…β€Šx=33(x - 3)^{1/3} = 0 \implies x - 3 = 0 \implies x = 33(xβˆ’3)1/3=0⟹xβˆ’3=0⟹x=3
    Because x=3x = 3x=3 is in the domain of g(x)g(x)g(x) (g(3)=5g(3) = 5g(3)=5), x=3x = 3x=3 is a valid critical number.
  5. Conclusion: The function has exactly one critical number at x=3x = 3x=3 (representing a sharp cusp peak on the graph).

Example 3: Rational Function and the Domain Trap

Find all critical numbers of:

h(x)=x2xβˆ’4h(x) = \frac{x^2}{x - 4}h(x)=xβˆ’4x2​

Solution
  1. Identify the Domain: The denominator cannot be zero: xβˆ’4β‰ 0β€…β€ŠβŸΉβ€…β€Šxβ‰ 4x - 4 \neq 0 \implies x \neq 4xβˆ’4ξ€ =0⟹xξ€ =4. Domain: (βˆ’βˆž,4)βˆͺ(4,∞)(-\infty, 4) \cup (4, \infty)(βˆ’βˆž,4)βˆͺ(4,∞).
  2. Differentiate via Quotient Rule:
    hβ€²(x)=ddx[x2](xβˆ’4)βˆ’x2ddx[xβˆ’4](xβˆ’4)2=2x(xβˆ’4)βˆ’x2(1)(xβˆ’4)2=2x2βˆ’8xβˆ’x2(xβˆ’4)2=x2βˆ’8x(xβˆ’4)2h'(x) = \frac{\frac{d}{dx}[x^2](x - 4) - x^2\frac{d}{dx}[x - 4]}{(x - 4)^2} = \frac{2x(x - 4) - x^2(1)}{(x - 4)^2} = \frac{2x^2 - 8x - x^2}{(x - 4)^2} = \frac{x^2 - 8x}{(x - 4)^2}hβ€²(x)=(xβˆ’4)2dxd​[x2](xβˆ’4)βˆ’x2dxd​[xβˆ’4]​=(xβˆ’4)22x(xβˆ’4)βˆ’x2(1)​=(xβˆ’4)22x2βˆ’8xβˆ’x2​=(xβˆ’4)2x2βˆ’8x​
  3. Stationary Points (hβ€²(x)=0h'(x) = 0hβ€²(x)=0): Set numerator to zero:
    x(xβˆ’8)=0β€…β€ŠβŸΉβ€…β€Šx=0orx=8x(x - 8) = 0 \implies x = 0 \quad \text{or} \quad x = 8x(xβˆ’8)=0⟹x=0orx=8
    Both x=0x = 0x=0 and x=8x = 8x=8 are in the domain of h(x)h(x)h(x).
  4. Singular Points (hβ€²(x)Β DNEh'(x) \text{ DNE}hβ€²(x)Β DNE): The derivative is undefined when (xβˆ’4)2=0β€…β€ŠβŸΉβ€…β€Šx=4(x - 4)^2 = 0 \implies x = 4(xβˆ’4)2=0⟹x=4. However, x=4x = 4x=4 is NOT in the domain of h(x)h(x)h(x) (h(4)h(4)h(4) is undefined; the graph has a vertical asymptote at x=4x = 4x=4).
  5. Conclusion: The critical numbers are strictly x=0x = 0x=0 and x=8x = 8x=8. (x=4x = 4x=4 is excluded).

Connections & References

  • Parent Concept: Definition of the Derivative
  • Sub-Concepts & Theorems:
    • Absolute and Relative Extrema
    • First Derivative Test
    • Extreme Value Theorem
    • Closed Interval Method
  • Course Sessions:
    • Calc 1 Session 13 - Critical Points and Extrema
    • Calc 1 Session 14 - Optimizing Areas and Volumes