TheoremComplete

Applications of Derivatives - Main Theorem

The relationship between monotonicity and the first derivative is fundamental to understanding function behavior. These theorems formalize how the sign of the derivative determines whether a function is increasing or decreasing.

TheoremMonotonicity and the First Derivative

Let ff be continuous on [a,b][a, b] and differentiable on (a,b)(a, b).

  1. If fβ€²(x)>0f'(x) > 0 for all x∈(a,b)x \in (a, b), then ff is strictly increasing on [a,b][a, b]
  2. If fβ€²(x)<0f'(x) < 0 for all x∈(a,b)x \in (a, b), then ff is strictly decreasing on [a,b][a, b]
  3. If fβ€²(x)=0f'(x) = 0 for all x∈(a,b)x \in (a, b), then ff is constant on [a,b][a, b]

The proof relies on the Mean Value Theorem: for any x1<x2x_1 < x_2 in [a,b][a, b], there exists c∈(x1,x2)c \in (x_1, x_2) with f(x2)βˆ’f(x1)=fβ€²(c)(x2βˆ’x1)f(x_2) - f(x_1) = f'(c)(x_2 - x_1)

If fβ€²(c)>0f'(c) > 0, then f(x2)>f(x1)f(x_2) > f(x_1), establishing that ff is increasing.

ExampleProving a Function is Increasing

Show that f(x)=x+sin⁑xf(x) = x + \sin x is strictly increasing on R\mathbb{R}.

fβ€²(x)=1+cos⁑xf'(x) = 1 + \cos x

Since βˆ’1≀cos⁑x≀1-1 \leq \cos x \leq 1, we have 0≀1+cos⁑x≀20 \leq 1 + \cos x \leq 2 for all xx.

Actually, fβ€²(x)=0f'(x) = 0 only when cos⁑x=βˆ’1\cos x = -1, which occurs at isolated points x=Ο€+2Ο€kx = \pi + 2\pi k. Between these points, fβ€²(x)>0f'(x) > 0, and by continuity, ff is (non-strictly) increasing everywhere and strictly increasing on any interval not containing these isolated points.

TheoremFirst Derivative Test (Precise Statement)

Let ff be continuous at a critical point cc.

  1. If fβ€²(x)>0f'(x) > 0 for xx in some interval (a,c)(a, c) and fβ€²(x)<0f'(x) < 0 for xx in some interval (c,b)(c, b), then ff has a local maximum at cc

  2. If fβ€²(x)<0f'(x) < 0 for xx in some interval (a,c)(a, c) and fβ€²(x)>0f'(x) > 0 for xx in some interval (c,b)(c, b), then ff has a local minimum at cc

  3. If fβ€²f' has the same sign on both sides of cc, then ff has no local extremum at cc

ExampleApplying Monotonicity

Find all intervals where g(x)=x3βˆ’3x2βˆ’9x+5g(x) = x^3 - 3x^2 - 9x + 5 is increasing or decreasing.

gβ€²(x)=3x2βˆ’6xβˆ’9=3(x2βˆ’2xβˆ’3)=3(xβˆ’3)(x+1)g'(x) = 3x^2 - 6x - 9 = 3(x^2 - 2x - 3) = 3(x - 3)(x + 1)

Critical points: x=βˆ’1,3x = -1, 3

Sign analysis:

  • x<βˆ’1x < -1: gβ€²(x)=3(βˆ’)(βˆ’)=+>0g'(x) = 3(βˆ’)(βˆ’) = + > 0 (increasing)
  • βˆ’1<x<3-1 < x < 3: gβ€²(x)=3(βˆ’)(+)=βˆ’<0g'(x) = 3(βˆ’)(+) = βˆ’ < 0 (decreasing)
  • x>3x > 3: gβ€²(x)=3(+)(+)=+>0g'(x) = 3(+)(+) = + > 0 (increasing)

Therefore: increasing on (βˆ’βˆž,βˆ’1]βˆͺ[3,∞)(-\infty, -1] \cup [3, \infty), decreasing on [βˆ’1,3][-1, 3].

TheoremRolle's Theorem Between Consecutive Roots

If ff is continuous on [a,b][a, b], differentiable on (a,b)(a, b), and f(a)=f(b)=0f(a) = f(b) = 0, then there exists at least one c∈(a,b)c \in (a, b) where fβ€²(c)=0f'(c) = 0.

Corollary: Between any two consecutive roots of a differentiable function, there must be at least one critical point.

ExampleApplication to Polynomials

The polynomial p(x)=x3βˆ’3x+1p(x) = x^3 - 3x + 1 has three real roots. How many critical points must it have?

pβ€²(x)=3x2βˆ’3=3(x2βˆ’1)=3(xβˆ’1)(x+1)p'(x) = 3x^2 - 3 = 3(x^2 - 1) = 3(x-1)(x+1)

Critical points: x=βˆ’1,1x = -1, 1 (exactly two).

By Rolle's Theorem, between each pair of consecutive roots, there must be at least one critical point. With three roots, there are two gaps between them, requiring at least two critical pointsβ€”which matches our calculation.

These theorems transform qualitative geometric intuition about increasing and decreasing functions into precise mathematical statements with rigorous proofs.