Teorema del valor medio de Cauchy
El teorema del valor medio de Cauchy es una generalización de la fórmula de incrementos finitos .
Redacción
Sean dos funciones y dadas tales que:
![f(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/202945cce41ecebb6f643f31d119c514bec7a074)
![g(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6ca91363022bd5e4dcb17e5ef29f78b8ef00b59)
y son definidas y continuas en el intervalo ;![g(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6ca91363022bd5e4dcb17e5ef29f78b8ef00b59)
![[a,b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
- derivadas y son definidas y finitas en el intervalo ;
![f'(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0cd7d7c75340e779d82658e19d1720ce84ab127)
![g'(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/25db4e8f365c512d07b7ae79f36bca83cd9c57d6)
![(a, b)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7e5710198f33b00695903460983021e75860e2c)
- la derivada no se anula en el intervalo (por lo tanto, por el teorema de Rolle , ).
![g'(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/25db4e8f365c512d07b7ae79f36bca83cd9c57d6)
![(a, b)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7e5710198f33b00695903460983021e75860e2c)
![g(a)\neq g(b)](https://wikimedia.org/api/rest_v1/media/math/render/svg/571d14463d74e82ce67f585905cd191e6278b99a)
Entonces existe para lo cual es verdadero:
![{\ estilo de visualización \ xi \ en (a, b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5abeddc918baa404afdae198bfa6feea783f7e6e)
Notas
- Habiendo requerido explícitamente eso , podemos debilitar la condición 3 y requerir solo eso y no desaparecer simultáneamente en el intervalo .
![{\ Displaystyle g (a) \ neq g (b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/571d14463d74e82ce67f585905cd191e6278b99a)
![f'(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0cd7d7c75340e779d82658e19d1720ce84ab127)
![g'(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/25db4e8f365c512d07b7ae79f36bca83cd9c57d6)
![(a, b)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7e5710198f33b00695903460983021e75860e2c)
- Puede omitir la condición 3 por completo reescribiendo la fórmula de la siguiente manera:
.
- Geométricamente, el enunciado se puede reformular de la siguiente manera: si y se establece la ley de movimiento en el plano (es decir, la abscisa y la ordenada se determinan a través del parámetro ), entonces en cualquier segmento de dicha curva, especificado por los parámetros y , existe un vector tangente colineal al vector desplazamiento de a .
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![gramo](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3556280e66fe2c0d0140df20935a6f057381d77)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![{\displaystyle {\grande (}f(a),g(a){\grande )))](https://wikimedia.org/api/rest_v1/media/math/render/svg/24764cfb9a6368726a03a103c3be0422340e8b80)
![{\displaystyle {\grande (}f(b),g(b){\grande )))](https://wikimedia.org/api/rest_v1/media/math/render/svg/4af60d54636a6f8507b2b32af3b63fa92f3f73c5)
Prueba
Para probar esto, introducimos la función
Es fácil ver que se cumplen las condiciones del teorema de Rolle. Usando este teorema, obtenemos que hay un punto en el que la derivada de la función es igual a cero:
![{\ estilo de visualización \ xi \ en (a, b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5abeddc918baa404afdae198bfa6feea783f7e6e)
![\varphi](https://wikimedia.org/api/rest_v1/media/math/render/svg/33ee699558d09cf9d653f6351f9fda0b2f4aaa3e)
Moviendo el segundo término de esta igualdad hacia la derecha, obtenemos una fórmula a partir de la formulación más general del teorema.
En la formulación original, queda dividir la igualdad entre y . Ambos números serán distintos de cero incluso si el requisito 3 se relaja a la ausencia de ceros comunes para y : esto se requiere explícitamente, y si , entonces
![{\ estilo de visualización g' (\ xi)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1321b646bf4695692c5ee79f7e26f8625618c65c)
![{\ Displaystyle g(b)-g(a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17d5c87e684f9f7ac28bd4f8ba4d0b7ce49e62d8)
![f'(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0cd7d7c75340e779d82658e19d1720ce84ab127)
![g'(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/25db4e8f365c512d07b7ae79f36bca83cd9c57d6)
![{\ Displaystyle g(b)-g(a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17d5c87e684f9f7ac28bd4f8ba4d0b7ce49e62d8)
![{\ estilo de visualización g' (\ xi) = 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aed9aaa10346924f1d9f304ca6c94a1cb62948e9)
.
|
|
Pero como , se sigue que es una contradicción con la condición.
![{\ Displaystyle g (a) \ neq g (b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/571d14463d74e82ce67f585905cd191e6278b99a)
![{\ estilo de visualización f' (\ xi) = 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13eb495016ee0e238ae38fe4ddb293221365fd2d)
Literatura