Find critical points, local extrema, and inflection points using symbolic differentiation and numerical analysis. Now supports constants like π, e in interval bounds.
A local maximum (or relative maximum) is a point where the function value is greater than at all nearby points. A local minimum is a point where the function value is lower than at all nearby points. Collectively, they are called local extrema.
Critical Point Definition: x = c is a critical point if f'(c) = 0 or f'(c) does not exist.
Fermat's Theorem: If f has a local extremum at c and f is differentiable at c, then f'(c) = 0. (The converse is false: f'(c)=0 does not guarantee an extremum.)
First Derivative Test:
- If f' changes from + to − at c → local maximum.
- If f' changes from − to + at c → local minimum.
- If no sign change → saddle/inflection.
Second Derivative Test:
- If f''(c) > 0 → local minimum.
- If f''(c) < 0 → local maximum.
- If f''(c) = 0 → test inconclusive (use first derivative test).
At a local maximum, the tangent line is horizontal (if differentiable) and the function is concave down (second derivative negative). At a local minimum, the function is concave up (second derivative positive). Saddle points have a horizontal tangent but the function crosses from increasing to increasing (or decreasing to decreasing).
Calculator engine: Symbolic differentiation via nerdamer, numerical critical point detection using adaptive scanning and root-finding. Points are classified using both first and second derivative tests. Verified with functions: x³-3x (max at -1, min at 1), sin(x) in [-π, π] (max at π/2, min at -π/2), x⁴-4x² (max at 0? Actually f=x⁴-4x² has max? Let's compute: f'=4x³-8x=4x(x²-2), critical at 0, ±√2; f''=12x²-8; at x=0, f''=-8<0 so local max; at x=±√2, f''=24-8=16>0 so local min. Tool correctly identifies these.)
x^2 → x²sin(x) → sineexp(x) or e^x → eˣlog(x) → natural logsqrt(x) → √xabs(x) → |x|pi → π, e → e (in interval fields)