Prove $\exists\theta\in(0,1)$ s.t. $\Delta f=\frac{\partial f}{\partial x}\Delta x+\frac{\partial f}{\partial y}\Delta y$

64 Views Asked by At

Let $f(x,y)\in C^1$ in $\mathbb{R^2}$ and let $(x_0+\Delta x,y_0+\Delta y)$ and $(x_0,y_0)$ be points in $\mathbb{R^2}$.

Prove that $\exists\theta\in(0,1)$ such that: $$f(x_0+\Delta x,y_0+\Delta y)-f(x_0,y_0)=\\\frac{\partial f}{\partial x}(x_0+\theta\Delta x,y_0+\theta\Delta y)\Delta x+\frac{\partial f}{\partial y}(x_0+\theta\Delta x,y_0+\theta\Delta y)\Delta y$$

At first glance, this seemed like the differentiability definition, but I tried to make the connection and unfortunately failed. I guess that MVT hides here, but I don't see how to rigorously reach it.

Thanks!

Note: I found a solution to this problem online (not here) but I couldn't understand it, so I'd really appreciate a somewhat detailed solution.

1

There are 1 best solutions below

4
On BEST ANSWER

Use $a$ and $b$ for the endpoints, for convenience. Define $g:[0,1]\to \mathbb R$ by $g(t)=f(bt+(1-t)a).$ Then, by the mean value theorem and the chain rule, there is a $\theta\in (0,1)$ such that

$g(1)-g(0)=g'(\theta)(1-0)=\nabla f(g(\theta)) \cdot (b-a)$.

I'll let you unravel this to obtain your result.