Fuentes:

1.- Suvorov

2.- Haaser

APLICACIONES DE LA DERIVADA

Máximos y Mínimos

 Definición. Una vecindad de x denotada por N(x) es un intervalo abierto que contiene

a x.(2,450)

 Definición. Una función f tiene un máximo 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 número tal f(c) se llama (valor) máximo relativo de la función. Un (valor) mínimo

relativo de la función se define de un modo análogo. (2,450)

 Definición. Los valores extremos de una función son los máximos y mínimos relativos

de la función.(2,450)

 Teorema. Si 1), la función 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. Supóngase que f tiene un máximo relativo en c. (La prueba para el caso en

que lo que f tiene es un mínimo relativo es análoga) Existe un número 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 hipótesis f’+(c)= f’-(c) y, por tanto, f’(c) =0.

 Definición. Los puntos críticos de una función definida sobre un intervalo son los

puntos del intervalo donde la derivada o es cero o no existe, y también los puntos

extremos del intervalo si es que pertenecen al intervalo.(2,451)

Teorema del Valor Medio

 Teorema. (Teorema de Rolle) Supóngase 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 algún x<a,b>, sea c un punto sobre [a,b] donde f alcance su máximo

(por el ultimo enunciado de la sección 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 algún x<a,b>, haciendo que c sea un punto de [a,b] donde f tome su

valor mínimo. 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 función g que satisface las condiciones del teorema

de Rolle, definida por:

f (b)  f (a )
g ( x)  f ( x)  f (a)  ( x  a)
ba

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

f (b)  f (a )
g ' ( x)  f ' ( x) 
ba

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

términos de f, se tiene:

f (b)  f (a )
f ' (c )  0
ba

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 x 1 < x2. Entonces, según el ultimo teorema

del capitulo de La Función Derivada, f es continua en [x 1,x2]. Es claro, además, que f es

diferenciable en <x1,x2>. Usando el teorema del valor medio

 f(x2)-f(x1) = (x2 – x1) f’(c), para algún 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)

 Definición. Una función f se dice que es no decreciente sobre un conjunto S si f(x 1) 

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

 Definición. Una función 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 análogas pueden darse de funciones no crecientes y decrecientes.

 Definición. Una función f se dice que es monótona 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 algún c< x1 , x2 >.

Entonces:

f(x2) - f(x1)  0

f(x2)  f(x1).

Como esto es cierto para dos puntos cualesquiera x1 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 máximo

relativo en c;

2) f’(x)  0 para x<a, c> y f’(x)  0 para x<c, b>, entonces f tiene un mínimo

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 máximo ni un mínimo 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

penúltimo). 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 máximo relativo en c.

2) La prueba de esta parte del teorema es análoga a la de la parte (1).

3) Por el teorema penúltimo, 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]. Análogamente, 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 máximo ni un mínimo 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 máximo relativo en c.

2) Si f”(c) > 0, entonces f tiene un mínimo relativo en c.(2,464)

Prueba. 1) Si

f ´(x)  f ´(c)
f ´´(c)  Lím 0
x c xc

entonces, por el teorema ultimo de la sección 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>.
xc xc

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 máximo relativo en c.

2) La prueba de esta parte es análoga a la de la parte 1).