Definition and statement
📐 Geometric Interpretation
At a local extremum on a smooth curve, the tangent line is horizontal (slope $m = f'(c) = 0$). The second derivative measures concavity: upward concavity ($f'' > 0$) yields a minimum valley, while downward concavity ($f'' < 0$) yields a maximum peak.
⚙️ Algebraic & Structural Meaning
Equating the first derivative $f'(x) = 0$ provides the critical numbers where polynomial or transcendental changes in monotonicity occur, transforming global optimization into algebraic root-finding.