w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Leccin7
Derivadas
Introduccin
Los orgenes del Clculo estuvieron motivados por el deseo de resolver diversos problemas
vinculados al movimiento de los cuerpos, as como problemas de tipo geomtrico de impor-
tancia en ptica y problemas de clculo de valores mximos y mnimos de una funcin dada.
Simplicando podemos destacar dos problemas principales:
Determinar la tangente a una curva en un punto (el problema de las tangentes).
Determinar el rea encerrada por una curva (el problema de las cuadraturas).
Son los conceptos de derivada e integral, respectivamente, los que permitenresolver satisfacto-
riamente dichos problemas. Mientras que el concepto de integral tiene sus races en la antige-
dad clsica, la otra idea fundamental del Clculo, la derivada, no se formul hasta el siglo XVII.
Fue el descubrimiento efectuado por Sir Isaac Newton (1642-1727) y Gottfried Wilhelm Leib-
nitz (1646-1716) de la relacin entre estas dos ideas, tan dispares en apariencia, lo que inici
el magnco desarrollo del Clculo. Si bien los trabajos de Newton y Leibnitz son decisivos por
sus aportaciones e inuencia, no hay que olvidar que ellos son el punto culminante de un largo
proceso en el que han participado cientcos de la talla de Johannes Kepler (1571-1630), Ren
Descartes (1596-1650), Pierre de Fermat (1601-1665), John Wallis (1616-1703) e Isaac Barrow
(1630-1677) entre otros.
7.1.1. Concepto de derivada. Interpretacin fsica y geomtrica
Para entender los resultados del Clculo diferencial es necesario, antes que nada, compren-
der la idea bsica del mismo: el concepto de derivada. La derivada de una funcin puede in-
terpretarse geomtricamente como la pendiente de una curva, y fsicamente como una razn
instantnea de cambio.
69
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Concepto de derivada. Interpretacin fsica y geomtrica 70
Tangente a una curva
A principios del siglo XVII no se saba cmo calcular la tangente a una curva en un punto de la
misma. Este problema se presentaba con frecuencia en mecnica, en ptica y en geometra.
Vamos a estudiar el concepto general de tangente a una curva en un punto dado. En general,
no es un asunto sencillo hallar la pendiente de esta tangente. La razn es que, en principio, se
necesita para ello otro punto, adems del de tangencia. Supongamos que queremos hallar la
tangente a la curva de ecuacin cartesiana y = f (x) en el punto (a, f (a)). La estrategia, usada
primero por Pierre de Fermat y ms tarde por Newton, consiste en aproximar la tangente por
rectas secantes cuyas pendientes s pueden calcularse directamente. En particular, considrese
la recta que une el punto (a, f (a)) con un punto cercano, (x, f (x)), de la grca de f . Esta recta
se llama una secante (recta que corta, pero no es tangente a la curva). La pendiente de esta
secante es:
f (x) f (a)
x a
dicho nmero suele llamarse cociente incremental de f en a.
Ntese que una secante es una buena apro-
(a, f (a))
(x, f (x))
f (x) f (a)
x a
ximacin de la tangente, siempre que el pun-
to (x, f (x)) est muy prximo a (a, f (a)). Estas
consideraciones llevan a denir la tangente
a la grca de f en el punto (a, f (a)) como la
recta que pasa por dicho punto y cuya pen-
diente es igual al lmite:
lm
xa
f (x) f (a)
x a
supuesto, claro est, que dicho lmite exista.
Razn de cambio
Muchas leyes de la Fsica, la Qumica, la Biologa o la Economa, son funciones que relacionan
una variable dependiente y con otra variable independiente x, lo que suele escribirse en la
forma y = f (x). Si la variable independiente cambia de un valor inicial a a otro x, la variable y
lo hace de f (a) a f (x). La razn de cambio promedio de y = f (x) con respecto a x en el intervalo
[a, x] es:
Razn de cambio promedio =
f (x) f (a)
x a
Con frecuencia interesa considerar la razn de cambio en intervalos cada vez ms pequeos.
Esto lleva a denir lo que podemos llamar razn de cambio puntual de y = f (x) con respecto a
x en el punto a como:
lm
xa
f (x) f (a)
x a
.
El ejemplo ms conocido de esto que decimos es el de una partcula que se mueve a lo lar-
go de una recta sobre la cual hemos elegido un origen. Sea f (t) la distancia de la partcula al
origen en el tiempo t. La razn de cambio promedio tiene en este caso una interpretacin f-
sica natural. Es la velocidad media de la partcula durante el intervalo de tiempo considerado.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Derivadas laterales 71
Parece intuitivo que, en cada instante, la partcula se mueve con una determinada velocidad
instantnea. Pero la denicin corriente de velocidad es en realidad una denicin de veloci-
dad media; la nica denicin razonable de velocidad instantnea es como la razn de cambio
puntual. Es importante darse cuenta de que la velocidad instantnea es un concepto terico, y
una abstraccin, que no corresponde exactamente a ninguna cantidad observable.
Notacin. En lo que sigue las letras I, J representan intervalos no vacos de nmeros reales.
7.1 Denicin. Se dice que una funcin f : I R es derivable en un punto a I, si existe el
lmite:
lm
xa
f (x) f (a)
x a
.
Explcitamente, f es derivable en a si hay un nmero LR vericando que para cada nmero
> 0 existe algn nmero > 0 tal que para todo x I con x a y | x a |< se tiene que:

f (x) f (a)
x a
L

.
Dicho nmero L se llama la derivada de f en a y suele representarse por f

(a) (notacin debida
a Lagrange) y tambin, a veces, por
d f (x)
dx

x=a
(notacin de Leibnitz).
Observaciones
i) El lmite lm
xa
f (x) f (a)
x a
se escribe tambin en la forma lm
h0
f (a +h) f (a)
h
.
ii) La derivabilidad de f en un punto a I es una propiedad local, depende solamente del com-
portamiento de f en los puntos de I prximos al punto a. Concretamente, si J es cualquier
intervalo abierto que contiene el punto a, se verica que f es derivable en a si, y slo si, la fun-
cin restriccin f
|IJ
es derivable en a y, por supuesto, en tal caso ambas funciones tienen la
misma derivada en a.
7.1.2. Derivadas laterales
7.2 Denicin. Se dice que f es derivable por la izquierda en a si existe el lmite:
lm
xa
x<a
f (x) f (a)
x a
.
El valor de dicho lmite se llama la derivada por la izquierda de f en a.
Anlogamente se dice que f es derivable por la derecha en a, si existe el lmite:
lm
xa
x>a
f (x) f (a)
x a
.
El valor de dicho lmite se llama la derivada por la derecha de f en a.
Teniendo en cuenta la relacin que hay entre el lmite de una funcin en un punto y los lmites
laterales, es claro que:
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Derivadas laterales 72
i) Si a = m axI , entonces la derivabilidad de f en a es lo mismo que la derivabilidad por la
izquierda de f en a.
ii) Si a = mnI , entonces la derivabilidad de f en a es lo mismo que la derivabilidad por la
derecha de f en a.
iii) Si a no es un extremo de I, entonces equivalen las armaciones:
a) f es derivable en a.
b) Las derivadas por la izquierda y por la derecha de f en a existen y coinciden.
El siguiente resultado nos dice que la derivabilidad es una propiedad ms fuerte que la conti-
nuidad.
7.3 Proposicin. Toda funcin derivable en un punto es continua en dicho punto.
En efecto, si f : I R es derivable en a, de la igualdad:
f (x) = f (a) +(x a)
f (x) f (a)
x a
(xI, x a)
se sigue que lm
xa
f (x) = f (a), es decir, f es continua en a.
7.4 Teorema (Reglas de derivacin). Sean f g: I R dos funciones. Se verican las siguientes
armaciones:
i) La funcin suma f +g y la funcin producto f g son derivables en todo punto aI en el que
f y g sean derivables; en tal caso las derivadas respectivas vienen dadas por:
( f +g)

(a) = f

(a) +g

(a); ( f g)

(a) = f

(a)g(a) + f (a)g

(a)
ii) Si g(x) 0 para todo x I, la funcin cociente f /g es derivable en todo punto aI en el que
f y g sean derivables en cuyo caso se verica que:
_
f
g
_

(a) =
f

(a)g(a) f (a)g

(a)
(g(a))
2
7.5Corolario. Las funciones polinmicas sonderivables entodo punto y las funciones racionales
son derivables en todo punto de su conjunto natural de denicin. Adems la derivada de la
funcin polinmica f (x) = a
0
+a
1
x +a
2
x
2
+ +a
n
x
n
en cada punto x R viene dada por:
f

(x) = a
1
+2a
2
x +3a
3
x
2
+ +na
n
x
n1
7.6 Teorema (Derivacin de una funcin compuesta o regla de la cadena). Sean f : I R y
g: J R con f (I) J, y sea h = g f : I R la funcin compuesta. Supongamos que f es derivable
en aI y que g es derivable en f (a). Entonces h es derivable en a y h

(a) = g

( f (a)) f

(a).
En particular, si g es derivable en J, la funcin compuesta h = g f es derivable en todo punto de
I donde f sea derivable.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Derivadas laterales 73
Demostracin. Pongamos b = f (a). Tenemos que probar que lm
xa
h(x) h(a)
x a
= g

(b) f

(a). Por
hiptesis se cumple que :
lm
yb
g(y) g(b)
y b
lm
xa
f (x) f (a)
x a
= g

(b) f

(a)
La idea de la demostracin es hacer en esta igualdad la sustitucin y = f (x). Como no est ga-
rantizado por las hiptesis hechas que para x a se tenga f (x) b, no est justicado hacer
directamente la sustitucin indicada (dividir por cero est prohibido). Podemos evitar esta di-
cultad como sigue. Denamos la funcin : J R por:
(y) =
g(y) g(b)
y b
(y b), (b) = g

(b)
Con ello la funcin es continua en b. Es inmediato ahora comprobar que para todo x I con
x a se verica que:
h(x) h(a)
x a
= ( f (x))
f (x) f (a)
x a
(1)
ahora, como f es continua en a (porque es derivable en a) y es continua en b = f (a), se sigue
que f es continua en a, por lo que:
lm
xa
( f (x)) = ( f (a)) = (b) = g

(b).
La igualdad (1) nos dice ahora que:
lm
xa
h(x) h(a)
x a
= g

(b) f

(a)
como queramos probar.
Derivabilidad de las funciones exponencial y logaritmo
La funcin exponencial x exp(x) =e
x
(x R) y la funcin logaritmonatural x logx (x R
+
)
son derivables en todo punto de sus respectivos intervalos de denicin, siendo:
(exp)

(x) = expx (x R), (log)

(x) =
1
x
(x R
+
)
Deducimos en particular que:
lm
x1
logx
x 1
= 1; lm
x0
e
x
1
x
= 1; lm
x0
log(1 +x)
x
= 1; lm
x0
(1 +x)
1/x
= e
Deducimos tambin un importante resultado que permite resolver en muchos casos las inde-
terminaciones 1

y 0.
7.7 Teorema (Criterio de equivalencia logartmica). Sea a I, f y g funciones denidas en
I \{a}. Supongamos que f (x) > 0 para xI \{a}, y que lm
xa
f (x) = 1. Entonces se tiene que:
i) lm
xa
f (x)
g(x)
= e
L
si, y slo si, lm
xa
g(x)( f (x) 1) = L.
ii) lm
xa
f (x)
g(x)
= +si, y slo si, lm
xa
g(x)( f (x) 1) = +.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Derivadas laterales 74
iii) lm
xa
f (x)
g(x)
= 0 si, y slo si, lm
xa
g(x)( f (x) 1) =.
Demostracin. Sea : R
+
R la funcin dada por:
(x) =
logx
x 1
, (x 1), (1) = 1.
Ntese que es una funcin continua. Pongamos:
f (x)
g(x)
= exp
_
g(x)log( f (x))
_
= exp
_
g(x)( f (x) 1)( f (x))
_
Puesto que lm
xa
( f (x)) = 1 se sigue que:
lm
xa
g(x)( f (x) 1)( f (x)) = LR{+}{}
si, y slo si
lm
xa
g(x)( f (x) 1)) = LR{+}{}
lo que prueba las armaciones hechas.
7.8 Proposicin. Sean f , g : I R, aI y g(x) > 0 para todo x I. Se verica entonces que:
i) f es derivable en a si, y slo si, la funcin h(x) = exp( f (x)) es derivable en a en cuyo caso
h

(a) = f

(a)exp( f (a)).
ii) g es derivable en a si, y slo si, la funcin (x) = log(g(x)) es derivable en a en cuyo caso

(a) =
g

(a)
g(a)
.
iii) Si f y g son derivables en a la funcin (x) = [g(x)]
f (x)
tambin es derivable en a y

(a) =(a)
_
log(g(a)) f

(a) + f (a)
g

(a)
g(a)
_
Derivabilidad de las funciones trigonomtricas
Las funciones seno y coseno son derivables en todo punto vericndose que:
sen

(x) = cosx cos

(x) =senx.
En particular, se verica que:
lm
x0
senx
x
= 1, lm
x0
cosx 1
x
= 0.
Las derivadas de las dems funciones trigonomtricas se deducen con facilidad a partir de las
derivadas del seno y del coseno.
Derivabilidad de las funciones hiperblicas
Las derivadas de las funciones hiperblicas y de sus inversas se deducen con facilidad de las
derivadas del logaritmo y de la exponencial. Se comprueba sin dicultad que:
senh

(x) = coshx, cosh

(x) = senhx, argsenh

(x) =
1
_
x
2
+1
argcosh

(x) =
1
_
x
2
1
, argsech

(x) =
1
x
_
x
2
1
, argcosech

(x) =
1
x
_
x
2
+1
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teoremas de Rolle y del valor medio 75
7.2. Teoremas de Rolle y del valor medio
Los resultados ms tiles del clculo diferencial se reeren a funciones derivables en todos
los puntos de un intervalo. El teorema del valor medio es frecuentemente atribuido a Joseph
Louis Lagrange; no obstante, fue publicado por vez primera en 1806 por el fsico Andr Marie
Ampre que justicaba el resultado usando ideas de Lagrange y suponiendo que la funcin
derivada era continua lo cual, como se ver enseguida, es innecesario. Quince aos ms tarde
Augustin Louis Cauchy volvi a probar el teorema con las mismas hiptesis. El teorema del
valor medio es uno de los resultados ms tiles del Clculo. Su utilidad se debe principalmente
a que dicho teorema permite acotar el incremento de una funcin cuando se conoce una cota
de su derivada.
Michel Rolle (1652-1719) fue miembro de la Acadmie des Sciences y en 1691 estudiando
un mtodo para resolver ecuaciones estableci sin demostrar el teorema que ahora lleva su
nombre que, como veremos, es esencialmente equivalente al teorema del valor medio.
7.9 Denicin. Dada una funcin f : I R derivable en todo punto de I, la funcin derivada
de f es la funcin f

: I R que a cada punto x I hace corresponder la derivada de f en dicho
punto.
7.10 Denicin. Dada una funcin cualquiera f : I R, se dice que f tiene en un punto a I
un mximo relativo (resp. mnimo relativo) si hay algn nmero r > 0 tal que ]a r, a +r[ I y
x ]a r, a +r[ se verica que f (x) f (a) (resp. f (x) f (a)). La expresin extremo relativo se
utiliza para referirse indistintamente a un mximo o a un mnimo relativo.
(a, f (a))
(b, f (b))
(c, f (c))
(d, f (d))
y = f (x)
La funcin f tiene mximos relativos en los
puntos a y c y mnimos relativos en los puntos b
y d. Ntese que f (d) > f (a), es decir, el valor de
una funcin en un mnimo relativo puede ser
mayor que el valor en un mximo relativo.
El siguiente resultado nos dice que en los extremos relativos de una funcin derivable la tan-
gente es horizontal.
7.11 Proposicin(Condicinnecesaria de extremorelativo). Sea f : I R, a I y supongamos
que f tiene un extremo relativo en a y que f es derivable en a. Entonces se verica que f

(a) = 0.
Demostracin. Supongamos que a es un mximo relativo de f . Entonces hay un nmero r > 0
tal que ]a r, a +r[I y x ]a r, a +r[ se verica que f (x) f (a). Puesto que f es derivable en
a y el punto a no es un extremo del intervalo I, se verica que:
lm
xa
x<a
f (x) f (a)
x a
= f

(a) = lm
xa
x>a
f (x) f (a)
x a
Puesto que para ar <x<a es
f (x) f (a)
x a
0, se sigue que lm
xa
x<a
f (x) f (a)
x a
0.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teoremas de Rolle y del valor medio 76
Puesto que para a<x<a+r es
f (x) f (a)
x a
0, se sigue que lm
xa
x>a
f (x) f (a)
x a
0. Por tanto f

(a) =0.
Es importante observar que esta condicin necesaria no es suciente. Por ejemplo, la funcin
f (x) = x
3
no tiene ningn extremo relativo en R pero f

(0) = 0.
7.12 Teorema (Teorema de Rolle). Sea f : [a, b] R una funcin continua en [a, b], derivable en
]a, b[ y vericando que f (a) = f (b). Entonces existe algn punto c ]a, b[ tal que f

(c) = 0.
Demostracin
a b
(a, f (a))
(b, f (b))
c
y = f (x)
f

(c) = 0
O
La continuidad de f en [a, b] ga-
rantiza que f alcanza en un pun-
to u[a, b] un mnimo absoluto
y en un punto v [a, b] un m-
ximo absoluto. Si {u, v} = {a, b},
entonces ser f (u) = f (v) y, por
tanto f es constante en [a, b] y,
en consecuencia, su derivada es
nula. Si {u, v} {a, b}, entonces alguno de los puntos u, v est en ]a, b[ y es un extremo relativo
de f por lo que, en virtud de la proposicin anterior, concluimos que la derivada de f se anula
en algn punto de ]a, b[.
7.13 Teorema (Teorema del valor medio). Sea f : [a, b] R una funcin continua en [a, b], de-
rivable en ]a, b[. Entonces existe algn punto c ]a, b[ tal que
f

(c) =
f (b) f (a)
b a
Demostracin. Denamos una funcin g: [a, b] R por g(x) = f (x) +x donde , son n-
meros que elegiremos por la condicin de que g(a) = g(b), es decir ( f (a) f (b)) = (b a).
Para ello basta tomar = b a y = f (a) f (b). Podemos aplicar ahora el teorema de Rolle
a la funcin g(x) = (b a) f (x) + ( f (a) f (b))x, para deducir que hay un punto c ]a, b[ tal que
g

(c) = (b a) f

(c) +( f (a) f (b)) = 0, lo que concluye la demostracin.
(a, f (a))
(b, f (b))
a
b
c

tg() =
f (b) f (a)
b a
= f

(c)
(c, f (c))
y = f (c) + f

(c)(x c)
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Consecuencias del teorema del valor medio 77
7.2.1. Consecuencias del teorema del valor medio
7.14 Proposicin. Sea f una funcinderivable enun intervalo I, y supongamos que existe M0
tal que | f

(x)| M para todo xI. Entonces se verica que | f (x) f (y)| M|x y| para todos x, yI.
En particular, si f

(x) = 0 para todo xI entonces f es constante en I.
7.15 Proposicin. Sea I un intervalo, aI y f una funcin continua en I y derivable en I\{a}.
Si la funcin derivada f

tiene lmite por la derecha (resp. por la izquierda) en a entonces f es
derivable por la derecha (resp. por la izquierda) en a con derivada por la derecha (resp. por la
izquierda) en a igual al valor de dicho lmite. En particular, si existe lm
xa
f

(x) = L entonces f es
derivable en a y f

(a) = L.
Demostracin. Supongamos que lm
xa
x<a
f

(x) =L. Dado >0, existe >0 tal que ]a, a] I y para
a <x <a se verica que | f

(x) L| <. Dado x]a, a] podemos aplicar el teorema del valor
medio a la funcin f en el intervalo [x, a] y deducimos que hay algn punto c]x, a[]a , a[ tal
que
f (x) f (a)
x a
= f

(c) y por tanto:

f (x) f (a)
x a
L

=| f

(c) L| <
lo que prueba que lm
xa
x<a
f (x) f (a)
x a
= L, es decir, f es derivable por a izquierda en a y la derivada
por la izquierda de f en a es igual a L.
El resto de las armaciones del enunciado se deducen fcilmente de lo anterior.
7.16 Corolario. Sea f : I R derivable en el intervalo I. Entonces la funcin derivada f

: I R
no tiene discontinuidades evitables ni discontinuidades de salto.
7.17 Proposicin (Derivabilidad y monotona). Sea f : I R derivable en el intervalo I . Se
verica entonces que f es creciente (resp. decreciente) en I si, y slo si, f

(x) 0 (resp. f

(x) 0)
para todo xI.
Demostracin. Supongamos que f

(x) 0 para todo x I. Dados dos puntos u, vI con u < v,
podemos aplicar el teorema del valor medio a f en el intervalo [u, v] para deducir que existe
c]u, v[ tal que f (v) f (u) = f

(c)(vu) 0, por loque f (u) f (v), es decir f es creciente. Recpro-
camente, si f es creciente en I entonces para todos a, xI, con x a, se tiene que
f (x) f (a)
x a
0,
lo que implica que:
lm
xa
f (x) f (a)
x a
= f

(a) 0.
7.18 Teorema. Sea f : I R derivable en el intervalo I con f

(x) 0 para todo x I. Se verica
entonces que:
O bien f es estrictamente creciente y f

(x)>0 para todo xI
O bien f es estrictamente decreciente y f

(x) < 0 para todo xI.
Demostracin. Dados dos puntos u, vI con u v, podemos razonar como antes para obtener
que existe c]u, v[ tal que f (v) f (u) = f

(c)(v u) 0. Hemos probado as que f es inyectiva en
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Consecuencias del teorema del valor medio 78
el intervalo I. Como, adems f es continua en I (por ser derivable), podemos usar un resultado
del captulo anterior para deducir que f es estrictamente montona en I. Es suciente tener en
cuenta ahora el resultado inmediatamente anterior para concluir la demostracin.
Es importante advertir que el resultado anterior nos dice que si una funcin f es derivable en
un intervalo y la derivada f

toma valores positivos y negativos, entonces f

se anula en algn
punto. Este resultado recuerda mucho al teorema de los ceros de Bolzano para funciones con-
tinuas en un intervalo, con una notable diferencia: aqu no exigimos que la funcin derivada f

sea continua. De hecho, se verica el siguiente resultado.
7.19 Teorema (Propiedad del valor intermedio para derivadas). Sea una funcin denida
en un intervalo I que es la derivada de alguna funcin en dicho intervalo. Entonces se verica
que la imagen por de I, (I), es un intervalo.
Demostracin. Por hiptesis hay una funcin derivable f : I R tal que (x) = f

(x) para todo
x I. Sean u = (a), v = (b) dos valores que toma la funcin , y supongamos u < v. Dado
]u, v[, denimos la funcin g(x) = f (x) x. Tenemos entonces g

(a) = (a) = u < 0 y

g

(b) = (b) = v > 0. Por tanto la derivada de g toma valores positivos y negativos en
el intervalo I y, por tanto, tiene que anularse, es decir, existe algn punto c I tal que g

(c) =
(c) =0, esto es, (c) =. Hemos probado as que si toma dos valores tambin toma todos
los comprendidos entre ellos dos; es decir que (I) es un intervalo.
7.20 Proposicin (Derivacin de la funcin inversa). Sea f : I R derivable en el intervalo I
con derivada f

(x) 0 para todo xI. Entonces f es una biyeccin de I sobre el intervalo J = f (I),
y la funcin inversa f
1
: J R es derivable en J siendo
( f
1
)

(y) =
1
f

( f
1
(y))
(yJ).
Demostracin. Las hiptesis hechas implican que f es estrictamente montona y continua;
por tanto es una biyeccin de I sobre J = f (I), y la funcin inversa f
1
: J R es continua en
J. Sea b = f (a)J. Puesto que
lm
xa
x a
f (x) f (a)
=
1
f

(a)
la funcin h: I R dada por:
h(x) =
x a
f (x) f (a)
para (x a), h(a) =
1
f

(a)
es continua en I. Como f
1
es continua en J, deducimos que h f
1
es continua en J, por lo
que, en particular, lm
yb
h( f
1
(y)) = h( f
1
(b)) = h(a). Pero, para todo yJ, con y b es
h( f
1
(y)) =
f
1
(y) f
1
(b)
y b
Concluimos as que
lm
yb
f
1
(y) f
1
(b)
y b
=
1
f

(a)
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Reglas de LHpital 79
Derivabilidad de las funciones trigonomtricas inversas
Se comprueba sin dicultad que:
arctg

(x) =
1
1 +x
2
(xR), arcsen

(x) =
1
_
x
2
1
(x] 1, 1[)
7.21 Teorema (Teorema del valor medio generalizado). Sean f , g : [a, b] R funciones conti-
nuas en [a, b] y derivables en ]a, b[. Entonces existe algn punto c]a, b[ tal que
( f (b) f (a))g

(c) = (g(b) g(a)) f

(c)
Demostracin. Denimos una funcin h(x) = f (x) +g(x) donde , son nmeros que se
eligen de forma que g(a) = g(b), esto es, ( f (a) f (b)) = (g(b) g(a)). Basta para ello to-
mar = g(b) g(a), = f (a) f (b). El teorema del Rolle, aplicado a la funcin h(x) = (g(b)
g(a)) f (x) ( f (b) f (a))g(x), nos dice que hay un punto c]a, b[ tal que h

(c) =0, lo que concluye

la demostracin.
7.2.2. Reglas de LHpital
Guillaume Franois Antoine de LHpital, Marqus de Saint Mesme (1661-1704) public
(annimamente) en 1696 el primer libro de texto sobre clculo diferencial el cual tuvo gran
xito e inuencia durante el siglo XVIII. En l aparecen los resultados que hoy llevan su nom-
bre los cuales permiten resolver en muchos casos indeterminaciones de la forma 0/0 o /
que se presentan frecuentemente al estudiar el lmite de un cociente de dos funciones. Si bien
LHpital era un escritor excepcionalmente claro y ecaz, las llamadas reglas de LHpital no
fueron establecidas por l sino por su maestro Jean Bernouilli (1667-1748) que no las public.
Las distintas formas de las reglas de LHpital pueden resumirse en el siguiente enunciado.
7.22 Teorema. Sean a < b +, f y g funciones derivables en ]a, b[ con g

(x) 0, para
todo x]a, b[. Sea {a, b} y supongamos que se verica alguna de las dos condiciones siguientes:
a) lm
x
f (x) = lm
x
g(x) = 0
b) lm
x
|g(x)| = +
Y adems
lm
x
f

(x)
g

(x)
= LR{+, }
Entonces se verica que
lm
x
f (x)
g(x)
= L
Demostracin. Antes de dar una demostracin al uso vamos a explicar por qu la hipte-
sis de que el cociente de las derivadas tiene lmite implica que tambin lo tiene el cocien-
te de las funciones. Para jar ideas, consideremos el caso en que = a es un nmero real y
lm
x
f (x) = lm
x
g(x) = 0. Denamos f (a) = g(a) = 0. Ntese que aunque el punto (g(x), f (x)) re-
corre una trayectoria en en plano que termina en (0, 0) cuando x = a, el lmite lm
xa
f (x)/g(x) no
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Reglas de LHpital 80
tiene por qu existir. Ello se debe a que la proximidad a (0, 0) del punto (g(x), f (x)) no nos pro-
porciona ninguna informacin sobre el valor del cociente f (x)/g(x). Baste considerar que en
un crculo centrado en (0, 0) de radio , hay puntos (u, v) para los que el cociente u/v puede to-
mar cualquier valor. Geomtricamente, podemos interpretar f (x)/g(x) como la pendiente de la
recta que une (0, 0) con el punto (g(x), f (x)). Si imaginamos la trayectoria que recorre el punto
(g(x), f (x)) como una curva, , en el plano que termina en (0, 0), parece evidente que, cuando
dicho punto est muy prximo a (0, 0), el nmero f (x)/g(x) est muy prximo a la pendiente
de la tangente a en (g(x), f (x)). Ntese que como f y g no se suponen derivables en x = a, no
est garantizado que = {(g(x), f (x)) : x I} tenga tangente en el origen, es decir, para x = a.
Podemos, sin embargo, calcular la pendiente de la tangente a en puntos distintos del origen.
Para ello observemos que las hiptesis hechas implican que g es inyectiva, por lo que, llamando
J =g(I), es claro que ={(t, f (g
1
(t))), t J}; es decir, es la grca de la funcin h: J R dada
por h(t) = f (g
1
(t)). Las hiptesis hechas garantizan que h es derivable en J y su derivada, es
decir, la pendiente de la tangente a en el punto (t, f (g
1
(t))), viene dada por:
h

(t) =
f

(g
1
(t))
g

(g
1
(t))
.
Para obtener la pendiente de la tangente a en el punto (g(x), f (x)) basta sustituir t por g(x) en
la igualdad anterior, es decir, dicha pendiente viene dada por:
h

(g(x)) =
f

(x)
g

(x)
El dibujo siguiente puede ser de ayuda:
f (x
o
)
y = Lx
g(x
o
)

y = f (x
o
) +
f

(x
o
)
g

(x
o
)
(x g(x
o
))
y =
f (x
o
)
g(x
o
)
x
g(x)
f (x)
f (x
o
)
g(x
o
)

f

(x
o
)
g

(x
o
)
L
A la vista de lo anterior, se comprende ahora que si exigimos que f

(x)/g

(x) tenga lmite L en el

punto a, estamos obligando a que el cociente f (x)/g(x) tambin tenga lmite igual a L en a. En el
dibujo se ha supuesto que L es un nmero real, pero est claro que puede suponerse tambin
L = +o L =, lo que corresponde a los casos en que tiene tangente vertical en el origen.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Reglas de LHpital 81
Daremos ahora una demostracin formal del teorema en dos casos particulares.
Caso1 (Primera regla de LHpital).
Supongamos que =a y L sonnmeros reales y lm
xa
f (x) = lm
xa
g(x) = 0. Denamos f (a) = g(a) = 0.
Dado x I, x a, aplicamos el teorema del valor medio generalizado a las funciones f y g en
el intervalo [a, x] para obtener c
x
]a, x[ tal que ( f (x) f (a))g

(c
x
) = (g(x) g(a)) f

(c
x
), es decir,
f (x)g

(c
x
) = g(x) f

(c
x
). Las hiptesis hechas implican que g es estrictamente montona en I y,
como g(a) = 0, deducimos que g(x) 0 para todo xI. Obtenemos as que:
f (x)
g(x)
=
f

(c
x
)
g

(c
x
)
(1)
Por hiptesis, dado > 0, existe > 0 tal que para a <t < a + es

f

(t)
g

(t)
L

< . Deducimos de
la igualdad (1) que si a < x < a + se tiene que:

f (x)
g(x)
L

< .
Hemos probado as que lm
xa
f (x)/g(x) = L. Los casos en que L = +, L = se tratan de la
misma forma.
Caso 2 (Segunda Regla de LHpital).
Supongamos que =a y L son nmeros reales y lm
xa
|g(x)| = +. Esta ltima condicin implica
que g(x) 0 para todo xI sucientemente prximo al punto a, y por el carcter local del lmite
no es restrictivo suponer que g(x) 0 para todo x I. Ntese tambin que las hiptesis hechas
implican que g es inyectiva en I. La hiptesis lm
xa
f

(x)/g

(x) = L, nos dice que dado > 0, hay

un nmero (jo en lo que sigue) cI, tal que para a <t c se verica que:

f

(t)
g

(t)
L

<

4
(1)
Como lm
xa
|g(x)| = +, hay un nmero > 0 tal que a + c y para a < x < a + se verica que:
|g(c)|
|g(x)|
< 1,
| f (c) Lg(c)|
|g(x)|
<

2
(2)
Dado a < x < a + aplicamos el teorema del valor medio generalizado para obtener un punto
c
x
]x, c[ tal que
f (x) f (c)
g(x) g(c)
=
f

(c
x
)
g

(c
x
)
. Teniendo en cuenta la identidad:
f (x)
g(x)
L =
_
f (x) f (c)
g(x) g(c)
L
__
1
g(c)
g(x)
_
+
f (c) Lg(c)
g(x)
=
_
f

(c
x
)
g

(c
x
)
L
__
1
g(c)
g(x)
_
+
f (c) Lg(c)
g(x)
deducimos, en virtud de (1) y (2), que para todo x]a, a +[ se verica que:

f (x)
g(x)
L

4
2 +

2
= .
Hemos probado as que lm
xa
f (x)/g(x) = L. Los casos en que L = +, L = se tratan de la
misma forma.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Derivadas sucesivas. Polinomios de Taylor 82
Los dems casos tienen un tratamiento similar y tambin pueden reducirse a los ya estudiados
sin ms que invertir la variable.
Ntese que, tal y como las hemos enunciado, las reglas de LHpital permiten calcular lmites
por la derecha y por la izquierda en un punto y, por tanto, podemos usarlas para calcular el
lmite en un punto de un intervalo que no sea extremo del mismo.
7.3. Derivadas sucesivas. Polinomios de Taylor
Sea f una funcin derivable en un intervalo I. Si la funcin derivada f

tambin es deriva-
ble en I decimos que f es dos veces derivable en I y la funcin f

:= ( f

)

se llama derivada
segunda de f en I. En general, si n N, decimos que f es n +1 veces derivable en I si f es n
veces derivable en I y la funcin derivada de orden n de f en I que representaremos por f
(n)
,
es derivable en I; en cuyo caso la funcin f
(n+1)
= ( f
(n)
)

se llama derivada de orden n +1 de f

en I. Si n es un nmero natural, n 2, decimos que f es n veces derivable en un punto aI, si f
es n1 veces derivable en I y la funcin f
(n1)
es derivable en a. Se dice que f es una funcin
de clase C
n
en I si f es n veces derivable I y la funcin f
(n)
es continua en I. Se dice que f es
una funcin de clase C

en I si f tiene derivadas de todos rdenes en I. Por convenio se dene

f
(0)
= f .
Observemos que una funcin f derivable en un punto a puede ser aproximada localmente por
una funcin polinmica P(x) = f (a) + f

(a)(x a) de grado 1, de forma que
lm
xa
f (x) P(x)
x a
= 0
Es natural preguntarse si, en el caso de que f sea derivable n veces en a, existir una funcin
polinmica P de grado n, de forma que
lm
xa
f (x) P(x)
(x a)
n
= 0.
Ntese que, en el caso n = 1, el polinomio P(x) = f (a) + f

(a)(x a) es el nico polinomio de
grado 1 que cumple que P(a) = f (a) y P

(a) = f

(a). En el caso general, parece razonable hallar
un polinomio P de grado n cuyo valor y el valor de sus derivadas, hasta la del orden n, en el
punto a coincida con el valor de f y de las respectivas derivadas de f en a. Pongamos para
ello Q(x) = P(x +a) y notemos que Q es un polinomio de grado n y Q
(k)
(x) = P
(k)
(x +a) para
k = 0, 1, . . . , n. Sea Q(x) =
n

k=0
a
k
x
k
. Calcularemos los coecientes de Q por la condicin de que
Q
(k)
(0) = f
(k)
(a). Con ello se obtiene fcilmente que a
k
= f
(k)
(a)/k!. Resulta as que el polinomio
P dado por:
P(x) = Q(x a) =
n

k=0
f
(k)
(a)
k!
(x a)
k
verica que P
(k)
(a) = Q
(k)
(0) = f
(k)
(a) para k = 0, 1, . . . , n y es el nico polinomio de grado n
que cumple dichas condiciones.
7.23 Denicin. Sea f una funcin n veces derivable en un punto a. La funcin polinmica
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Consejos para calcular lmites de funciones 83
T
n
( f , a) denida para todo xR por T
n
( f , a)(x) = f (a) +
n

k=1
f
(k)
(a)
k!
(x a)
k
se llama el polinomio
de Taylor de orden n de f en a.
7.24 Teorema (Teorema de Taylor-Young). Sea f una funcin n veces derivable en un punto a,
y sea T
n
( f , a) el polinomio de Taylor de orden n de f en a. Entonces se verica que:
lm
xa
f (x) T
n
( f , a)(x)
(x a)
n
= 0.
Demostracin. Haremos la demostracin por induccin. Para n = 1 la armacin del enun-
ciado es cierta sin ms que recordar la denicin de derivada de una funcin en un punto.
Supongamos que la armacin del enunciado es cierta para toda funcin n veces derivable en
a. Sea f una funcin n +1 veces derivable en a. Entonces la funcin g = f

es n veces derivable
en a y por tanto:
lm
xa
g(x) T
n
(g, a)(x)
(x a)
n
= 0.
Se comprueba fcilmente que T
n+1

( f , a)(x) = T
n
(g, a)(x), con lo cual resulta que
g(x) T
n
(g, a)(x) =
d
dx
_
f (x) T
n+1
( f , a)(x)
_
. Por el teorema de LHpital obtenemos que:
lm
xa
f (x) T
n+1
( f , a)(x)
(x a)
n+1
= lm
xa
g(x) T
n
(g, a)(x)
(n +1)(x a)
n
= 0.
Lo que concluye la demostracin.
El siguiente resultado, consecuencia directa del que acabamos de probar, es muy til para cal-
cular lmites.
7.25 Corolario. Sea f una funcin denida en un intervalo I que es n+1 veces derivable en un
punto aI, y sea T
n
( f , a) el polinomio de Taylor de orden n de f en a. Entonces se verica que:
lm
xa
f (x) T
n
( f , a)(x)
(x a)
n+1
=
1
(n +1)!
f
(n+1)
(a).
7.3.1. Consejos para calcular lmites de funciones
Cuando en un ejercicio te piden calcular un lmite, es casi seguro que se trata de una in-
determinacin. Te recuerdo que aquellos lmites de sumas, productos, cocientes o potencias
de funciones en los que el resultado no est predeterminado por el comportamiento particular
de cada una de las funciones se llaman lmites indeterminados. La palabra indeterminado
quiere decir simplemente que se trata de lmites cuyo clculo no puedes hacerlo aplicando las
reglas bsicas del lgebra de lmites y tienes que usar alguna tcnica apropiada para calcular-
los. Los lmites interesantes son casi siempre de este tipo.
Las reglas de LHpital son muy tiles para resolver las indeterminaciones, pero yo pienso
que se abusa de ellas. Las aplicamos sin pensar dos veces lo que hacemos, nos dejamos llevar
por la comodidad que proporcionan (aunque no siempre) y acabamos calculando lmites de
forma mecnica sin saber muy bien qu es lo que hacemos. No tengo nada en contra de ellas,
tan slo me parece que su uso casi exclusivo y de forma mecnica es empobrecedor. Por el
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Consejos para calcular lmites de funciones 84
contrario, pienso que cada lmite debe intentarse de la forma ms adecuada a su caso. Para eso
tienes que jarte en cmo es la funcin, relacionarla con otras parecidas, tratar de relacionar el
lmite que te piden con otros bien conocidos, . . .
Voy a contarte las estrategias que suelo usar para calcular lmites. Esencialmente, puedo
resumirlas en dos:
Trato de reducir el lmite a otros bien conocidos.
Siempre que puedo sustituyo funciones por otras ms sencillas.
Vayamos con la primera. Si te preguntas qu entiendopor lmites bien conocidos, la respues-
ta es bien fcil: los que siguen a continuacin.
Lmites que debes saberte de memoria
lm
x0
senx
x
= 1 lm
x0
arcsenx
x
= 1 lm
x0
1 cosx
x
2
=
1
2
lm
x0
arctgx
x
= 1 lm
x0
tgx
x
= 1
lm
x0
e
x
1
x
= 1 lm
x0
x senx
x
3
=
1
6
lm
x0
(1 +x)

1
x
= lm
x0
log(1 +x)
x
= 1 lm
x1
logx
x 1
= 1
lm
x0
tgx x
x
3
=
1
3
lm
x0
log(1 +x) x
x
2
=
1
2
Observa que todos ellos, con la excepcin de cuatro, son derivadas en el punto x = 0 de
las respectivas funciones. Por ello no son difciles de recordar. Ahora bien, estos lmites suelen
aparecer algo disfrazados. Realmente, ms que como lmites concretos, debes considerarlos
como modelos.
7.26 Ejemplo. El lmite
lm
x0
log(cosx)
cosx 1
no est en la lista anterior, pero responde al modelo
lm
x1
logx
x 1
en el que la variable x se ha sustituido por la funcin cosx y el punto 1 por el punto 0.
7.27 Ejemplo. Partimos del lmite
lm
x0
tgx x
x
3
=
1
3
Elijamos ahora cualquier funcin continua g que se anule en algn punto c, por ejemplo
g(x) = e
x
1 (c = 0) o g(x) = logx (c = 1), o g(x) =
3

x 1 (c = 1), . . . En todos los casos se ve-

rica que
lm
xc
tg(g(x)) g(x)
g(x)
3
=
1
3
Tenemos as que
lm
x0
tg(e
x
1) e
x
+1
(e
x
1)
3
= lm
x1
tg(logx) logx
(logx)
3
=
1
3

Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Consejos para calcular lmites de funciones 85
Entiendes lo que pasa? Esto puede hacerse con cualquiera de los lmites. La justicacin de
estos resultados es consecuencia de que la composicin de funciones continuas es continua.
Como consecuencia, los lmites de la lista anterior son muchos ms de los que aparecen en ella.
Si te acostumbras a reconocerlos cuando vengan disfrazados podrs ahorrarte mucho trabajo
innecesario.
Vamos a la segunda estrategia. Sustituir funciones por otras ms sencillas. Esto se basa en la
idea siguiente. Supn que ests calculando un lmite de la forma lm
xa
f (x)g(x) y t conoces otra
funcin h(x) tal que lm
xa
h(x)
f (x)
= 1; entonces puedes sustituir en el lmite lm
xa
f (x)g(x) la funcin
f (x) por h(x) sin que ello afecte para nada al valor del lmite.
7.28 Denicin. Se dice que las funciones f y h son asintticamente equivalentes en el punto
a, y se escribe f (x) g(x) (x a), cuando lm
xa
h(x)
f (x)
= 1.
Para calcular un lmite de un producto o de un cociente puedes sustituir cualquiera de los
factores por otro asintticamente equivalente a l. Ojo! En una suma no puedes, en general, ha-
cer eso. La lista de los lmites bien conocidos es, de hecho, una lista de equivalencias asintticas
y eso la hace ms til todava.
7.29 Ejemplo. El lmite lm
x0
e
x
cos

2x x
tg
3
x
es una indeterminacin del tipo
0
0
y puede hacerse
por LHpital. El problema est en que vamos a tener que derivar por lo menos dos veces y las
derivadas de la tangente se van complicando. Para evitarlo podemos sustituir tgx por x pues
tgx x(x 0). Escribiendo
e
x
cos

2x x
tg
3
x
=
x
3
tg
3
x
e
x
cos

2x x
x
3
y teniendo en cuenta que lm
x0
x
3
tg
3
x
= lm
x0
_
x
tgx
_
3
= 1, basta calcular lm
x0
e
x
cos

2x x
x
3
lo que
puedes hacer por LHpital muy fcilmente (aunque es uncaso particular del teoremade Taylor-
Young).
Las estrategias anteriores son las ms bsicas, pero tengo otras un poco ms elaboradas.
Esencialmente consisten en aplicar el teorema de Taylor-Young para tratar de reducir ciertos
lmites al lmite de un cociente de dos polinomios. Bueno, sorpresa, todos los lmites de la lista
de lmites bien conocidos son, sin excepcin, casos particulares del teorema de Taylor-Young.
Ahora despus te pondr algunos ejemplos de esta forma de proceder. Pero, para que pue-
das usar con comodidad este mtodo, tienes que saberte de memoria, o ser capaz de deducirlos
en poco tiempo, los polinomios de Taylor de las funciones elementales. Adems, esta forma de
proceder se adapta ms a unos casos que a otros y tan slo con la prctica se aprende cundo
conviene usarla.
Notacin de Landau
Te recuerdo tambin una notacin extraordinariamente til, me reero a la notacin de
Landau. Si f (x) y g(x) son funciones tales que lm
xa
f (x)
g(x)
= 0, se escribe f (x) = o(g(x)) cuando
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Consejos para calcular lmites de funciones 86
x a y se lee f (x) es un innitsimo de orden superior que g(x) en el punto a . La idea es que f (x)
tiene a cero ms rpidamente que g(x) cuando x a. Si no hay lugar a confusin, omitimos la
precisin cuando x a.
Con esta notacin, el teorema de Taylor-Young puede expresarse f (x) T
n
( f , x, a) = o(x a)
n
cuando x a. Lo que suele escribirse
f (x) = T
n
( f , x, a) +o(x a)
n
.
Esta ltima igualdad suele llamarse en algunos textos Teorema de Taylor con resto innitesimal
o forma innitesimal del resto de Taylor. No es otra cosa que el teorema de TaylorYoung escrito
con la notacin de Landau.
Lo interesante de esta notacin es que si, por ejemplo, (x) = o(x a)
p
y (x) = o(x a)
q
,
entonces (x)(x) = o(x a)
p+q
y, si p > q,
(x)
(x)
= o(x a)
pq
y ((x) +(x)) = o(x a)
q
. Adems,
si H(x) es una funcin acotada en un intervalo abierto que contenga al punto a y sabemos que
(x) = o(x a)
p
entonces tambin H(x)(x) = o(x a)
p
. Veamos los ejemplos prometidos.
7.30 Ejemplo. Si tratas de calcular por LHpital el lmite lm
x0
(tgx)(arctgx) x
2
x
6
tendrs que ser
paciente porque necesitars derivar por lo menos cinco veces y en el numerador hay un pro-
ducto cuyas derivadas se van haciendo cada vez ms complicadas. Ahora, si calculas los poli-
nomios de Taylor de orden 5 de tgx y arctgx en a = 0, obtendrs que
tgx = x +
1
3
x
3
+
2
15
x
5
+o(x
6
), arctgx = x
1
3
x
3
+
1
5
x
5
+o(x
6
)
observa que como se trata de funciones impares sus derivadas de orden par en x = 0 son nulas,
por eso los polinomios anteriores son, de hecho, los polinomios de Taylor de orden 6 y eso
explica que aparezca el trmino o(x
6
). Deducimos que tgx arctgx = x
2
+
2
9
x
6
+o(x
7
) y
lm
x0
(tgx)(arctgx) x
2
x
6
= lm
x0
2/9x
6
+o(x
7
)
x
6
=
2
9
Observa que aunque tgx x y arctgx x para x 0, se tiene que tgx arctgx x
2

2
9
x
6
para x 0.
Fjate que al calcular el producto
tgx arctgx = (x +
1
3
x
3
+
2
15
x
5
+o(x
6
))(x
1
3
x
3
+
1
5
x
5
+o(x
6
))
tan slo nos interesan las potencias de x hasta la de orden 6 inclusive, las dems potencias y
los trminos de la forma xo(x
6
), x
2
o(x
6
), o(x
6
)o(x
6
), etc. son todos ellos funciones de la forma
o(x
7
) y su suma tambin es una funcin de la forma o(x
7
) por lo que no es preciso calcularlos
para hacer el lmite. Observa que, al proceder de esta manera, tienes que calcular las 5 prime-
ras derivadas en x = 0 de las funciones tg(x) y arctg(x) pero te ahorras el trabajo de derivar su
producto. Si an tienes dudas, calcula el lmite por LHpital y compara.
7.31 Ejemplo. Se trata de calcular lm
x0
(cosx 1)(log(1 +x) x)
1
4
x
4
x
5
. Tenemos que
cosx = 1
1
2
x
2
+o(x
3
), log(1 +x) = x
1
2
x
2
+o(x
3
)
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Consejos para calcular lmites de sucesiones 87
luego (cosx 1)(log(1 +x) x) =
1
4
x
4
+o(x
5
), de donde se sigue que
lm
x0
(cosx 1)(log(1 +x) x)
1
4
x
4
x
5
= 0

7.3.2. Consejos para calcular lmites de sucesiones

La estrategia general para calcular lmites de sucesiones se basa en la proposicin (6.7) que,
para tu comodidad, vuelvo a enunciar aqu.
Proposicin. Sea f una funcin y sean a, LR{+, }. Equivalen las armaciones:
i) lm
xa
f (x) = L
ii) Para toda sucesin {x
n
} de puntos en el dominio de denicin de f , tal que {x
n
} a con
x
n
a, se verica que { f (x
n
)} L.
Una consecuencia inmediata de este resultado es que todo lmite funcional que conozcas te
va a permitir resolver muchos lmites de sucesiones. En particular, de la lista de lmites bsicos
que debes conocer se deducen los siguientes resultados.
7.32 Proposicin. Para toda sucesin {x
n
} 0 se verica que
lm
n
senx
n
x
n
= 1 lm
n
arcsenx
n
x
n
= 1 lm
n
1 cosx
n
x
n
2
=
1
2
lm
n
arctgx
n
x
n
= 1 lm
n
tgx
n
x
n
= 1
lm
n
e
x
n
1
x
n
= 1 lm
n
x
n
senx
n
(x
n
)
3
=
1
6
lm
n
(1 +x
n
)

1
x
n
= lm
n
log(1 +x
n
)
x
n
= 1
lm
n
tgx
n
x
n
(x
n
)
3
=
1
3
lm
n
log(1 +x
n
) x
n
x
n
2
=
1
2
Por tanto, tu estrategia para calcular lmites de sucesiones va a consistir en convertir el l-
mite de la sucesin que tienes que calcular en un caso particular de un lmite funcional. El por
qu de esta estrategia es que para calcular lmites de funciones disponemos de muchas ms
herramientas que las que tenemos para trabajar directamente con sucesiones (criterio de Stolz
y sus consecuencias).
7.33 Ejemplo. Se trata de calcular el lmite de la sucesin y
n
=
log(n)
n(
n

n1)
.
Para ello nos jamos en que en el denominador aparece
n

n 1. Poniendo x
n
=
n

n, sa-
bemos que x
n
1. La sucesin cuyo lmite queremos calcular recuerda el lmite funcional
lm
x1
logx
x 1
= 1. Pongamos f (x) =
logx
x 1
. Como caso particular de este lmite funcional, tene-
mos que f (x
n
) 1, y es claro que f (x
n
) =y
n
. Hemos probado as que y
n
1 y todo lo que hemos
tenido que hacer es relacionar dicho lmite con un lmite funcional que ha resultado ser (cosa
muy frecuente) una derivada: la derivada de la funcin logx en el punto x = 1.
El criterio de equivalencia logartmica para sucesiones, que resuelve las indeterminaciones
1

y 0, puede enunciarse como sigue.

Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Consejos para calcular lmites de sucesiones 88
7.34 Proposicin (Criterio de equivalencia logartmica). Sean {x
n
} una sucesin de nmeros
positivos distintos de 1 que converge a 1, {y
n
} una sucesin cualquiera y L un nmero real. En-
tonces se tiene que:
i) lm{x
y
n
n
} = e
L
lm{y
n
(x
n
1)} = L.
ii) {x
y
n
n
} +{y
n
(x
n
1)} +.
iii) {x
y
n
n
} 0 {y
n
(x
n
1)} .
7.35 Corolario. Para toda sucesin {x
n
} 0 se verica que lmn (1 +x
n
)
1/x
n
= e.
7.36 Denicin. Diremos que {x
n
} es asintticamente equivalente a {y
n
}, y escribiremos sim-
blicamente {x
n
} {y
n
}, si {x
n
/y
n
} 1.
Por ejemplo, las sucesiones {1+
1
2
+ +
1
n
}, {logn} y {n(
n

n1)} son asintticamente equi-

valentes.
El siguiente resultado nos dice que para estudiar la convergencia de un producto de varias
sucesiones podemos sustituir las que queramos por otras que sean asintticamente equivalen-
tes, sin que ello afecte a la convergencia o divergencia del producto ni a su eventual lmite.
7.37 Proposicin. Sean {x
n
} e {y
n
} sucesiones asintticamente equivalentes y {z
n
} una sucesin
cualquiera. Se verica que:
i) {x
n
z
n
} es convergente si, y slo si, {y
n
z
n
} es convergente, en cuyo caso ambas sucesiones tienen
el mismo lmite.
ii) {x
n
z
n
} es divergente si, y slo si, {y
n
z
n
} es divergente, en cuyo caso ambas sucesiones son diver-
gentes del mismo tipo.
En particular, {x
n
} es convergente (resp. divergente) si, y slo si, {y
n
} es convergente (resp. di-
vergente), en cuyo caso ambas tienen igual lmite (resp. son divergentes del mismo tipo).
Denicin de la funcin exponencial compleja
Una de las formas de denir la exponencial de un nmero real x es mediante el lmite
e
x
= lm
n
_
1 +
x
n
_
n
Por tanto, una forma coherente de denir la exponencial de un nmero complejo sera calcular
el anterior lmite para zC. Pongamos z =x+iy donde suponemos que y 0 (puesto que si y =0
tendramos que z = x sera un nmero real). Sea
z
n
=
_
1 +
x +iy
n
_
n
Pongamos
w
n
= 1 +
x +iy
n
= 1 +
x
n
+i
y
n
,
n
= arctg
y/n
1 +x/n
Sea n
o
tal que para n n
o
se verique que Re(w
n
) > 0. Entonces, para n n
o
resulta que
n
=
arg(w
n
). Por otra parte, el mdulo de w
n
viene dado por
|w
n
|
2
=

1 +
z
n

2
=
_
1 +
x
n
_
2
+
y
2
n
2
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Extremos relativos. Teorema de Taylor 89
Como z
n
= (w
n
)
n
, tenemos, gracias a la frmula de De Moivre, que
z
n
= (w
n
)
n
=|w
n
|
n
(cos(n
n
)+i sen(n
n
)) =
_
1 +
x +iy
n
_
n
=
_
_
1 +
x
n
_
2
+
y
2
n
2
_
n/2
(cos(n
n
)+i sen(n
n
))
Pero, por el criterio de equivalencia logartmica, es
lm|w
n
|
n
= lm
_
_
1 +
x
n
_
2
+
y
2
n
2
_
n/2
= exp
_
lm
n
2
_
2x
n
+
x
2
n
2
+
y
2
n
2
__
= e
x
Adems, la sucesin {
n
} es asintticamente equivalente a la sucesin
_
y/n
1 +x/n
_
. Por tanto
lm{n
n
} = lm{n
y/n
1 +x/n
} = y
En consecuencia, tenemos que
lm
n
_
1 +
z
n
_
n
= lm
n
(w
n
)
n
= lm
n
|w
n
|
n
_
cos(n
n
) +i sen(n
n
)
_
= e
x
(cosy +i seny)
Se dene, por tanto, la exponencial de un nmero complejo z = x +iy como
e
x+iy
= e
x
(cosy +i seny)
7.3.3. Extremos relativos. Teorema de Taylor
El siguiente resultado es de gran utilidad para el estudio de los extremos relativos de una
funcin.
7.38 Teorema (Condiciones sucientes de extremo relativo). Sean I un intervalo, a un punto
de I que no es extremo de I y f : I R una funcin n 2 veces derivable en a. Supongamos que
f
(k)
(a) = 0 para k = 1, 2, . . . , n 1, y f
(n)
(a) 0. Entonces:
i) Si n es par y f
(n)
(a) > 0, f tiene un mnimo relativo en a.
ii) Si n es par y f
(n)
(a) < 0, f tiene un mximo relativo en a.
iii) Si n es impar entonces f no tiene extremo relativo en a.
Demostracin. Basta observar que, en virtud de las hiptesis hechas, se verica que:
lm
xa
f (x) f (a)
(x a)
n
=
1
n!
f
(n)
(a) 0
En virtud del teorema de conservacin local del signo, existe un nmero r > 0 tal que ]a r, a +
r[I y para x]a r, a +r[, x a se verica que:
f (x) f (a)
(x a)
n
f
(n)
(a) > 0.
Si n es par ser (x a)
n
>0, por lo que si f
(n)
(a) >0 tiene que ser f (x) f (a) > 0 para todo x
]a r, a +r[\{a}, es decir, f tiene un mnimo relativo (estricto) en el punto a; si por el contrario
es f
(n)
(a) < 0 entonces tiene que f (x) f (a) <0 para todo x]a r, a +r[\{a}, es decir, f tiene un
mximo relativo (estricto) en el punto a. En el caso en que n sea impar se tiene que (x a)
n
< 0
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones convexas y funciones cncavas 90
para a r < x < a y (x a)
n
> 0 para a < x < a +r, deducimos que para a r < x < a, f (x) f (a)
tiene signo opuesto al que tiene para a < x < a +r. En consecuencia f no tiene un extremo
relativo en a.
El siguiente resultado es importante porque permite acotar el error que se comete al aproximar
f (x) por T
n
( f , a)(x).
7.39 Teorema (Teorema de Taylor). Sea f una funcin n +1 veces derivable en un intervalo
I. Dados dos puntos cualesquiera x, a en I con x a, se verica que existe algn punto c en el
intervalo abierto de extremos a y x tal que:
f (x) T
n
( f , a)(x) =
f
(n+1)
(c)
(n +1)!
(x a)
n+1
.
Demostracin
En lo que sigue el punto x y el punto a estn jos. Denamos la funcin g: I R dada para todo
t I por:
g(t) = f (x)
n

k=0
f
(k)
(t)
k!
(x t)
k
Se comprueba fcilmente que g

(t) =
f
(n+1)
(t)
n!
(x t)
n
. Aplicamos ahora el teorema del valor
medio generalizado a las funciones g y h(t) = (xt)
n+1
en el intervalo de extremos x y a para ob-
tener que hay un punto c comprendido entre x y a tal que (h(x) h(a))g

(c) =
= (g(x) g(a))h

(c). Como g(x) = h(x) = 0, obtenemos que:

(x a)
n+1
f
(n+1)
(c)
n!
(x c)
n
= g(a)(n +1)(x c)
n
.
Simplicando, y teniendo en cuenta que g(a) = f (x) T
n
( f , a)(x), se obtiene la igualdad del
enunciado.
7.3.4. Funciones convexas y funciones cncavas
Sea f : I R una funcin derivable en el intervalo I. Se dice que f es una funcin convexa
en I si la grca de f queda siempre por encima de la recta tangente en cualquier punto, es
decir, si para todo par de puntos x, aI se verica que f (x) f (a) + f

(a)(x a). Se dice que f es
cncava si f es convexa.
Funcin cncava
Funcin convexa
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 91
La funcin exponencial natural es una funcin convexa y el logaritmo natural es cncava. El
siguiente resultado es una sencilla aplicacin del teorema del valor medio.
7.40 Proposicin. Sea f : I R una funcin dos veces derivable en el intervalo I. Se verica
entonces que f es convexa si, y slo si, f

(x) 0 para todo xI.
7.41 Denicin(Puntos de inexin). Se dice que a es un punto de inexin de una funcin f ,
si hay un nmero r > 0 tal que f es cncava en el intervalo ]ar, a[ y f es convexa en el intervalo
]a, a+r[ (o al revs). Es decir, los puntos en los que una funcin pasa de cncava a convexa o de
convexa a cncava se llaman puntos de inexin.
El siguiente resultado se prueba fcilmente y queda como ejercicio.
7.42 Proposicin. Si f tiene un punto de inexin en a y es dos veces derivable en a, entonces
f

(a)=0.
7.4. Ejercicios
Empezaremos con algunas de las aplicaciones ms sencillas y atractivas del clculo dife-
rencial. En esquema, se trata de lo siguiente: calcular la tasa de variacin de una magnitud
cuando se conoce la tasa de variacin de otra magnitud relacionada con ella. En este tipo
de ejercicios la tasa de variacin se interpreta como una derivada y, en la mayora de los
casos, basta usar la regla de la cadena para obtener lo que se pide. Hay que elegir las uni-
dades de acuerdo con los datos del problema; por ejemplo, si un volumen se mide en litros
tendremos que medir longitudes con decmetros.
1. Con qu rapidez baja el nivel del agua contenida en un depsito cilndrico si estamos
vacindolo a razn de 3000 litros por minuto?
2. Un punto P se mueve sobre la parte de la parbola x = y
2
situada en el primer cuadrante
de forma que su coordenada x est aumentando a razn de 5 cm/sg. Calcula la velocidad
a la que el punto P se aleja del origen cuando x = 9.
3. Se est llenando un depsito cnico apoyado en su vrtice a razn de 9 litros por segundo.
Sabiendo que la altura del depsito es de 10 metros y el radio de la tapadera de 5 metros,
con qu rapidez se eleva el nivel del agua cuando ha alcanzado una profundidad de 6
metros?
4. El volumen de un cubo est aumentando a razn de 70 cm
3
por minuto. Con qu rapidez
est aumentando el rea cuando la longitud del lado es de 12 cm?
5. Un barco A se desplaza hacia el oeste con una velocidad de 20 millas por hora y otro
barco B avanza hacia el norte a 15 millas por hora. Ambos se dirigen hacia un punto O del
ocano en el cual sus rutas se cruzan. Sabiendo que las distancias iniciales de los barcos
A y B al punto O son, respectivamente, de 15 y de 60 millas, se pregunta: A qu velocidad
se acercan (o se alejan) los barcos entre s cuando ha transcurrido una hora? Y cuando
han transcurrido 2 horas? En qu momento estn ms prximos uno de otro?
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 92
6. Una bola esfrica de hielo se est derritiendo de forma uniforme en toda la supercie, a
razn de 50 cm
3
por minuto. Con qu velocidad est disminuyendo el radio de la bola
cuando este mide 15cm?
Una de las aplicaciones ms tiles de las derivadas es a los problemas de optimizacin.
En dichos problemas se trata, por lo general, de calcular el mximo o el mnimo absolutos
de una magnitud. Hay una gran variedad de problemas que responden a este esquema y
con frecuencia tienen contenido geomtrico o econmico o fsico. Por ello cada uno de estos
ejercicios requiere un estudio particular. Los siguientes consejos pueden ser tiles:
a) Entiende bien el problema. Haz, si es posible, un dibujo o un esquema.
b) Elige las variables y la magnitud, Q, que tienes que optimizar.
c) Estudia las relaciones entre las variables para expresar la magnitud Q como funcin de
una sola de ellas, Q = f (x).
d) Las condiciones del problema deben permitir establecer el dominio de f .
e) Estudia la variacin del signo de la derivada de f en su dominio para calcular mximos
y mnimos absolutos.
7. Dadoun punto P= (a, b) situado en el primer cuadrante del plano, determina el segmento
con extremos en los ejes coordenados y que pasa por P que tiene longitud mnima.
8. Demuestra que entre todos los rectngulos con un permetro dado, el que tiene mayor
rea es un cuadrado.
9. Determina el rectngulo con lados paralelos a los ejes coordenados, inscrito en la elipse
de ecuacin
x
2
a
2
+
y
2
b
2
= 1, y que tenga rea mxima.
10. Calcula el rea mxima de un rectngulo que tiene dos vrtices sobre una circunferencia
y su base est sobre una cuerda dada de dicha circunferencia.
11. Encuentra un punto P de la circunferencia x
2
+y
2
=1 con coordenadas positivas y tal que
el tringulo cuyos vrtices son (0,0) y las intersecciones de la tangente a la circunferencia
en P con los ejes coordenados tenga rea mnima.
12. Calcula unpunto (u, v) (u >0, v >0) de la elipse de ecuacin
x
2
25
+
y
2
16
=1 tal que la tangente
a la elipse en dicho punto determine con los ejes un segmento de longitud mnima.
13. Se quiere construir una caja sin tapa con una lmina metlica rectangular cortando cua-
drados iguales en cada esquina y doblando hacia arriba los bordes. Halla las dimensiones
de la caja de mayor volumen que puede construirse de tal modo si los lados de la lmina
rectangular miden: a) 10 cm. y 10 cm. b) 12cm. y 18cm.
14. Calcula las dimensiones (radio y altura) de una lata cilndrica de un litro de capacidad
cuya supercie total sea mnima.
15. Calcula las dimensiones (radio y altura) de una lata cilndrica de un litro de capacidad
cuyocosto de produccinsea mnimo. Se supone que no se desperdicia aluminio al cortar
los lados de la lata, pero las tapas de radio r se cortan de cuadrados de lado 2r por lo que
se produce una prdida de metal.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 93
16. Calcula la longitud de la escalera ms larga que llevada en posicin horizontal puede pa-
sar por la esquina que forman dos corredores de anchuras respectivas a y b.
17. Calcula las dimensiones del rectngulo de rea mxima que puede inscribirse dentro de
un semicrculo de radio 2.
18. Se necesita construir un depsito de acero de 500 m
3
, de forma rectangular con base cua-
drada y sin tapa. Tu trabajo, como ingeniero de produccin, es hallar las dimensiones del
depsito para que su costo de produccin sea mnimo.
19. Halla el volumen del cilindro circular recto ms grande que puede inscribirse en una es-
fera de radio (a > 0).
20. Halla el volumen del cilindro circular recto ms grande que puede inscribirse en un cono
circular recto de altura h y radio r conocidos.
21. Halla el volumen del cono circular recto ms grande que puede inscribirse en una esfera
de radio (a > 0).
22. La resistencia de una viga de madera de seccin rectangular es proporcional a su anchura
y al cuadrado de su altura. Calcula las dimensiones de la viga ms resistente que puede
cortarse de un tronco de madera de radio r.
23. Calcula la distancia mnima del punto (6, 3) a la parbola de ecuacin y = x
2
.
24. Una empresa tiene 100 casas para alquilar. Cuando la renta es de 80 libras al mes, todas
las casas estn ocupadas. Por cada 4 libras de incremento de la renta una casa queda des-
habitada. Cada casa alquilada supone a la empresa un coste de 8 libras para reparaciones
diversas. Cul es la renta mensual que permite obtener mayor benecio?
25. Una empresa produce semanalmente 300 bicicletas de montaa que vende ntegramen-
te al precio de 600 euros cada una. Tras un anlisis de mercados observa que si vara el
precio, tambin varan sus ventas (de forma continua) segn la siguiente proporcin: por
cada 7 euros que aumente o disminuya el precio de sus bicicletas, disminuye o aumenta
la venta en 3 unidades.
a) Puede aumentar el precio y obtener mayores ingresos?
b) A qu precio los ingresos sern mximos?
26. En la orilla de un ro de 100 metros de ancho est situada una planta elctrica y en la
orilla opuesta, y a 500 metros ro arriba, se est construyendo una fbrica. Sabiendo que
el ro es rectilneo entre la planta y la fbrica, que el tendido de cables a lo largo de la orilla
cuesta a 9 euros cada metroy que el tendidode cables sobre el agua cuesta a 15 euros cada
metro, cul es la longitud del tendido ms econmico posible entre la planta elctrica y
la fbrica?.
27. Se proyecta un jardn en forma de sector circular de radio R y ngulo central (medido
en radianes). El rea del jardn ha de ser A ja. Qu valores de R y hacen mnimo el
permetro del jardn?.
28. Se corta un alambre de longitud L formando un crculo con uno de los trozos y un cua-
drado con el otro. Calcula por dnde se debe cortar para que la suma de las reas de las
dos guras sea mxima o sea mnima.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 94
29. Dados dos puntos A y B situados en el primer cuadrante del plano, dgase cul es el ca-
mino ms corto para ir de A a B pasando por un punto del eje de abscisas.
30. Se desea construir una ventana con forma de rectngulo coronado de un semicrculo de
dimetroigual a la base del rectngulo. Pondremos cristal blanco enla parte rectangular y
cristal de color en el semicrculo. Sabiendo que el cristal coloreado deja pasar la mitad de
luz (por unidad de supercie) que el blanco, calcula las dimensiones de la ventana para
conseguir la mxima luminosidad si se ha de mantener un permetro constante dado.
31. Se desea confeccionar una tienda de campaa cnica de un volumen determinado. Cal-
cula sus dimensiones para que la cantidad de lona necesaria sea mnima.
32. Se desea construir un silo, con un volumen V determinado, que tenga la forma de un ci-
lindro rematado por una semiesfera. El costo de construccin (por unidad de supercie)
es dable para la semiesfera que para el cilindro (la base es gratis). Determnense las di-
mensiones ptimas para minimizar el costo de construccin.
33. Demuestra que de todos los tringulos issceles que se pueden circunscribir a una cir-
cunferencia de radio r, el de rea mnima es el equiltero de altura 3r.
34. (*) Se considera la elipse
x
2
a
2
+
y
2
b
2
=1. Calcula el tringulo issceles de rea mxima inscri-
to en dicha elipse, que tiene un vrtice en el punto (0, b) y base paralela al eje de abscisas.
35. Con una cuerda de longitud L, en la que en uno de sus extremos hemos hecho un nudo
corredizo, rodeamos una columna circular de radio R haciendo pasar el otro extremo por
el nudo. Calcula la mxima distancia posible del extremo libre al centro de la columna.
Uno de los resultados ms tiles del clculo diferencial son las Reglas de LHpital que per-
miten resolver las indeterminaciones en el clculo de lmites.
36. Calcula el lmite en el punto a que en cada caso se indica de las funciones f :]0, /2[R.
f (x) = (senx +cosx)
1/x
, a = 0; f (x) = (1 +tgx)
1/x
2
, a = 0
f (x) = (cot x)
sen x
, a = 0, /2; f (x) =
_
cos
2
x +
x
2
2
_
1/x
2
, a = 0
f (x) = (1 +senx)
cotgx
, a = 0, /2; f (x) =
log(senx)
(1x)
2
, a = /3
f (x) =
x arctgx
sen
3
x
, a = 0; f (x) =
(tgx)(arctgx) x
2
x
6
, a = 0
f (x) =
e
x
cos

8x x
tg
3
x
, a = 0; f (x) =
_
senx
x
_
1/(1cosx)
, a = 0
37. Calcula el lmite en el punto a que en cada caso se indica de las funciones f : R
+
R.
f (x) =
x
2
sen1/x
logx
, a = +; f (x) = sen

1 +xsen

x, a = +
f (x) = senxsen
1
x
, a = 0, a = +; f (x) =
_
cos

x +2
_
x
3
, a = +
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 95
38. Sea g : R R derivable en R y dos veces derivable en 0 siendo, adems, g(0) = 4. Dena-
mos f : R R por f (x) =
g(x)
x
si x 0, f (8) = g

(0). Estudia la derivabilidad de f . Es f

continua en 0?.
39. Sean f , g :] 1, [R las funciones denidas por
f (x) =
log(1 +x)
x
, f (0) = 1; g(x) = e
f (x)
Calcula las derivadas primera y segunda de f y g en 0 y deduce el valor del lmite
lm
x0
(1 +x)
1/x
e+
e
2
x
x
2
40. Estudia la derivabilidad de las siguientes funciones.
a) f : R
+
R, dada por f (x) = x
1/(x
2
1)
, f (1) =

e
b) f :] 1/2, +[R, dada por f (x) = (x +e
x
)
1/x
, f (0) = e
2
.
c) f : [0, +[R, dada por f (x) = (1 +x logx)
1/x
, f (0) = 0.
d) f :] /2, /2[R, dada por f (x) =
_
senx
x
_
1/x
2
, f (0) = e
1/6
.
e) f : R R, dada por f (x) =
_
2 +x
2
_
sen(1/x)
, f (0) = 1.
41. Calcula los lmites
lm
x0
_
1
sen
2
x

1
x
2
_
; lm
x0
(1 +x)
1/x
e
x
; lm
x1
_
1
logx

1
x 1
_
lm
x0
x e
2x
+x e
x
2e
2x
+2e
x
(e
x
1)
3
; lm
x+
_

2
arctgx
_
1/logx
Sugerencia: pueden usarse directamente las reglas de LHpital pero eso es ms conve-
niente realizar previamente alguna transformacin.
42. Explica si es correcto usar las reglas de LHpital para calcular los lmites:
lm
x+
x senx
x +senx
; lm
x0
x
2
sen(1/x)
senx
.
El teorema de los ceros de Bolzano, junto con el teorema de Rolle, permiten determinar en
muchas ocasiones el nmero de ceros reales de una funcin.
43. Calcula el nmero de ceros y la imagen de la funcin f : R R, f (x) = x
6
3x
2
+2.
44. Calcula el nmero de soluciones de la ecuacin 3logx x = 0.
45. Determina el nmero de races reales de la ecuacin 2x
3
3x
2
12x = m segn el valor de
m.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 96
46. Sea f una funcin polinmica y a <b. Justica que, contando cada cero tantas veces como
su orden, si f (a) f (b) < 0 el nmero de ceros de f en ]a, b[ es impar; y si f (a) f (b) > 0 di-
cho nmero (caso de que haya algn cero) es par. Dedzcase que si f tiene grado n, es
condicin necesaria y suciente para que f tenga n races reales distintas que su deri-
vada tenga n 1 races reales distintas: c
1
< c
2
< < c
n1
y que para < c
1
sucien-
temente pequeo y para > c
n1
sucientemente grande, los signos de los nmeros
f (), f (c
1
), f (c
2
), . . . , f (c
n1
), f () vayan alternando.
Aplicacin:
a) Determina para qu valores de la funcin polinmica 3x
4
8x
3
6x
2
+24x +
tiene cuatro races reales distintas.
b) Estudia el nmero de races reales de la ecuacin 3x
5
+5x
3
30x = , segn los valo-
res de .
47. Dado nN, sea f (x) = (x
2
1)
n
(xR). Prueba que la derivada k-sima (1 k n) de f tiene
exactamente k races reales distintas en el intervalo ] 1, 1[.
El teorema del valor medio permite acotar el incremento de una funcin por el incremento
de la variable y una cota de la derivada. Esto da lugar a muchas desigualdades interesantes.
Por otra parte, algunas de las desigualdades ms tiles son consecuencia de la convexidad.
Los siguientes ejercicios tratan de ello.
48. Supuesto que a > 0, demuestra que a elogx x
a
para todo x > 0.
49. Dado ]0, 1[ demuestra que
x

< x +1 para todo xR

+
\{1}.
50. Sean 0 < a < b. Prueba que si b e entonces a
b
< b
a
, y si e a entonces b
a
< a
b
. Qu
puede decirse si a < e < b?.
Sugerencia: considera la funcin x
logx
x
.
51. Hay algn nmero a > 0 que verique que a
x/a
x para todo x R
+
?. Cul es dicho
nmero?
52. Prueba que para todo x]0, /2[ se verica que
i) 1
x
2
2
< cosx; ii)
2x

< senx < x < tgx

El teorema de Taylor se usa para obtener aproximaciones polinomiales de una funcin da-
da y para calcular valores aproximados con precisin prejada.
53. Calclese una funcin polinmica tal que lm
x0
3

1 +x(x)
x
5
= 0.
54. Calcular una funcin polinmica tal que lm
x0
logarctg(x +1) (x)
x
2
= 0.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 97
55. Justica que las nicas funciones n veces derivables con derivada de orden n constante
son las funciones polinmicas de grado n.
56. Calcula, usando un desarrollo de Taylor conveniente,

2 con nueve cifras decimales
exactas.
57. Calcular, usando un desarrollo de Taylor conveniente, un valor aproximado del nmero
real con un error menor de 10
2
en cada uno de los casos siguientes:
a) =
3

7 b) =

e c) = sen
1
2
d) = sen(61)
58. Calcula los polinomios de Taylor de orden n en el punto 0 de las funciones expx, senx, cosx,
log(1 +x), arctgx, (1 +x)

(R), arcsenx.
Una de las aplicaciones ms comunes de las derivadas es el trazado de grcas. Para trazar
la grca de una funcin f se debe tener en cuenta:
1. Propiedades de simetra o de periodicidad de f .
2. Los puntos en que se anula la primera o la segunda derivada de f y los puntos en los que
f no es derivable.
3. Los intervalos en que f

tiene signo constante. Lo que nos informa del crecimiento y de-
crecimiento de f y tambin de la naturaleza de los puntos singulares (mximos y mnimos
locales).
4. Los intervalos en que la derivada segunda tiene signo constante. Lo que nos informa de
la convexidad y concavidad, as como de los puntos de inexin.
5. Hallar las asntotas.
Asntota vertical. La recta x = c es una asntota vertical de la grca de f si alguno de los
lmites laterales de f en c es innito.
Asntota horizontal. La recta y = L es una asntota horizontal de la grca de f si f tiene
lmite en + o en igual a L.
Asntotaoblicua. Si f es una funcin racional conel grado del numerador una unidad ma-
yor que el grado del denominador, entonces puede escribirse de la forma f (x) = mx +b +g(x)
donde lm
x+
g(x) = 0 y la recta y = mx +b es una asntota oblicua de la grca de f .
6. Dibujar mximos, mnimos, puntos de inexin, cortes con los ejes y cortes con las asn-
totas.
59. Dibuja las grcas de las funciones siguientes:
a) f (x) = 3x
5
5x
3
+2 b) f (x) =
x
2
+1
x
2
1
c) f (x) =
x
2
2x +2
x 1
d) f (x) =|x|
2x
e) f (x) =
3
_
x
2
(x 2)
2
f ) f (x) = x
4
4x
3
+10
60. La gura muestra la grca de una funcin f dos veces derivable. Estudia el signo de la
primera y la segunda derivada de f en cada uno de los seis puntos indicados.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 98
A
B
C
D
E
F
O
61. Una partcula se mueve a lo largo de una lnea recta. En la siguiente grca se muestra la
distancia s de dicha partcula al origen en el tiempo t.
Indica, a la vista de la grca y de forma aproximada:
a) Cundo la partcula se est alejando o acercando al origen;
b) Cundo la partcula est acelerando y cundo est frenando.
1 2
t
s
62. Traza la grca de una funcin f dos veces derivable en R, sabiendo que:
a) La grca de f pasa por los puntos (2, 2), (1, 1), (0, 0), (1, 1), (2, 2);
b) f

es positiva en los intervalos ] , 2[ y ]0, 2[, y es negativa en ] 2, 0[ y ]2, +[;
c) f

es negativa en los intervalos ] , 1[ y ]1, +[, y es positiva en el intervalo ] 1, 1[.
63. a) Es cierto que los puntos en los que la derivada segunda se anula son puntos de ine-
xin?
b) Qu puedes decir de los puntos de inexin de una funcin polinmica de grado 2 o
3?
Justica tus respuestas.
64. Es cierto que la grca de toda funcin polinmica de grado par tiene tangente horizon-
tal en algn punto? Y si el grado es impar? Justica tus respuestas.
Consideraremos ahora el problema de hallar el mximo o mnimo absolutos de una fun-
cin continua f en un intervalo cerrado [a,b]. Para ello puede seguirse el siguiente procedi-
miento:
Paso 1. Hallar todos los puntos x de [a, b] que o bien son puntos singulares de f o son puntos
en los que f no es derivable.
Paso 2. Calcular el valor de f en cada uno de los puntos obtenidos en el Paso 1 y tambin
en a y en b.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 99
Paso 3. Comparar los valores obtenidos en el Paso 2. El mayor de todos ello ser el mximo
absoluto de f en [a, b] y el menor ser el mnimo absoluto de f en [a, b].
65. Calcula los valores mximo y mnimo de las siguientes funciones en los intervalos que se
indican:
a) f (x) = x
3
x
2
8x +1 en el intervalo [2, 2].
b)
x +1
x
2
+1
en el intervalo [1, 2].
c) f (x) =
1
2
(sen
2
x +cosx) +2senx x en el intervalo [0, /2].
d) f (x) =
3

x
2
(5 2x) en el intervalo [1, 2].
e) f (x) =x
3
+12x +5 en el intervalo [3, 3].
Cuando una funcin no est denida en un intervalo cerrado hay que estudiar el signo de
la derivada si queremos calcular mximos o mnimos absolutos cuya existencia habr que
justicar.
66. Calcula el mnimo valor de

n
k=1
(x a
k
)
2
donde a
1
, a
2
, a
n
son nmeros reales dados.
67. Calcula la imagen de f : R
+
R dada por f (x) = x
1/x
.
68. Sea f : R R la funcin denida por f (x) = e
1/x
2
para x 0, y f (0) = 0. Estudia la conti-
nuidad y derivabilidad de f y calcula su imagen.
Los ejercicios que siguen son de clculo de lmites de sucesiones. Debers usar los criterios
de Stolz y de las medias aritmtica y geomtrica y el criterio de equivalencia logartmica.
En general, debes seguir la estrategia bsica de relacionar un lmite de una sucesin con un
lmite funcional apropiado.
69. Supongamos que {x
n
} 0, siendo 1 < x
n
0, y sea R

. Prueba que {(1 +x

n
)

1} es
asintticamente equivalente a {x
n
}.
70. Prueba que la sucesin {logn! } es asintticamente equivalente a {nlogn}.
71. Prueba que la sucesin
_
n
_
1 +1/n

1
_
es asintticamente equivalente a
_
1/n
+1
_
, don-
de > 0.
72. Calcula los lmites de las sucesiones {x
n
} denidas por:
a) x
n
=
1

+2

+3

+ +n

n
+1
, donde >1.
b) x
n
=
k
_
(n +a
1
)(n +a
2
) (n +a
k
) n, donde k N, a
j
R, 1 j k.
c) x
n
=
_

a+
n

b
+
_
n
donde a > 0, b > 0 y , R, + 0.
d) x
n
=
_
1 +2
p/n
+3
p/n
+ + p
p/n
p
_
n
, donde pN.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 100
e) x
n
= n
_
1 +2
k
+3
k
+ +n
k
n
k+1

1
k +1
_
, donde k N.
f ) x
n
=
_
3
4
1 +3
2
+5
2
+ +(2n 1)
2
n
3
_
n
2
g) x
n
= n
__
1 +
1
n
3
log(1 +1/n)
_
n
1
_
h) x
n
=
1
n
_
n +
n 1
2
+
n 2
3
+ +
2
n 1
+
1
n
log(n!)
_
73. Calcula los lmites de las sucesiones {x
n
} denidas por:
a) x
n
=
log
_
1 +
1
2
+ +
1
n
_
log(logn)
; b) x
n
=
e

e
3

e
n

e
n
c) x
n
=
_
1 +
logn
n

_
n
(>0); d) x
n
=
_
log(n +2)
log(n +1)
_
nlogn
e) x
n
=
1
n
n

k=1
1
k
log
k

j=1
_
1 +
1
j
_
j
; f ) x
n
=
(2
n

n1)
n
n
2
g) x
n
= logn
__
log(n +1)
logn
_
n
1
_
; h) x
n
=
n

(pn)!
(qn)
pn
(p, qN)
74. Sabiendo que {a
n
} a, calcula el lmite de las sucesiones:
a) x
n
= n(
n
_
a
n
1)
b) x
n
=
exp(a
1
) +exp(a
2
/2) + +exp(a
n
/n) n
logn
c) x
n
=
a
1
+a
2
/2 + +a
n
/n
logn
75. Sea {x
n
} una sucesin de nmeros positivos tal que
_
x
n+1
x
n
_
LR
+
. Calcula el lmite de
la sucesin
n
_
x
n
n

x
1
x
2
x
n
.
76. Sea {x
n
} una sucesin de nmeros positivos, un nmero real, y supongamos que
{n

x
n
} LR
+
o
. Calcula el lmite de la sucesin n

n
_
x
1
x
2
x
n
.
77. Sean a, b nmeros positivos; denamos x
k
=a+(k1)b para cada k N y sea G
n
la media
geomtrica de x
1
, x
2
, . . . , x
n
y A
n
su media aritmtica. Calcula el lmite de la sucesin
G
n
A
n
.
78. Sea {x
n
}x, {y
n
}y, xy. Denamos z
2n1
=x
n
, y z
2n
=y
n
. Justica que la sucesin
_
z
1
+z
2
+ +z
n
n
_
es convergente.
79. Sean {x
n
}, {y
n
} sucesiones de nmeros positivos tales que {(x
n
)
n
}x>0 {(y
n
)
n
} y >0.
Dados , R
+
, con +=1, calcula lm(x
n
+y
n
)
n
.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 101
80. Sea {a
n
} una sucesin de nmeros positivos tal que {a
1
+a
2
+ +a
n
} es divergente, y sea
{b
n
} L, donde L puede ser un nmero real o . Justica que
_
a
1
b
1
+a
2
b
2
+ +a
n
b
n
a
1
+a
2
+ +a
n
_
L.
Aplicacin. Supuesto que {x
n
} x, calcula lm
1
2
n
n

k=1
_
n
k
_
x
k
.
Acabamos esta larga relacin con algunos ejercicios que me ha parecido que no encajaban
propiamente en ninguno de los apartados anteriores.
81. Supongamos que f es derivable en a, g es continua en a y f (a) = 0. Prueba que f g es
derivable en a.
82. Sea f : [a, b] R derivable y f

creciente. Prueba que la funcin g :]a, b] R dada para
todo x]a, b] por g(x) =
f (x) f (a)
x a
, es creciente.
83. Sea f : [a, b] R continua en [a, b] y derivable dos veces en ]a, b[. Supongamos que el seg-
mento de extremos (a, f (a)), (b, f (b)) corta a la grca de f en un punto (c, f (c)) con
a < c < b. Demuestra que existe algn punto d ]a, b[ tal que f

(d) = 0.
Sugerencia: interpreta grcamente el enunciado.
84. Justica que existe una funcin g : R R derivable y que verica que g(x) +e
g(x)
= x para
todo xR. Calcula g

(1) y g

(1 +e).
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
www.cienciamatematica.com