Teorema del valor

medio

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 de valor medio puede usarse
para demostrar el teorema de Taylor, ya
que es un caso especial.

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

Para una función que cumpla la hipótesis de ser

definida y continua en [a, b] y derivable en el intervalo
abierto (a, b) entonces existe al menos algún punto c
en el intervalo (a, b) en que la pendiente de la curva es
igual que la pendiente media de la curva en el intervalo
cerrado [a, b].
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 especifica como determinar

, pero resulta que coincide con el
valor medio (promedio) de la función en
el intervalo .

Diferentes demostraciones

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

es el segmento formado por (siendo A conexo y abierto), es

y entonces

de donde se tiene que como

es

para algún

Para ver [1] basta tener en cuenta que

si
y se tiene que

Corolario
Sea la función h tal que

es continua sobre un intervalo finito o

infinito
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[5]

Véase también
 Teorema de Rolle
Teorema del valor medio de Cauchy

Referencias
1. J. J. O'Connor and E. F. Robertson
(2000). Paramesvara , MacTutor
History of Mathematics archive.
2. A. Besenyei, Historical development of
the mean value theorem,
http://abesenyei.web.elte.hu/publicati
ons/meanvalue.pdf
3. Ver "Introducción al cálculo y al
análisis matemático Vol. I". R. Courant
& J. Fritz. Ed. Limusa. p. 163.
4. Bombal, Marín, Vera, p. 4
 5. L. D. Kudriátsev: Curso de análisis
matemático 1 . Editorial Mir, Moscú
(1983), traducido del ruso por V.
Fernández
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.
MathWorld (en inglés). Wolfram
Research.
Obtenido de
«https://es.wikipedia.org/w/index.php?
title=Teorema_del_valor_medio&oldid=115253615»

Última edición hace 19 días por XY3…

El contenido está disponible bajo la licencia CC BY-

SA 3.0 , salvo que se indique lo contrario.