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. La
Matemtica trata de evitar las discusiones filosficas acerca del infinito y encuentra 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
5 del captulo 2., podemos adoptar la siguiente definicin:
Definicin 1:
lim f (x) := lim f

y0

1
,
y

(1)

Captulo 3. El teorema del valor medio

con las consiguientes versiones laterales:

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

1
lim f (x) := lim f
.

x
y
y0

(2)

Ejemplos:
1. limx
2. limx

1
xn

= limy0 y n = 0

1
n y = 0

n x = limy0

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)
y +4
lim

Habindose reducido la definicin de lmites en el infinito a lmites en cero con el uso de otra
variable, sern de aplicacin en este nuevo punto lmite (el cero) las propiedades estudiadas en
el captulo 2, con excepcin, por ahora, de la segunda parte de la propiedad 1, y aclarando que
en la propiedad 8, los entornos de son los complementos de los intervalos cerrados.
Ejemplos:
5. Para calcular el lmite en el infinito de una funcin racional,
P (x)
,
x Q (x)
lim

caben tres posibilidades:

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

limx x12 x23 + x34

x4 x12 x23 + x34
0
x2 2x + 3
=

= = 0.
= lim 4
lim
2
1
2
1
4
x 3x + 2x 1
x x 3 + 3 4
3
limx 3 + x3 x4
x
x

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

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

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.

limx 3 x2
x 3 x2
3
3x 2
=

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

6.

1
sin x
= lim
sin x = 0.
lim
x x
x x
Hemos usado la propiedad 8. de lmites: seno est acotada y limx
70

1
x

= 0 (ejemplo 1).

3.1. Asntotas

Ejercicio 1: 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 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. En los ejemplos 1 y 2, el eje cooredenado horizontal es una asntota. en el ejemplo 3., la

recta y = 1 es asntota de la curva y = 1 + x1 , y en el ejemplo 4., la recta y = 3 es
asntota de la curva y = 3x2
x+4 . Veamos los grficos generados por el ordenador de estos
dos ltimos casos:
y

5
15

2.5

10

5
0
-5

-2.5

2.5

5
0

x
-15

-10

-5

10
x

-2.5

-5

-10
-5

figura 3.1.a.

y =1+

1
x

figura 3.1.b. y =
71

3x2
x+4

Captulo 3. El teorema del valor medio

2

P (x)
3
8. La funcin racional f (x) = x2x4
= Q(x)
con gr (Q) = gr (P ) + 1. Si 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
C (x) es una asntota oblicua.

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

2x 4
1
2 x +1

Entonces,

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

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

3.75

2.5

1.25

0
-2.5

2.5

5
x

-1.25

figura 3.2.
P (x)
, hay asntotas en el infinito cuando
Resumiendo, para funciones racionales, f (x) = Q(x)
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. 5, cap.2).
x

72

3.1. Asntotas

Enronces,
lim

Luego

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

f (x)
= m.
(3)
x x
La exixtencia 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] .
lim

Si esto ocurre, entonces limx [f (x) (mx + b)] = 0 y la recta y = mx+b es una asntota.
Ejemplos:
9. Vimos (ejemplo 6) que

sin x
x

0 para x . Si hacemos
f (x) =

sin 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. Buscamos asntotas de y = f (x) = x. El primer paso es calcular limx xx =

limx 1x = 0 = m. De haber asntota, ser horizontal. Pero limx x no existe.

En consecuencia no hay asntota.
11. (a) La funcin sg (x) = x 2 tiene dos asntotas diferentes, y = 1 en + y y = 1
x
en . Pero es discontinua en 0.
(b) f (x) =

x
,
x2 +1

tambin tiene asntotas horizontales distintas en . En efecto,

x
1
lim
= lim sg (x) q
2
x
x +1
1+

73

1
x2

= 1.

Captulo 3. El teorema del valor medio

2

(c) f (x) = xx21

, tiene asntotas oblicuas diferentes en . Mostramos grficos gen+1
erados por el ordenador de los dos ltimos ejemplos.

10

7.5
0.5

5
0
-10

-5

10
x
2.5

-0.5
0
-10

-5

10
x

-1

fig. 3.4.a.

y=

x
x2 +1

fig. 3.4.b.

y=

2
x 1
x2 +1

Ejercicio 2: Encontrar, cuando las haya, asntotas en el infinito de las siguientes

curvas.
1. y =

2x3 x
x4 1

2. y =

cos x
x

3. y =

x2 +1
x2 1

4. y =

5x4 x3 +3x+2
x3 1

5. y =

x2 +1
x+5

6. y =

1
10 x

7. y =

2x4 1
4x4 +x2

8. y =

2x
x2 +1

9. y =

3x2
x2 +1

cos x
x

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

74

lim

xa

1
= 0.
f (x)

3.1. Asntotas

Como

1
1
y

= y,
1
= .
xa f (x)

(4)

lim f (x) = 0 lim

xa

Y tambin
lim f (x) = si y slo si existe una funcin u = (x) tal que

xa

lim (x) = 0 y f (x) =

xa

1
.
(x)

(5)

Tal vez sea ms til decirlo de esta manera:

y para x a si y slo si y =

1
para cierta u tal que u 0 para x a.
u

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,
lim f (x) = + lim f (x) = f (x) > 0 en un entorno reducido de a.

xa

xa

Anloga definicin para f (x) .

Ejemplos:
12. Los siguientes lmites se obtienen inmediatamente a partir de la definicin.
1
x

1. lim x1 =

2.

3. lim x12 = +

4. lim x12 =

x0

x0

5.
7.

lim x =

lim

1
x1

x0

6.

x1+

lim

x0

= +

8.

lim x3 =

lim

tan x = +

x( 2 )

13. En la seccin 2.3. se mencion como no derivable a la funcin 3 x, con tangente vertical
en el origen. Si calculamos el lmite del cociente incremental en ese punto,

h
1
3
= lim
lim
= +, pues lim h2 = 0.
3
2
h0 h
h0
h0
h
Si admitisemos derivadas infinitas, stas coincidiran con los puntos de tangente vertical.
p
Para la funcin
|x|, en cambio,
p
|h|
lim
= y
h0 h
75

p
|h|
lim
= +.
h0+ h

Captulo 3. El teorema del valor medio

Habra derivadas laterales infinitas de distinto signo. No hay una recta tangente vertical
sino semirectas tangentes verticales.
y

1
y

0.5

0.5

0
-1

-0.5

0.5

-1

-0.5

0.5

-0.5

-0.5

-1

fig. 3.5.a.

y=

-1

3
x

fig. 3.5.b.

y=

p
|x|

El siguiente paso es averiguar cmo aceptan los nuevos lmites infinitos las propiedades
del lmite .En este punto conviene antes aclarar que los
reducidos
de infinito
son

entornos

conjuntos de la 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 hasta 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.
Repasaremos las propiedades del lmite, admitiendo ahora valores infinitos para ambas variables.
Productos y cocientes.
Tratamos con dos funciones, y = f (x) y z = g (x) . Nos interesa el lmite de su producto
y z o su cociente yz , para x a. a puede ser finito o infinito y el lmite puede ser completo
o lateral.
1. Si y , z entonces y z . En efecto, y = u1 , z = v1 con u, v 0 = yz =
1
uv con uv 0 = yz 0. El cono utilizado para recordar esta regla ser el siguiente:
=

(6)

2. Si z y y est acotada en un entorno reducido de a, entonces yz 0. Esto proviene

de la regla 3(b) de los lmites finitos, pues z = v1 con v 0. Entonces, yz = yv 0. El
cono es
A
=0
(7)

(A por acotado).
76

3.1. Asntotas

3. Si el acotado es el denominador y el infinito el numerador, el lmite ser infinito. Bajo los

supuestos del caso 2 anterior,
z
1
z
y
= y con
0 =
.
y
z
y
z

=
A

(8)

4. Un producto con un factor infinito y el otro que se mantenga alejado de cero, en cambio,
tender a infinito, ya que el factor alejado de cero no encontrar cmo compensar la
grandeza del
otro. Digamos que z se mantiene alejado de 0. Esto es, |z| > 0, fijo.
Entonces, 1z M = 1 es acotado. Ahora
yz =y

1
1
z

y
1
z

segn se discuti en el caso 3.

Tener inversa acotada es lo mismo que ser la inversa de una acotada. De modo que la
sntesis de este caso se representara con A1 = ,que coincide con (8). Ntese que
este caso implica el caso 1, ya que una funcin con lmite infinito sin duda se mantiene
alejada de cero.
5. Si un factor tiende hacia cero y el otro hacia infinito, nada se puede afirmar del producto.
Es un lmite indeterminado, como lo es el ya conocido cono 00 . Esto significa que cada
caso paricular se resuelve atendiendo a sus peculiaridades pero que no hay reglas generales.
Si tenemos y 0, z , z = v1 con v 0. Al realizar el producto yz = yv caemos
en el caso 00 .
0 = indeterminado.
(9)

1 2
1
Ejemplos: limx x x = limx x = (0 = ). limx x2 x = limx x1 =
0 (0 = 0). limx x1 x = 1 (0 = 1) .
6. Si y , z Nada se puede afirmar acerca de
u, v 0 = yz = uv , indeterminacin del tipo 00 .

Ejemplos:
limx

=
1
.
1

x
x2

=0

y
z.

En efecto, y =

= indeterminado

2
=0 ,
limx xx =
= ,

1
u, z

1
v

con

(10)
limx

x
x

Sumas y restas.

1. Un sumando infinito
y otro
acotado produce una suma infiinita. Si y y z est
z
acotada, y + z = y 1 + y . yz 0 por (7). Luego 1 + yz se mantiene lejos de 0 y,

por caso 4 de producto, y 1 + yz .

A+=

(11)

2. Si y , z nada se puede afirmar acerca de y + z.. En efecto, y = u1 , z = v1 con

0
u, v 0 = y + z = u1 + v1 = u+v
uv , indeterminacin del tipo 0 . Sin embargo, si y y z
tienen el mismo signo,

u 1 + uv
1 + uv
u+v
=
=
,
y+z =
uv
uv
v
77

Captulo 3. El teorema del valor medio

pues uv > 0 1 + uv se mantiene lejos de cero, y es de aplicacin el caso 4 de productos.

El signo del lmite, est dado por el signo de los sumandos, ya que es aqul de v. la
tradicin recuerda estos dos resultados con una simbologa que supone que una variable
que tiende a infinito lo hace siempre con un signo determinado y suprime el + delante
de
+ = ,

(12)

= indeterminado.
Ejemplos:
limx0

limx0

1
x

x1 = limx0 x1 = ( = ) , limx0 x1 x1 = 0
+ 18 x1 = 18 ( = 18)
x

( = 0) ,

Ejercicio 3: Calcular los siguientes lmites.

1.-

4
lim 2x 41 2
x0 4x +x

2.-

4.-

2x3 x
4
x1 x 1

5. -limx
(2)

lim

lim

x 1

x2 +1
x2 1

3.
2

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:
14. 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 la misma asntota.
y

fig. 3.6.a.

y=

1
x

fig. 3.6.b.
78

y=

1
x2

3.1. Asntotas

15. En el ejemplo 7, el eje y es asntota de y = 1 + x1 y la recta x = 4 lo es de

x2 3
y = 3x2
x+4 . En el ejemplo 8 tambin hay una asntota vertical de y = 2x4 : la recta x = 2

3.75

2.5

1.25

0
-2.5

2.5

5
x

-1.25

figura 3.7.

sin x
16. y = tan x = cos
x tiene infinitas asntotas verticales: los puntos de la forma
k entero, en los cuales se anula el denominador.

10

0
-5

-2.5

2.5

5
x

-5

-10

figura 3.8.

79

y = tan x

+ k con

Captulo 3. El teorema del valor medio

Ejercicio 4: Encontrar, cuando las haya, asntotas verticales de las siguientes curvas.
2
1
1.- y = 7x+2
2.- y = x 2x+1
3.- y = x2
3x2
x+3
4.- y =

3.2

1
sin x

5.- y =

sin 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.

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 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.
1

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.

80

3.2. Estudio de funciones

Ejemplos:
y

1.5

0.5

0
0

2.5

7.5

10
x

0.5
-0.5

0
-1

-0.5

0.5

1
x

Ejemplo 1

-1

Ejemplo 2

0.5

0
-1

-0.5

0.5

-2

-1

2
x

-0.5

-2

-1
-4

Ejemplo 3
y

Ejemplo 4

0
-2

-1

Ejemplo 5

2
x

Ejemplo 6

1. La funcin y = |x| + 1 alcanza su mnimo absoluto (que vale 1) en x = 0.

2. La funcin seno, alcanza su mximo absoluto en
forma 2 + 2k con k entero.

2.

Y tambin en todos los puntos de la

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
= a1
mnimo, porque, por ejemplo, f a1
2
2 < a = f (a) . (Piense esto con cuidado)

4. La funcin aqu graficada, que tiene dominio en el intervalo 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.

5. 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.
81

Captulo 3. El teorema del valor medio

6. El grfico que se muestra en el ejemplo 6 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),
respecto del cual f tiene un mximo relativo en a. 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 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 1 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 2, 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 mximo local en a, f (a + h) f (a) 0 para |h|
chico. Luego,
f (a + h) f (a)
f (a + h) f (a)
0 para h > 0 y
0 para h < 0.
h
h
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 mnimo en a, f tendra un mximo y entonces f 0 = 0
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
82

3.2. Estudio de funciones

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 definida en
(Recordamos de la seccin 2.2. que sg (x) = |x|

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
2 y en 2. Segn la definicin, el conjunto de los puntos crticos
en
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:




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

Pero en 2 y 2 slo hay mximo y mnimo locales. Porque, claramente,

lim f (x) = 3

x0

lim f (x) = 3,

x0+

valores que no son alcanzados; pero, cuando

x est cerca del 0, f (x) sobrepasa

por arriba el valor 1 alcanzado en 2 y por abajo el valor 1 alcanzado en

2. En este intervalo la funcin no tiene 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 Bolzano2 y
Weierstrass3 .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 convincente:
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.
2

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

Karl Weierstrass (1815-1897), matemtico alemn.

83

Captulo 3. El teorema del valor medio

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

y
d = f (x2 ) = max f |[a,b]
c = f (x1 ) = min 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. 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
extremos.
Ejemplos:
7. Le quitamos la discontinuidad al ejemplo 4, simplemente borrando la funcin sg.
Ahora

f (x) = x4 4x2 + 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

0
2
puntos crticos. f (x) = 4x x 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
valor,
mximo
3, solamente en el punto x = 0 y su mnimo, 1, en los puntos x = 2 y x = 2, y
en ningn otro.
84

3.2. Estudio de funciones

8. Supongamos ahora que queremos investigar extremos absolutos de la misma funcin

f (x) = x4 4x2 + 3 en su dominio natural R. Como 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
mnimo
local hallado
entonces, por ser necesariamente
local, ser el
2 = 1 en 3, 3 . Podr ser
en los puntos 2. Sabemos que f (x) f
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:
5. Determinar mximos y mnimos, locales y globales relativos a los intervalos sealados, de
las siguientes funciones.
1.
3.
5.
7.
9.

x2 2x + 5
3x2 x + 1
2x2 + 3x 1
x3 3x
sin x + cos x

en
en
en
en
en

[1,
2]
1
,
1
6
[0,
2]

3, 3
(, )

2.
4.
6.
8.

2x2 3x 1
x2 + 2x + 2
x3 + 2
cos x

en
en
en
en

(, )
(, 0]
[1,
31]
0, 2

6. Probar, usando el teorema 3, y el ejercicio 53 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 8.)

7. Probar que Rg (sin) = Rg (cos) = [1, 1] .

8. 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).
9. 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 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.
85

Captulo 3. El teorema del valor medio

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 28):
Cuando una funcin es creciente o decreciente en un intervalo abierto y continua
en el cerrado, conserva las mismas caractersticas en el cerrado. Inclusive si la
monotona4 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 una funcin derivable en un intervalo (a, b). Entonces:
f 0 (x) 0 en (a, b)

f creciente en (a, b) .

f 0 (x)

f decreciente en (a, b) .

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

0 en (a, b)

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

f eatrictamente creciente en (a, b) .

f estrictamente decreciente en (a, b) .

Corolario. Si f 0 (x) = 0 en (a, b) entonces f es constante en ese intervalo.

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
4

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.

86

3.2. Estudio de funciones

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.
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 .

f ' (x > 0)
f ' (x ) < 0

f
a.

b.

figura 3.12
87

c.

d.

Captulo 3. El teorema del valor medio

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 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 9. 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

sin x
x

= 1. entonces la funcin
sin x
si x 6= 0
x
f (x) =
1
si x = 0

x
. Si quisiramos
es continua en R. Adems es derivable en R{0} con f 0 (x) = x cos xxsin
2
averiguar la derivabilidad en el origen, deberamos calcular el lmite del cociente incremental,
sin h
1
f (0 + h) f (0)
sin h h
= lim h
= lim
.
lim
h0
h0
h0
h
h
h2
Hasta que aprendamos a calcular este lmite, miremos las grficas de f y f 0 generadas
por el ordenador.

6
z2

z1

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

3.2. Estudio de funciones

i. no sabemos resolver la ecuacin de los ceros de f 0 : x cos x sin x = 0, equivalente a

tan x = x.
ii. S sabemos encontrar los ceros de f : sin x = 0 x = k con k Z {0}, y
sabemos que entre dos ceros el signo de f se mantiene constante (ejercicio 9)
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 decrcimiento de f (nuevamente por el ejercicio 9)
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
absoluto en 0?

sin x
x

< 1 para x 6= 0, y por lo tanto f tiene un mximo

Muchas veces es mejor tener preguntas que respuestas.

Ejercicios:
10. Para cada una de las siguientes funciones determinar los intervalos donde es creciente y
aquellos donde es decreciente.
1.
3.
5.
7.

f (x) = x3 + 1
f (x) = x3 + x 2
f (x) = 2x3 + 5
f (x) = 4x3 2x

2.
4.
6.
8.

f (x) = x2 x + 5
f (x) = x3 + 2x + 1
f (x) = 5x2 + 1
f (x) = 5x3 + 6x

11. Usar el comportamiento de la funcin en intervalos contiguos para determinar si los puntos
crticos corresponden a mximos o mnimos locales o ninguno de los dos.
1. y = x3 2x2 + 3x +
3. y = sin x

2. y = 2x4 4x2 + 5
4. y = x3 3x

12. 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.
1. (x 1)1/3 + 12 (x + 1)2/3

2. x2/5 + 1

[2, 7]

[1, 1]

13. 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.
14. 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.
15. 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.)
16. Demostrar que entre todos los tringulos de rea dada, el tringulo equiltero es el de
menor permetro.

89

Captulo 3. El teorema del valor medio

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: >, , . 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.
Teorema 6. Si f, g son funciones continuas en [a, b) y derivables en (a, b), si
adems f (a) g (a) y f 0 g 0 en (a, b) entonces f g en [a, b) . Si f 0 < g 0
en (a, b) entonces f < g en (a, b) .Anlogamente,si f (b) g (b) en el extremo
derecho y g 0 f 0 en (a, b), entonces f g en (a, b], con la desiguldad estricta en el
caso correspondiente.
Demostracin. Se considera la funcin gf. De las hiptesis sigue que (g f ) (0)
0 y que (g f )0 = g 0 f 0 0 en (a, b) , luego (g f ) es creciente en ese intervalo.y por lo tanto tambin en [a, b) . En consecuencia, para todo x, (g f ) (x)
(g f ) (a) 0. Esto es, f (x) g (x) para x [a, b) . La demostracin de la
desigualdad estricta queda a cargo del lector. Para la comparacin en el extremo
derecho, aplicar el resultado ya probado a f (x) y g (x)

figura 3.14
Ejemplos.
12. Tomar f (x) = sin x y g (x) = x en [0, +) . Como sin 0 = 0 y sin0 x = cos x 1 =
g 0 (x), se deduce que sin x x para x 0.
Como una consecuencia, resulta sinx 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.: sinx x tiene un mximo absoluto en x = 1.
d sin x
x
13. Consideremos la funcin dx
= x cos xsin
, por cuyo signo en el intervalo (0, )
x
x2
nos interrogbamos en el ejemplo 11 (iv). Ya que el denominador es positivo, basta
considerar f (x) = x cos x sin x, y compararla contra g (x) = 0. f (0) = 0 y f 0 (x) =
cos x x sin x cos x = x sin x < 0 en (0, ) . Sigue del teorema 6 que f < 0 en
(0, ) , y de all que sinx x es decreciente en ese intervalo.

90

3.2. Estudio de funciones

Ejercicios.

17. Probar que tan x > x si 0 < x < /2.

18. Probar que

t+

1
2
t

para t > 0

(Ver qu pasa a ambos lados de 1).

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
91

Captulo 3. El teorema del valor medio

girar hacia la derecha las pendientes de las sucesivas tangentes disminuyen.

x1

x2

x1

x2

Concavidad hacia arriba.

x1 < x2 pendiente de la tangente en x1

Concavidad hacia abajo.

x1 < x 2 pendiente de la tangente en x1

menor que la pendiente de la tangente en x2

mayor que la pendiente de la tangente en x 2

figura 3.16

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) .
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 (ver ejemplo )
Ejemplos:
4
2
Ya sabemos que
14. Veamos nuevamente la funcin del ejemplo 8. f (x) =
q 4x
+ 3. q
x
2
0
3
00
2
f (x) = 4x 8x. Ahora f (x) = 12x 8 = 12 x 3 x + 23 . Usando el

teorema de Bolzano y testeando los valores de f 00 en un punto de cada intervalo,

= f00 (1) =q
4 > 0 f 00 (0) = 8 < 0 = f
cncava
f00 (1) q
q qhacia
arriba en
2
, 23 y en
23 , 23 . En los dos
3 , + , y f cncava hacia abajo en
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
92

3.3. El teorema de unicidad

2

dy
d y
2 sin x
= cos12 x , dx
15. Volvamos al ejemplo 16. de la seccin 3.1. y = tan x, dx
2 = cos3 x = 0 para
x = k con k entero. Es fcil ver que

d2 y

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

dx2
2
dx2
2

De modo que, para cada k Z, se distinguen dos intervalos contiguos 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 ounto 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
diacontinua con asntota vertical y no se considera que haya punto de inflexin.

Ejercicios
19. Para las siguientes funciones, estudiar intervalos de concavidad - convexidad, puntos de
inflexin y mximos y mnimos locales. Trazar grficos aproximados.
1.- 3x2 3x 6

2.- x2 + 2x 4

3.- 2x3 3x + 5

4.- 2x3 9x2 + 12x

5.- x4 x2 + 1

6.- x5 + x

20. Determinar todos los puntos de inflexin de sin x y de cos x.

21. 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 convexidad-concavidad.
22. 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.
x2 +2
x3

1.

y=

4.

y =x+

3
x

2.

y=

x+1
x2 +1

5.

y=

2
x
x+1

7.

y=

x2 1
x2 4

93

3.

y=

2x3
3x+1

6.

y=

x+1
x2 +5

Captulo 3. El teorema del valor medio

3.3

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:
Si y = F (x) y y = G (x) son dos soluciones de la ecuacin diferencial
dy
= f (x) ,
dx

a < x < b,

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
u0 (0) = A
PVI2
PH u0 (0) = 0

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 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 39
del prctico 4)
94

3.4. Las demostraciones

Ejercicios.
23. 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.
24. 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?
25. Supongamos que existen dos soluciones, f y g de la ecuacin diferencial
dy
= y,
dx

x R,

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 .
26. 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 dereche 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.

Corolario 2 (del teorema 3). Si f es continua en el intervalo [a, b], y c

(f (a) , f (b)) , 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 53 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
95

Captulo 3. El teorema del valor medio

porque f () = c y f (a) 6= c 6= f (b) . Entonces (a, b)

f (a )

c
f (b )
a

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
27). 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 para aproximar una raz de la ecuacin f (x) = 0. Se evala

a+b
y:
f 2
f

a+b

2
a+b
2

a+b
2 ,b
a+b
> 0 = f tiene un cero en a, 2
< 0 = f tiene un cero en

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 .

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)
96

3.4. Las demostraciones

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
g (b) g (a)
.
m1 =
f (b) f (a)
Por su parte, el vectoe 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
m2 =

g 0 (t)
.
f 0 (t)

g (b ) g (a )

g ' ( )
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
.
f (b) f (a)
f ( )

(13)

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 (Rolle5 )
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
5

Michel Rolle (1652-1716), matemtico francs

97

Captulo 3. El teorema del valor medio

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 13 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.
Teorema 8. (del valor medio de Cauchy6 )
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 ()

(14)

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 (14)
Para obtener (13) a partir de (14) 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 (13).
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.

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

98

3.4. Las demostraciones

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 tambin la interpretacin geomtrca.

f (b )

f (a )
a

figura 3.20
Corolario 2. (Lagrange7 ) 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

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
x0

Naturalmente,
7

x0

(x) = f (x0 ) + f 0 (x0 ) (x x0 ) .

(x0 ) = f (x0 ) .

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

99

(15)

Captulo 3. El teorema del valor medio

Definicin 7. La funcin f , derivable en (a, b) , es convexa (estrictamente convexa) en ese intervalo si dado 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. Si la funcin derivable f es convexa en un intervalo, entonces f 0 es
creciente en ese intervalo. Si la convexidad es estricta, f 0 es estrictamente creciente.
Demostracin. Dados dos puntos x1 , x2 en el intervalo, f (x2 )
f (x1 ) x2 (x1 ) . Usando (15),

x1

(x2 ) y

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

(16)

de donde f (x2 ) f (x1 ) f 0 (x2 ) (x2 x1 ) .

(17)

y f (x1 ) f (x2 ) + f 0 (x2 ) (x1 x2 ) ,

Sumando (16) con (17) viene

o, lo que es lo mismo,

0 f 0 (x1 ) f 0 (x2 ) (x2 x1 ) ,

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

Esta es la condicin para que f 0 sea creciente. Para la convexidad estricta, la

cuenta es la misma cambiando adecuadamente las desigualdades
Si la derivada segunda de la funcin convexa existe, ser no negativa (No se puede asegurar
positividad estricta en todos los puntos an en el caso en que la funcin sea estrictamente
convexa, por ejemplo y = x4 ). Recprocamente, derivada segunda positiva en todo el intervalo
implica convexidad.
Teorema 10. Si existe la derivada segunda en el intervalo (a, b) ,
f 00 0 en (a, b) = f convexa en (a, b)

f 00 > 0 en (a, b) = f estrictamente convexa en (a, b) .

Demostracin. Fijado un punto x0 (a, b), debemos comparar f con x0

para establecer la desigualdad x0 f . Esto se hace en dos pasos, en los intervalos
(x0 , b) y (a, x0 ), usando las tcnicas de comparacin del teorema 6.ya que x0 (x0 ) =
f (x0 ) . Para establecer que x0 f en (x0 , b), se requiere que 0x0 f 0 en ese
intervalo. Pero, de acuerdo con la definicin (15), 0x0 (x) = f 0 (x0 ) . Ahora, f 00 0
en (a, b) implica que f 0 es creciente y, para x > x0 , ser f 0 (x) f 0 (x0 ) =
0 (x) . Para probar que
x0 f en (a, x0 ) se usa la otra mitad del teorema
x0
6. Las desigualdades estrictas necesarias para la convexidad estricta tambin estn
previstas en el citado teorema

100

3.5. Complementos

3.5

Complementos

Notas
En la seccin 2.2. se present el concepto de lmite y se lo caracteriz con seis propiedades
bsicas. En el ejemplo 5 se presentaron 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 sin 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 sptima
propiedad del lmite:
7. Si f es una funcin montona en un intervalo (a, b), entonces existen los lmites laterales
lim f (x)

xa+

lim f (x) .

xb

Ejercicios
*27. 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.

*28. 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) .
*29. 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 30 del captulo 2.

30. 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.

101