Lagrange finite-increments formula

Figure 1. Given the chord of the graph of the function $f$ with end points $(a,f(a))$, $(b,f(b))$, then there exists a point $\xi$, $a<\xi<b$, such that the tangent to the graph of the function at the point $(\xi,f(\xi))$ is parallel to the chord.

A formula expressing the increment of a function in terms of the value of its derivative at an intermediate point. If a function $f$ is continuous on an interval $[a,b]$ on the real axis and is differentiable at the interior points of it, then \begin{equation} f(b)-f(a)=f'(\xi)(b-a),\quad a<\xi<b. \end{equation} The finite-increments formula can also be written in the form \begin{equation} f(x+\Delta x)-f(x)=f'(x+\theta\Delta x)\Delta x,\quad 0<\theta<1\. \end{equation} The geometric meaning of the finite-increments formula is illustrated in Figure 1.

The finite-increments formula can be generalized to functions of several variables: If a function $f$ is differentiable at each point of a convex domain $G$ in an $n$-dimensional Euclidean space, then there exists for each pair of points $x=(x_1,\dots,x_n)\in G$, $x+\Delta x=(x_1+\Delta x_1,\dots,x_n+\Delta x_n)\in G$ a point $\xi=(\xi_1,\ldots,\xi_n)$ lying on the segment joining $x$ and $x+\Delta x$ and such that \begin{equation} f(x+\Delta x)-f(x)=\sum_{i=1}^n\dfrac{\partial f(\xi)}{\partial x_i}\Delta x_i,\quad \xi_i=x_i+\theta\Delta x_i,\quad 0<\theta<1,\quad i=1,\ldots,n. \end{equation}

#### Comments[edit]

This formula is usually called the mean-value theorem (for derivatives). It is a statement for real-valued functions only; consider, e.g., $f(x)=e^{ix}$.