Rolle's Applications:
- Root counting: n roots of f => at least n-1 roots of f' => at least n-2 of f'' => ...
- Uniqueness: if f' > 0 everywhere, f has at most one root (monotonicity argument)
- Proving derivative equations: between roots of sin x, there's a root of (sin x + cos x)
LMVT Applications:
- Inequalities: |sin a - sin b| <= |a-b| (since |cos c| <= 1)
- Bounds: < ln(1+x) < x for x > 0
- Estimation: sqrt(26) - 5 = ) < 0.1 for c > 25
Uniqueness of Roots Strategy: To show f(x) = 0 has exactly one root:
- Use IVT to show at least one root (find sign change)
- Use f' > 0 (or < 0) to show at most one root (monotonicity)
- Conclude: exactly one root
Multiple Roots Strategy: For f(x) = 0 having exactly n roots:
- Find n sign changes (gives at least n roots)
- Use degree argument or Rolle's to limit the count