Mean value theorem in several variables

Remarks

The proof applies the one-variable mean value theorem to $g(t) = f(x + t(y - x))$ on $[0, 1]$, with $g'(t) = \nabla f(x + t(y - x)) \cdot (y - x)$ by the chain rule for a curve. The theorem is false for maps into $\mathbb{R}^m$ with $m \ge 2$. For $f(t) = (\cos t, \sin t)$ on $[0, 2\pi]$, $f(2\pi) - f(0) = 0$, but $f'(t) \ne 0$ for each $t$. The mean value inequality replaces it. By the Cauchy–Schwarz inequality, it gives $|f(y) - f(x)| \le \sup_{z} \|\nabla f(z)\| \, \|y - x\|$, with $z$ on the segment.