Fuentes:

1.- Suvorov
2.- Haaser
APLICACIONES DE LA DERIVADA
Mximos y Mnimos

Definicin. Una vecindad de x denotada por N(x) es un intervalo abierto que

contiene a x.(2,450)

Definicin. Una funcin f tiene un mximo relativo en un punto c si existe una

vecindad de c, N(c), tal que para todo x en N(c) y en el domingo de f.
f(x) f(c)
Un nmero tal f(c) se llama (valor) mximo relativo de la funcin. Un (valor)
mnimo relativo de la funcin se define de un modo anlogo.(2,450)

Definicin. Los valores extremos de una funcin son los mximos y mnimos
relativos de la funcin.(2,450)

Teorema. Si 1), la funcin f tiene un valor extremo en c; 2), f esta definida en

una vecindad de c; y 3), f(c) existe, entonces f(c)= 0.(2,451)
Prueba. Supngase que f tiene un mximo relativo en c. (La prueba para el caso
en que lo que f tiene es un mnimo relativo es anloga) Existe un nmero n>0 tal
que f est definido sobre <c-,c+> y , para todo x<c-,c+>, f(x) f(c).
Luego para todo h <0, >,
f (c h ) f (c )
0
h

y, por tanto f+(c) 0 para todo h <-,0>, tenemos

f (c h ) f (c )
0
h

y, por tanto f -(c) 0. Como f(c) existe por hiptesis f +(c)= f-(c) y, por tanto,
f(c) =0.

Definicin. Los puntos crticos de una funcin definida sobre un intervalo son
los puntos del intervalo donde la derivada o es cero o no existe, y tambin los
puntos extremos del intervalo si es que pertenecen al intervalo.(2,451)

Teorema del Valor Medio

Teorema. (Teorema de Rolle) Supngase que f es continua en [a,b] donde a < b,

y diferenciable en <a,b> y f(a)=f(b)=0. Entonces existe un punto c<a,b> tal
que f(c)= 0.(2,454)
Prueba. Si f(x) = 0 para todo x<a,b>, entonces escoger como c cualquier
punto de <a,b>.
Si f(x) > 0 para algn x<a,b>, sea c un punto sobre [a,b] donde f alcance su
mximo (por el ultimo enunciado de la seccin Estudio de las Funciones en un
Intervalo de su Dominio). Entonces, como f(c) > 0 mientras que f(a) = 0 = f(b),
se tiene que c<a,b>. Como f est definido en la vecindad <a,b> de c y f(c)
existe, por el teorema anterior se tiene f(c) = 0.
Si f(x) < 0 para algn x<a,b>, haciendo que c sea un punto de [a,b] donde f
tome su valor mnimo. Entonces, razonando como en el caso anterior vemos que
f(c) = 0.

Teorema. (Teorema del valor medio) Si f es continua en [a,b] donde a < b y

diferenciable sobre <a , b>, entonces existe un punto c<a, b> tal que:
f(b)- f(a) = (b-a)f(c).(2,456)
Prueba. Introduciendo una nueva funcin g que satisface las condiciones del
teorema de Rolle, definida por:
g ( x) f ( x) f (a )

f (b) f (a)
( x a)
ba

Claramente g(a) = 0 = g(b) y g es continua en [a,b]. Como:

g ' ( x) f ' ( x)

f (b) f (a )
ba

y f es diferenciable en <a,b>, g es diferenciable en <a,b>. Luego por el teorema

de Rolle, existe un punto c <a,b> tal que g(c) = 0. Volviendo a escribir esto
en trminos de f, se tiene:
f ' (c )

f (b) f (a )
0
ba

o
f (b) f ( a ) (b a ) f ' (c )

Teorema. Si f = 0 sobre un intervalo , entonces f es una constante sobre .

(2,457)
Prueba. Supongamos que consiste de al menos dos puntos; en otro caso el
teorema es trivial. Sean x1 y x2 puntos de tales que x1 < x2. Entonces, segn el
ultimo teorema del capitulo de La Funcin Derivada, f es continua en [x 1,x2]. Es
claro, adems, que f es diferenciable en <x 1,x2>. Usando el teorema del valor
medio
f(x2)-f(x1) = (x2 x1) f(c), para algn c< x1 , x2 >.
Por tanto, f(x2) f(x1) = 0 y f(x1) = f(x2). Como x1 y x2 son dos puntos
cualesquiera de , f ha de ser una constante en .

Corolario. Si f y g son diferenciables sobre un intervalo y f = g sobre ,

entonces existe una constante k tal que:
f = g + k (sobre ). (2,458)

Definicin. Una funcin f se dice que es no decreciente sobre un conjunto S si

f(x1) f(x2) para x1 y x2 cualesquiera en S tales que x1 < x2. (2,458)

Definicin. Una funcin f se dice que es creciente sobre un conjunto S si f(x 1)

f(x2) para todo x1 y x2 en S tales que x1 < x2. (2,458)
Definiciones anlogas pueden darse de funciones no crecientes y decrecientes.

Definicin. Una funcin f se dice que es montona sobre un conjunto S si es o

no decreciente o no creciente en S. (2,458)

Teorema. Si f es continua sobre un intervalo y f(x) 0 en todo punto interior

de , entonces f es no decreciente sobre . (2,458)
Prueba. Sean x1 y x2 en tales que x1 < x2. Por el teorema del valor medio
tenemos:

f(x2)-f(x1) = (x2 x1) f(c), para algn c< x1 , x2 >.

Entonces:
f(x2) - f(x1) 0
y
f(x2) f(x1).
Como esto es cierto para dos puntos cualesquiera x 1 y x2 en (donde x1 < x2), f
es no decreciente sobre .

Teorema. Si f es continua sobre un intervalo y f(x) 0 para todo punto

interior de , entonces f es no creciente sobre . (2,459)

Teorema. Si c es un punto critico de f y si existe un intervalo [a,b] con c<a, b>

tal que f es continua sobre [a,b] y
1)

f(x) 0 para x<a, c> y f(x) 0 para x<c, b>, entonces f tiene un

mximo relativo en c;
2)

f(x) 0 para x<a, c> y f(x) 0 para x<c, b>, entonces f tiene un

mnimo relativo en c;
3)

f(x) > 0 para x<a, c> y f(x) > 0 para x<c, b> o f(x) < 0 para x<a,

c> y f(x) < 0 para x<c, b> , entonces f no tiene ni un mximo ni un mnimo
relativo en c.(2,461)
Prueba.
1) Como f(x) 0 para x<a,c>, f es no decreciente sobre [a,c] (por el teorema
penltimo). De donde:
f(x) f(c) para toda x<a,c>.
Como f(x) 0 para x<c,b>, f es no creciente sobre [c,b](por el teorema
ultimo). De donde
f(x) f(c) para toda x<c,b>.
As pues, f(x) f(c) para toda x<a,b> y f tiene un mximo relativo en c.
2) La prueba de esta parte del teorema es anloga a la de la parte (1).
3) Por el teorema penltimo, si f(x) > 0 para x<a,c> entonces f es creciente
en [a,c] y si f(x) > 0 para x<c,b> entonces f es creciente en [c,b]. Luego f es
creciente sobre [a,b]. Anlogamente, usando el teorema ultimo, vemos que si f

es negativa a ambos lados de c entonces f es decreciente en [a,b]. En cualquiera

de los casos, f no tiene ni un mximo ni un mnimo relativo en c.

Teorema. Suponiendo que f es diferenciable en una vecindad N (c) de c, f(c) =

0, y que f(c) existe.
1)

Si f(c) < 0, entonces f tiene un mximo relativo en c.

2)

Si f(c) > 0, entonces f tiene un mnimo relativo en c.(2,464)

Prueba. 1) Si
f (c) Lm
x c

f (x ) f (c)
0
xc

entonces, por el teorema ultimo de la seccin Propiedades de los Limites de

Funciones Reales de Variable Real, existe una vecindad <a,b> de c tal que:
f ' ( x ) f ' (c ) f ' ( x )

0 para todo x<a,c> <c,b>.

xc
xc

Pudiendo suponer que <a,b> N (c). Entonces f es continua sobre [a,b] y

f(x) > 0 para todo x<a,c>
f(x) < 0 para todo x<c,b>
Por lo tanto, por el teorema anterior, f tiene un mximo relativo en c.
2) La prueba de esta parte es anloga a la de la parte 1).