Mean Value Theorems (Rolle's, LMVT)

Mean Value Theorems form the theoretical backbone of differential calculus, connecting function values to derivative values. While direct questions are rare in JEE Main, these theorems underpin inequality proofs, root-counting arguments, and conceptual MCQs that appear regularly.

Rolle's Theorem:

If f is continuous on [a,b], differentiable on (a,b), and f(a) = f(b), then there exists at least one c in (a,b) such that f'(c) = 0.

Geometric meaning: If a smooth curve starts and ends at the same height, there must be at least one point where the tangent is horizontal.

The three conditions are ALL necessary:

1. Continuity on [a,b] — ensures no jumps; the function achieves its extrema (Extreme Value Theorem)
2. Differentiability on (a,b) — ensures tangent exists at interior points; corners/cusps can violate the conclusion
3. f(a) = f(b) — the equal endpoint condition; without this, we get LMVT instead

Lagrange's Mean Value Theorem (LMVT):

If f is continuous on [a,b] and differentiable on (a,b), then there exists c in (a,b) such that f'(c) = [f(b) - f(a)]/(b - a).

Geometric meaning: There exists a point where the tangent line is parallel to the secant line joining (a, f(a)) and (b, f(b)).

LMVT is the generalization of Rolle's Theorem. When f(a) = f(b), the right side becomes 0, recovering Rolle's.

Cauchy's Mean Value Theorem (Generalized MVT):

If f and g are continuous on [a,b], differentiable on (a,b), and g'(x) != 0 on (a,b), then there exists c in (a,b) with f'(c)/g'(c) = [f(b) - f(a)]/[g(b) - g(a)].

This reduces to LMVT when g(x) = x. It is the theoretical basis for L'Hopital's Rule.

Applications of Rolle's Theorem:

1. Root counting: If f(x) has n real roots, then f'(x) has at least n-1 real roots (by applying Rolle's between consecutive roots).
2. Uniqueness of roots: If f'(x) > 0 (or < 0) for all x, then f has at most one root. Combined with IVT for existence, this gives exactly one root.
3. Proving derivative equations: Between consecutive roots of $\phi$(x) = e^x * f(x), there is a root of $\phi$'(x) = e^x(f(x) + f'(x)) = 0, i.e., f(x) + f'(x) = 0.
4. Constructing auxiliary functions: To prove f'(c) + g'(c) = 0, define $\phi$(x) = f(x) + g(x) and apply Rolle's if $\phi$(a) = $\phi$(b).

Applications of LMVT:

1. Proving inequalities: If m <= f'(x) <= M on [a,b], then m(b-a) <= f(b) - f(a) <= M(b-a).
2. Bounding differences: |sin(a) - sin(b)| <= |a-b| since |cos c| <= 1.
3. Approximation: $\sqrt{26}$ ≈ 5 + 1/(2*5) = 5.1 by applying LMVT to f(x) = $\sqrt{x}$ on [25,26].
4. Monotonicity proofs: f'(x) > 0 on I implies f is strictly increasing on I.

Taylor's Theorem (Extended MVT):

f(x) = f(a) + f'(a)(x-a) + f''(a)(x-a)^$\frac{2}{2}$! + ... + f^(n)(c)(x-a)^n/n! for some c between a and x. For n=1, this gives LMVT. This connects MVT to polynomial approximation.