MHB How Do You Prove a Point is Critical When a Function is Non-Negative Nearby?

[Euge]

Here is this week's POTW:

-----
Let $f : \Bbb R^n \to \Bbb R$ be differentiable at $\mathbf{x}_0$. If $f(\mathbf{x}_0) = 0$ and $\mathbf{x}_0$ has an open neighborhood $V \subset \Bbb R^n$ such that $f(\mathbf{x}) \ge 0$ for all $\mathbf{x}\in V$, prove that $\mathbf{x}_0$ is a critical point of $f$, i.e., $\nabla f(\mathbf{x}_0) = \mathbf{0}$.

-----

 

[Euge]

No one answered this POTW. You can read my solution below.

Spoiler

Fix $i\in \{1,\ldots, n\}$. If $h$ is a sufficiently small positive number such that $\mathbf{x}_0 \pm h\mathbf{e}_i\in V$, then $0 \le f(\mathbf{x}_0 \pm h\mathbf{e}_i) = f(\mathbf{x}_0) \pm h\partial_if(\mathbf{x}_0) + o(h) = \pm h\partial_i f(\mathbf{x}_0) + o(h)$ so that $-o(h) \le \partial_i f(\mathbf{x}_0) h \le o(h)$ or $-\frac{o(h)}{h} \le \partial_i f(\mathbf{x}_0) \le \frac{o(h)}{h}$. Letting $h \to 0$ results in $\partial_i f(\mathbf{x}_0) = 0$.