# Teorema del valor medio

En matemáticas, el teorema de valor medio (de Lagrange), teorema de los incrementos finitos, teorema de Bonnet-Lagrange o teoría del punto medio es una propiedad de las funciones derivables en un intervalo. Algunos matemáticos consideran que este teorema es el más importante del cálculo (véase también el teorema fundamental del cálculo integral). El teorema de valor medio puede usarse para demostrar el teorema de Taylor y el teorema de Rolle, ya que ambos son un caso especial.
De manera precisa el teorema enuncia que si $f$ es una función continua en un intervalo cerrado $[a,b]$ y diferenciable en el intervalo abierto $(a,b)$ entonces existe un punto $c$ en $(a,b)$ tal que la recta tangente en el punto $c$ es paralela a la recta secante que pasa por los puntos $(a,f(a))$ y $(b,f(b))$, esto es $\exists c\in (a,b){\bigg |}f'(c)={\frac {f(b)-f(a)}{b-a}}$

## Historia

Un caso especial de este teorema fue descrito por primera vez por Paramésuara (1370–1460), de la escuela de Kerala de astronomía y matemáticas en la India, en sus comentarios sobre Govindasvāmi y Bhaskara II. Una forma restringida del teorema fue demostrada por Michel Rolle en 1691; el resultado fue lo que ahora se conoce como teorema de Rolle, y se demostró sólo para polinomios, sin las técnicas de cálculo. El teorema del valor medio en su forma moderna fue declarado y probado por Cauchy en 1823.

## Teorema

Sea $f:[a,b]\to \mathbb {R}$ una función continua en el intervalo cerrado $[a,b]$ y diferenciable en el intervalo abierto $(a,b)$ con $a<b$ entonces existe al menos algún punto $c\in (a,b)$ tal que
    $f'(c)={\frac {f(b)-f(a)}{b-a}}$
El teorema del valor medio es una generalización del teorema de Rolle, las hipótesis son que si una función $f:[a,b]\to \mathbb {R}$ es continua en $[a,b]$ y diferenciable en $(a,b)$ y toma valores iguales en los extremos del intervalo, esto es, $f(a)=f(b)$ entonces existe al menos algún punto $c\in (a,b)$ tal que $f'(c)=0$, esto es, el lado derecho de la expresión anterior es cero.

## Demostración
### Demostración 1

Primero se consideran dos puntos $(a,f(a))$ y $(b,f(b))$ pertenecientes al gráfico de la función. La ecuación de la recta que pasa por estos dos puntos es:
    $y=f(a)+{\frac {f(b)-f(a)}{b-a}}(x-a)$
Se define una función auxiliar:
    ${\begin{aligned}g(x)&=f(x)-y\\&=f(x)-\left[f(a)+{\frac {f(b)-f(a)}{b-a}}(x-a)\right]\end{aligned}}$
Dado que $f$ es continua en $[a,b]$ y diferenciable en $(a,b)$ entonces $g$ también lo es. Además $g$ satisface las condiciones del Teorema de Rolle en $[a,b]$ ya que:
    ${\begin{aligned}g(a)=f(a)-f(a)-{\frac {f(b)-f(a)}{b-a}}(a-a)=0-{\frac {f(b)-f(a)}{b-a}}(0)=0\\g(b)=f(b)-f(a)-{\frac {f(b)-f(a)}{b-a}}(b-a)=f(b)-f(a)-f(b)+f(a)=0\end{aligned}}$
Por el Teorema de Rolle, como $g$ es diferenciable en $(a,b)$, y $g(a)=g(b)$ entonces existe un punto $c\in (a,b)$ tal que $g'(c)=0$ y por tanto:
    $0=g'(c)=f'(c)-{\frac {f(b)-f(a)}{b-a}}$
y así
    $f'(c)={\frac {f(b)-f(a)}{b-a}}$
que es lo que se quería demostrar.

### Demostración 2

Sea $m_{ab}$ la pendiente de la recta secante entre $[a,b]$, se define la ecuación punto-pendiente:
    $y=m_{ab}x+c_{1}$
    $m_{ab}={\frac {f(b)-f(a)}{b-a}}$
o también,
    $-m_{ab}x+y=c_{1}$
De acuerdo al enunciado la función es derivable en $(a,b)$, por lo que se puede escoger algún valor $x=c$ en dicho intervalo tal que $f'(c)$ existe y es la pendiente de la recta tangente en dicho punto y por ende la recta tangente tiene la forma (punto-pendiente):
    $y=f'(c)x+c_{2}$
o también,
    $-f'(c)x+y=c_{2}$
Se observa que se llega a un sistema lineal de 2x2
    $\left\{{\begin{matrix}-m_{ab}x+y=c_{1}\\-f'(c)x+y=c_{2}\end{matrix}}\right.$
La matriz del sistema es:
    $\mathbb {A} =\;{\begin{pmatrix}-m_{ab}&1\\-f'(c)&1\\\end{pmatrix}}$
Y su determinante es:
    $\det(A)=f'(c)-m_{ab}$
Para que el sistema no tenga solución se debe cumplir det(A)=0, por lo tanto las rectas son paraleas en x=c, es decir f'(c) = m$_{ab}$
Entonces, existe al menos un punto que no da solución al sistema y además la recta tangente al mismo es paralela a la recta entre a y b, es decir:
$f'(c)=m_{ab}$
o también,
    $f'(c)={\frac {f(b)-f(a)}{b-a}}$
Con ello queda demostrado el teorema del valor medio.

## Teoremas del valor medio para integrales definidas
### Primer teorema del valor medio para integrales definidas

Sea $f:[a,b]\to \mathbb {R}$ una función continua en el intervalo $[a,b]$ entonces existe un valor $c\in [a,b]$ tal que
    $\int _{a}^{b}f(x)\,dx=f(c)(b-a)$
Dado que el valor medio de $f$ en $[a,b]$ está definido como
    ${\frac {1}{b-a}}\int _{a}^{b}f(x)\;dx$
por lo que podemos interpretar que $f$ alcanza su valor medio en algún $c\in (a,b)$.

### Segundo teorema del valor medio para integrales definidas

En general, si $f:[a,b]\to \mathbb {R}$ es continua y $g$ es una función integrable que no cambia signo en $[a,b]$ entonces existe $c\in (a,b)$ tal que
    $\int _{a}^{b}f(x)g(x)\;dx=f(c)\int _{a}^{b}g(x)\;dx$
O bien, aplicando el teorema fundamental del cálculo integral, se tiene que:
    $\int _{a}^{b}f(x)g(x)\;dx=f(c)(G(b)-G(a)).$

#### Caso particular del segundo teorema del valor medio para integrales definidas

Un caso especial sucede cuando ocurre $f(x)=x$. En este caso, el teorema del valor medio para integrales definidas sugiere que:
    $\int _{a}^{b}xg(x)\;dx=x_{C}\int _{a}^{b}g(x)\;dx$
Donde $x_{C}$ es la coordenada x del centro de área o Centroide de la región del plano limitada por $g(x)$, el eje $x$ y las rectas $x=a$ y $x=b$. Esto se cumple siempre y cuando $g$ sea una función integrable que no cambia signo en $[a,b]$ y $x_{C}\in (a,b)$.
Este caso tiene múltiples aplicaciones en Física e Ingeniería, sobre todo en estudios como Mecánica, Resistencia de materiales, Ciencia de materiales, y demás campos que tienen que ver con la determinación y uso de Centroides o centros geométricos de formas y variedades.

### Demostración 1

Supóngase que $f:[a,b]\to \mathbb {R}$ es continua y que $g$ es una función integrable no negativa en $[a,b]$, existen $m$ y $M$ tal que para $x\in [a,b]$ $m\leq f(x)\leq M$ y $f[a,b]=[m,M]$ acorde al teorema del valor extremo (señala que una función f(x) continua en un intervalo cerrado [a,b] siempre tiene máximo absoluto y un mínimo absoluto en el intervalo). Como $g$ es no negativa entonces
    $m\int _{a}^{b}g(x)dx\leq \int _{a}^{b}f(x)g(x)dx\leq M\int _{a}^{b}g(x)dx$
Sea
    $I:=\int _{a}^{b}g(x)dx$
si $I=0$ entonces ya terminamos pues
    $0\leq \int _{a}^{b}f(x)g(x)dx\leq 0$
esto es
    $\int _{a}^{b}f(x)g(x)dx=0$
por lo que para todo $c\in (a,b)$
    $\int _{a}^{b}f(x)g(x)dx=f(c)I=0$
Si $I\neq 0$ entonces
    $m\leq {\frac {1}{I}}\int _{a}^{b}f(x)g(x)dx\leq M$
por el teorema del valor intermedio, existe al menos un $c\in [a,b]$ tal que
    $f(c)={\frac {1}{I}}\int _{a}^{b}f(x)g(x)dx$
esto es
    $\int _{a}^{b}f(x)g(x)dx=f(c)\int _{a}^{b}g(x)dx$
Finalmente, si $g$ es negativa en $[a,b]$ entonces
    $M\int _{a}^{b}g(x)dx\leq \int _{a}^{b}f(x)g(x)dx\leq m\int _{a}^{b}g(x)dx$
y seguiremos obteniendo el mismo resultado que antes.

### Demostración 2

Aplicando la integración de Riemann
    $\int _{a}^{b}f(x)dx=\lim _{n\to \infty }{\frac {b-a}{n}}\sum _{i=1}^{n}f(x_{i})$
La suma aloja todos los $x_{i}$ dentro del intervalo $[a,b]$, por lo que procederemos a escoger un $x_{i}=c$ fijo de dicho intervalo y que por ende hace que $f(x_{i})=f(c)$
Al reemplazar, la integral queda de la siguiente manera:
    $\int _{a}^{b}f(x)dx=\lim _{n\to \infty }{\frac {b-a}{n}}\sum _{i=1}^{n}f(c)$
como $f(c)$ es constante respecto a la suma entonces
    $\sum _{i=1}^{n}f(c)=f(c)\sum _{i=1}^{n}1=nf(c)$
Reemplazando
    $\int _{a}^{b}f(x)dx=\lim _{n\to \infty }{\frac {b-a}{n}}\;nf(c)$
Simplificando
    $\int _{a}^{b}f(x)dx=\lim _{n\to \infty }(b-a)f(c)$
Como $b-a$ y $f(c)$ no son afectados por el límite ya que son constantes entonces
    $\int _{a}^{b}f(x)dx=(b-a)f(c)$
Despejando $f(c)$
    $f(c)={\frac {1}{b-a}}\int _{a}^{b}f(x)dx$
Por lo tanto, queda verificado la existencia de $c\in [a,b]$ en donde la función evaluada en él, toma el valor de 1/(b−a) ∫$_a$$^b$f(x){\textstyle {\frac {1}{(b-a)}}\int _{a}^{b}f(x)}, es decir,
    $\exists \;c\in [a,b]:\quad f(c)={\frac {1}{b-a}}\int _{a}^{b}f(x)dx$
Y así, queda demostrado el teorema del valor medio para integrales.

## Teorema del valor medio en varias variables

El teorema del valor medio se puede generalizar para funciones reales de argumento vectorial. Esto se puede hacer parametrizando a la función y usando el teorema del valor medio de una variable.
Sea $G$ un subconjunto abierto y convexo de $\mathbb {R} ^{n}$ y sea $f:G\to \mathbb {R}$ una función diferenciable. Sean $x,y\in G$ y definamos $g(t)=f{\Big(1-t)x+ty{\Big )}$ . Como $g$ es una función diferenciable de una variable, el teorema del valor medio nos da:
    $g(1)-g(0)=g'(c)$
para algún $c$ entre 0 y 1. Pero aparte tenemos $g(1)=f(y)$ y $g(0)=f(x)$ , calculando $g'(c)$ tenemos, explícitamente:
    $f(y)-f(x)=\nabla f{\Big(1-c)x+cy{\Big )}\cdot (y-x)$
donde $\nabla$ denota al gradiente y $\cdot$ al producto interno. Esto es un análogo exacto del teorema del valor medio en una variable (en el caso $n=1$ éste es de hecho el teorema en una variable). Por la desigualdad de Cauchy–Schwarz, la ecuación nos da la estimación:
    ${\Bigg |}f(y)-f(x){\Bigg |}\leq {\Bigg |}\nabla f{\Big(1-c)x+cy{\Big )}{\Bigg |}\ {\Big |}y-x{\Big |}.$
En particular, cuando las derivadas parciales de $f$ están acotadas, $f$ es Lipschitz continua (y por lo tanto uniformemente continua). Cabe mencionar que no requerimos que $f$ sea continuamente diferenciable o continua en la cerradura de $G$ . Sin embargo, para calcular $g'$ usando la regla de la cadena, necesitamos que $f$ sea diferenciable en $G$; la existencia de las derivadas parciales con respecto a $x$ y $y$ no es por sí misma una condición suficiente para garantizar la validez del teorema.
Como una aplicación directa del teorema, podemos demostrar que $f$ es constante si $G$ es abierto, conexo y toda derivada parcial de $f$ es 0. Sea un punto arbitrario $x_{0}\in G$ , y sea $g(x)=f(x)-f(x_{0})$ . Queremos demostrar que $g(x)=0$ para todo $x\in G$ . Sea ahora $E=\{x\in G:g(x)=0\}$ . EntoncesE es cerrado y no vacío.
    ${\Big |}g(y){\Big |}={\Bigg |}g(y)-g(x){\Bigg |}\leq (0){\Big |}y-x{\Big |}=0$
para cada $y$ en alguna vecindad de $x$ . (En este paso es muy importante que $x$ y $y$ estén suficientemente cerca.) Como $G$ es conexo, concluimos que $E=G$ .
Los argumentos anteriores no dependen de nuestro sistema de coordenadas; por lo tanto se pueden generalizar en caso de que $G$ sea un subconjunto de un espacio de Banach.

## Generalizaciones

No existe un análogo estricto del teorema de valor medio para aplicaciones $\mathbf {f} :A\longrightarrow \mathbb {R} ^{n}$. En este caso, sólo es posible establecer la siguiente desigualdad en términos de la norma:
    $\|\mathbf {f} (\mathbf {b} )-\mathbf {f} (\mathbf {a} )\|\leq \|\left(D\mathbf {f} (\mathbf {c} )\right)(\mathbf {b} -\mathbf {a} )\|\leq \|D\mathbf {f} (\mathbf {c} )\|\|(\mathbf {b} -\mathbf {a} )\|$

### Demostración

Teniendo en cuenta que dada una función $\mathbf {f} :A\subset \mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{m}$
    $\ \|\int _{0}^{1}f(t)\,dt\|\leq \int _{0}^{1}\|f(t)\|\,dt$
se tiene que si
$\ I[x,y]$
es el segmento formado por $\ x,y\in A$ (siendo A conexo y abierto), es $I[x,y]\subset A$ y entonces
    $\ \|f(y)-f(x)\|=\|\int _{0}^{1}df(x(1-t)+ty)(y-x)\,dt\|\leq \int _{0}^{1}\|df(x(1-t)+ty)(y-x)\|\,dt$
de donde se tiene que como
    $\ \|df(x(1-t)+ty)(y-x)\|\leq \|df(x(1-t)+ty)\|\|y-x\|$ $\ \forall t\in [0,1]$
es
    $\ \|f(y)-f(x)\|\leq \|df(c)\|\|y-x\|$ para algún $c\in I(x,y)$
Para ver [1] basta tener en cuenta que si L=∫$_0$$^1$f(t)dt{\textstyle L=\int _{0}^{1}f(t)\, dt}
    $\ \|L\|^{2}=\|\int _{0}^{1}f(t)\,dt\|^{2}=<L,\int _{0}^{1}f(t)\,dt>=\int _{0}^{1}<L,f(t)>\,dt\leq \int _{0}^{1}\|L\|\|f(t)\|dt=\|L\|\int _{0}^{1}\|f(t)\|dt$
y se tiene que
    $\ \|\int _{0}^{1}f(t)\,dt\|\leq \int _{0}^{1}\|f(t)\|\,dt$

## Corolario

Sea la función h tal que
* es continua sobre un intervalo finito o infinito ya que...
* tiene derivada nula en cualquier punto de este intervalo, salvo un conjunto finito de puntos del intervalo
entonces esta función es constante sobre este intervalo.