3

El Teorema del Valor Medio

Este captulo explora una serie de conceptos y teoremas desarrollados en

los albores del siglo XIX, cuando algunos matemticos comenzaron a insistir acerca de la necesidad de proveer demostraciones ms rigurosas de
ciertos principios del Anlisis que hasta entonces se aceptaban como evidentes. Los teoremas fundamentales, requieren para su demostracin una
descripcin de las propiedades de los nmeros reales que escapa a los objetivos de este curso, pero sus enunciados son fcilmente comprensibles e
intuitivamente aceptables. Sin embargo no todo termina ah. La segunda
lnea de dificultades todava es ardua. Est compuesta de razonamientos de
mediana complejidad que se siguen slo con trabajo y atencin. A veces,
la Matemtica resulta fastidiosa para el estudiante de otras disciplinas. Tal
vez ese sera el caso con las demostraciones bsicas que dejaremos de lado.
Pero el resto del material incluye un ir y venir entre el problema prctico,
la intuicin y la formalizacin que es imprescindible en cualquier disciplina
con base en las Ciencias Exactas. Invitamos al lector a sumergirse en estas
pginas con entusiasmo.

3.1

Asntotas

Lmites en el infinito. Asntotas oblicuas y horizontales

La palabra "infinito" seala en nuestro idioma un ms all de lo que
expresan los nmeros. Como los nmeros se usan para contar y para medir,
una mirada ms fina distingue dos tipos de infinito. Aqu estaremos involucrados con el infinito de medir. Las variables reales continuas que estamos estudiando son variables de medir. Para contar se usan los enteros.
Evitaremos cualquier discusin filosfica acerca del infinito y trataremos de

94

Captulo 3 - El Teorema del Valor Medio

presentar maneras algebraicamente operativas de describir los fenmenos

relacionados con medidas infinitamente grandes e infinitamente pequeas.
Si pensamos en la dualidad entre las variables x y y = x1 , en el sentido
de que una es tan grande cuanto pequea es la otra, tendremos una manera
de describir el acercamiento de x hacia el infinito con el acercamiento de
y hacia el cero. Mirando ahora el procedimiento de cambiar variables para
el clculo de lmites insinuado en el ejercicio 13. del captulo 2., podemos
adoptar la siguiente definicin:
Definicin 1:

1
,
lim f (x) := lim f
x
y0
y

(1)

con las consiguientes versiones laterales:

1
1
,
lim f (x) := lim f
.
lim f (x) := lim f
+

x+
x
y
y
y0
y0
(2)
Ejemplos:
1. limx
2. limx

1
xn

= limy0 y n = 0,

1
n y = 0,

n x = limy0

nN
nN

3. limx 1 + x1 = limy0 (1 + y) = 1
4.

3 y1 2
3x 2
y (3 2y)
= lim 1
= 3.
= lim
x x + 4
y0
y0 y (1 + 4y)
+
4
y
lim

Habindose reducido,mediante el uso de otra variable, la definicin de

lmites en el infinito a lmites en cero, sern de aplicacin en el infinito las
propiedades estudiadas en el captulo 2, con excepcin, por ahora, de la
segunda parte de la propiedad 1, que no tendra significado, y aclarando
que en la propiedad 3.b., los entornos de son los complementos de los
intervalos cerrados, los entornos de + las semirrectas (M, +), y los de
las semirrectas (, M ), donde M representa un nmero positivo.
Ejemplos:

3.1. Asntotas

95

5. Para calcular el lmite en el infinito de una funcin racional,

lim

P (x)
,
Q (x)

caben tres posibilidades:

a. n = gr (P ) < m = gr (Q): se saca factor comn xm en numerador
y denominador.

x4 x12 x23 + x34

x2 2x + 3
=
= lim 4
lim
x 3x4 + 2x 1
x x 3 + 23 14
x
x

limx x12 x23 + x34

0

= = 0.
=
2
1
3
limx 3 + x3 x4

b. n = gr (P ) > m = gr (Q): se saca factor comn xn en numerador

y denominador.

x4 3 + x23 x14
3x4 + 2x 1
=
= lim 4 1
lim
x x2 2x + 3
x x
x23 + x34
x2

3 + x23 x14

= lim 1
2
3 .
x

+
2
3
4
x
x
x

El numerador tiene lmite no nulo y el denominador tiene lmite

cero. El cociente no tiene lmite.

c. n = gr (P ) = gr (Q) : se saca factor comn xn en numerador y

denominador.

x 3 x2
3x 2
=
= lim
lim
x x + 4
x x 1 + 4
x

limx 3 x2
3

=
= 3.
4
1
limx 1 + x
Ntese que recalculamos el lmite del ejemplo 4.

6.

1
sen x
= lim
sen x = 0.
lim
x
x x
x
Hemos usado la propiedad 3.b.
limx x1 = 0 (ejemplo 1).

de lmites: seno est acotada y

96

Captulo 3 - El Teorema del Valor Medio

Ejercicios:
Hallar limx f (x) para

3 x
1. 2x
2.

x4 1

f (x) =
4. senx34x
5.

2x4 1
7. 4x
8.
4 +x2

cos x
x

3.

x2 +1
x2 1

5x4 x3 +3x+2
x3 1

6.

x2 +1
x+5

2x4 1
4x3 +x2

9.

2x4 1
4x5 +x2

Cuando existe lmite en el infinito de una funcin, digamos por ejemplo

que sea limx f (x) = b, ese comportamiento se refleja en el grfico con un
acercamiento de Gr (f ) a la recta y = b, ya que limx [f (x) b] = 0.
Este acercamiento se da hacia los "extremos" lejanos del grfico en sentido
horizontal y bien podra producirse en slo uno de los extremos si el lmite
es de tipo lateral. En esos casos se dice que la recta y = b es una asntota
de f . Uno podra imaginar el fenmeno como una tangencia en el infinito.
Este tipo de acercamiento tambin se da con rectas oblicuas
Definicin 2. La recta de ecuacin y = l (x) = mx + b es una
asntota de la funcin f (o del grfico de f ) si
lim [f (x) l (x)] = 0.

Si slo uno de los lmites laterales en el infinito se anula, se dir

que l es una asntota en + o en , lo que corresponda.
Ejemplos:
7 .
y

En los ejemplos 1 y 2,
el eje coordenado horizontal es una asntota.
en el ejemplo 3., la recta
y = 1 es asntota de la
curva y = 1 + x1 .

x
-2

-2

fig. 3.1.a

y =1+

1
x

3.1. Asntotas

97

18 y
12
6

x
-18

-12

-6

En el ejemplo 4., la recta

y = 3 es asntota de la curva
y = 3x2
x+4 .

6
-6

fig. 3.1.b

y=

3x2
x+4

P (x)
x 3
= Q(x)
con gr (Q) = gr (P ) + 1. Si
8. La funcin racional f (x) = 2x4
efectuamos la divisin entera de P por Q, obtendremos un cociente
C de grado 1 y un resto r de grado 0, una constante: P = QC + r.
Dividiendo entre Q,

f (x) =

r
P (x)
= C (x) +
.
Q (x)
Q (x)

C, polinomio de grado 1, es una recta. Y f C = Qr , es una funcin

racional con gr (Q) > gr (r) = 0. Segn se vi en el ejemplo 5.a. el
lmite en el infinito es 0. Luego y = C (x) es una asntota oblicua.

x2 3
x2 + 2x
2x 3
2x + 4
1

2x 4
1
2x + 1

Entonces,
1
1
f (x) = x + 1 +
,
2
2x 4

98

Captulo 3 - El Teorema del Valor Medio

y la recta y = C (x) = 12 x + 1 es asntota.

y

0
-2

6
x

-2

figura 3.2.

P (x)
, hay asntotas en
Resumiendo, para funciones racionales, f (x) = Q(x)
el infinito cuando gr (P ) < gr (Q) (el eje y = 0 es asntota), cuando
gr (P ) = gr (Q) (asntota horizontal) y cuando gr (P ) = gr (Q) + 1 (asntota oblicua). Si gr (P ) > gr (Q) + 1, aparecen polinomios asintticos que
se obtienen con el mtodo de dividin entera propuesto en el ejemplo 8. En
el ejemplo 6., sin embargo, presentamos una funcin no racional con lmite
nulo en el infinito, o sea con asntota horizontal (el eje). Cul es el mtodo
general para encontrar asntotas oblicuas (incluyendo entre estas las horizontales como caso particular)? Supongamos que la recta y = l (x) = mx+b
es asntota de la funcin f . Nos interesa encontrar los nmeros m y b.

f (x) mx b 0 lim (f (x) mx) = b (ejerc. 13., cap.2).

x

Entonces, dividiendo entre x,

lim

b
f (x)
f (x) mx
m = lim
= lim
= 0.
x
x x
x
x

Luego
f (x)
= m.
x x
lim

(3)

3.1. Asntotas

99

La existencia del lmite (3) es condicin necesaria para que pueda haber
asntota. Pero no suficiente (ver ejemplo 10). m es el candidato a pendiente
de la asntota. Ahora habr que verificar si existe
b = lim [f (x) mx] .
x

Si esto ocurre, entonces limx [f (x) (mx + b)] = 0 y la recta

mx + b es una asntota.

y =

Ejemplos:
9. Vimos (ejemplo 6) que

sen x
x

0 para x . Si hacemos

f (x) =

sen x
+ 0.1x 1,
x

tendremos a la recta l (x) = 0.1x 1 como asntota.

y

1.25

0
-20

-10

10

20
x

-1.25

-2.5

figura 3.3
En nuestra definicin de asntota, nada impide que se encuentre con
la curva, incluso muchas veces.

10. Buscamosasntotas de y = f (x) = x. El primer paso es calcular

limx xx = limx 1x = 0 = m. De haber asntota, ser horizon
tal. Pero limx x no existe. En consecuencia no hay asntota.
11 .

100

Captulo 3 - El Teorema del Valor Medio

a .La funcin sg (x) = x 2 tiene dos asntotas diferentes, y = 1 en

x
+ y y = 1 en . Pero es discontinua en 0.
b .

f (x) = xx2 +1 , tambin tiene

asntotas horizontales distintas en . En efecto,
x
lim
2
x x + 1
1
lim sg (x) q
x
1 + x12

x
-8

=
= 1.

-1

fig. 3.4.a
c .
y

f (x) = x2 + 1, tiene asntotas oblicuas diferentes en .

x

fig. 3.4.b
Ejercicios:
Encontrar, cuando las haya, asntotas en el infinito de las
siguientes curvas.

10. y =

2x3 x
x4 1

11. y =

cos x
x

12. y =

x2 +1
x2 1

13. y =

5x4 x3 +3x+2
x3 1

14. y =

x2 +1
x+5

15. y =

1
cos x
10 x + x

16. y =

2x4 1
4x4 +x2

17. y =

2x
x2 +1

18. y =

3x2
x2 +1

3.1. Asntotas

101

Lmites infinitos. Asntotas verticales

Volvemos a mirar la funcin y = x1 . La simetra de esta curva muestra
que lo que se pueda decir acerca del comportamiento de la variable x en
el infinito debe ser vlido para la variable y en el infinito. Si para decir
que x , pedimos que x1 0, el mismo criterio servir para la variable
dependiente: y si y slo si y1 0.
Definicin 3. (El punto a hacia el que tiende la variable independiente puede ser un nmero . Tambin puede tratarse
de una tendencia lateral).
lim f (x) =

xa

lim

xa

1
= 0.
f (x)

Cuando en un entorno reducido de a el signo de f (x) permanece constante podremos ser ms especficos y considerar el
lmite infinito con el correspondiente signo. Es decir, limxa f (x) =
+ limxa f (x) = f (x) > 0 en un entorno reducido
de a. Anloga definicin para f (x) .
Llamando y a la variable independiente y poniendo u = 1/y, queremos, aunque sea obvio, remarcar que la definicin, ya que es un bicondicional, tanto nos permite concluir que y porque u 0, como
deducir que u 0 sabiendo que y . En este punto conviene
antes aclarar que los entornos reducidos
infinito
son
conjuntos
de la
de
forma {x : |x| > M }, provenientes de x : x1 < = x : |x| > 1 , donde
ponemos M = 1 . Para los lmites laterales en el infinito, los semi-entornos
considerados cuando x + y x son, respectivamente, semirectas del tipo (M, +) y (, M ), ambas con M > 0. Tambin cabe
sealar que antes de definir los lmites infinitos, en aquellos casos donde ste
existe decamos que no exista lmite. Por lo tanto, si quisiramos conservar
la coherencia, deberamos decir que "existe lmite" y "existe lmite infinito"
son dos sucesos mutuamente excluyentes, como si la frase "lmite infinito"
fuera una palabra nueva que no incluye a la palabra "lmite". Sin embargo,
resulta bastante ms cmodo llamar lmite finito al viejo lmite y aceptar
oraciones mucho ms gratas al odo como "existe lmite, finito o infinito".
As lo haremos cuando no quepa confusin.
Ejemplos:

102

Captulo 3 - El Teorema del Valor Medio

12. Los siguientes lmites se obtienen inmediatamente a partir de la definicin.

2.

3. lim x12 = +

4. lim x12 =

x0

x0

5.
7.

13 .

1
x

1. lim x1 =

lim x =

lim

1
x1

x0

6.

x1+

lim

x0

= +

8.

lim x3 =

lim

tan x = +

x( 2 )

En la seccin 2.3. se mencion

como no derivable a la fun
cin 3 x, con tangente vertical en el origen. Si calculamos el lmite del cociente incremental en ese punto,

3
h
1
= lim
= +,
lim
h0 h
h0 3 h2

3
3
h2 > 0
pues lim h2 = 0 y

h0

Si admitisemos derivadas infinitas, stas coincidiran con

los puntos de tangente vertical.

fig. 3.5.a.

fig. 3.5.b.

y=

p
|x|

y=

3
x

p
Para la funcin |x|, en cambio,
p
|h|
= y
lim

h
h0
p
|h|
= +.
lim
+
h
h0
Habra derivadas laterales infinitas de distinto signo. No
hay una recta tangente vertical sino semirectas tangentes
verticales.

3.1. Asntotas

103

Cuando se trata de aplicar las propiedades 2, 3 y 4 del lmite en relacin

con las operaciones de suma - resta y multiplicacin - divisin, vistas en
la seccin 2.2, puede ocurrir que uno (o ambos) de los operadores tienda
hacia infinito, caso que no est previsto en aquellas reglas. Pero haciendo
el reemplazo
1
,
y=
1/y
aparecer en la operacin, aunque en otro papel, la nueva variable 1/y, que
sabemos que tiende hacia 0 por la definicin 3.
Ejemplo 14.

lim

x 2

x
tan x

Ya que limx 2 tan x = (ejemplo 12.8), limx 2

Reemplazamos entonces:
lim

x 2

1
tan x

= 0.

1
= lim x
= 0=0
tan x x 2
tan x
2

Ntese que la propia definicin de lmite infinito, agrega otra regla a las
propiedades del lmite. En efecto, la propiedad 4, referida al cociente de dos
funciones, nos dejaba sin ninguna conclusin si el denominador tena lmite
nulo. Ahora, 1/u si el denominador u 0. Ms an, si debemos
calcular el lmite para x a de un cociente y/z con z 0, si 1/y se
mantiene acotada en un entorno reducido de a, tendremos que
z
1
1
= = z 0
y/z
y
y
por la propiedad 3.b, de donde se concluye que y/z . Segn lo
establece la propiedad 1.c, una condicin suficiente para que la variable
1/y est acotada en un entorno reducido de a, es que tenga lmite finito.
Para eso basta que (1/y)1 = y tenga lmite distinto de 0. De modo que
la consideracin de lmites infinitos permite mejorar la regla 4:
Si existen y son finitos
lim f (x) y lim g (x) ,

xa

xa

104

Captulo 3 - El Teorema del Valor Medio

y no son simultneamente nulos, entonces existe

lim

xa

f (x)
= ;
g (x)

con

lim f (x)
lim g(x)

si lim g (x) 6= 0
si lim g (x) = 0 y lim f (x) 6= 0

Si en un cociente y/z ambas variables tienden hacia cero, no hay ningn

criterio general que diga qu pasa con el cociente. Es fcil mostrar distintos
casos de esta situacin con diferente desenlace.
Ejemplos.

15 .

a) Si y = x2 , z = x y x 0, entonces y/z = x 0.

b) Si y = x, z = x2 y x 0, entonces y/z = 1/x .

c) Si y = x sen x1 , z = x y x 0, entonces y/z = sen x1 no tiene

lmite.
Tenemos tres situaciones en las cuales cocientes de variables que tienden ambas hacia cero dan diferentes resultados. Por esta razn este
tipo de cocientes constituyen un caso de clculo de lmite que se denomina indeterminado. La indeterminacin no dice nada acerca de la
existencia o no de lmite. Slo dice que no se lo puede saber con las
reglas bsicas de clculo. Hay que trabajar ms. La costumbre ha
instalado un cono para denominar a estos casos: " 00 ".
16. Consideremos
lim

1
x+
sen x1

Lo primero es cambiar x por 1/t y dejar que t 0. El problema

se reduce entonces a calcular

1
sen t + t
1
+
= lim
,
lim
t0 t
t0 t sen t
sen t

3.1. Asntotas

105

indeterminacin del tipo "0/0". No es tan difcil sospechar que nuestro conocimiento acerca de
lim

t0

sen t
=1
t

nos podra ayudar. Observando que

1
t
t/ sen t
=
=
,
sen t
t sen t
t
nuestro clculo se transforma en
lim

t0

1 t/ sen t
+
t
t

= lim

t0

1 + t/ sen t
=
t

porque es cociente de dos funciones, con denominador que tiende a 0

y numerador que tiende hacia 2. Es aplicable la nueva regla 4.

Ejercicios:
Calcular los siguientes lmites.
19.-

4
lim 2x 41 2
x0 4x +x

20.-

21.-

3
lim 2x4 x
x1 x 1

22.-

23.

limx
(2)

lim

x 1

x2 +1
x2 1

3
lim 2x4 x
x1 x 1

x tan x

Cuando en un punto a R hay un lmite infinito, el grfico de la

funcin se acerca hacia la recta vertical x = a. Decimos entonces que la
recta es una asntota vertical del grfico de la funcin o, directamente, de
la funcin.
Ejemplos:

17. El eje vertical es asntota de y = x1 . Ntese que los dos lmites laterales
son de distinto signo. No es este el caso en y = x12 , que tambin tiene

106

Captulo 3 - El Teorema del Valor Medio

la misma asntota.
y

fig. 3.6.a

fig. 3.6.b

18. En el ejemplo 7, el eje y es asntota de y = 1 + x1 y la recta

x = 4 lo es de y = 3x2
x+4 . En el ejemplo 8 tambin hay una asntota
vertical de y =

x2 3
2x4 :

la recta x = 2

x
-2

-2

figura 3.7

16. y = tan x =

sen x
cos x

tiene infinitas asntotas verticales: los puntos de la

3.2. Estudio de funciones

forma

107

+ k con k entero, en los cuales se anula el denominador.

y
3

/2

/2

3/2

figura 3.8

y = tan x

Ejercicios:
Encontrar, cuando las haya, asntotas verticales de las siguientes curvas.

3.2

24.- y =

7x+2
3x2

27.- y =

1
sen x

25.- y =

x2 2x+1
x+3

26.- y =

1
x2

28.- y =

sen 2x
x2

Estudio de funciones

Mximos y mnimos
Quizs no haya en la naturaleza una funcin a la que le prestemos ms
atencin que a la temperatura ambiente. Pensemos en la descripcin de
este parmetro en el transcurso de un da. Supongamos que medimos el
tiempo en horas. Estar representado por una variable t que recorre el
intervalo [0, 24]. Los valores correspondientes de la temperatura estarn
representados por otra variable, digamos y, que la mide en cierta unidad:
o C, por ejemplo.
y = f (t) ,
0 t 24.

108

Captulo 3 - El Teorema del Valor Medio

Uno puede imaginar cmo, mientras el tiempo recorre de izquierda a derecha

el intervalo [0, 24] sin saltearse ningn punto, la temperatura se mueve,
tambin ella sin saltearse puntos, pero oscilando, subiendo y bajando, sin
salirse de un intervalo. Se puede pensar a la variable y como las posiciones que va ocupando el punto superior de la columna mercurial de un
termmetro. En sus oscilaciones no puede pasar de un punto a otro sin pasar
por los intermedios. Adems, en algn instante pasar por una posicin que
no es superada en altura por ninguna otra (aunque si puede ser igualada):
M, la temperatura mxima. Y en algn otro (o algunos otros) instante,
pasar por la posicin ms baja, la temperatura mnima m. En definitiva,
los valores f (t) correspondientes a los valores t [0, 24] , llenan un intervalo cerrado [m, M ] .Qu aspectos nos interesa conocer de esta funcin?
Sin duda los extremos m y M del intervalo que soporta los valores de y
y a qu horas fueron alcanzados, ya que ellos representan las temperaturas
mxima y mnima de la jornada. Y tambin los subintervalos de oscilacin
de f . Cundo la temperatura est en aumento y cundo disminuye. El
estudio de estas cuestiones, esto es la descripcin del comportamiento de
una funcin, constituye el objeto de esta seccin.
Definicin 4. Diremos que una funcin f alcanza su mximo
valor relativo al conjunto S Dom f en el punto a, si f (a)
f (x) para todo x S. El nmero f (a) es el mximo de f
en S [f (a) = max f |S ] . Si S = Dom f , el mximo se llama
absoluto1 . La definicin de mnimo es idntica, cambiando
por . Para decir que f alcanza un mximo o un mnimo en
un punto, sin querer especificar si se trata de uno o de otro, se
dir que alcanza un extremo.
Los ejemplos que siguen a continuacin servirn tambin como introduccin del lenguaje que usaremos. Debemos advertir que este es un tema
en el que se ha generado cierta diversidad de lenguaje: no todos llaman a
las cosas con el mismo nombre y, peor an, se llama con el mismo nombre
a cosas diferentes. Nosotros haremos nuestro aporte al caos.

Como siempre se dispone de cierta libertad para considerar arbitrariamente cul es

el dominio de una funcin, esta definicin debe tomarse con el valor "relativo" que posee.

3.2. Estudio de funciones

109

Ejemplos:
1 .
y
2

La funcin y = |x|+1 alcanza

su mnimo absoluto (que vale
1) en x = 0.

x
-2

figura 3.9.a

2 .
1

La funcin seno, alcanza su

mximo absoluto en 2 . Y
tambin en todos los puntos
de la forma 2 + 2k con k
entero.

figura 3.9.b

3 .

y = x tiene su mximo relativo al intervalo (1, 1] en

x = 1. No tiene mnimo relativo a ese intervalo, pues el
valor 1 no lo toma; Para
cualquier a (1, 1] , f (a)
no es un mnimo,
por
porque,

a1
=
<
ejemplo, f a1
2
2
a = f (a) . (Piense esto con
cuidado)

1 y

x
-1

-1

figura 3.9.c

110

Captulo 3 - El Teorema del Valor Medio

4 .
3 y

La funcin aqu graficada, que

tiene
en el intervalo

dominio
3, 3 , no alcanza mximo ni mnimo. Tiene una discontinuidad en la que toma el
valor 0, y a sus lados tiende
hacia valores que no alcanza.

x
-1

-3

figura 3.9.d
5 .
y

f (x) = x1 no tiene mximo
ni mnimo absolutos. Tiene
un mnimo relativo al intervalo (0, 1] en 1, y un mximo
relativo a [1, +) en 1.

x
-2

figura 3.9.e
6 .
y

b
a

figura 3.9.f

El grfico que se muestra en este ejemplo corresponde a una funcin que est
definida en (, +) y sigue, hacia los
"extremos" del intervalo, la tendencia que
muestra la figura. No tiene, en consecuencia, extremos absolutos. Sin embargo..."algo pasa" en los puntos a y b.
Tambin se observa un fenmeno similar
en el grfico del ejemplo 4. La prxima
definicin recoge esa peculiaridad.

Definicin 5. Una funcin f tiene en un punto a Dom f

un mximo local si existe un intervalo abierto I, a I Dom f
(esto es un entorno I de a), tal que f tiene en a un mximo
relativo a I. Anloga definicin para mnimo local .

La existencia del concepto de extremo local provoca el contrapunto de

llamar globales a los extremos definidos anteriormente. Los extremos locales
no requieren la mencin de un conjunto, son una propiedad del punto. Un

3.2. Estudio de funciones

111

extremo global, en cambio, lo es relativo a un conjunto. O absoluto si lo es

con respecto a todo el dominio de la funcin.
Cul es la relacin entre extremos locales y extremos globales? El
ejemplo 6 muestra una funcin que tiene un mximo local en a y un
mnimo local en b, que no son absolutos. El mximo relativo mencionado
en el ejemplo 3, no es mximo local. Ni an considerando a la funcin como
restringido su dominio a (1, 1] : la definicin de extremo local requiere
que el punto sea interior al dominio. Lo que s se puede decir es esto:
Teorema 1: Si una funcin alcanza un extremo global relativo
a un conjunto S en un punto interior a S, entonces la funcin
tiene en ese punto un extremo local.
Digamos de paso que el conjunto S a que se refiere la definicin 1 ser
siempre un intervalo. Cualquier problema de bsqueda de extremos de una
funcin se puede llevar a una bsqueda en un intervalo.
La definicin 4 no proporciona ninguna pista para encontrar extremos
globales de una funcin. Si se logra adivinar un punto a en el cual se
realiza un extremo de f , la definicin dice cmo probar que en ese punto
hay efectivamente un extremo. Los extremos locales de la definicin 5, en
cambio, mirados a travs de los grficos en los ejemplos 2, 4 y 6, sugieren un
posible mtodo de bsqueda. En un extremo local, cuando hay recta tangente, sta es horizontal (el ejemplo 1 muestra que puede no haber tangente
y el 3 que en extremos no locales la tangente puede no ser horizontal).
Teorema 2: Si f alcanza un extremo local en un punto a y
es derivable en ese punto, entonces f 0 (a) = 0.
Demostracin. Si f tiene un mnimo local en a, f (a + h)
f (a) 0 para |h| chico. Luego,
f (a + h) f (a)
h
f (a + h) f (a)
h

0 para h > 0 y
0 para h < 0.

Tomando lmites laterales, se deduce que D f (a) 0 y

D+ f (a) 0. Como f es derivable, debe ser f 0 (a) = 0
Si f tuviera un mximo en a, f tendra un mnimo y entonces
f 0 = 0

112

Captulo 3 - El Teorema del Valor Medio

Ntese que la recproca no vale y la derivada de una funcin puede

anularse en un punto sin que en l haya un extremo local. (y = x3 en
x = 0). El teorema da candidatos a extremos locales.
Ayudados por los dos teoremas, si lo que se busca son los extremos globales de una funcin relativos a un intervalo, se puede pensar de la siguiente
manera: El mximo y el mnimo de la funcin relativos al intervalo se pueden
alcanzar en los extremos o en el interior del intervalo. Si un extremo (mximo o mnimo) es alcanzado en el interior del intervalo, entonces es local
(teor. 1). Luego, o la funcin no es derivable o la derivada se anula (teor.
2). Si llamamos puntos crticos a aquellos donde no existe derivada o la
derivada es nula, un mximo o un mnimo slo puede ser alcanzado en los
extremos del intervalo o en un punto crtico.
Uno est tentado a seguir este procedimiento para "pescar" extremos:
se buscan todos los puntos crticos. Si son un nmero finito se calcula el
valor de la funcin en ellos y en los extremos del intervalo (si es cerrado).
El valor ms grande es el mximo y el ms chico es el mnimo. Eso est
bien si existen mximo y mnimo relativos a ese intervalo!. En los ejemplos
1 a 6 vimos muchos casos en que no.
Ejemplo 4. (revisitado). La funcin graficada en el ejemplo 4 responde a
esta definicin analtica:

4
x 4x2 + 3 sg(x) si x 3, 0 0, 3
f (x) =
0
si x = 0
x
). f es una funcin
(Recordamos de la seccin 2.2. que sg (x) = |x|

definida en el intervalo cerrado 3, 3 , derivable en el abierto
salvo en el origen, donde ni siquiera es continua.

f 0 (x) = 4x3 8x sg (x) = 4x x2 2 sg (x) ,

se anula en 2 y en
Segn
la definicin, el conjunto de
2.
los puntos crticos es 2, 0, 2 (el 0 es P.C. porque f no es
derivable). Si calculamos el valor de f en los P.C. y en los extremos
del intervalo:




2 = 1, f
3 = 0.
f 3 = 0, f 2 = 1, f (0) = 0, f

2 slo hay mximo y mnimo locales. Porque,

Pero en 2 y
claramente,
lim f (x) = 3

x0

lim f (x) = 3,

x0+

3.2. Estudio de funciones

113

valores que no son alcanzados; pero, cuando x estcerca del 0, f (x)

sobrepasa por arriba el valor
1 alcanzado en 2 y por abajo el
2. En este intervalo la funcin no tiene
valor 1 alcanzado en
extremos absolutos, por lo tanto el mtodo no pudo pescar peces que
no estaban en el estanque.
Resulta entonces clara la importancia de saber a-priori si en un intervalo
una funcin alcanza su mximo y su mnimo. Y aqu conviene recordar
el ejemplo de la columna mercurial. La condicin para que la variable
dependiente recorra su imagen sin saltear puntos es la continuidad de la
funcin. El resultado que describe esta situacin es un teorema debido a
Bolzano1 y Weierstrass1 . Su demostracin se basa en propiedades de la
recta real que nosotros no vamos a estudiar en este libro, pero mirando los
ejemplos, el resultado es creible:
Teorema 3. (de Bolzano y Weierstrass) Si f es una funcin
continua e I Dom f es un intervalo, entonces f (I) es
un intervalo. Si adems I es cerrado, entonces f (I) es un
intervalo cerrado.
Del teorema de B-W surge claramente que una funcin continua en un
intervalo cerrado alcanza su mximo y su mnimo. Vamos a explicitarlo:
Corolario 1. Si f es continua en un intervalo cerrado [a, b],
entonces f alcanza su mximo y su mnimo en [a, b] .
Demostracin. Por el teorema, f ([a, b]) = [c, d] para ciertos
c y d. Como todos los valores f (x) con x [a, b] estn
en [c, d] , resulta, para todo x, c f (x) d. Pero adems
[c, d] = f ([a, b]) implica la existencia de dos puntos x1 , x2
[a, b] tales que f (x1 ) = c y f (x2 ) = d. Entonces

c = f (x1 ) = min f |[a,b]

y
d = f (x2 ) = max f |[a,b]
La funcin continua del ejemplo 3 no alcanza su mnimo porque el intervalo se abre en 1. La del ejemplo 4 no alcanza ningn extremo a causa
de su discontinuidad. La del ejemplo 5, en (, +) suma los dos males.
1
1

Bernard Bolzano (1781-1848), matemtico, lgico, filsofo y telogo checo.

Karl Weierstrass (1815-1897), matemtico alemn.

114

Captulo 3 - El Teorema del Valor Medio

Estamos hablando de los fracasos del teorema, pero disfrutaremos de sus

xitos. Saber que una funcin alcanza sus valores mximo y mnimo es
importante. Para funciones continuas en intervalos cerrados funciona el
mtodo para pescar extremo
Ejemplos:
7. Le quitamos la discontinuidad al ejemplo 4, simplemente borrando la
2
funcin sg. Ahora f (x) = x4 4x
3, e investigamos por sus
+
extremos en el intervalo cerrado 3, 3 . Como ahora f es continua, sabemos, por el teorema de Bolzano - Weiertrass, que alcanza
su mximo y su mnimo en ese intervalo. Slo
puede alcanzarlos en los
extremos o en puntos crticos. f 0 (x) = 4x x2 2 , de modo que el


conjunto de los puntos crticos es P C = 2, 0, 2 . La evaluacin
de f en los candidatos da:




2 = 1, f
3 = 0.
f 3 = 0, f 2 = 1, f (0) = 3, f
y

0
-2

-1

2
x

-1

figura 3.10
No habiendo otros puntos crticos, se concluye que la funcin alcanza
su mximo valor, 3, solamente
en
el punto x = 0 y su mnimo, 1,

en los puntos x = 2 y x = 2, y en ningn otro.

8. Supongamos ahora que queremos investigar extremos absolutos de la
misma funcin f (x) = x4 4x2 + 3 en su dominio natural R. Como

3.2. Estudio de funciones

115

el dominio es un intervalo abierto, todo extremo absoluto debe ser extremo local. Slo que ahora, como el intervalo es abierto, no funciona
B - W asegurando la existencia de mximos y mnimos. Observamos
que limx f (x) = +. Esto asegura que no puede haber mximos
absolutos, ya que cualquier valor ser superado. La nica posibilidad
que queda de obtener un extremo es el mnimo. Y debera entonces,
por
en los puntos
ser necesariamente local, ser
elmnimo local
hallado
2 = 1 en 3, 3 (ejemplo 7).
2. Sabemos que f (x) f
Podr ser f (x) < 1 fuera de este intervalo? No. Porque f (x) > 0
all. Conclusin: f no tiene
mximo absoluto y alcanza su mnimo
absoluto, que vale 1, en 2.

Ejercicios:
Determinar mximos y mnimos, locales y globales relativos
a los intervalos sealados, de las siguientes funciones.
29. x2 2x + 5

en [1, 2]

30. 2x2 3x 1

en (, )

31. 3x2 x + 1

en

32. x2 + 2x + 2

en (, 0]

33. 2x2 + 3x 1

en [0, 2]

34. x3 + 2

en [1, 1]

35. x3 3x

en 3, 3

36. cos x
37. sen x + cos x

6, 1

en 0, 3
2

en (, )

116

Captulo 3 - El Teorema del Valor Medio

38. Probar, usando el teorema 3, y el ejercicio 140. del captulo

1 que, si f es continua en el intervalo I, entonces
y1 , y2 f (I) [y1 , y2 ] f (I) .
(En la seccin 3.4. podr encontrar este ejercicio resuelto, al igual
que el ejercicio 40..)

39. Probar que Rg(sen ) = Rg (cos) = [1, 1] .

40. Probar que si f es una funcin continua en un intervalo y
hay dos puntos x1 , x2 tales que f (x1 ) < 0 y f (x2 ) > 0,
entonces existe por lo menos un punto (x1 , x2 ) tal
que f () = 0. (este resultado se conoce habitualmente como
Teorema de Bolzano).
41. Si f es continua en un intervalo (a, b) y no se anula en ese
intervalo, entonces sg (f ) es constante.

Funciones crecientes y decrecientes

Retomando el ejemplo de la temperatura ambiente a lo largo de una
jornada, con el que comenzamos este captulo, se seal all la importancia
de identificar los intervalos de tiempo durante los cuales la temperatura
aumenta y aquellos en que la misma disminuye. Es clara la relacin entre
ese problema y la siguiente definicin.
Definicin 6. f es creciente en el intervalo I si a, b I y
a < b, implican f (a) f (b) . si bajo las mismas suposiciones
la conclusin es f (a) < f (b) , diremos que f es estrictamente
creciente.
En un lenguaje ms llano: la funcin f es creciente si cada vez que
aumenta la variable independiente la variable dependiente no disminuye. Si
el aumento de la v.i. significa tambin un aumento de la v.d. entonces
f es estrictamente creciente. Hacemos notar que slo definimos (porque
slo nos interesa) funcin creciente en un intervalo. Anlogamente, cuando
a < b f (a) f (b) , la funcin es decreciente. Aunque obvio, no es tan
fcil escribir la demostracin de lo siguiente (ver ejercicio 82.):
Cuando una funcin es creciente o decreciente en un intervalo

3.2. Estudio de funciones

117

abierto y continua en el cerrado, conserva la misma caracterstica

en el cerrado. Inclusive si la monotona2 es estricta.
Cuando digamos "recorrer el grfico de una funcin" supondremos que
lo estamos haciendo en el sentido natural de la variable independiente: de
menor a mayor, o sea de izquierda a derecha. Cuando se recorre el grfico
de una funcin creciente, no se desciende. Si la funcin es estrictamente
creciente, se asciende. Con una estrictamente decreciente, por el contrario,
se desciende.
En una funcin creciente, los incrementos considerados para el clculo de
la derivada son del mismo signo: x > 0 y 0 y tambin x < 0
y 0. Por consiguiente, el cociente incremental es siempre no negativo y
as se conservar su lmite, si es que existe.
Teorema 4. Si f es una funcin creciente en un intervalo,
en cada punto x de ese intervalo en el que sea derivable ser
f 0 (x) 0. Si en cambio f es decreciente, ser f 0 (x) 0.
La idea de relacionar el carcter creciente o decreciente de la funcin
con el signo de la derivada es muy interesante. Es generalmente ms fcil
mirar el signo de la derivada que verificar la definicin de creciente. Pero
para que el concepto sea realmente til, lo que se necesita es un teorema
recproco que, cuando veamos que la derivada es positiva en un intervalo,
nos permita asegurar que la funcin es creciente. Tal teorema vale pero la
demostracin es ms difcil. La dejaremos para otra seccin
Teorema 5. Sea f
(a, b). Entonces:

una funcin derivable en un intervalo

f 0 (x) 0 en (a, b)

f creciente en (a, b) .

f 0 (x) 0 en (a, b)

f decreciente en (a, b) .

f 0 (x) > 0 en (a, b)

(a, b) .

f 0 (x)

(a, b) .

< 0 en (a, b)

f estrictamente creciente en

f estrictamente decreciente en

Corolario. Si f 0 (x) = 0 para todo x (a, b) entonces f es

constante en ese intervalo.
2

Se dice que una funcin es montona en un intervalo cuando se quiere decir que es
creciente o decreciente, sin especificar cul de las dos.

118

Captulo 3 - El Teorema del Valor Medio

Pensando que la derivada en un punto es la pendiente de la recta tangente al grfico en ese punto, las relaciones expresadas en los teoremas 4
y 5 se compadecen perfectamente con la interpretacin geomtrica de crecimiento y decrecimiento. Todas estas herramientas son aplicables a mejorar
nuestros anlisis de mximos y mnimos.
Volviendo sobre la condicin f 0 (x0 ) = 0, que es necesaria para la existencia de un extremo local en un punto de derivabilidad x0 , no tenemos
mtodos para saber si en ese punto hay efectivamente un extremo y, en
caso de haberlo, si se trata de un mximo o de un mnimo. Si se tiene un
grfico de la funcin, estaremos convencidos de que en el punto de tangente
horizontal x0 hay un mnimo si observamos que el grfico desciende hasta
llegar a ese punto y luego comienza a ascender. Simtricamente, un mximo
est precedido por un ascenso y seguido de un descenso

grfico
ascendente
Punto de
mximo

grfico
descendente

grfico
ascendente

Punto de
mnimo

figura 3.11
Hay cuatro maneras en que la derivada f 0 puede anularse en el punto
x0 .

a. Pasando de f 0 (x) < 0 para x < x0 a f 0 (x) > 0 para

x > x0 .
b. Pasando de f 0 (x) > 0 para x < x0 a f 0 (x) < 0 para
x > x0 .
c. Tocando el 0 en x0 pero permaneciendo positiva a su
alrededor.
d. Tocando el 0 en x0 pero permaneciendo negativa a su
alrededor.

3.2. Estudio de funciones

119

Cada una de estas maneras conduce, segn se acaba de explicar, a cuatro

comportamientos distintos para la funcin f en x0 :
a. Mnimo local en x0 .
b. Mximo local en x0 .
c. Gr (f ) ascendente en un intervalo con tangente horizontal
en x0 .
d. Gr (f ) descendente en un intervalo con tangente horizontal
en x0 .
y

a.

b.

c.

d.

figura 3.12.a
Las cuatro maneras en que el grfico de f 0 puede tocar el eje x en un
punto crtico.

a.

b.

c.

d.

figura 3.12.b
Los correspondientes cuatro comportamientos de f en un punto de
anulacin de su derivada.
Ejemplos:
9. f (x) = x3 3x. Buscamos extremos locales y absolutos e intervalos
de crecimiento - decrecimiento.
f 0 (x) = 3x2 3 = 3 (x + 1) (x 1). El anlisis del signo de f 0 es
sencillo: f 0 < 0 en (1, 1) y f 0 > 0 en (, 1) y en (1, +) .
Por lo tanto, el cero de f 0 en 1 es del tipo b. mientras que el cero
en 1 es del tipo a. La funcin f decrece en el intervalo (1, 1) y

120

Captulo 3 - El Teorema del Valor Medio

crece en los intervalos (, 1) y (1, +) . En consecuencia, hay

un mximo local en 1 y un mnimo local en 1. No existen extremos
absolutos ya que
lim f (x) =

lim f (x) = +.

x+

El anlisis del signo de f 0 en los intervalos que separa sus ceros (esto
es (, 1) , (1, 1) y (1, +), podra hacerse usando el ejercicio
41.. En cada uno de los tres intervalos el signo es constante, por lo
tanto, chequeando el valor de f 0 en un punto cualquiera, se sabe su
signo en todo el intervalo. Por ejemplo, f 0 (0) = 3 f 0 < 0 en
(1, 1) .
10. y = x3 es el ejemplo clsico de punto crtico del tipo c. La derivada
3x2 se anula en el origen conservndose positiva a ambos lados. La
funcin es estrictamente creciente en (, +) . Por qu? Por
supuesto, y = x3 es el ejemplo de tipo d.
11. Hemos visto que limx0

sen x
x

f (x) =

= 1. entonces la funcin
sen x
x

si x 6= 0
si x = 0

es continua en R. Adems es derivable en R {0} con f 0 (x) =

x cos xsen x
. Si quisiramos averiguar la derivabilidad en el origen, dex2
beramos calcular el lmite del cociente incremental,
f (0 + h) f (0)
= lim
h0
h0
h
lim

sen h
h

sen h h
.
h0
h2

= lim

Hasta que aprendamos a calcular este lmite, miremos las grficas de

f y f 0 generadas por el ordenador.
y
1

x
3

fihura 3.13

3.2. Estudio de funciones

121

Las grficas parecen indicar que existe f 0 (0) = 0. Pero,

i. no sabemos resolver la ecuacin de los ceros de f 0 : x cos xsen x =
0, equivalente a tan x = x.
ii. S sabemos encontrar los ceros de f : sen x = 0 x = k con
k Z {0}, y sabemos que entre dos ceros el signo de f se
mantiene constante (ejercicio 41.)
iii. Si llamamos ...z2 , z1 , z0 = 0, z1 , z2 , ... a los ceros de f 0 , en esos
puntos f tiene extremos locales. Entre dos de ellos consecutivos
tendremos un intervalo de crecimiento o de decrecimiento de f
(nuevamente por el ejercicio 41.)
iv. Sabemos probar que f es creciente en (, 0) y decreciente en
(0, ), para concluir que en 0 hay un mximo local?
v. Sabemos probar que senx x < 1 para x 6= 0, y por lo tanto f
tiene un mximo absoluto en 0?
Muchas veces es mejor tener preguntas que respuestas.
Ejercicios:
Para cada una de las siguientes funciones determinar los intervalos donde es creciente y aquellos donde es decreciente
42. f (x) = x3 + 1

43. f (x) = x2 x + 5

44. f (x) = x3 + x 2

45. f (x) = x3 + 2x + 1

46. f (x) = 2x3 + 5

47. f (x) = 5x2 + 1

48. f (x) = 4x3 2x

49. f (x) = 5x3 + 6x

Usar el comportamiento de la funcin en intervalos contiguos

para determinar si los puntos crticos corresponden a mximos o mnimos locales o ni una cosa ni la otra.
50. y = x3 2x2 + 3x +

51. y = 2x4 4x2 + 5

52. y = sen x

53. y = x3 3x

122

Captulo 3 - El Teorema del Valor Medio

Para cada una de las funciones siguientes:
a) Hallar el mximo y el mnimo en el intervalo dado.
b) Hallar intervalos de crecimiento y decrecimiento.

54. (x 1)1/3 + 12 (x + 1)2/3

[2, 7]

55. x2/5 + 1

[1, 1]

56. Se va a fabricar una caja sin tapa con una base cuadrada y
una superficie constante C. Determinar los lados de la caja
si el volumen ha de ser mximo.
57. Un recipiente en forma de cilindro sin tapa superior ha de
tener un rea de superficie fija C. Hallar el radio de su base
y su altura si ha de tener un volumen mximo.
58. Resolver los dos problemas anteriores cuando la caja y el recipiente estn cerrados por arriba. (El rea de un crculo de
radio x es x2 y su longitud es de 2x. El volumen de un
cilindro de altura y y cuya base tiene radio x es x2 y.)
59. Demostrar que entre todos los tringulos de rea dada, el tringulo equiltero es el de menor permetro.

Comparacin de funciones
Si f (x) < g (x) para todo x en un intervalo I, diremos que f < g
en I. Anlogamente se definen el resto de las desigualdades: >, , . Para
establecer desigualdades entre funciones en un intervalo se puede usar los
conceptos de mximo y mnimo relativos a ese intervalo. Por ejemplo, para
que sea f < g en I = (a, b), deber ser g f > 0. Y esto se asegura
si min (g f )|I > 0. (O si min (g f )|I = 0 pero es estricto). Hay tres
maneras sencillas de que una afirmacin de este tipo se pueda establecer:
g f tiene un mnimo positivo en un punto interior de I.
(g f ) (a) 0 y g f estrictamente creciente en [a, b) .
(g f ) (b) 0 y g f estrictamente decreciente en (a, b]
Por ejemplo, para que se d la segunda situacin, basta que f y g

3.2. Estudio de funciones

123

sean continuas en [a, b) y derivables en (a, b). Que f (a) g (a) y que
f 0 < g 0 en (a, b) (ver ejercicio 82.). Intuitivamente, si f (a) g (a) en el
extremo izquierdo de un intervalo y f no crece ms que g, es de esperar
que la desigualdad se mantendr en todo el intervalo.

figura 3.14
Ejemplos.
12. Tomar f (x) = sen x y g (x) = x en [0, +) . Como sen 0 = 0 y
sen 0 x = cos x 1 = g 0 (x), se deduce que sen x x para x 0.
Como una consecuencia, resulta senx x 1 para x > 0. Para x <
0 la desigualdad permanece por tratarse de una funcin par (luego
simtrica). Queda con esto zanjada la pregunta v. del ejemplo 11.:
sen x
tiene un mximo absoluto en x = 0.
x
d sen x
x
13. Consideremos la funcin dx
= x cos xsen
, por cuyo signo en el
x
x2
intervalo (0, ) nos interrogbamos en el ejemplo 11 (iv). Ya que el
denominador es positivo, basta considerar f (x) = x cos x sen x, y
compararla contra g (x) = 0. f (0) = g (0) = 0 y f 0 (x) = cos x
x sen x cos x = x sen x < 0 = g 0 (x) en (0, ) . Se deduce que
f < 0 en (0, ) , y de all que senx x es decreciente en ese intervalo.

Ejercicios.
60. Probar que tan x > x si 0 < x < /2.
61. Probar que
t+

1
2
t

para t > 0

124

Captulo 3 - El Teorema del Valor Medio

Convexidad - concavidad
Un ingrediente ms ser til para hacer el grfico aproximado de una
funcin. Suponga que usted viene transitando a lo largo del grfico de una
funcin, en el sentido natural: segn crece la x. Salvo que se encuentre
en un tramo recto, usted estar en una curva que gira hacia la izquierda o
hacia la derecha. Hacia el lado que gira, la carretera va envolviendo una
concavidad y hacia el otro va dejando una convexidad (si estas palabras no
son de su lenguaje corriente, hay un truco para recordarlas: concavidad =
con cavidad).
Giro hacia la
izquierda.
Concavidad
hacia arriba

Sentido de
avance
Punto de
inflexin

Giro hacia la
derecha.
Concavidad
hacia abajo.

figura 3.15
Cuando la curva gira hacia la izquierda, las rectas tangentes en los sucesivos puntos tambin van girando hacia la izquierda y por lo tanto sus pendientes van creciendo. De igual modo, al girar hacia la derecha las pendientes de las sucesivas tangentes disminuyen.
Por lo tanto, si la funcin f de quien la curva es el grfico es derivable
en todo el intervalo, tendremos la siguiente asociacin:
Concavidad hacia arriba = f 0 creciente.
Concavidad hacia abajo = f 0 decreciente.
Cuando existe derivada segunda, el signo de sta es un dato para determinar el carcter creciente o decreciente de la derivada primera. En este
caso,
f 00 0 en (a, b) f cncava hacia arriba en (a, b) .

3.2. Estudio de funciones

125

f 00 0 en (a, b) f cncava hacia abajo en (a, b) .

Si f es cncava hacia arriba y hacia abajo en dos intervalos contiguos
y la derivada segunda existe y es continua en la unin de ambos, ella pasa
de positiva a negativa y debe anularse en el punto fronterizo. En este punto
se dice que la funcin tiene un punto de inflexin. Cuando existe derivada
segunda, sta se anula en los puntos de inflexin. No es cierto, sin embargo,
que siempre que se anula la derivada segunda hay un punto de inflexin
(Por ejemplo x4 )

Concavidad hacia arriba:

x1 < x2 implica pendiente
de la tangente en x1 menor
que pendiente de la tangente
en x2
x1

x2

figura 3.16.a

Concavidad hacia abajo:

x1 < x2 implica pendiente
de la tangente en x1 mayor
que pendiente de la tangente
en x2

x1

x2
figura 3.16.b

Ejemplos:
14. Veamos nuevamente la funcin del ejemplo 8. f (x) = x4 4x2 + 3.
Ya sabemos que f 0 (x) = 4x3 8x. Ahora f 00 (x) = 12x2 8 =

126

Captulo 3 - El Teorema del Valor Medio

q
q

2
12 x 3 x + 23 . Usando el teorema de Bolzano y testeando
los valores de f 00 en un punto de cada intervalo,
f 00 (1) = f 00 (1) = 4 >q0 f 00(0)
q = 8 < 0 = f cncava

2
hacia arriba en , 23 y en
3 , + , y f cncava hacia
q q
abajo en 23 , 23 . En los dos puntos de anulacin de la derivada
segunda la funcin cambia el sentido de su concavidad y por lo tanto
se trata de puntos de inflexin
dy
15. Volvamos al ejemplo 16. de la seccin 3.1. y = tan x, dx
=
2 sen x
=
0
para
x
=
k
con
k
entero.
Es
fcil
ver
que
cos3 x

2
1
,dy
cos2 x dx2

d2 y
d2 y

y
,
k
.
>
0
en
k,
k
+
<
0
en
k

dx2
2
dx2
2
que,
para
cada k Z, se distinguen dos intervalos contiguos
De modo
k 2 , k y k, k + 2 donde f pasa de cncava hacia abajo
a cncava hacia arriba. En los puntos de frontera k hay un punto
de inflexin. En cambio, en la separacin entre dos de estas duplas
de intervalo, que son los puntos de la forma k + 2 la tangente es
discontinua con asntota vertical y no se considera que haya punto de
inflexin.

Ejercicios
Para las siguientes funciones, estudiar intervalos de concavidad - convexidad, puntos de inflexin y mximos y mnimos
locales. Trazar grficos aproximados.
62.-

3x2 3x 6

63.-

x2 + 2x 4

64.-

2x3 3x + 5

65.-

2x3 9x2 + 12x

66.-

x4 x2 + 1

67.-

x5 + x

68. Determinar todos los puntos de inflexin de sen x y de cos x.

3.3. El teorema de unicidad

127

69. Para la funcin

f (x) = x4 8x2 + 16
a. Demostrar que f tiene exactamente dos puntos de inflexin.
b. Trazar la grfica de f . Deteminar explcitamente los puntos crticos. Determinar las regiones de convexidadconcavidad.
Considerando los siguientes aspectos:
(i) Puntos crticos. Mximos y mnimos locales.
(ii) Intervalos de crecimiento - decrecimiento.
(iii) Puntos de inflexin.
(iv) Intervalos de convexidad - concavidad.
(v) Asntotas.
(vi) Intersecciones con ejes y asntotas.
Trazar grficas de las curvas que se indican a continuacin.
70. y =

x2 +2
x3

73. y = x +

3.3

3
x

71. y =

x+1
x2 +1

72. y =

2x3
3x+1

74. y =

2
x
x+1

75. y =

x2 1
x2 4

76. y =

x+1
x2 +5

El teorema de unicidad

Volvemos sobre el corolario del teorema 5. Es claro que si f 0 = g en

un intervalo, no es f la nica funcin con esa propiedad. Basta tomar
h (x) = f (x)+c con cualquier constante c para que h0 (x) = f 0 (x) = g (x) .
Pero del corolario del teorema 5 se infiere que esa es la nica manera de tener
dos funciones con la misma derivada: una y otra difieren en una constante.
Dada una funcin g definida en un intervalo, no sabemos si existe alguna
f tal que f 0 = g pero si existe alguna existen infinitas, difiriendo dos
cualesquiera de ellas en una constante. Esto es:

128

Captulo 3 - El Teorema del Valor Medio

Si y = F (x) y y = G (x) son dos soluciones de la ecuacin

diferencial
dy
= f (x) ,
a < x < b,
dx
entonces existe una constante C tal que
G (x) = F (x) + C,

a < x < b.

En efecto, (G F )0 (x) = G0 (x) F 0 (x) = f (x) f (x) = 0

para todo x (a, b). Luego, por el corolario del teorema 5,
G F es constante en el intervalo. Por lo tanto existe una
constante C tal que G F = C. Esto es, G = F + C.
Ejemplos.

1. Una funcin constante queda determinada sabiendo su valor en un

punto. Por eso en el PVI1 de la seccin 2.6., del cual sabemos encontrar la solucin, podemos aseverar que sta es nica.
0
s (t) = v0 + at,
0<t<
PVI1
s (0) = x0
s (t) continua en [0, +) .
Si s1 y s2 son dos soluciones, s1 s2 es constante, digamos
s1 s2 = c. Pero por la continuidad en 0, limt0+ [s1 (t) s2 (t)] =
s1 (0) s2 (0) = x0 x0 = 0. Por otra parte, limt0+ [s1 (t) s2 (t)] =
limt0+ c = c. Luego c = 0 y s1 = s2 .
2. Consideramos ahora el PVI2 de la seccin 2.6 le asociamos el problema
homogneo PH:
00
00
u + 2 u = 0
u + 2 u = 0
0
PH u0 (0) = 0
u (0) = A
PVI2

u (0) = B
u (0) = 0

1.- Si u, v son dos soluciones de PVI2 su diferencia es solucin de

PH. (verifquelo)
2.- Pero PH slo admite la solucin trivial u = 0. En efecto, si multiplicamos la ED por 2u0 , obtenemos
i0
h
2
2u0 u00 + 2 2 u0 u = u0 + 2 u2 = 0.
Luego, (u0 )2 + 2 u2 es constante. Para obtener su valor basta calcularla en t = 0, y usando las CI resulta (u0 )2 + 2 u2 = 0 para todo

3.4. Las demostraciones

129

valor de t. Como ambos trminos son no negativos, se deduce que

deben ser nulos los dos. En particular, u2 = 0 y, por consiguiente,
u = 0.
3.-Se concluye que PVI2 tiene solucin nica. (aquella que se encontr
en el ejercicio 106. del captulo 2)

Ejercicios.
77. Mostrar que la condicin f 0 = 0 en un conjunto S no basta
para afirmar que f es constante si S no es un intervalo.
78. Suponer que f es una funcin diferenciable de t.
a. Si f 0 (t) = 3 para todo t R, Qu pueden decir acerca
de f (t) ?
b. Y si f 0 (t) = 3 y f (0) = 1?
79. Supongamos que existen dos soluciones, f y g de la ecuacin
diferencial
dy
= y,
x R,
dx
y que f (x) 6= 0 para todo x. Demostrar que existe una
constante C tal que g = Cf.
Hint. Diferenciar el cociente g/f .
80. Una partcula se mueve sobre el eje x hacia la derecha a velocidad constante de 7m/seg. Si al instante t = 9 la partcula
est a una distancia de 2m a la derecha del origen, hallar su
posicin en funcin de t.

3.4

Las demostraciones

Teorema de Bolzano
La primera parte del teorema 3 implica que una funcin continua toma
todos los valores intermedios. Lo explicitaremos como corolario, para facilitar su referencia. Comnmente este resultado se menciona como teorema
de Bolzano.

130

Captulo 3 - El Teorema del Valor Medio

Corolario 2 (del teorema 3). Si f es continua en el intervalo

[a, b], y c (f (a) , f (b)) , entonces existe (a, b) tal que
f () = c.
Demostracin. Por el teorema, f ([a, b]) es un intervalo.
Adems, f (a) , f (b) f ([a, b]). Sigue del ejercicio 140. en el
captulo 1 que [f (a) , f (b)] f ([a, b]). Luego c f ([a, b])
y, por lo tanto, existe [a, b] tal que f () = c. Adems,
a 6= 6= b porque f () = c y f (a) 6= c 6= f (b) . Entonces
(a, b)

f (b )

c
f (a )
a

3 b

figura 3.17
Ejemplos.
1. Una lectura posible de este corolario es la siguiente: si a, b Dom f
con f continua, entonces [f (a) , f (b)] Rg f.
2. Si f es continua en [a, c) y limxc f (x) = + entonces [f (a) , +)
Rg f. Para probar esta afirmacin, bastar ver que, para todo M >
f (a) , [f (a) , M ] Rg f . Pero si f (x) + es posible encontrar
b (a, c) tal que f (b) > M (ver ejercicio 83.). Ahora, usando el
ejemplo 1,
[f (a) , M ] [f (a) , f (b)] Rg f.
3. Existencia de races nsimas. f (x) = xn es continua en [0, +) y
adems, f (0) = 0, limx+ f (x) = +. Sigue del ejemplo 2. que
[0, +) Rg f. Esto es, que para cada nmero no negativo y, existe
x 0 tal que xn = y. Si n es impar es fcil ver que tambin existen
races n-simas de nmeros negativos.
4. Si f es continua en [a, b] y, digamos, f (a) < 0 mientras que f (b) > 0,
el teorema de Bolzano puede ser usado
a+b para aproximar una raz de la
ecuacin f (x) = 0. Se evala f 2
y:

3.4. Las demostraciones

a+b
2 ,b
a+b
a+b
f 2 > 0 = f tiene un cero en a, 2
En ambos casos hemos encerrado una raz en un intervalo de longitud
mitad que el inicial. Iterando n veces el procedimiento encerraremos
una raz en un intervalo de longitud ba
2n .

a+b

131

< 0 = f tiene un cero en

El teorema del valor medio

Si se considera una curva descripta paramtricamente (ver vector tangente en seccin 2.5):

x = f (t)
, a t b,
y = g (t)
los extremos de la misma tienen coordenadas (f (a) , g (a)) , (f (b) , g (b)) .
Luego, la pendiente de la cuerda que los une es
m1 =

g (b) g (a)
.
f (b) f (a)

Por su parte, el vector tangente en un punto interior de la curva, (f (t) , g (t)) ,

es (f 0 (t) , g 0 (t)). En consecuencia, la pendiente de la recta tangente en ese
punto ser
g 0 (t)
m2 = 0 .
f (t)
y

g (b ) g (a )
g' ( )

x
f ' ( )

f (b ) f (a )

figura 3.18
Decir ahora que la cuerda es paralela a la tangente en un punto intermedio
de la curva es postular la existencia de un nmero (a, b) para el cual
se verifica la igualdad
g 0 ( )
g (b) g (a)
= 0
.
(4)
f (b) f (a)
f ( )

132

Captulo 3 - El Teorema del Valor Medio

La prueba de este resultado es el objeto de esta seccin.

Ya que de paralelas entre cuerdas y tangentes se trata, comenzaremos
con el resultado bsico en esa direccin. En realidad, toda la dificultad
tcnica est en demostrar que hay una tangente paralela a la cuerda en
alguna situacin simple. Luego los trucos son sencillos.
Teorema 7 (Rolle3 )
Sea f una funcin continua en [a, b] y derivable en (a, b) .
Supongamos adems que la cuerda entre los extremos del grfico
de f es horizontal, esto es, que f (a) = f (b) . Entonces existe
un punto interior (a, b) tal que f 0 () = 0 (O sea que la
tangente al grfico es horizontal)

tangente
Gr(f)

f (a ) = f (b )

cuerda

figura 3.19
Demostracin. Segn el corolario 1 del teorema 3 (Bolzano Weierstrass), la funcin f alcanza su mximo y su mnimo en el
intervalo cerrado [a, b] . Si alguno de los dos es alcanzado en un
punto interior entonces la derivada en ese punto debe anularse
(teoremas 1 y 2). Caso contrario, el mximo y el mnimo son
alcanzados en los extremos del intervalo. Pero como f toma
el mismo valor en ambos extremos, se deduce que el mximo y
el mnimo son iguales. Esto slo es posible si f es constante.
Pero en tal caso f 0 (x) = 0 para todo x (a, b)
La frmula (4) es el centro del teorema del valor medio. Pero, para tener
sentido, requiere que f (a) 6= f (b) . Con un pasaje de trminos se evita el
problema.
3

Michel Rolle (1652-1716), matemtico francs

3.4. Las demostraciones

133

Teorema 8. (del valor medio de Cauchy4 )

Sean f y g funciones continuas en [a, b] y derivables en
(a, b) . Entonces existe un punto (a, b) tal que
[g (b) g (a)] f 0 () = [f (b) f (a)] g 0 ()

(5)

Demostracin. Bastar considerar la funcin

(x) = [g (b) g (a)] f (x) [f (b) f (a)] g (x) .
y verificar que cumple con las hiptesis del teorema de Rolle:
(a) = g (b) f (a) g (a) f (a) f (b) g (a) + f (a) g (a) =
= f (a) g (b) f (b) g (a) .

(b) = g (b) f (b) g (a) f (b) f (b) g (b) + f (a) g (b) =

= f (a) g (b) f (b) g (a) .

Luego, (a) = (b) . Obviamente es continua en [a, b]

y derivable en (a, b). Por lo tanto, para algn punto
(a, b) , debe ser 0 () = 0. Pero 0 () = [g (b) g (a)] f 0 ()
[f (b) f (a)] g 0 () = 0 (5)
Para obtener (4) a partir de (5) es necesario que no se anulen los denominadores. Para ello se debe agregar una hiptesis:

Corolario 1. Con las hiptesis del teorema, si adems f 0 no

se anula en (a, b), entonces existe un punto (a, b) para el
cual se verifica (4).
Demostracin. Slo se debe verificar que tampoco se anula
f (b) f (a) . Pero si esto ocurriera, por el teorema de Rolle
habra un punto donde se anula la derivada, cosa que estamos
suponiendo que no ocurre.

Tomando f (x) = x, la curva se convierte en (x, g (x)) , que es el grfico

de la funcin g. En ese caso, el teorema toma una forma ms sencilla y
4

Augustin Louis Cauchy (1789-1857), matemtico francs.

134

Captulo 3 - El Teorema del Valor Medio

tambin la interpretacin geomtrca.

f (b )

f (a )
a

figura 3.20

Corolario 2. (Lagrange5 ) Si g es continua en [a, b] y derivable

en (a, b), entonces existe un punto (a, b) tal que
g (b) g (a)
= g 0 () .
ba
El teorema del valor medio de Lagrange es la herramienta que necesitamos para completar la demostracin del teorema 4.

Demostracin del teorema 4. Bajo la hiptesis de que f 0

0 en (a, b) debemos demostrar que f es creciente en ese
intervalo. Sean a < x1 < x2 < b. Debemos probar que f (x1 )
f (x2 ) . Como f es derivable en (a, b) , verifica las hiptesis del
teorema de Lagrange en [x1 , x2 ] . Luego,
f (x2 ) f (x1 )
= f 0 () 0
x2 x1
para algn (x1 , x2 ) . Como x2 x1 > 0, debe ser f (x2 )
f (x1 ) 0. Si f 0 fuera estrictamente positiva en el intervalo,
sera f 0 () > 0. Entonces la conclusin sera f (x2 )f (x1 ) > 0,
de donde sigue que f es estrictamente creciente.
La prueba de los casos f 0 0, f 0 < 0 es totalmente anloga
5

Joseph-Louis Lagrange (1736-1813), matemtico francs.

3.4. Las demostraciones

135

Funciones convexas
Retomamos el tema concavidad - convexidad de la seccin 3.2. Por
razones que no viene al caso profundizar, en el lenguaje matemtico se llama
convexas a las funciones cncavas hacia arriba. Este concepto no requiere
derivabilidad, por ejemplo la funcin |x| es convexa. Pero a nosotros slo
nos interesa estudiar la convexidad en relacin con las propiedades de la
derivada. Por eso adoptaremos una definicin en este contexto.
Recordamos de la seccin 2.3. (frmula (3)) que la recta tangente al
grfico de la funcin f en el punto x0 es el grfico del polinomio de grado
1
0
(6)
x0 (x) = f (x0 ) + f (x0 ) (x x0 ) .
Naturalmente,

x0

(x0 ) = f (x0 ) .

Definicin 7. La funcin f , derivable en (a, b) , es convexa (estrictamente convexa) en ese intervalo si elegido cualquier
x0 (a, b), x0 (x) f (x) para todo x (a, b) (respectivamente, x0 (x) < f (x) para todo x (a, b) , x 6= x0 ).

Gr f

x0

Gr l x0

figura 3.21
Teorema 9. Una funcin f derivable en un intervalo I es
convexa (estrictamente convexa) si y slo si f 0 es creciente
(respectivamente estrictamente creciente).
Demostracin. Supongamos primero que f es convexa. Dados dos puntos x1 < x2 en I, debemos probar que f 0 (x1 )
f 0 (x2 ) . Como f (x2 ) x1 (x2 ) ,
f (x2 ) f (x1 ) + f 0 (x1 ) (x2 x1 ) .
Del mismo modo, f (x1 )

x2

(7)

(x1 ) implica que

f (x1 ) f (x2 ) + f 0 (x2 ) (x1 x2 ) .

(8)

136

Captulo 3 - El Teorema del Valor Medio

Reemplazando (8) en (7), obtenemos

f (x2 ) f (x2 ) + f 0 (x2 ) (x1 x2 ) + f 0 (x1 ) (x2 x1 ) ,
de donde

0
f (x2 ) f 0 (x1 ) (x2 x1 ) 0.

Esta es la condicin para que f 0 sea creciente. Cuando la convexidad es estricta, las desigualdades se convierten en estrictas
y se concluye crecimiento estricto de f 0 .
Recprocamente, supuesto el crecimiento (crecimiento estricto)
de f 0 , deberemos deducir la convexidad (convexidad estricta)
de f . Para ello, dado un punto x0 I, se debe probar que
f x0 en I. La funcin g (x) = f (x) x0 (x) = f (x)
f (x0 ) f 0 (x0 ) (x x0 ) tiene derivada g 0 (x) = f 0 (x) f 0 (x0 ).
Claramente, entonces,

g 0 (x0 ) = g (x0 ) = 0
g 0 (x)

0 si x > x0
, por el crecimiento de f 0 .
0 si x < x0

Estos dos puntos implican que g tiene un mnimo relativo a I

de valor 0 en x0 y por lo tanto es no negativa en el intervalo.
Por su parte, si f 0 es estrictamente creciente, las desigualdades
son estrictas y f (x) > x0 (x) para x 6= x0
Si hay derivada segunda en todo el intervalo, el signo de la derivada
segunda y el crecimiento o crecimiento estricto de la derivada primera se
relacionan como lo indican los teoremas 4 y 5. Podemos resumir estas
relaciones en el siguiente enunciado.

Teorema 10. Sea f una funcin con derivada segunda en un

intervalo I. Entonces f es convexa en I si y slo si f 00 0
en I. Adems, si f 00 > 0 en I, entonces f es estrictamente
convexa.

3.5. Complementos

3.5

137

Complementos

Notas
1. En la seccin 2.2. se present el concepto de lmite y se lo caracteriz
con siete propiedades bsicas. En el ejemplo 5 fueron presentadas
un par de funciones que no tenan lmite (en realidad ahora diramos
que se trata de lmites infinitos) y el ejemplo 6 mostr a la funcin
sen x1 , que no tiene en el origen lmites ni infinitos ni laterales. Nada
parecido puede pasar con una funcin montona en un intervalo. En
este caso siempre existen lmites laterales y las discontinuidades slo
pueden ser de "salto finito". Una prueba de esta afirmacin requiere
una definicin formal de lmite y alguna descripcin de propiedades
de los nmeros reales que en este nivel no estamos manejando. Pero
se trata de un hecho intuitivamente evidente y lo aceptaremos como
la octava propiedad del lmite:
8. Si f es una funcin montona en un intervalo (a, b), entonces
existen los lmites laterales
lim f (x)

xa+

lim f (x) .

xb

2. Supongamos que una funcin f es continua en un intervalo (a, b) y

derivable salvo, quizs, en un punto x (a, b). Si en ese punto existen los lmites laterales de la derivada, entonces existen las derivadas
laterales y coinciden con esos valores. Basta verlo de un lado. Por el
teorema de Lagrenge, para cada h > 0 suficientemente chico, existe
= (h) , x < < x + h tal que
f (x + h) f (x)
= f 0 () .
h
Tomando lmite para h x+ , como (h) x+ , resulta D+ f (x) =
limx+ f 0 () .
3. Sabemos que las funciones derivables son continuas (teorema 2 en captulo 2). |x| es ejemplo de funcin continua no derivable. Su derivada,
sg (x), tiene una discontinuidad de salto en 0, donde la derivada no
existe. Pero si la derivada de una funcin f existe en todo un intervalo abierto que incluye a un punto x, f 0 no puede tener en x una
discontinuidad de salto. En efecto, si existen los lmites laterales de la
derivada, por la nota 2, las derivadas laterales coincidiran con ellos.
Pero si hay derivada las derivadas laterales deben coincidir entre s.
Luego no hay salto.

138

Captulo 3 - El Teorema del Valor Medio

Ejercicios
*81. Demostrar:
a. Si la funcin f es creciente en (a, b) entonces, para todo c (a, b),
limxa+ f (x) f (c) limxb f (x). Si f es decreciente las
desigualdades se invierten y si f es estrictamente montona las
desigualdades son estrictas.
b. Si f es creciente en (a, b) y c (a, b), entonces limxc f (x)
f (c) limxc+ f (x) . Para f decreciente valen desigualdades
inversas.
c. Si f es creciente en (a, b) y c (a, b), entonces, para a < x1 <
c < x2 < b,
f (x1 ) lim f (x) f (c) lim f (x) f (x2 ) .
xc

xc+

Y si f es estrictamente creciente,
f (x1 ) < lim f (x) f (c) lim f (x) < f (x2 ) .
xc

xc+

Obvias modificaciones para el caso decreciete.

*82. Si f es creciente en (a, b) y continua en [a, b] , entonces f es
creciente en [a, b]. Esto es, x (a, b) , f (a) f (x) f (b). Si
el crecimiento de f en (a, b) es estricto, el crecimiento en [a, b]
tambin resulta estricto: x (a, b) , f (a) < f (x) < f (b) .
*83. Si limxc f (x) = , dado M > 0, en cualquier entorno reducido de
c es posible encontrar un x tal que |f (x)| > M .
Hint. Usar ejercicio 96. del captulo 2.

84. Si f es una funcin convexa y en algn intervalo es creciente o en

algn punto es f 0 (x) > 0, entonces limx+ f (x) = +. Estudiar
propiedades similares en y para funciones cncavas.
85. Si P (x) = an xn + + a1 x + a0 es un polinomio,
lim P (x) = sg an

x+

lim P (x) = (1)n sg an