Diferencia entre revisiones de «Teorema del valor medio»
→Enlaces externos: fixed url for mean value theorem on planetmath.org Etiquetas: Edición desde móvil Edición vía web móvil |
Sin resumen de edición |
||
Línea 1: | Línea 1: | ||
En [[cálculo diferencial]], 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ático]]s consideran que este [[teorema]] es el más importante del cálculo (ver también el [[teorema fundamental del cálculo integral]]). El teorema no se usa para resolver problemas matemáticos; más bien, se usa normalmente para [[demostración matemática|demostrar]] otros teoremas. El teorema de valor medio puede usarse para demostrar el [[teorema de Taylor]], ya que es un caso especial. |
En [[cálculo diferencial]], 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ático]]s consideran que este [[teorema]] es el más importante del cálculo (ver también el [[teorema fundamental del cálculo integral]]). El teorema no se usa para resolver problemas matemáticos; más bien, se usa normalmente para [[demostración matemática|demostrar]] otros teoremas. El teorema de valor medio puede usarse para demostrar el [[teorema de Taylor]], ya que es un caso especial. ""Hail Grasa :v"" |
||
== Historia == |
== Historia == |
Revisión del 08:01 8 dic 2017
En cálculo diferencial, 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 (ver también el teorema fundamental del cálculo integral). El teorema no se usa para resolver problemas matemáticos; más bien, se usa normalmente para demostrar otros teoremas. El teorema de valor medio puede usarse para demostrar el teorema de Taylor, ya que es un caso especial. ""Hail Grasa :v""
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.[1] 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.[2]
Enunciado para una variable
En esencia, el teorema dice que dada cualquier función f continua en el intervalo [a, b] y derivable en el intervalo abierto (a, b), entonces existe al menos algún punto c en el intervalo (a, b) tal que la tangente a la curva en c es paralela a la recta secante que une los puntos (b, f(b)) y (a, f(a)). Es decir:
Este teorema lo formuló Lagrange.
El teorema del valor medio de Lagrange, de hecho, es una generalización del teorema de Rolle, que dice que si una función es definida y continua [a, b], diferenciable en el intervalo abierto (a, b), y toma valores iguales en los extremos del intervalo – en otras palabras, f(a) = f(b) – entonces existe al menos algún punto c en el intervalo (a, b) tal que la tangente a la curva en c es horizontal, es decir f'(c) = 0.
Demostración
1) Primero se consideran dos puntos y pertenecientes al gráfico de la función. La ecuación de la recta que pasa por estos dos puntos es:
Se define una función auxiliar:
Puesto que f es continua en [a, b] y diferenciable en (a, b), lo mismo se puede decir de g. Además g satisface las condiciones del Teorema de Rolle en [a,b] ya que:
Por el Teorema de Rolle, como g es derivable en (a, b) y g(a) = g(b), existe un c perteneciente (a, b) tal que g'(c) = 0, y por tanto:
y así
que es lo que se quería demostrar.
2) Sea la pendiente de la recta secante entre , se define la ecuación punto-pendiente:
o también,
De acuerdo al enunciado la función es derivable en , por lo que se puede escoger algún valor en dicho intervalo tal que existe y es la pendiente de la recta tangente en dicho punto y por ende la recta tangente tiene la forma (punto-pendiente):
o también,
Se observa que se llega a un sistema lineal de 2x2
La matriz del sistema es:
Y su determinante es:
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) = mab
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:
o también,
Con ello queda demostrado el teorema del valor medio.
Forma integral del Teorema del valor medio
Para una función continua en el cerrado , existe un valor en dicho intervalo, tal que[3]
Demostración Dado que la función es continua en el intervalo cerrado , posee un valor máximo en dicho intervalo para algún , que llamaremos y también un valor mínimo en el mismo intervalo: , para algún . Es decir y . Si consideramos las áreas de los rectángulos con base y altura ó tendremos la siguiente desigualdad:
Lo que implica:
Dado que es continua se deduce que debe existir algún para el cual la función alcanza el valor de la integral , es decir:
El teorema no especifíca como determinar , pero resulta que coincide con el valor medio (promedio) de la función en el intervalo .
Otra demostración
Aplicando la integración de Riemann
La sumatoria aloja todos los dentro del intervalo , por lo que procederemos a escoger un fijo de dicho intervalo y que por ende hace que
Al reemplazar, la integral queda de la siguiente manera:
Como es constante para la ∑, entonces:
Reemplazando
Simplificando
y no son afectados por el límite ya que son constantes, por lo tanto
Despejando
Por lo tanto, queda verificado la existencia de un en donde la función evaluada en él, toma el valor de , es decir:
Y así, queda demostrado el teorema del valor medio para integrales.
Enunciado para varias variables
Sea un conjunto abierto y convexo y una función real diferenciable sobre ese conjunto abierto. Entonces se tiene que:[4]
Donde , es la aplicación lineal que representa el jacobiano (gradiente), y .
Generalizaciones
No existe un análogo estricto del teorema de valor medio para aplicaciones . En este caso, sólo es posible establecer la siguiente desigualdad en términos de la norma:
Demostración |
En efecto
teniendo en cuenta que dada una función [1]se tiene que si y entonces de donde se tiene que como es
Para ver [1] basta tener en cuenta que siy se tiene que |
Véase también
Referencias
- ↑ J. J. O'Connor and E. F. Robertson (2000). Paramesvara, MacTutor History of Mathematics archive.
- ↑ A. Besenyei, Historical development of the mean value theorem, http://abesenyei.web.elte.hu/publications/meanvalue.pdf
- ↑ Ver "Introducción al cálculo y al análisis matemático Vol. I". R. Courant & J. Fritz. Ed. Limusa. p. 163.
- ↑ Bombal, Marín, Vera, p. 4
- Bombal, Marin & Vera: Problemas de Análisis matemático: Cálculo Diferencial, 1988, ed. AC, ISBN 84-7288-101-6.
Enlaces externos
- PlanetMath: Mean-Value Theorem
- Weisstein, Eric W. «Teorema del valore medio». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.