Teorema del valor medio de Cauchy
En análisis matemático, y más concretamente en cálculo diferencial, el teorema del valor medio de Cauchy es una generalización del teorema del valor medio (de Lagrange). A partir del mismo puede demostrarse la regla de L'Hôpital, fuerte ayuda para el cálculo de límites con indeterminaciones
ó
.
Índice |
Enunciado [editar]
El teorema se enuncia de la siguiente manera:
|
Nótese el caso particular en el cual g(x)=x, donde entonces la expresión se reduce al teorema del valor medio de Lagrange.
Demostración [editar]
- Sea G(x) una función definida como:
- donde f(x) y g(x) son funciones continuas en [a,b], derivables en (a,b). Se puede observar por simple inspección que G(a)=0 y G(b)=0.
- Por el Teorema de Rolle, existe un c, perteneciente al intervalo (a,b), tal que G'(c)=0. Así, derivando G(x) se obtiene:
- y sabiendo que G'(c) es 0
- de donde se deduce que
- Si g(b)-g(a) y g'(c) son distintos de 0, la expresión anterior puede ser escrita como:
Consecuencias [editar]
El teorema de Cauchy es usado para la demostración de otros teoremas. Nos permite, entre otros, demostrar la regla de L'Hôpital:
muy usada en análisis matemático, para el cálculo de límites de la forma de
ó
.
Referencias [editar]
- Trott, Michael. «Mean Value Theorem» (en inglés). The Wolfram Demonstrations Project. Wolfram Research.
- Weisstein, Eric W. «Teorema del valor medio» (en inglés). MathWorld. Wolfram Research.
- Weisstein, Eric W. «Teorema del valor medio de Cauchy» (en inglés). MathWorld. Wolfram Research.
y
continuas en
y derivables en
. Entonces existe al menos un punto
tal que:

![G(x) = [g(b)-g(a)] \cdot [f(x)-f(a)] - [f(b)-f(a)] \cdot [g(x)-g(a)] \,\!](http://upload.wikimedia.org/math/a/0/a/a0a51a88646e4c2fa34cedc695a70593.png)
![G'(x) = [g(b)-g(a)]\cdot f'(x)-[f(b)-f(a)] \cdot g'(x)](http://upload.wikimedia.org/math/a/9/3/a9374f31350f459ec3e2d31592bcdbfd.png)
![0 = [g(b)-g(a)] \cdot f'(c)-[f(b)-f(a)]\cdot g'(c)](http://upload.wikimedia.org/math/5/f/9/5f9b83f16d2b827370803d79c1e94610.png)
![[f(b)-f(a)]\cdot g'(c) = [g(b)-g(a)] \cdot f'(c)](http://upload.wikimedia.org/math/6/c/6/6c66e2e171624ed30d5f5c53b77202ef.png)

