First derivative test is conclusive for locally analytic function

Statement

Suppose $f$ is a function, $c$ is a point in the interior of the domain of $f$, and $f$ is analytic about $c$, i.e., there is a power series centered at $c$ that converges to $f$ on an open interval containing $c$. In particular, this means that $f$ is infinitely differentiable at $c$. The assumption of $c$ being a critical point also forces $f'(c)=0$.

In this case, the first derivative test is conclusive for $f$.

Related facts

• Higher derivative test is conclusive for locally analytic function
• First derivative test is conclusive for function with algebraic derivative (this is a somewhat weaker version because having an algebraic derivative implies being locally analytic)

Facts used

1. Function analytic about a point has isolated zeros near the point
2. First derivative test is conclusive for differentiable function at isolated critical point

Proof

The proof follows directly by applying Fact (1) to the derivative $f'$ and combining with Fact (2).