Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cálculo
Cálculo
Derivadas
El arte de nombrar y de medir con exactitud aquello
de lo que ni siquiera puede concebirse su existencia.
Voltaire
6.1. 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 importancia en ptica y problemas de clculo de valores mximos y mnimos de una funcin dada.
Simplificando, 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 permiten resolver satisfactoriamente dichos problemas. Mientras que el concepto de integral tiene sus races en la
antigedad 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 Leibniz (1646 - 1716) de la relacin entre estas dos ideas, tan dispares en apariencia,
lo que inici el magnfico desarrollo del Clculo. Si bien los trabajos de Newton y Leibniz son
decisivos por sus aportaciones e influencia, no hay que olvidar que ellos son el punto culminante de un largo proceso en el que han participado cientficos 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.
201
202
f .a/
a
.x; f .x//
f .x/
.a; f .a//
x
f .a/
f .a/
a
Universidad de Granada
Dpto. de Anlisis Matemtico
203
la variable y lo hace de f .a/ a f .x/. La razn de cambio promedio de y D f .x/ con respecto
a x en el intervalo a; x es:
Razn de cambio promedio D
f .x/
x
f .a/
a
Con frecuencia interesa considerar la razn de cambio en intervalos cada vez ms pequeos.
Esto lleva a definir lo que podemos llamar razn de cambio puntual de y D f .x/ con respecto
a x en el punto a como:
f .x/ f .a/
lKm
:
x!a
x a
El ejemplo ms conocido de esto que decimos es el de un mvil que se mueve a lo largo de una
recta sobre la cual hemos elegido un origen. Sea s.t/ la posicin del mvil en el tiempo t , es
decir, la distancia con signo del mvil al origen en el tiempo t. La razn de cambio promedio
tiene en este caso una interpretacin fsica natural:
s.a C h/
h
s.a/
s.a/
Notacin. En lo que sigue usaremos las letras I , J para representar intervalos no vacos de
nmeros reales.
6.1 Definicin. Se dice que una funcin f W I ! R es derivable en un punto a 2 I , si existe
el lmite:
f .x/ f .a/
lKm
:
x!a
x a
Explcitamente, f es derivable en a si hay un nmero L 2 R verificando que para cada nmero
" > 0 existe algn nmero > 0 tal que para todo x 2 I con x a y j x a j< se tiene que:
f .x/ f .a/
L 6 ":
x a
Dicho nmero L se llama derivada de f en a y lo representaremos por f 0 .a/ (notacin debida
a Lagrange).
204
6.2 Definicin. Dada una funcin f WI ! R derivable en todo punto de I , la funcin derivada
de f es la funcin f 0 W I ! R que a cada punto x 2 I hace corresponder la derivada de f en
dicho punto.
6.3 Observaciones. i) El lmite
f .x/
x!a
x
lKm
f .a/
se puede escribir tambin de la forma
a
f .a C h/ f .a/
:
h
h!0
ii) La derivabilidad de f en un punto a 2 I es una propiedad local, depende solamente del
comportamiento de f en los puntos de I prximos al punto a. Concretamente, si J es cualquier
intervalo abierto que contiene el punto a, se verifica que f es derivable en a si, y slo si, la
funcin restriccin fjI \J es derivable en a y, por supuesto, en tal caso ambas funciones tienen
la misma derivada en a.
lKm
df .x/
para representar la derivada de f en
dx
Leibniz interpretaba ese smbolo como un cociente diferencial pues l lo entenda as:
como un cociente de cantidades infinitesimales, y lo manejaba como un cociente; por ejemplo,
se puede multiplicar o dividir, segn convenga, por dx o df .x/ . En el captulo 5 hemos visto
los problemas que planteaba el uso de cantidades infinitesimales, y cmo, finalmente, a partir
del ltimo tercio del siglo XIX, fueron totalmente abandonadas. Por eso, la interpretacin de
Leibniz de la derivada, aunque intuitiva, no es la que se sigue en la gran mayora de los cursos
de clculo1 .
A pesar de lo dicho, es frecuente, sobre todo en libros de ingeniera, usar la notacin de
Leibniz y manejarla como l lo haca. Creo que esto es til porque la notacin de Leibniz
tiene una gran fuerza heurstica, y no debe presentar ningn problema, siempre que no acabes
creyendo que una derivada, tal como la hemos definido, es un cociente de infinitsimos. Y
siempre que dicha notacin se use como un mero simbolismo y no se hagan demostraciones
apoyadas en su supuesta significacin.
Una dificultad de la notacin de Leibniz es que no es cmoda para representar la derivada
df .x/
es la funcin derivada f 0 .x/, pero cmo
en un punto concreto. Podemos entender que
dx
df .x/
df .a/
y
.a/ son confusas.
indicamos la derivada en punto concreto a? Las notaciones
dx
dx
Lo que suele hacerse es escribir:
df .x/
dx xDa
que, realmente, es una notacin incmoda. Una posible mejora sera escribir
df
.x/ para
dx
df
.a/ indicara f 0 .a/.
dx
La verdad es que la mayora de los libros de ingeniera que usan estas notaciones lo hacen
sin preocuparse mucho por su significado, y esa es una causa importante de que muchas veces
no se entienda bien lo que escriben. Las notaciones son importantes y hay que manejarlas
representar f 0 .x/, en cuyo caso
1 Aunque
Universidad de Granada
Dpto. de Anlisis Matemtico
205
cuidadosamente. Y todava ms, cuando una notacin se supone que tiene un significado casi
mgico, y que por su fuerza simblica ella sola, por s misma, proporciona demostraciones.
Volveremos a considerar este asunto ms adelante.
6.4 Definicin. Supuesto que f es derivable en a, la recta de ecuacin cartesiana:
y D f .a/ C f 0 .a/.x
a/
se llama recta tangente a la grfica de f en el punto .a; f .a//, y tambin recta tangente a f
en x D a.
Cuando f 0 .a/ 0, la recta de ecuacin:
y D f .a/
0 .a/ .x
a/
En la figura 6.2 se han representado algunos elementos de una curva que se expresan por
medio de la derivada.
U
P
O
V
Derivadas laterales
206
x!a
x<a
f .x/
x
f .a/
:
a
x!a
x>a
f .x/
x
f .a/
:
a
Universidad de Granada
Dpto. de Anlisis Matemtico
207
a/
f .x/
x
f .a/
a
.x 2 I; x a/
x!a
D
D
D
f .x/
x
f .x/
x
g.x/
x
f .a/
g.x/ g.a/
C
a
x a
f .a/
g.x/
g.x/ C f .a/
a
x
g.a/
a
g.a/
1
a
g.x/g.a/
De la primera y segunda igualdades se deduce, tomando lmites para x ! a , las reglas para
la derivada de una suma y de un producto. Igualmente, de la tercera igualdad, se deduce la
derivada de g1 , de donde, se obtiene la derivada de fg D f g1 haciendo uso de la regla para
derivar un producto.
2
Como las funciones constantes tienen derivada nula en todo punto y la funcin identidad,
f .x/ D x, tiene derivada igual a 1 en todo punto, aplicando las reglas de derivacin anteriores
se obtiene el siguiente corolario.
6.8 Corolario. Las funciones polinmicas son derivables en todo punto y las funciones racionales son derivables en todo punto de su conjunto natural de definicin. Adems la derivada de
la funcin polinmica f .x/ D a0 C a1 x C a2 x 2 C C an x n en cada punto x 2 R viene
dada por:
f 0 .x/ D a1 C 2a2 x C 3a3 x 2 C C nan x n 1
Universidad de Granada
Dpto. de Anlisis Matemtico
208
y!b
f .x/
g.b/
lKm
x!a
b
x
g.y/
y
h.x/
x
h.a/
D g 0 .b/f 0 .a/.
a
f .a/
D g 0 .b/f 0 .a/
a
g.y/
y
g.b/
.y b/; '.b/ D g 0 .b/
b
Con ello la funcin ' es continua en b. Es inmediato ahora comprobar que para todo x 2 I con
x a se verifica que:
h.x/ h.a/
f .x/ f .a/
D '.f .x//
:
(6.1)
x a
x a
Ahora, como f es continua en a (porque es derivable en a) y ' es continua en b D f .a/, se
sigue que ' f es continua en a, por lo que:
lKm '.f .x// D '.f .a// D '.b/ D g 0 .b/:
x!a
x!a
h.x/
x
h.a/
D g 0 .b/f 0 .a/
a
(6.2)
Hemos acabado. Todo lo que hemos hecho ha sido multiplicar y dividir por dx .
No s lo que pensar t de esto, pero a m me parecera una broma que alguien pretendiera
que lo que hemos hecho es una demostracin. Primero: qu es dx ? Porque si es un smbolo,
Universidad de Granada
Dpto. de Anlisis Matemtico
209
no tiene sentido multiplicar y dividir por l (salvo que a esta operacin se le hubiera asignado
previamente un significado preciso) y si es un nmero cmo est definido? qu relacin
tiene ese nmero con la derivada? Preguntas sin respuesta. A esto me refera al decir que una
notacin, por s sola, no sirve para demostrar nada.
Adems, el simbolismo empleado en la igualdad (6.2) no indica dnde se evala cada una
de las derivadas, y eso es fundamental para entender la regla de la cadena. Fjate que la regla
de la cadena nos dice que la derivada de una funcin compuesta de dos funciones derivables,
h.x/ D .g f /.x/, viene dada por
h 0 .x/ D g 0 .f .x//f 0 .x/ D .g 0 f /.x/f 0 .x/
(6.3)
que es un producto de dos funciones, g 0 .f .x// y f 0 .x/, pero la primera de ellas g 0 .f .x// D
.g 0 f /.x/ es una funcin compuesta. Por eso si queremos volver a derivar en la igualdad (6.3),
debemos aplicar la regla para derivar un producto y, para derivar el primer factor, debemos
aplicar la regla de la cadena. Es por eso que, en la regla de la cadena, es fundamental indicar
los puntos donde se evalan las derivadas.
La notacin en la igualdad (6.2) es mala porque no indica dnde se evala cada una de las
derivadas. Pero tambin es mala por las razones siguientes.
Una misma letra representa dos funciones distintas. En (6.2) la letra y aparece a la
izquierda y a la derecha. A la izquierda representa la funcin compuesta y D g.f .t//, a la
derecha representa la funcin y D g.x/.
Una misma letra representa una funcin y una variable. La letra x en la parte derecha
representa la variable en y D g.x/, y tambin representa la funcin x D f .t/.
Demasiado confuso verdad? A pesar de lo dicho, la igualdad (6.2) aparece en muchos
textos de matemticas para ingenieros y en textos de fsica, sin ningn comentario, sin explicar
lo que significa y pretendiendo que constituye por s misma una demostracin. Lo peor de todo,
es que si te la ensean as puedes creer que la entiendes, y entonces una de dos: o la entiendes
de verdad, como acabo de explicarlo, o te engaas y realmente no sabes lo que crees saber.
Lamentablemente, de estas dos posibilidades la ms frecuente es la segunda.
Y. . . sin embargo, la igualdad (6.2) es muy simple y fcil de recordar, y permite conjeturar
la regla de la cadena sin necesidad de demostrarla (por eso decimos que la notacin de Leibniz
tiene un gran valor heurstico). Mi consejo es el siguiente: puedes usar la notacin de Leibniz
siempre que te ayude en lo clculos, pero no debes dejarte llevar por la notacin sino que debes
entender lo que ests haciendo en cada momento.
6.10 Ejemplo. Sabiendo que y D sen x y x D cos t, se pide calcular la derivada de y con
respecto a t.
Lo que nos piden es calcular la derivada de la funcin compuesta h.t/ D sen.cos t/. Aqu
g.x/ D sen x, f .t/ D cos t . Tenemos que
h 0 .t/ D g 0 .f .t //f 0 .t / D
cos.cos t/ sen t
Al estilo Leibniz:
dy dx
dy
D
D cos x. sen t/ D cos x sen t
dt
dx dt
Pero esta igualdad debe ser funcin de t por lo que hay que sustituir x D cos t y se vuelve a
obtener el resultado anterior.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
210
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
211
Los siguientes ejercicios son de clculo de derivadas y de tangentes y normales a distintas curvas. Cuando en un ejercicio intervienen parmetros, debes expresar las soluciones
de la forma ms sencilla posible.
185. Calcula .f g/0 .x/ en el valor indicado de x en los siguientes casos:
2x
; g.x/ D 10x 2 C x C 1; x D 0
C1
1
x 1 2
; g.x/ D 2 1; x D 1
2. f .x/ D
xC1
x
1. f .x/ D
x2
186. Calcula en cada caso el valor de a y b en funcin de c, para que exista la derivada en el
punto c de cada una de las siguientes funciones:
8
2
< 1 ;
jxj > c
cos x;
x6c
x ;
x6c
f .x/D
f .x/D
f .x/D jxj
ax
C
b;
x>c
ax C b; x > c
:
a C bx 2 ; jxj 6 c
187. Supongamos que f es derivable en a, g es continua en a y f .a/ D 0. Prueba que fg es
derivable en a.
188. Es cierta la igualdad f 0 .a/ D lKm
t !a
f .a C t /
f .a
2t
t/
? Justifica tu respuesta.
189. Supongamos que las funciones f y g y sus derivadas tienen los siguientes valores en
x D 2 y x D 3.
x
2
3
f .x/
8
3
g.x/
2
-4
f 0 .x/
1/3
2
g0 .x/
-3
5
xD3
b) q
f .x/=g.x/;
xD2
d)
xD3
.f .x//2 C .g.x//2 ;
xD2
190. Supongamos que las funciones f y g y sus derivadas tienen los valores que se indican
en la tabla.
x
0
1
2
3
f .x/
1
3
0
2
g.x/
5
-2
2
4
f 0 .x/
2
0
3
1
g0 .x/
-5
1
1
-6
Ejercicios propuestos
212
p
192. Calcula directamente, aplicando la definicin, la derivada de f .x/ D x C 7 en el punto
a D 1.
193. Supongamos que f es una funcin que verifica una desigualdad del tipo jf .x/j 6 jxjr
en algn intervalo abierto que contiene a cero, donde r > 1. Prueba que f es derivable
en 0.
194. Sea f una funcin tal que f .x C h/ D f .x/ C 3xh C h2
Calcula f 0 .0/ y f 0 .2/.
2h para todos x; h 2 R.
kD1
n
X
k.k
1/
kD2
n
D n.n
k
1/2n
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
213
V .t / D 3000
En este tipo de ejercicios la tasa de variacin se interpreta como una derivada: V 0 .t/ D
3000. Fjate que V .t C t0 / V .t0 / V 0 .t0 /t , por lo que la interpretacin es razonable.
El signo negativo de la derivada es obligado ya que el volumen disminuye con el tiempo.
Como el radio es constante pero la altura del agua depende del tiempo, tenemos
V .t/ D r 2 h.t/
y deducimos
V 0 .t/ D 3000 D r 2 h 0 .t /
Por tanto
h 0 .t/ D
3000
r2
3
metros por minuto.
r2
V .t C 1/ V .t /
3000
D
2
r
r2
Solucin. Sean .x.t/; y.t // las coordenadas, medidas en centmetros, del punto P en el
instante t medido en segundos. Nos dicen quepy.t/ > 0 y que x.t/ D y.t/2 . La distancia
del punto P al origen viene dada por f .t/ D x.t/2 C y.t /2 , por lo que
f 0 .t/ D
Lo que nos piden es f 0 .t0 / sabiendo que x.t0 / D 9. En tal caso ha de ser y.t0 / D 3.
Tambin conocemos x 0 .t/ D 5 (cm/sg). Con ello es fcil deducir el valor de y 0 .t0 / D
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
214
x 0 .t0 /
5
D . Finalmente,
2y.t0 /
6
f 0 .t0 / D
45 C 3.5=6/
95
x.t0 /x 0 .t0 / C y.t0 /y 0 .t0 /
cm/sg
D
D p
p
2
2
81 C 9
6 10
x.t0 / C y.t0 /
9
D h.t /2 h 0 .t/:
3
4
10
1
9
0
Luego, cuando h.t0 /D6, deducimos que 3 D 36h .t0 /, esto es, h 0 .t0 /D 3 m/sg
4
10
10
1; 146 m/h.
V 0 .t/ D
Ejercicio resuelto 82 El volumen de un cubo est aumentando a razn de 70 cm3 por minuto.
Con qu rapidez est aumentando el rea cuando la longitud del lado es de 12 cm?
Solucin. Sea V .t/ el volumen del cubo, medido en centmetros cbicos, en el tiempo t ,
medido en minutos. Si L.t/ es la longitud en centmetros del lado en el tiempo t , tenemos
V 0 .t/
. Como nos dicen que V 0 .t / D 70 cm/min,
que V .t/ D L.t/3 , de donde, L 0 .t/ D
3L.t/2
70
. El rea del cubo viene dada por
deducimos que cuando L.t0 / D 12, L 0 .t0 / D
3.12/2
70
S.t/ D 6L.t/2 , deducimos que S 0 .t0 / D 12L.t0 /L 0 .t0 / D
cm2 /min.
3
Ejercicio resuelto 83 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
Ejercicios resueltos
215
f 0 .t / D
20 D 5,
115
millas/h
p
82
Donde el sigo negativo indica que se estn acercando (la distancia entre ellos est disminuyendo).
Cuando han pasado dos horas x.2/ D 15 40 D 25, y.2/ D 60 30 D 30. Deducimos
que
. 25/. 20/ C 30. 15/
10
f 0 .2/ D p
Dp
millas/h
61
. 25/2 C .30/2
Donde el sigo positivo indica que se estn alejando (la distancia entre ellos est aumentando).
La distancia entre los dos barcos es mnima cuando la derivada es nula (fjate que la
derivada pasa de negativa a positiva). La condicin f 0 .t0 / D 0 equivale a la igualdad
20 x.t0 / 15y.t0 / D 0. Sustituyendo en ella x.t0 / D 15 20 t0 , y.t0 / D 60 15 t0 ,
48
117
48
156
obtenemos t0 D 48
25 . x. 25 / D
5 , y. 25 / D 5 . La distancia mnima a que se cruzan
los barcos es f . 48
25 / D 39 millas.
Ejercicio resuelto 84 Una bola esfrica de hielo se est derritiendo de forma uniforme en
toda la superficie, a razn de 50 cm3 por minuto. Con qu velocidad est disminuyendo
el radio de la bola cuando este mide 15 cm?
4
Solucin. El volumen de la bola en el instante t minutos viene dado por V .t/D r .t /3
3
centmetros cbicos. Nos dicen que V 0 .t / D 50. Deducimos que 50 D 4 r .t /2 r 0 .t/.
Si r .t0 / D 15, se sigue que
r 0 .t0 / D
50
D
4 .15/2
1
cm/min
18
Ejercicio resuelto 85 Calcula .f g/0 .x/ en el valor indicado de x en los siguientes casos:
a) f .x/ D
2x
;
C1
x2
Universidad de Granada
Dpto. de Anlisis Matemtico
g.x/ D 10x 2 C x C 1;
xD0
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
b) f .x/ D
216
x 1
xC1
2
g.x/ D
1
x2
1;
xD 1
Solucin. Este ejercicio lo puedes hacer de dos formas: calculando en caso la funcin
compuesta .f g/.x/ y derivndola, o aplicando la regla de la cadena sin necesidad de
calcular previamente la funcin compuesta. Esta segunda forma es mucho ms rpida.
Las derivadas que nos piden son las siguientes.
a) f 0 .x/D
2 x2
; g 0 .x/D20x C1 .f g/0 .0/Df 0 .g.0//g 0 .0/Df 0 .1/g 0 .0/D
.x 2 C 1/2
1
: El otro apartado se hace igual.
4
Ejercicio resuelto 86 Calcula en cada caso el valor de a y b en funcin de c, para que exista
la derivada en el punto c de cada una de las siguientes funciones:
8
2
< 1 ;
jxj > c
cos x;
x6c
x ;
x6c
f .x/D
f .x/D jxj
f .x/D
ax C b; x > c
ax C b; x > c
:
a C bx 2 ; jxj 6 c
1
Solucin. Consideremos la segunda de las funciones anteriores. Tenemos que f .x/D jxj
1
lKm f .x/D jcj
D 1c . Debemos imponer la condicin a C bc 2 D 1c . Impondremos tambin
x!c
x >c
x!c
x>c
x!c
x>c
1
D
x2
1
:
c2
Anlogamente
lKm f 0 .x/ D lKm 2bx D 2bc:
x!c
x <c
x!c
x<c
1
. Deducimos que bD
c2
1
2c 3
3
.
y aD bc 2 C 1c D 2c
Observa que las condiciones que hemos obtenido son necesarias para que f sea derivable en c. Pero dichas condiciones tambin son suficientes como consecuencia de la
proposicin 6.19. No es necesario, por ello, que comprobemos que, con los valores de a
y de b obtenidos antes, efectivamente f es derivable en c.
f .a C t /
f .a
2t
t/
? Justifica tu
f .a
2t
Universidad de Granada
Dpto. de Anlisis Matemtico
t/
f .a C t/ f .a/ f .a/ f .a t/
C
D
2t
2t
1 f .a C t/ f .a/ 1 f .a t/ f .a/
D
C
2
t
2
t
D
Ejercicios resueltos
217
f .a/
D lKm
f .a
t/ f .a/
D f 0 .a/
t
t !a
Ejercicio resuelto 88 Supongamos que las funciones f y g y sus derivadas tienen los siguientes valores en x D 2 y x D 3.
x
2
3
f .x/
8
3
g.x/
2
-4
f 0 .x/
1/3
2
g0 .x/
-3
5
b) p
f .x/=g.x/; x D 3
d) .f .x//2 C .g.x//2 ;
xD2
5
p .
3 17
Ejercicio resuelto 89 Supongamos que f es una funcin que verifica una desigualdad del
tipo jf .x/j 6 jxjr en algn intervalo abierto que contiene a cero, donde r > 1. Prueba
que f es derivable en 0.
Solucin. La desigualdad jf .x/j 6 jxjr , con r > 0, implica que f .0/ D 0. Tenemos que
x 6 jxj
x 0
Como r
que
x!0
f .x/
lKm
x!0
x
f .0/
D0
0
f .x/
x
x!0
lKm
f .0/
D 0:
0
2
1
Solucin. Para x 0 se verifica que jf .x/j D x sen 6 x 2 . Como f .0/ D 0, resulta
x
que jf .x/j 6 x 2 para todo x 2 R. El ejercicio anterior implica que f es derivable en
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
218
1
x
cos
1
x
Solucin. Dos rectas en el plano son paralelas cuando tienen igual pendiente. Debemos
calcular c por la condicin
f .b/
b
f .a/
b2
Df 0 .c/
a
a2 C .b
b a
a/
D2cC bCaCD2cC cD
aCb
2
Ejercicio resuelto 93 Calcula las ecuaciones de las rectas tangente y normal a una hiprbola
de ecuacin cartesiana y 2 x 2 D 1, en un punto genrico .u; v/ de la misma.
u
u/ D v C p
.x
1 C u2
u/ D v C
u2
ux
v
vy
ux D 1
u/ D v
u
.x
p
1 C u2
u/ D v C
u2
ux
v
vy
ux D 1
ux D 1.
Prof. Javier Prez
Clculo diferencial e integral
219
Podemos proceder tambin sin necesidad de calcular y en funcin de x. Para ello, basta
observar que si expresamos y en funcin de x y obtenemos y D '.x/ entonces se tiene
que '.x/2 x 2 D 1. Podemos derivar ahora la funcin x 7! '.x/2 x 2 con respecto
a x. La derivada es 2'.x/' 0 .x/ 2x y, como dicha funcin es constante igual a 1, su
derivada debe ser nula. Luego
x
2'.x/' 0 .x/ 2x D 0 ' 0 .x/ D
'.x/
Por tanto la derivada en un punto u viene dada por ' 0 .u/ D uv donde v D '.u/. En
consecuencia, la tangente en el punto .u; v/ es la recta de ecuacin:
y D v C ' 0 .u/.x
u/ D v C
u
.x
v
u/ D v C
u2
ux
v
vy
ux D 1
Es decir, de esta forma, sin necesidad de calcular de forma explcita '.x/ (que da lugar a las dos funciones anteriores f .x/ y g.x/), podemos calcular la recta tangente sin
necesidad de considerar cada caso por separado.
Para que te convenzas de que esta forma de proceder es til, considera la hiprbola
x2 p
y 2 D 1. Si ahora pexpresas y como funcin de p
x obtendrs cuatropcurvas:
y1 D x 2 1 e y2 D
x 2 1 para (x > 1), y y3 D x 2 1 e y4 D
x2 1
para (x < 1). Para calcular la tangente en un punto .u; v/ de dicha hiprbola no merece
la pena considerar cada una de ellas por separado. Razonando como antes, se tiene que
de cualquier forma que expresemos y D '.x/ por la condicin de que x 2 '.x/2 D 1,
la derivada viene dada por ' 0 .x/ D x='.x/. Por tanto la ecuacin de la recta tangente en
.u; v/ viene dada por:
y D v C ' 0 .u/.x
u/ D v C
u
.x
v
u/ D v C
u2
ux
v
ux
vy D 1
Ejercicio resuelto 94 Calcula las ecuaciones de las rectas tangente y normal a una elipse de
y2
x2
ecuacin 2 C 2 D 1 en un punto .u; v/ de la misma.
a
b
Solucin. Procediendo como en el ejercicio anterior debes obtener la recta de ecuacin
vy
ux
C 2 D1
2
a
b
Aceptaremos que las funciones logaritmo, exponencial, trigonomtricas y sus inversas, son
derivables, pues ahora no sera fcil probarlo. Ms adelante dispondremos de herramientas para
hacerlo con comodidad.
Universidad de Granada
Dpto. de Anlisis Matemtico
220
.log/0 .x/ D
1
.8x 2 RC /
x
log x
D 1I
1
x!1 x
log.1 C x/
D 1I
x!0
x
lKm
lKm
lKm .1 C x/1=x D e
lKm
x!0
Pues los primeros tres lmites son derivadas y el cuarto se reduce fcilmente al tercero. Deducimos tambin un importante resultado que permite resolver en muchos casos las indeterminaciones 11 y 01.
6.11 Teorema (Criterio de equivalencia logartmica). Sea a 2 I , f y g funciones definidas
en I n fag. Supongamos que f .x/ > 0 para x 2 I n fag, y que lKm f .x/ D 1. Entonces se tiene
x!a
que:
i) lKm f .x/g.x/ D eL si, y slo si, lKm g.x/.f .x/
x!a
x!a
x!a
x!a
1/ D L.
1/ D C.
1/ D .
log x
; .x 1/; '.1/ D 1:
x 1
1/'.f .x//
x!a
x!a
si, y slo si
lKm g.x/.f .x/
x!a
1// D L 2 R [ fCg [ f g
2
Las afirmaciones que se hacen en la siguiente proposicin son consecuencia fcil de la regla
de la cadena.
Universidad de Granada
Dpto. de Anlisis Matemtico
221
6.2.7.2.
Las funciones seno y coseno son derivables en todo punto verificndose que:
sen 0 .x/ D cos x
cos 0 .x/ D
sen x:
x!0
sen x
D 1;
x
lKm
x!0
cos x
x
D 0:
Las derivadas de las dems funciones trigonomtricas se deducen con facilidad a partir de las
derivadas del seno y del coseno.
6.2.7.3.
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 dificultad que
senh 0 .x/ D cosh x;
Las derivadas de las funciones hiperblicas inversas son muy tiles para calcular primitivas de
funciones en las que intervienen races cuadradas de trinomios de segundo grado.
p
argsenh.x/ D log x C x 2 C 1
p
argcosh.x/ D log x C x 2
1
argcosech.x/ D argsenh
x
1
argsech.x/ D argcosh
x
Universidad de Granada
Dpto. de Anlisis Matemtico
x>1
x0
0<x<1
1
argsenh 0 .x/ D p
x2 C 1
1
argcosh 0 .x/ D p
2
x
argcosech 0 .x/ D
1
p
jxj x 2 C 1
argsech 0 .x/ D p
x 1
x2
222
.a; f .a//
.d; f .d //
.b; f .b//
f .a/
f .x/
D f 0 .a/ D lKm
x!a
a
x
x>a
f .a/
a
f .x/
x
f .a/
f .x/
>0, se sigue que lKm
x!a
a
x
x<a
f .a/
>0.
a
f .x/
x
f .x/
f .a/
60, se sigue que lKm
x!a
a
x
x>a
f .a/
60.
a
223
El resultado anterior es uno de los que peor se interpretan debido a que suelen olvidarse sus
hiptesis, que son dos:
~
f 0 .c/ D 0
y D f .x/
Observaciones. Observa que la demostracin del teorema de Rolle que hemos dado, que es la
usual, depende de forma esencial del teorema de Weierstrass 4.29 que garantiza la existencia
de valores extremos absolutos.
El enunciado anterior del teorema de Rolle es el usual; pero, en cierto sentido, es demasiado preciso. Esto se debe a que las hiptesis que se consideran en el teorema son las
mnimas p
indispensables. Por ejemplo, si consideramos la funcin f W 1; 1 ! R dada por
f .x/ D 1 x 2 , cuya grfica es la mitad superior de la circunferencia unidad, se tiene que
f es continua en 1; 1, derivable en 1; 1 y, claro est, su derivada se anula en x D 0.
Esta funcin no es derivable en los extremos del intervalo. Pero la situacin ms corriente es
que la funcin sea derivable en todo el intervalo, incluidos sus extremos. Adems, es frecuente
Universidad de Granada
Dpto. de Anlisis Matemtico
224
trabajar con funciones definidas en intervalos abiertos que no tienen puntos extremos, en cuyo
caso debemos elegir un intervalo apropiado para aplicar el teorema.
El teorema de Rolle se usa para estudiar races de ecuaciones, pues permite relacionar los
ceros de una funcin derivable con los de su derivada. Un cero de una funcin es, naturalmente,
un punto en el que la funcin se anula.
6.16 Corolario. a) Entre cada dos ceros de una funcin derivable en un intervalo hay por lo
menos un cero de su derivada.
b) Entre cada dos ceros consecutivos de la derivada de una funcin en un intervalo, solamente puede haber, como mucho, un cero de la funcin; o puede que la funcin no tenga
ningn cero entre los dos ceros de su derivada.
Demostracin. a) Sea f W I ! R una funcin derivable en un intervalo I . Sean a; b 2 I tales
que f .a/ D f .b/ D 0. El teorema de Rolle nos dice que hay algn punto entre a y b en el que
se anula la derivada de f .
b) Supongamos que s; t son ceros consecutivos de la derivada de f , esto es, f 0 .s/ D f 0 .t/ D 0
y f 0 no se anula en ningn punto comprendido entre s y t. En tal caso puede ocurrir que f no
tenga ningn cero comprendido entre s y t o que tenga solamente uno. No puede ocurrir que
f tenga ms de un cero entre s y t , pues en tal caso su derivada tendra que anularse en algn
punto comprendido entre s y t, cosa que no sucede.
2
El apartado b) suele expresarse diciendo que los ceros de la derivada separan los ceros
de la funcin. Debes entender bien lo que se afirma en b). Por ejemplo, puede ocurrir que la
derivada se anule en varios puntos y la funcin no se anule nunca: la funcin f .x/ D 2 C sen x
no se anula nunca, pero su derivada f 0 .x/ D cos x tiene infinitos ceros.
6.17 Teorema (Teorema del valor medio). Sea f W a; b ! R una funcin continua en a; b
y derivable en a; b. Entonces existe algn punto c 2a; b tal que
f 0 .c/ D
f .b/
b
f .a/
a
(6.4)
D
f .b/
b
f .a/
a
f .b/
b
f .a/
x
a
Universidad de Granada
Dpto. de Anlisis Matemtico
f .b/
b
f .a/
D0
a
2
225
.c; f .c//
y D f .c/ C f 0 .c/.x
c/
.b; f .b//
.a; f .a//
tg./ D
f .b/
b
f .a/
D f 0 .c/
a
Lo que afirma el teorema del valor medio es que el incremento medio de una funcin en un
intervalo es igual a su derivada o incremento puntual en algn punto del mismo. Geomtricamente: la tangente a la grfica de f en algn punto c comprendido entre a y b es paralela a
la cuerda que une los puntos .a; f .a/ y .b; f .b//.
Observa que el teorema del valor medio lo hemos deducido del teorema de Rolle, pero
es evidente que el teorema de Rolle puede deducirse del teorema del valor medio. Son dos
resultados equivalentes. En lo que sigue nos referiremos al teorema del valor medio por las
siglas TVM.
f .y/j 6 M jx
yj
para todos x; y 2 I
(6.5)
f .y/j D jf 0 .z/jjx
yj 6 M jx
yj
226
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
lKm f 0 .x/ D L entonces f es derivable en a y f 0 .a/ D L.
x!a
Demostracin. Supongamos lKm f 0 .x/ D L. Dado " > 0, existe > 0 tal que a
x!a
x<a
; a I
y para a < x < a se verifica que jf 0 .x/ Lj < ". Dado x 2a ; a, podemos aplicar el
teorema del valor medio a la funcin f en el intervalo x; a y deducimos que hay algn punto
c 2x; aa ; a tal que f .x/ f .a/ D f 0 .c/.x a/ y por tanto:
f .x/ f .a/
x a
Lo que prueba que
lKm
x!a
x<a
f .x/
x
f .a/
D L;
a
La proposicin anterior tiene una interesante consecuencia que, entre otras cosas, nos informa de que no toda funcin puede ser la derivada de otra.
6.20 Corolario. Las funciones derivadas definidas en intervalos no tienen discontinuidades
evitables ni de salto.
6.21 Proposicin (Derivabilidad y monotona). Sea f W I ! R derivable en todo punto del
intervalo I con la posible excepcin de los puntos extremos de I . Se verifica entonces que f
es creciente (resp. decreciente) en I si, y slo si, f 0 .x/ > 0 (resp. f 0 .x/ 6 0) para todo x 2 I .
Demostracin. Supongamos que f 0 .x/ > 0 para todo x 2 I . Dados dos puntos u; v 2 I con
u < v, podemos aplicar el teorema del valor medio a f en el intervalo u; v para deducir que
existe c 2u; v tal que f .v/ f .u/ D f 0 .c/.v u/ > 0, por lo que f .u/ 6 f .v/, es decir f
es creciente.
Recprocamente, si f es creciente en I entonces para todos a; x 2 I , con x a, se tiene
f .x/ f .a/
que
> 0, lo que implica que:
x a
lKm
x!a
f .x/
x
f .a/
D f 0 .a/ > 0:
a
2
Este resultado es muy til para probar desigualdades entre funciones. Muchos problemas de
desigualdades responden al siguiente esquema.
6.22 Estrategia. Supuesto que f y g son funciones derivables, para probar que f .x/ 6 g.x/
para todo x > a, se hace lo siguiente:
Universidad de Granada
Dpto. de Anlisis Matemtico
227
Universidad de Granada
Dpto. de Anlisis Matemtico
228
Es importante advertir que el resultado anterior nos dice que si una funcin f es derivable
en un intervalo y la derivada f 0 toma valores positivos y negativos, entonces f 0 se anula en
algn punto. Este resultado recuerda mucho al teorema de los ceros de Bolzano para funciones
continuas en un intervalo, con una notable diferencia: aqu no exigimos que la funcin derivada f 0 sea continua. De hecho, se verifica el siguiente resultado que es un teorema del valor
intermedio para funciones derivadas, en el que no se supone que la derivada sea continua.
6.25 Teorema (Propiedad del valor intermedio para derivadas). Sea ' una funcin definida
en un intervalo I que es la derivada de alguna funcin en dicho intervalo. Entonces se verifica
que la imagen por ' de I , '.I /, es un intervalo.
Demostracin. Por hiptesis hay una funcin derivable f W I ! R tal que '.x/ D f 0 .x/
para todo x 2 I . Sean u D '.a/, v D '.b/ dos valores que toma la funcin ', y supongamos u < v. Dado 2u; v, definimos la funcin g.x/ D f .x/ x. Tenemos entonces
g 0 .a/ D '.a/ D u < 0 y g 0 .b/ D '.b/ D v > 0. Por tanto, la derivada de g
toma valores positivos y negativos en el intervalo I y, por el teorema 6.24, tiene que anularse,
es decir, existe algn punto c 2 I tal que g 0 .c/ D '.c/ D 0, esto es, '.c/ D . Hemos
probado as que si ' toma dos valores tambin toma todos los comprendidos entre ellos dos, es
decir, que '.I / es un intervalo.
2
6.26 Proposicin (Derivacin de la funcin inversa). Sea f WI ! R derivable en el intervalo
I con derivada f 0 .x/0 para todo x 2 I . Entonces f es una biyeccin de I sobre el intervalo
J D f .I /, y la funcin inversa f 1 W J ! R es derivable en J siendo
.f
1 0
/ .y/
f 0 .f
.y 2 J /:
1 .y//
(6.6)
x!a
x
f .x/
x
f .x/
a
f .a/
1
a
D 0 ;
f .a/ f .a/
para x a;
h.a/ D
1
f
0 .a/
h.f
.y// D
1 .y/
f
b
1 .b/
Concluimos as que
lKm
y!b
1 .y/
f
b
1 .b/
1
f
0 .a/
2
La mejor forma de recordar la igualdad (6.6) es derivar por la regla de la cadena la identidad
.f f 1 /.y/Dy, con lo que se obtiene f 0 .f 1 .y//.f 1 / 0 .y/D1, de donde puede despejarse
.f 1 / 0 .y/.
Universidad de Granada
Dpto. de Anlisis Matemtico
Reglas de LHpital
229
6.27 Ejemplo (Derivabilidad de las funciones trigonomtricas inversas). La funcin tangente es una biyeccin derivable del intervalo =2; =2 sobre R, cuya derivada no se
anula. El teorema anterior nos dice que la funcin inversa, es decir, la funcin arcotangente es
derivable en R y su derivada podemos calcularla derivando la identidad .tg arc tg/.x/ D x,
con lo que obtenemos
.1 C tg2 .arc tg x// arc tg 0 .x/ D 1 .1 C x 2 / arc tg 0 .x/ D 1 arc tg 0 .x/ D
1
1 C x2
Anlogamente, la funcin seno es una biyeccin derivable del intervalo =2; =2 sobre
1; 1 cuya derivada no se anula. El teorema anterior nos dice que la funcin inversa, es decir,
la funcin arcoseno es derivable en 1; 1 y su derivada podemos calcularla derivando la
identidad .sen arc sen/.x/ D x, con lo que obtenemos:
p
1
cos.arc sen x/ arc sen 0 .x/ D 1 1 x 2 arc sen 0 .x/ D 1 arc sen 0 .x/ D p
1 x2
6.28 Teorema (Teorema del valor medio generalizado). Sean f; g W a; b ! R funciones
continuas en a; b y derivables en a; b. Entonces existe algn punto c 2a; b tal que
.f .b/
g.a//f 0 .c/
Demostracin. Definimos una funcin h.x/ D f .x/ C g.x/ donde , son nmeros que
se eligen de forma que h.a/ D h.b/, esto es, .f .a/ f .b// D .g.b/ g.a//. Basta para
ello tomar D g.b/ g.a/, D f .a/ f .b/. El teorema del Rolle, aplicado a la funcin
h.x/ D .g.b/ g.a//f .x/ .f .b/ f .a//g.x/, nos dice que hay un punto c 2a; b tal que
h 0 .c/ D 0, lo que concluye la demostracin.
2
x!
b) lKm jg.x/j D C
x!
Universidad de Granada
Dpto. de Anlisis Matemtico
Reglas de LHpital
230
Y adems
lKm
x!
f 0 .x/
D L 2 R [ fC; g
g 0 .x/
x!
f .x/
DL
g.x/
Demostracin. Antes de dar una demostracin al uso vamos a explicar por qu la hiptesis de que el cociente de las derivadas tiene lmite implica que tambin lo tiene el cociente
de las funciones. Para fijar ideas, consideremos el caso en que D a es un nmero real y
lKm f .x/ D lKm g.x/ D 0. Definamos f .a/ D g.a/ D 0.
x!
x!
Observa que, aunque el punto .g.x/; f .x// recorre una trayectoria en el plano que termina
.x/
no tiene por qu existir. Ello se debe a que la
en .0; 0/ cuando x D a, el lmite lKmx!a fg.x/
proximidad a .0; 0/ del punto .g.x/; f .x// no proporciona ninguna informacin sobre el valor
.x/
del cociente fg.x/
. Baste considerar que en un crculo centrado en .0; 0/ de radio tan pequeo
como queramos, hay puntos .u; v/ para los que el cociente uv puede tomar cualquier valor.
.x/
como la pendiente de la recta que une .0; 0/
Geomtricamente, podemos interpretar fg.x/
con el punto .g.x/; f .x//. Si imaginamos que el punto .x/ D .g.x/; f .x// recorre una curva
en el plano que termina en .0; 0/, parece evidente que, cuando dicho punto est muy prximo
.x/
a .0; 0/, el nmero fg.x/
est muy prximo a la pendiente de la tangente a en .g.x/; f .x//.
La figura 6.8 puede servir de ayuda.
y D f .x0 / C
f 0 .x0 /
.x
g 0 .x0 /
g.x0 //
f .x/
yD
f .x0 /
f .x0 /
x
g.x0 /
y D Lx
g.x0 /
g.x/
Reglas de LHpital
231
puntos distintos del origen. Para ello podemos usar que el vector tangente a en un punto x0 es
0 .x0 /D.g 0 .x0 /; f 0 .x0 //, y la recta tangente en dicho punto tiene las ecuaciones paramtricas:
.x; y/ D .g.x0 /; f .x0 // C .g 0 .x0 /; f 0 .x0 //
Eliminando el parmetro en esta ecuacin obtenemos la ecuacin cartesiana de la tangente
que resulta ser
f 0 .x0 /
y D f .x0 / C 0
.x g.x0 //
g .x0 /
Lo que nos dice que la pendiente de dicha tangente es
de la tangente a en un punto genrico x a es
f 0 .x/
.
g 0 .x/
f 0 .x0 /
.
g 0 .x0 /
En consecuencia, la pendiente
f 0 .x/
g 0 .x/
tenga lmite L en
x!a
f .a/ D g.a/ D 0. Dado x 2 I , x a, aplicamos el teorema del valor medio generalizado a las
funciones f y g en el intervalo a; x, para obtener cx 2a; x tal que
.f .x/
g.a//f 0 .cx /
es decir, f .x/g 0 .cx / D g.x/f 0 .cx /. Las hiptesis hechas implican que g es estrictamente montona en I y, como g.a/ D 0, deducimos que g.x/ 0 para todo x 2 I . Obtenemos as
que:
f .x/ f 0 .cx /
D 0
:
(6.7)
g.x/
g .cx /
f .t/
L < ".
Por hiptesis, dado " > 0, existe > 0 tal que para a < t < a C es 0
g .t/
Deducimos de la igualdad (6.7) que si a < x < a C se tiene que:
f .x/
implica que g.x/ 0 para todo x 2 I suficientemente prximo al punto a, y por el carcter
local del lmite no es restrictivo suponer que g.x/ 0 para todo x 2 I . Ntese tambin que
las hiptesis hechas implican que g es inyectiva en I . La hiptesis lKm f 0 .x/=g 0 .x/ D L, nos
x!a
Universidad de Granada
Dpto. de Anlisis Matemtico
232
dice que dado " > 0, hay un nmero (fijo en lo que sigue) c 2 I , tal que para a < t 6 c se
verifica que:
0
f .t /
"
(6.8)
g 0 .t / L < 4
Como lKm jg.x/j D C1, hay un nmero > 0 tal que a C 6 c y para a < x < a C se
x!a
verifica que:
jf .c/ Lg.c/j
"
jg.c/j
< 1;
<
(6.9)
jg.x/j
jg.x/j
2
Dado a < x < a C aplicamos el teorema del valor medio generalizado para obtener un punto
cx 2x; c tal que
f .x/ f .c/ f 0 .cx /
D 0
:
g.x/ g.c/
g .cx /
Teniendo en cuenta la identidad:
g.c/
f .c/ Lg.c/
f .x/ f .c/
f .x/
LD
L
1
C
g.x/
g.x/ g.c/
g.x/
g.x/
0
g.c/
f .c/ Lg.c/
f .cx /
L
1
C
D
g 0 .cx /
g.x/
g.x/
deducimos, en virtud de (6.8) y (6.9), que para todo x 2a; a C se verifica que:
f .x/
"
6 2 C " D ":
L
g.x/
4
2
Hemos probado as que lKm f .x/=g.x/ D L. Los casos en que L D se tratan de la misma
x!a
forma.
Los dems casos tienen un tratamiento similar y tambin pueden reducirse a los ya estudiados sin ms que invertir la variable.
2
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.
233
Observemos que una funcin f derivable en un punto a puede ser aproximada localmente
por una funcin polinmica P .x/ de grado 61, de forma que
lKm
x!a
f .x/
x
P .x/
D 0:
a
Es natural preguntarse si, en el caso de que f sea derivable n veces en a, existir una
funcin polinmica P de grado 6n, de forma que
lKm
x!a
f .x/
.x
P .x/
D 0:
a/n
Ntese que, en el caso nD1, el polinomio P .x/Df .a/Cf 0 .a/.x a/ es el nico polinomio de
grado 61 que cumple que P .a/ D f .a/ y P 0 .a/ D f 0 .a/. En el caso general, parece razonable
hallar un polinomio P de grado 6n 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. Sea P .x/
un polinomio genrico de grado menor o igual que n y pongamos Q.x/ D P .x C a/. Notemos
n
X
.k/
.k/
que Q .x/ D P .x C a/ para k D 0; 1; : : : ; n. Sea Q.x/ D
ak x k . Calcularemos los
kD0
coeficientes de Q por la condicin de que Q.k/ .0/ D f .k/ .a/. Con ello se obtiene fcilmente
que ak D f .k/ .a/=k!. Resulta as que el polinomio P dado por:
P .x/ D Q.x
a/ D
n
X
f
kD0
.k/ .a/
k!
.x
a/k
verifica que P .k/.a/DQ.k/ .0/Df .k/ .a/ para k D0; 1; : : : ; n y es el nico polinomio de grado
6n que cumple dichas condiciones.
6.30 Definicin. Sea f una funcin n veces derivable en un punto a. La funcin polinmica
Tn .f; a/ definida para todo x 2 R por
n
X
f .k/ .a/
Tn .f; a/.x/ D f .a/ C
.x
k!
a/k
kD1
x!a
Universidad de Granada
Dpto. de Anlisis Matemtico
f .x/
Tn .f; a/.x/
D 0:
.x a/n
Notacin de Landau
234
Demostracin. Haremos la demostracin por induccin. Para nD1 la afirmacin del enunciado
es cierta sin ms que recordar la definicin de derivada de una funcin en un punto. Supongamos que la afirmacin del enunciado es cierta para toda funcin n veces derivable en a. Sea f
una funcin n C 1 veces derivable en a. Entonces la funcin g D f 0 es n veces derivable en a
y por tanto:
g.x/ Tn .g; a/.x/
lKm
D 0:
x!a
.x a/n
Se comprueba fcilmente que TnC1 0 .f; a/.x/ D Tn .g; a/.x/, con lo cual resulta que
Tn .g; a/.x/ D
g.x/
x!a
f .x/
d
f .x/
dx
TnC1 .f; a/.x/ :
6.32 Corolario. Sea f una funcin definida en un intervalo I que es n C 1 veces derivable
en un punto a 2 I , y sea Tn .f; a/ el polinomio de Taylor de orden n de f en a. Entonces se
verifica que:
1
f .x/ Tn .f; a/.x/
f .nC1/ .a/:
D
lKm
nC1
x!a
.n C 1/!
.x a/
a/n
(6.10)
Esta ltima igualdad suele llamarse en algunos textos Teorema de Taylor con resto infinitesimal
o forma infinitesimal 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/Do.x a/p y .x/Do.x a/q ,
'.x/
entonces '.x/ .x/Do.x a/pCq y, si p > q,
Do.x a/p q y .'.x/C .x//Do.x a/q .
.x/
Adems, si H .x/ es una funcin acotada en un intervalo abierto que contenga al punto a y
sabemos que '.x/ D o.x a/p entonces tambin H .x/'.x/ D o.x a/p .
Universidad de Granada
Dpto. de Anlisis Matemtico
235
n
X
1 k
x
k!
kD1
Como sen 0 .x/ D cos.x/ D sen. 2 C x/, se sigue que sen.n/ .x/ D sen. n
2 C x/. En particular,
n
.n/
sen .0/ D sen. 2 /. Por tanto
Tn .sen; 0/.x/ D
n
X
sen. k
2 / k
x
k!
kD1
.2q 1/
/ D . 1/qC1 , resulta
Como para k par es sen. k
2 / D 0 y para k impar k D 2q 1 es sen.
2
que
n
X
. 1/kC1 2k 1
T2n 1 .sen; 0/.x/ D T2n .sen; 0/.x/ D
x
.2k 1/!
kD1
n.
kD1
. 1/. 2/ . k C 1/
D
k!
k
Por convenio 0 D 1. Con ello podemos escribir
Tn .f; 0/.x/ D
n
X
kD0
xk
Para obtener los polinomios de Taylor de log.1 C x/, arc tg x y arc sen x es conveniente usar la
siguiente relacin, de comprobacin inmediata, entre los polinomios de Taylor de una funcin
' y de su derivada ' 0 que se expresa por:
d
TnC1 .'; a/.x/ D Tn .' 0 ; a/.x/
dx
(6.11)
236
TnC1 .'; a/.x/ sin ms que calcular la primitiva o antiderivada de Tn .' 0 ; a/.x/ que en el punto
a coincida con '.a/. Los siguientes ejemplos son representativos de esta forma de proceder.
En lo que sigue vamos a usar que Tn .'; a/ es el nico polinomio de grado menor o igual
que n tal que '.x/ D Tn .'; a/.x/ C o.x a/n (ver ejercicio 140).
Pongamos f .x/ D log.1 C x/. Tenemos que
f 0 .x/ D
1
D1
1Cx
x C x2
x 3 C C . 1/n x n C . 1/nC1
x nC1
1Cx
x C x2
x 3 C C . 1/n x n
x4
x nC1
C C . 1/n
4
nC1
1
D1
1 C x2
x2 C x4
x 6 C C . 1/n x 2n C . 1/nC1
x 2nC2
1 C x2
x5
x3
C
3
5
x7
x 2nC1
C C . 1/n
7
2n C 1
kD0
n
n
X
X
1=2
1=2
. x 2 /k D
. 1/k x 2k
k
k
kD0
kD0
y, por tanto,
n
X
1=2
x 2kC1
T2n .arc sen; 0/.x/ D T2nC1 .arc sen; 0/.x/ D
. 1/k
k
2k C 1
kD0
Como
1=2
D
k
1
1
2 . 2
1/.
1
2
2/ .
k!
1
2
k C 1/
D . 1/k
1 3 5 .2k 1/
2 4 6 .2k/
tenemos que
T2nC1 .arc sen; 0/.x/ D
Universidad de Granada
Dpto. de Anlisis Matemtico
n
X
1 3 5 .2k 1/ 1
x 2kC1
2 4 6 .2k/ 2k C 1
kD0
237
n
X
1 k
x C o.x n/
k!
(6.12)
kD1
n
X
. 1/kC1 2k
x
sen x D
.2k 1/!
kD1
n
X
C o.x 2n /
(6.13)
. 1/k 2k
x C o.x 2nC1 /
.2k/!
kD0
n
X
k
.1 C x/ D
x C o.x n /
k
cos x D
log.1 C x/ D
arc tg x D
arc sen x D
kD0
n
X
kD1
n
X
kD1
n
X
kD0
(6.14)
(6.15)
. 1/kC1 k
x C o.x n/
k
(6.16)
. 1/kC1 2k
x
2k 1
(6.17)
C o.x 2n /
1 3 5 .2k 1/ 1
x 2kC1 C o.x 2nC2/
2 4 6 .2k/ 2k C 1
(6.18)
238
lKm
x!0
sen x
D 1;
x
ex 1
D 1;
x!0
x
lKm
lKm
x!1
log x
D 1;
x 1
lKm
x!0
arc sen x
D 1;
x
.1 C x/
x!0
x
lKm
lKm
x!0
lKm
arc tg x
D 1;
x
x!0
lKm
log.1 C x/
D 1;
x
x!0
lKm
tg x
D 1;
x
x!0
x!0
D ;
1
tg x x
D ;
x3
3
x!0
x!0
lKm
lKm
lKm
cos x
1
D ;
2
x2
sen x
1
D ;
6
x3
1
log.1 C x/
D :
x2
2
Observa que todos ellos, con la excepcin de cuatro, son derivadas en el punto x D 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.
6.33 Ejemplo. El lmite
log.cos x/
1
x!0 cos x
no est en la lista anterior, pero responde al modelo
lKm
log x
1
x!1 x
lKm
Elijamos ahora cualquier funcin continua g que se anule en algn punto c, por ejemplo
p
g.x/ D ex 1 (c D 0) o g.x/ D log x (c D 1), o g.x/ D 3 x 1 (c D 1), : : : En todos los
casos se verifica que
tg.g.x// g.x/ 1
D
lKm
x!c
3
g.x/3
Tenemos as que
tg.ex 1/ ex C1
1
tg.log x/ log x
D lKm
D
x
3
3
x!0
3
x!1
.e 1/
.log x/
lKm
Entiendes lo que pasa? Esto puede hacerse con cualquier lmite. La justificacin de estos
resultados es el teorema (4.43) que establece que la continuidad permuta con el paso al lmite
(realmente es una consecuencia de que la composicin de funciones continuas es continua).
Universidad de Granada
Dpto. de Anlisis Matemtico
239
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. Para ayudarte, vamos a escribirlos de nuevo de forma ms general.
Sea f cualquier funcin tal que f .x/ 0 y lKm f .x/ D 0. Entonces se verifica que:
x!a
lKm
x!a
sen f .x/
D 1;
f .x/
ef .x/ 1
D 1;
x!a f .x/
lKm
lKm
x!a
log.1 C f .x//
D 1;
f .x/
tg f .x/ f .x/
1
D ;
3
x!a
3
f .x/
lKm
lKm
x!a
lKm
x!a
lKm
x!a
lKm
lKm
x!a
lKm
tg f .x/
D 1;
f .x/
x!a
cos f .x/
1
D ;
2
2
f .x/
.1 C f .x//
x!a
f .x/
1
sen f .x/
D ;
6
f .x/3
f .x/
lKm
x!a
D ;
arc tg f .x/
D 1;
f .x/
log.1 C f .x//
1
D :
2
2
f .x/
Vamos a la segunda estrategia. Sustituir funciones por otras ms sencillas. Esto se basa en
la proposicin (4.45) que permite sustituir en un producto o en un cociente de funciones, una
de ellas por otra asintticamente equivalente. Ojo! En una suma no puedes, en general, hacer
eso.
La lista de los lmites bien conocidos es, de hecho, una lista de equivalencias asintticas y
eso la hace ms til todava.
6.35 Ejemplo. El lmite
lKm
ex
x!0
p
cos 2x
tg3 x
0
es una indeterminacin del tipo y puede hacerse por LHpital. El problema est en que
0
vamos a tener que derivar por lo menos dos veces y las derivadas de la tangente se van complicando. Para evitarlo podemos sustituir tg x por x pues tg x x.x ! 0/. Escribiendo
p
p
x 3 ex cos 2x x
ex cos 2x x
D 3
tg3 x
tg x
x3
y teniendo en cuenta que
x3
x 3
D lKm
lKm
D 1;
x!0 tg x
x!0 tg3 x
basta calcular
p
cos 2x
lKm
x!0
x3
Lo que puedes hacer por LHpital muy fcilmente.
ex
:
Las estrategias anteriores son las ms bsicas, pero hay 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.
Universidad de Granada
Dpto. de Anlisis Matemtico
240
Ahora despus te pondr algunos ejemplos de esta forma de proceder. Pero, para que puedas
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.
6.36 Ejemplo. Si tratas de calcular por LHpital el lmite
.tg x/.arc tg x/
x!0
x6
lKm
x2
tendrs que ser paciente porque necesitars derivar por lo menos cinco veces, y en el numerador
hay un producto cuyas derivadas se van haciendo cada vez ms complicadas. Ahora, si calculas
los polinomios de Taylor de orden 5 de tg x y arc tg x en a D 0, obtendrs que
1
2
tg x D x C x 3 C x 5 C o.x 6 /;
3
15
arc tg x D x
1 3 1 5
x C x C o.x 6 /:
3
5
Observa que como se trata de funciones impares sus derivadas de orden par en x D 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
2
tg x arc tg x D x 2 C x 6 C o.x 7 /
9
y
.tg x/.arc tg x/
x!0
x6
lKm
x2
2=9x 6 C o.x 7 / 2
D
9
x!0
x6
D lKm
2
Observa que aunque tg x x y arc tg x x para x ! 0, se tiene que tg x arc tg x x 2 x 6
9
para x ! 0. Fjate que al calcular el producto
2
1 3 1 5
1
x
x C x C o.x 6 /
tg x arc tg x D x C x 3 C x 5 C o.x 6 /
3
15
3
5
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 6 / (pues al dividirlos por x 6 su lmite es cero), y su suma tambin es una funcin
de la forma o.x 6 /, por lo que no es preciso calcularlos para hacer el lmite. Observa que, al
proceder de esta manera, tienes que calcular las 5 primeras derivadas en x D 0 de las funciones
tg.x/ y arc tg.x/, pero te ahorras el trabajo de derivar su producto. Si an tienes dudas, calcula
el lmite por LHpital y compara.
6.37 Ejemplo. Se trata de calcular
.cos x
lKm
x!0
1/.log.1 C x/
x/
x5
1 4
x
4 :
Tenemos que
cos x D 1
1 2
x C o.x 3 /;
2
Universidad de Granada
Dpto. de Anlisis Matemtico
log.1 C x/ D x
1 2 1 3
x C x C o.x 3 /
2
3
Prof. Javier Prez
Clculo diferencial e integral
241
luego
1 5
x C o.x 5 /;
6
1
x/ D x 4
4
1/.log.1 C x/
.cos x
de donde se sigue que
1/.log.1 C x/
.cos x
lKm
1 4
x
4
D
x/
x5
x!0
1
6
.1 C x/ x
x
x!0
lKm
(6.19)
log.1 C x/
;
x
Tenemos que
log.1 C x/ x
x
x2
Este lmite puede hacerse muy fcilmente por LHpital, pero resulta que es un lmite bsico,
de los que debes saberte de memoria. Por tanto:
g.x/
lKm
x!0
g.0/
g.x/
g.0/
x
1
:
2
Universidad de Granada
Dpto. de Anlisis Matemtico
242
x!a
Que tambin puede hacerse por LHpital pero es un poco ms complicado que el anterior.
Otro caso en el que puede no ser conveniente aplicar LHpital es para calcular un lmite
de la forma:
f .x/ f .a/
lKm
x!a g.x/
g.a/
Primero es conveniente escribir
f .x/
g.x/
f .x/ f .a
f .a/
x a
D
g.x/ g.a/
g.a/
x a
f .x/
x!a g.x/
lKm
Si aplicamos LHpital probaremos, sin necesidad, que las derivadas de f y g son continuas
en a, cosa que no se pide y que puede ser ms complicada que lo anterior.
Los errores ms frecuentes al aplicar LHpital se deben a que no se comprueban las hiptesis cada vez que aplicamos las reglas. Es frecuente empezar con una indeterminacin del tipo
1
0
0 o 1 y, despus de aplicar LHpital una vez, no volver a comprobar que seguimos teniendo
una indeterminacin. As que no lo olvides: cada vez que apliques LHpital comprueba que se
trata de una indeterminacin del tipo 00 o 1
1 y que la derivada del denominador no se anula.
x!a
La notacin que usamos para lmites es tan buena que a veces te hace ver lo que no hay.
En cierto sentido la notacin tira de ti: basta con que escribas lKm delante de una funcin
x!a
para que mentalmente hagas la sustitucin x D a. Para comprobar esto te propongo un juego:
dime en menos de medio segundo el valor del siguiente lmite:
x
x!0 x
lKm
Has dudado? Has credo que es una indeterminacin tipo 00 ? Si respondes que s a estas
preguntas es porque has hecho mentalmente la sustitucin x D 0 en el cociente xx y has visto lo
que no hay. Porque, evidentemente, se tiene que xx D 1, es decir, el lmite anterior es el lmite de
la funcin constante igual a 1. No hay ninguna indeterminacin. Es un lmite trivial. Lo mismo
pasa con el siguiente lmite lKm 1x . Si te dejas llevar por la notacin y haces mentalmente
x!C1
243
Cmo evitar que la notacin lKm tire de ti y te lleve a ver lo que no hay? Pues
x!a
no usndola hasta que no hayas visto claramente lo que realmente hay. Este es un consejo
importante: antes de empezar a calcular un lmite funcional, simplifica todo lo que puedas la
funcin y no escribas el smbolo lKm hasta que no tengas una idea clara de cmo vas a hacer
los clculos.
x!a
1
f .x/ f .a/
D f .n/ .a/ 0
n
.x a/
n!
Por la definicin de lmite (o por el teorema de conservacin local del signo), existe un nmero
r > 0 tal que a r; a C r I y para x 2a r; a C r , x a se verifica que:
f .x/ f .a/ .n/
f .a/ > 0:
.x a/n
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 2a r; a C r nfag, 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 2a r; a C r nfag,
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 para a r < x < a y .x a/n > 0
para a < x < a C r . Deducimos que para a r < x < a, f .x/ f .a/ tiene signo opuesto al
que tiene para a < x < a C r . En consecuencia f no tiene un extremo relativo en a.
2
Hay que insistir en que este resultado es til para estudiar extremos relativos pero que
no proporciona condiciones suficientes de extremo absoluto. Puede enunciarse un criterio de
extremo absoluto para la derivada segunda como sigue.
6.40 Proposicin (Criterio de extremo absoluto). Supongamos que f es continua en a; b,
dos veces derivable en a; b y tiene un punto crtico en c 2a; b. Entonces:
244
b) Si f 00 .x/ > 0 para todo x 2a; b se verifica que f alcanza en c un mnimo absoluto en
a; b.
Demostracin. a) Las hiptesis hechas implican que f 0 es decreciente en a; b y, como
f 0 .c/ D 0, se sigue que para a < x 6 c es f 0 .x/ > 0, y para c 6 x < b es f 0 .x/ 6 0.
Podemos aplicar ahora la proposicin (6.23) para concluir que f alcanza en c un mximo
absoluto en a; b.
La demostracin del apartado b) se hace de forma anloga.
El teorema de TaylorYoung nos dice que cuando x est muy prximo al punto a, el valor,
f .x/, de f en x es muy prximo al valor, Tn .f; a/.x/, del polinomio de Taylor de orden n de
f en x, pero no nos permite calcular el error que se comete en la aproximacin. El siguiente
resultado es importante porque permite acotar dicho error.
6.41 Teorema (Teorema de Taylor). Sea f una funcin n C 1 veces derivable en un intervalo
I . Dados dos puntos cualesquiera x; a en I con x a, se verifica que existe algn punto c en
el intervalo abierto de extremos a y x tal que:
f .x/
Tn .f; a/.x/ D
f .nC1/ .c/
.x
.n C 1/!
a/nC1 :
(6.20)
g.t / D f .x/
t/k
kD0
f .nC1/ .t/
.x
n!
t /n :
Aplicamos ahora el teorema del valor medio generalizado a las funciones g y h.t/ D .x t/nC1
en el intervalo de extremos x y a, para obtener que hay un punto c comprendido entre x y a tal
que
.h.x/ h.a//g 0 .c/ D .g.x/ g.a//h 0 .c/:
Como g.x/ D h.x/ D 0, obtenemos que:
.x
a/nC1
f .nC1/ .c/
.x
n!
c/n :
El nmero
f .nC1/ .c/
.x
.n C 1/!
Universidad de Granada
Dpto. de Anlisis Matemtico
a/nC1
(6.21)
Prof. Javier Prez
Clculo diferencial e integral
245
ajnC1 6 "
(6.22)
Entonces podemos asegurar que el error cometido al aproximar f .x/ por Tn .f; a/.x/ es menor
que ". Observa que el resto de Lagrange es tanto ms pequeo cuanto ms prximo est x de a.
En los ejercicios del teorema de Taylor, usualmente el punto a debemos elegirlo nosotros y hay
que hacerlo procurando que est lo ms prximo posible al punto x, donde nos piden calcular
el valor de la funcin, y que el valor de f y de sus derivadas en a pueda calcularse de forma
exacta.
La dificultad para acotar el resto de Lagrange es que no se conoce exactamente el punto c
sino solamente que est comprendido entre los puntos a y x. Por eso, para acotar el resto de
Lagrange hay que acotar la derivada f .nC1/ en el intervalo de extremos a y x. Adems, como
se divide por .nC1/!, se puede sospechar que cuanto mayor sea n menor ser el error cometido.
Esto es cierto en muchos casos pero no siempre, es algo que depende de lo rpidamente que
crezcan las derivadas de f . En este tipo de clculos no se sabe de entrada cmo hay que tomar
n, lo que se trata es precisamente de elegir n de forma que se obtenga la acotacin deseada.
Pero para ello hay que empezar acotando en funcin de n. Veamos la forma de proceder con un
ejemplo.
p
6.42 Ejemplo. Queremos calcular el nmero 2 con un error menor que 10 9 por medio de
un conveniente polinomio de Taylor.
p
1
Aqu la funcin es f .x/ D x D x 2 , definida para x > 0. Debemos elegir un punto a
prximo a 2 en el que podamos calcular de forma
p exacta f .a/. Lo que se hace es calcular
cuadrados prximos a dos. Como sabemos que 2 es aproximadamente 1; 4, podemos probar
con a D .1;4/2 D 1; 96. Efectivamente, a D 1;96 est muy prximo a 2 y f .1;96/ D 1; 4 de
forma exacta. Calculemos las derivadas de f .
f
.n/
1
.x/ D
2
1
2
1
2
1
2
2
n C 1 x 1=2
D . 1/n
11
3 5 .2.n
2n
1/
1/
x 1=2
Observa que las derivadas tambin puede calcularse de forma exacta en 1;96. El error de
aproximacin viene dado por el resto de Lagrange:
.nC1/
.nC1/
f
f
.c/
.c/
4 nC1
nC1
D
jx aj
D x D 1;96; a D 2 D
.n C 1/!
.n C 1/!
102
1 3 5 .2n 1/ 1
4
D
nC1
2nC2
1=2Cn
.n C 1/! 2
10
c
4
4
1
1
1
1 3 5 .2n 1/
<
D
2nC2
2nC2
2 4 .2n/.2n C 2/ c 1=2Cn 10
2n C 2 c 1=2Cn 10
donde 1;96 < c < 2. Deducimos que
.nC1/
f
.c/
1
1
4
jx ajnC1 <
n
2nC2
.n C 1/!
2n C 2 .1;4/.1;96/ 10
Como el error permitido es " D 10
9,
1
1
4
< 10
n
2nC2
2n C 2 .1;4/.1;96/ 10
Universidad de Granada
Dpto. de Anlisis Matemtico
246
p
2 es T3 .f; 1;96/.2/.
; D ft C .1 t / W 0 6 t 6 1g D t a C .1 t/c; t b C .1 t /d W 0 6 t 6 1 (6.23)
Observa que si x < y son nmeros reales, el segmento que une x con y es el intervalo
cerrado x; y.
t/y/ 6 tf .x/ C .1
t/f .y/
(6.24)
Cuando la desigualdad anterior es estricta para 0 < t < 1 se dice que f es estrictamente
convexa. Se dice que f es cncava en I cuando f es convexa en I y estrictamente cncava
cuando f es estrictamente convexa.
La interpretacin geomtrica de esta desigualdad es la siguiente. El segmento que une el
punto del plano .x; f .x// con el punto .y; f .y// es el conjunto
tx C .1 t/y; tf .x/ C .1 t /f .y/ W 0 6 t 6 1
La desigualdad (6.24) dice que la ordenada, tf .x/ C .1 t/f .y/, de cada punto de dicho
segmento es mayor o igual que el valor de f en la abscisa f .tx C .1 t/y/. Es decir, el punto
txC.1 t /y; tf .x/C.1 t/f .y/ queda por encima del punto txC.1 t /y; f .txC.1 t /y/ .
Dicho de otra forma: el segmento (la cuerda) que une dos puntos de la grfica de f queda
siempre por encima de la grfica de f .
f .tx C .1
tf .x/ C .1
t/y/
t/f .y/
tf .x/ C .1
t/f .y/
f .tx C .1
tx C .1
t/y
tx C .1
t/y
t/y/
Naturalmente, para una funcin cncava se verifica la desigualdad opuesta a (6.24) y, por
tanto, si f es cncava el segmento (la cuerda) que une dos puntos de la grfica de f queda
siempre por debajo de la grfica de f .
Universidad de Granada
Dpto. de Anlisis Matemtico
247
Interpretando la derivada primera como la velocidad y la derivada segunda como la aceleracin, las curvas convexas aceleran y las cncavas frenan.
Observa que si f es una funcin convexa y derivable en un intervalo I , entonces la grfica
de f queda siempre por encima de la recta tangente en cualquier punto, es decir, para todo
par de puntos x; a 2 I se verifica que f .x/ > f .a/ C f 0 .a/.x a/. De hecho, para funciones
derivables, esta propiedad es equivalente a la convexidad (ver ejercicio 138).
6.46 Definicin. Se dice que a es un punto de inflexin de una funcin f , si hay un nmero
r > 0 tal que f es cncava en el intervalo a r; a y f es convexa en el intervalo a; a C 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 inflexin.
El siguiente resultado se prueba fcilmente y queda como ejercicio.
6.47 Proposicin. Si f tiene un punto de inflexin en a y es dos veces derivable en a, entonces
f 00 .a/ D 0.
Si f es tres veces derivable en un punto a y se tiene que f 00 .a/ D 0 pero f 000 .a/ 0,
entonces f tiene un punto de inflexin en a.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
248
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
209. La figura representa un espejo rectangular en el que
se ha partido una esquina. Las dimensiones del espejo son AB D3, AC D5 y las de la esquina rota son
las que se indican en la figura donde se supone que
a es un valor conocido. Se pide calcular un punto
P sobre la lnea de corte de forma que el espejo de
vrtices A; X; P; Y tenga rea mxima. Para qu
valor de a se verifica que el espejo de mayor rea es
un cuadrado?
249
2
Y
210. Se quiere construir una caja sin tapa con una lmina metlica rectangular cortando cuadrados 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) 12 cm. y 18 cm.
211. Calcula las dimensiones (radio y altura) de una lata cilndrica de un litro de capacidad
cuya superficie total sea mnima.
212. Calcula las dimensiones (radio y altura) de una lata cilndrica de un litro de capacidad
cuyo costo de produccin sea 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.
213. Se necesita construir un depsito de acero de 500 m3 , de forma rectangular con base
cuadrada y sin tapa. Tu trabajo, como ingeniero de produccin, es hallar las dimensiones
del depsito para que su costo de produccin sea mnimo.
214. Halla el volumen del cilindro circular recto ms grande que puede inscribirse en una
esfera de radio (a > 0).
215. Halla el volumen del cilindro circular recto ms grande que puede inscribirse en un cono
circular recto de altura h y radio r conocidos.
216. Halla el volumen del cono circular recto ms grande que puede inscribirse en una esfera
de radio (a > 0).
217. 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 .
218. Calcula la distancia mnima del punto .6; 3/ a la parbola de ecuacin y D x 2 .
219. 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 deshabitada. Cada casa alquilada supone a la empresa un coste de 8 libras para reparaciones
diversas. Cul es la renta mensual que permite obtener mayor beneficio?
220. Una empresa produce semanalmente 300 bicicletas de montaa que vende ntegramente
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.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
250
231. Con una cuerda de longitud L, con un nudo corredizo en uno de sus extremos, 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.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
251
232. Ests en el desierto con tu vehculo situado en un punto cuyas coordenadas son A D
.0; 40/ y tienes que ir a otro punto C D .28; 0/ (la unidad de medida es la milla terrestre).
Del punto A al origen O D .0; 0/ y de ste al punto C hay una carretera asfaltada.
Pero tambin, para ir de A a C , puedes hacer parte o todo el camino sobre la arena. En
carretera tu velocidad es de 75 millas por hora; y sobre la arena de 45 millas por hora.
Qu camino debes seguir para llegar lo antes posible a C ?
233. Calcula las dimensiones del rectngulo de mayor rea que puede inscribirse en un tringulo equiltero cuyo lado mide 2 centmetros. Se supone que el rectngulo se apoya
sobre un lado del tringulo.
234. El principio de Fermat afirma que la luz viaja de un punto A a otro punto B siguiendo
la trayectoria en la que se invierte el menor tiempo posible. Supongamos que el eje
de abscisas, y D 0, separa dos medios en los que la luz viaja a distinta velocidad (por
ejemplo, aire y agua). Sea c la velocidad de la luz en el semiplano superior y > 0 y sea
3
4 c la velocidad correspondiente al semiplano inferior y < 0. Calcular el punto de dicho
eje por el que pasar el rayo que viaje desde el punto A D . 4; 3/ al B D .3; 4/.
235.
A
P
Uno de los resultados ms tiles del clculo diferencial son las Reglas de LHpital que
permiten resolver las indeterminaciones en el clculo de lmites.
236. Calcula el lmite en el punto a que en cada caso se indica de las funciones siguientes:
f .x/ D .sen x C cos x/1=x ; a D 0I
f .x/ D .cot x/sen x ; a D 0I
f .x/ D .1 C tg x/1=x ; a D 0
!1=x2
x2
2
; aD0
f .x/ D cos x C
2
log.sen x/
; a D =2
. 2x/2
.tg x/.arc tg x/ x 2
x arc tg x
;
a
D
0I
f
.x/
D
; aD0
f .x/ D
sen3 xp
x6
sen x 1=.1 cos x/
ex cos 2 x x
; aD0
f .x/ D
;
a
D
0I
f
.x/
D
x
tg2 x
f .x/ D .1 C sen x/cotg x ; a D 0I
f .x/ D
237. Justifica que para todo r 2 R y para todo s > 0 se verifica que:
.log x/r
D 0;
x!C1
xs
lKm
xr
D 0;
x!C1 esx
lKm
x!0
x>0
238. Calcula el lmite en el punto a que en cada caso se indica de las funciones f W RC ! R.
f .x/ D
x 2 sen 1=x
; a D CI
log x
Universidad de Granada
Dpto. de Anlisis Matemtico
f .x/ D sen
p
1Cx
sen
p
x; a D C
Ejercicios propuestos
252
f .x/ D cos
1
f .x/ D sen x sen ; a D 0; a D CI
x
xC2
x 2
; a D C
log.1 C x/
; f .0/ D 1I g.x/ D ef .x/
x
.1 C x/1=x
e
eC x
2
x2
x!0
241. Sea f W 1=2; C1! R dada por f .x/ D .x C ex / x para x 0, y f .0/ D e2 . Estudia
la continuidad y derivabilidad de f en cero.
242. Estudia la derivabilidad de las siguientes funciones.
1. f W RC ! R, dada por f .x/ D x 1=.x
2. f W
1/
, y f .1/ D
x 1=x
e.
y f .0/ D e2 .
1
1
lKm
x 1
x!1 log x
log1x
lKm
arc tg x
x!C1 2
2
tg x 1=x
lKm
x!0
x
arc tg x sen x
cos x/
x!0 x.1
3 sen x 3 x cos x 1=x
lKm
x!0
x3
lKm
Sugerencia. Pueden usarse las reglas de LHpital pero es conveniente realizar previamente alguna transformacin.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
253
244. Explica si es correcto usar las reglas de LHpital para calcular los lmites:
x sen x
I
x!C1 x C sen x
lKm
x 2 sen.1=x/
:
sen x
x! 0
lKm
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.
Se dice que una funcin polinmica P .x/ tiene un cero de orden k > 1 en un punto a,
si el valor de P y el de sus derivadas hasta la de orden k 1 en a es cero, y la derivada de
orden k de P no se anula en a. Los ceros de orden 1 se llaman ceros simples. El Teorema
Fundamental del lgebra dice que una funcin polinmica de grado n (en general, con
coeficientes complejos) tiene n races reales o complejas contando cada raz tantas veces
como indica su orden. Recuerda tambin que las races complejas de un polinomio con
coeficientes reales vienen por pares de races complejas conjugadas.
245. Prueba que una funcin polinmica de grado n coincide con su polinomio de Taylor de
orden n centrado en un punto cualquiera a.
246. Prueba que una funcin polinmica P tiene un cero de orden k en a si, y slo si, puede
escribirse de la forma P .x/ D .x a/k Q.x/, donde Q.x/ es una funcin polinmica
que no se anula en a.
247. Calcula el nmero de ceros y la imagen de la funcin f W R ! R , f .x/Dx 6 3x 2 C2.
248. Calcula el nmero de soluciones de la ecuacin 3 log x
x D 0.
3x 2
12x D m segn
251. Justifica que la ecuacin x 2 D x sen x C cos x tiene exactamente dos soluciones reales.
252. Sea f una funcin polinmica que tiene un mximo relativo en . 3; 5/, un mnimo
relativo en .1; 1/ y un mximo relativo en .4; 7/ y no tiene ms puntos crticos. Cuntos
ceros reales tiene f ?
253. Prueba por medio del teorema de Rolle que la ecuacin 5x 4
solucin en 0; 1.
254. Estudia el nmero de ceros reales de la funcin f .x/ D 2x
4x C 1 D 0 tiene alguna
1
x 2.
255. Prueba que entre cada dos soluciones reales de la ecuacin ex sen x D 1 hay al menos
una solucin real de la ecuacin ex cos x D 1.
256. Sean a0 ; a1 ; : : : ; an nmeros reales. Prueba que para algn x 2 0; 1 se verifica que
n
n
X
X
ak
k
.
ak x D
k C1
kD0
kD0
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
254
257. Sea f una funcin polinmica y sea a < b. Justifica 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 dicho nmero (caso de que haya algn cero) es par. Deduce que si
f tiene grado n, es condicin necesaria y suficiente para que f tenga n races reales
distintas que su derivada tenga n 1 races reales distintas c1 < c2 < < cn 1 y
que para < c1 suficientemente pequeo y para > cn 1 suficientemente grande, los
signos de los nmeros f ./; f .c1 /; f .c2 /; : : : ; f .cn 1 /; f ./ vayan alternando.
258. Determina para qu valores de la funcin polinmica 3x 4
tiene cuatro races reales distintas.
8x 3
6x 2 C 24x C
259. Dado n 2 N, sea f .x/ D .x 2 1/n .x 2 R/. Prueba que la derivada k-sima (1 6 k 6 n)
de f tiene exactamente k races reales distintas en el intervalo 1; 1.
x2 x3
xn
C C . 1/n . Prueba que si n es impar
2
3
n
la ecuacin fn .x/ D 0 tiene una nica solucin y ninguna si n es par.
xC
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.
261. Sean 0 < x < y. Prueba que:
y x
y x
a)
< arc tg y arc tg x <
.
2
1Cy
1 C x2
b)
< log y
log x <
.b
a/ < b n
an < nb n
.b
a/
1
1
; b D1 C , primero en la desigualdad de la derenC1
n
cha y despus en la desigualdad de la izquierda, deduce que:
nC1
nC2
1 n
1
1
1 nC1
1C
< 1C
;
1C
< 1C
n
nC1
nC1
n
Aplicacin. Haciendo aD1 C
1 se verifica que
x
6 log.1 C x/
xC1
Deduce que, dados p > 0 y q > 0 tales que 1=p C 1=q D 1, entonces para todos a > 0
ap
bq
y b > 0 se verifica que ab 6
C . Cundo se da la igualdad?
p
q
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
255
266. Sean 0 < a < b. Prueba que si b 6 e entonces ab < b a , y si e 6a entonces b a < ab . Qu
puede decirse si a < e < b?.
log x
Sugerencia. Considera la funcin x 7!
.
x
267. Hay algn nmero a > 0 que verifique que ax=a > x para todo x 2 RC ? Cul es dicho
nmero?
268. Prueba que para todo x 20; =2 se verifica que
i/ 1
x2
< cos x I
2
i i/
2x
< sen x < x < tg x
kD1
n
X
k x k
kD1
Cundo se da la igualdad?
272. Sean p; q nmeros reales positivos tales que 1=p C 1=q D 1.
bq
ap
C
y la igualdad ocurre si, y slo si, ap D b q .
a) Prueba que ab 6
p
q
b) Dado z D .z1 ; z2 ; : : : ; zn / 2
Rn
n
X
iD1
!1=s
jzi j
. Prueba
Cundo se da la igualdad?
Sugerencias. El punto a) puede hacerse como consecuencia del ejercicio anterior. Para
jxi j
jyi j
b) hgase a D
;b D
en la desigualdad del punto a).
kxkp
kykq
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
256
273. Sea f es una funcin derivable en un intervalo I . Prueba que f es convexa en I si, y
slo si, la grfica de f queda siempre por encima de la recta tangente en cualquier punto,
es decir, para todo par de puntos x; a 2 I se verifica que f .x/ > f .a/ C f 0 .a/.x a/.
Los teoremas de TaylorYoung y de Taylor se usan para obtener aproximaciones polinomiales de una funcin dada y para calcular valores aproximados con precisin prefijada.
p
3
1 C x '.x/
274. Calcula una funcin polinmica ' tal que lKm
D 0.
x! 0
x5
log arc tg.x C 1/
x! 0
x2
'.x/
D 0:
276. Prueba que las nicas funciones n veces derivables con derivada de orden n constante
son las funciones polinmicas de grado menor o igual que n.
277. Prueba que el polinomio de Taylor de orden n de una funcin f es el nico polinomio
P .x/ de grado menor o igual que n que verifica que f .x/ D P .x/ C o.x a/n .
278. Sea f W
log.1 C sen x/
sen2 x
p
3
7
b/ D
p
1
e c/ D sen
2
d / D sen.61 /
Ejercicios propuestos
257
x!C1
grfica de f .
6. Dibujar mximos, mnimos, puntos de inflexin, cortes con los ejes y cortes con las
asntotas.
281. Dibuja las grficas de las funciones siguientes:
a) f .x/ D 3x 5
c) f .x/ D
x2
5x 3 C 2
2x C 2
x 1
p
3
x 2 .x 2/2
x 2=3
g) f .x/ D
.x 6/2=3
x2 x 2
i) f .x/ D
x 3
k) f .x/ D log.2 C sen x/
e) f .x/ D
282.
b) f .x/ D
x2 C 1
x2 1
d) f .x/ D jxj2x
f) f .x/ D x 4
4x 3 C 10
5x 2 ; f .0/ D 0
2x 2 3x C 5
.x C 1/.x 2/
B
A
C
D
E
283.
La figura de la derecha muestra
la grfica de una funcin y de su
derivada. Debes identificar cada
una de ellas y explicar las relaciones entre ambas grficas.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
258
284.
La figura de la derecha muestra
la grfica de una funcin y de
sus dos primeras derivadas. Debes identificar cada una de ellas
y explicar las relaciones entre dichas grficas.
285. Traza la grfica de una funcin f dos veces derivable en R, sabiendo que:
a) La grfica de f pasa por los puntos . 2; 2/; . 1; 1/; .0; 0/; .1; 1/; .2; 2/.
b) f 0 es positiva en los intervalos
f 00
c)
es negativa en los intervalos
1; 1.
1; 2 y 0; 2, y es negativa en
2; 0 y 2; C1.
286. a) Es cierto que los puntos donde se anula la derivada segunda son puntos de inflexin?
b) Qu puedes decir de los puntos de inflexin de una funcin polinmica de grado 2 o
3?
Justifica tus respuestas.
287. Es cierto que la grfica de toda funcin polinmica de grado par tiene tangente horizontal en algn punto? Y si el grado es impar? Justifica tus respuestas.
Consideraremos ahora el problema de hallar el mximo o mnimo absolutos de una
funcin continua f en un intervalo cerrado a; b. Para ello puede seguirse el siguiente
procedimiento:
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.
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.
288. Calcula los valores mximo y mnimo de las siguientes funciones en los intervalos que
se indican:
1. f .x/ D x 3 x 2 8x C 1 en el intervalo 2; 2.
xC1
2. f .x/ D 2
en el intervalo 1; 2.
x C1
1
3. f .x/ D .sen2 x C cos x/ C 2 sen x x en el intervalo 0; =2.
2
p
3
4. f .x/ D x 2 .5 2x/ en el intervalo 1; 2.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
259
n
X
kD1
.x
293. Sea f W R ! R la funcin definida por f .x/ D e 1=x para x 0, y f .0/ D 0. Estudia
la continuidad y derivabilidad de f y calcula su imagen.
294. Dado a 0, definamos, para x 1=a, la funcin:
f .x/ D arctan a C arctan x
arctan
aCx
:
1 ax
Calcula la imagen de f .
Acabamos esta larga relacin con algunos ejercicios que me ha parecido que no encajaban propiamente en ninguno de los apartados anteriores.
295. Supongamos que f es una funcin derivable en a con f .a/ 0. Calcula el lmite:
lKm
x!0
f .a C x/
f .a/
x1
h/
2f .a/
Ejercicios propuestos
260
302. Justifica que hay una funcin derivable ' W R ! R tal que para todo x 2 R verifica que
.'.x//5 C '.x/ C x D 0.
303. Sea f una funcin derivable que no se anula en ningn punto. Justifica que la funcin
h.x/ D log jf .x/j es derivable y calcula su derivada.
304. Sea f W R ! R verificando que f .x C y/ D f .x/f .y/ para todos x; y 2 R; f .0/ 0
y f es derivable en 0. Justifica que f es derivable en todo punto y hay un nmero real
tal que f .x/ D ex para todo x 2 R.
305. Sea f W R ! R una funcin dos veces derivable y tal que para todo x 2 R se verifica la
igualdad f 00 .x/ C f .x/ D 0. Prueba que existen nmeros ; 2 R, nicos, de manera
que f .x/ D sen x C cos x para todo x 2 R.
Sugerencia. Define h.x/ D sen x C cos x y considera la funcin
g.x/ D .f .x/
h.x//2 C .f 0 .x/
h 0 .x//2 :
Calcula g 0 .x/.
306. Prueba la llamada frmula de Machin:
1
D 4 arctan
4
5
Sugerencia. Sea A D arctan 1=5; B D 4A
arctan
1
:
239
Utiliza la frmula de Machin para calcular con cinco cifras decimales exactas.
307. Sea f una funcin polinmica de grado n tal que f .k/ .a/ > 0 para 1 6 k 6 n y f .a/ > 0.
Justifica que si f .c/ D 0, entonces c < a:
308. Sea f derivable en a; b con f 0 .a/ D f 0 .b/ D 0. Prueba que hay algn z 2a; b tal que
f .z/ f .a/
:
f 0 .z/ D
z a
f .x/ f .a/
Sugerencia. Sea g.x/ D
para a < x 6 b. Define convenientemente g.a/ y
x a
g.b/ g.a/
.
compara g 0 .b/ con
b a
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
261
B D .0; b C y/
'
a
P D .a; b/
b
'
a
b
C
f .'/ D
sen '
cos '
A D .a C x; 0/
En efecto, como f 0 es continua y no se anula en los intervalos 0; '0 y '0 ; =2, debe
tener signo constante en ellos. Como lKm f 0 .'/ D 1, y lKm f 0 .'/ D C1 se sigue
x!0
que:
x!=2
a
cos.'0 /
cos2 .'0 /
Fcilmente se obtiene ahora que
mnima buscada viene dada por:
1=2
b
D b 2=3 a2=3 C b 2=3
con lo que la longitud
sen.'0 /
3=2
Ejercicios resueltos
262
larga que puede pasar es igual a la longitud mnima del segmento AB.
Ejercicio resuelto 96 Determina el rectngulo con lados paralelos a los ejes coordenados,
x2
y2
inscrito en la elipse de ecuacin 2 C 2 D 1, y que tenga rea mxima.
a
b
Solucin.
b
Universidad de Granada
Dpto. de Anlisis Matemtico
x2
, donde 0 6 x 6 a.
a2
Ejercicios resueltos
263
Como se trata de una funcin positiva, para calcular el valor en que alcanza su mximo
podemos elevarla al cuadrado. En definitiva,
! nuestro problema es calcular el mximo
2
x
absoluto de la funcin h.x/ D x 2 1
en el intervalo 0; a. Tenemos que
a2
h 0 .x/ D
2x 1
x2
a2
C x2
2x
D 2x
a2
4x 3
:
a2
a
Los puntos crticos de h son x D 0 que corresponde a un mnimo y x D p que corres2
ponde a un mximo absoluto (justificacin: la funcin h.x/ se anula en los extremos del
intervalo 0; a y es positiva en 0; a por lo que su mximo absoluto en 0; a tiene que
alcanzarse en un punto del intervalo abierto 0; a en elp
cual debe anularse su derivada.
Pero el nico punto que cumple estas condiciones es a= 2).
a
b
El rectngulo pedido es el que tiene de vrtices p ; p , y su rea vale 2ab.
2
2
Ejercicio resuelto 97 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.
Solucin.
Sea el radio de la circunferencia y BA
P
la cuerda. Pongamos A D . cos ; sen /
que es un dato conocido. Observa que
=2 < 6 0. Hay que calcular un punto
P D . cos ; sen / por la condicin de
O
que el rectngulo de la figura tenga mxima
rea. La altura, h, del rectngulo viene dada
por h D .sen sen /, y la base, b, por
B
A
b D 2 cos . Observa que la longitud de
la base del rectngulo no puede ser mayor
que la longitud de la cuerda BA, lo que
implica que cos 6 cos D cos. /. Como
el coseno es decreciente en el intervalo 0; =2,
deber ser > . Debemos calcular el mximo absoluto de 22 cos .sen sen /
donde 6 6 =2.Pongamos, por comodidad, D x y prescindamos del factor 22 .
Sea
f .x/ D cos x.sen x
sen /
6 x 6 =2
.donde
=2 < 6 0/
Tenemos que f 0 .x/ D sen x.sen x sen / C cos2 x D 2 sen2 x C sen sen x C 1.
Haciendo t D sen x tenemos que f 0 .x/ D 0 equivale a que 2t 2 C t sen C 1 D 0. Esta
ecuacin tiene dos races reales que vienen dadas por
p
p
sen
sen2 C 8
sen C sen2 C 8
t0 D
; t1 D
4
4
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
Adems, como
264
p
sen sen2 C 8 1 C p9
D1
<
4
4
Tenemos que 1 < t0 < 0 < t1 < 1. Por tanto, la derivada f 0 se anula en dos nicos
puntos que vienen dados por:
!
!
p
p
sen2 C 8
sen C sen2 C 8
sen
; 1 D arc sen
0 D arc sen
4
4
Tenemos que =2 < 0 < 0 < 1 < =2. Como 2t 2 C t sen C 1 es una parbola
hacia abajo, toma valores positivos entre sus dos races, es decir 2t 2 C t sen C 1 > 0
para t0 < t < t1 . Lo que implica que f 0 .x/ > 0 para 0 < x < 1 .
Como f 0 .=2/ D sen 1 < 0 yf 0 no se anula en 1 ; =2, concluimos que f 0 debe
ser negativa en dicho intervalo y, por tanto f es estrictamente decreciente en 1 ; =2.
A la vista de los resultados anteriores, debemos distinguir dos casos:
a) 6 1 . En este caso, f es creciente en ; 1 y decreciente en 1 ; =2, por lo
que el mximo absoluto de f en ; =2 se alcanza en 1 .
b) 1 < . En este caso, f es estrictamente decreciente en ; =2 por lo que el
mximo absoluto de f en ; =2 se alcanza en .
Finalmente, se comprueba
con facilidad que
p
p la desigualdad 0 6 6 1 , equivale a
0 6 sen 6 1= 3, esto es, arc sen.1= 3/ 6 6 0.
p
Observa que si D 0, entonces D arc sen. 2=2/ D =4, es decir, en este caso el
rectngulo es la mitad del cuadrado inscrito en la circunferencia.
Ejercicio resuelto 98 Encuentra un punto P de la circunferencia x 2 C y 2 D 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.
Solucin.
Sean .s; t/ las coordenadas de P . La ecuacin de la recta tangente a la circunferencia x 2 C y 2 D 1 en P es
xs C yt D 1, cuyos cortes con los ejes son los puntos
A D .0; 1=t/, B D .1=s; 0/. Por tanto el rea del tringulo AOB es igual a
P D .s; t/
1
1
1 1
s
D
p
O
2st
2 s 1 s2
Para calcular su valor mnimo, como se trata de una funcin positiva, podemos elevarla
al cuadrado para simplificar los clculos. En definitiva, nuestro problema se reduce a
1
calcular el mnimo de la funcin f .s/ D 2
en el intervalo 0; 1.
s .1 s 2 /
2s 2 1
. Por tanto el nico cero de la derivada en el
Derivando tenemos f 0 .s/ D 2 3
2 2
p s .1 s /
p
intervalo 0; 1 es s D 1= 2. Como para 0 < s < 1= 2 se tiene que f 0 .s/ < 0, y
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
265
p
p
para 1= 2 < s < 1 es f 0 .s/ >
0,
deducimos
que
en
el
punto
1=
2 hay un mnimo
p
p
absoluto de f . El punto P D .1= 2; 1= 2/ es, por tanto, el que proporciona el tringulo
de mnima rea.
Ejercicio resuelto 99 Se quiere construir una caja sin tapa con una lmina metlica rectangular cortando cuadrados 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) 12 cm. y 18 cm.
Solucin.
Sean a y b las longitudes de los lados de la lmina
x
y x la longitud del lado del cuadrado que se cortar
en cada esquina. Supongamos que a6b. El volumen
de la caja resultante es f .x/ D .a 2x/.b 2x/x.
a 2x
Se trata de calcular el mximo absoluto de la funcin f en el intervalo 0; a=2. Derivando resulta
f 0 .x/ D 12x 2 4.a C b/x C ab. Los ceros de la
b 2x
derivada son
p
p
1
1
D
a2 C b 2 ab ; D
aCb
a C b C a2 C b 2 ab
6
6
Fjate que:
p
a2 C b 2 ab > a2 C b 2 2ab D .b a/2 > 0
a2 C b 2 ab > b
a:
Deducimos que las races de f 0 son reales. Veamos si dichas races estn en el intervalo
0; a=2. Tenemos que:
1
p
a
1
aCb
a2 C b 2 ab < .a C b .b a// D
D
6
6
3
Tambin:
a2 Cb 2 ab < a2 Cb 2 C2abD.aCb/2
p
a2 C b 2
Por tanto 0 < < a=3 y 20; a=2. Comprobemos que > a=2.
p
1
a C b C a2 C b 2
6
a
ab >
2
p
a2 C b 2
ab > 2a
ab > 4a2
4ab C b 2
3a.b
a/ > 0
Ejercicios resueltos
266
1
. 2a3 C 3a2 b C 3ab 2
54
2b 3 C 2.a2
ab C b 2 /3=2 /
Comentario. Otra forma de razonar este ejercicio, algo ms indirecta pero con la que te
ahorras trabajo, es como sigue.
Como f .0/ D f .a=2/ D 0, podemos aplicar el teorema de Rolle, para obtener que la
derivada de f tiene que anularse en algn punto de 0; a=2. Adems, f tiene que alcanzar en un punto x0 de 0; a=2 un mximo absoluto y como, evidentemente, x0 20; a=2,
deducimos que f 0 debe anularse en x0 . Luego o bien es x0 D o es x0 D. El criterio de
la derivada segunda nos permite salir de dudas. Tenemos que f 00 .x/ D 4.a C b 6x/.
Con ello,
f 00 ./ D 4.a C b
p
6/ D 4 a2 C b 2
ab; f 00 ./ D 4.a C b
p
6/ D 4 a2 C b 2
ab
Ejercicio resuelto 100 Calcular las dimensiones (radio y altura) de una lata cilndrica de un
litro de capacidad cuya superficie total sea mnima.
Solucin. Sea r el radio y h la altura medidos en decmetros. Como el volumen es
1
. La superficie total de la lata es
1 dcm3 , tenemos que r 2 h D 1, de donde h D
r2
2
f .r / D 2 r 2 C 2 r h D 2 r 2 C . Se trata, por tanto, de calcular el mximo absoluto de
r
2 r 3 1
2
D
2
. Deducimos que la def .r / cuando r > 0. Derivando, f 0 .r / D 4 r
r2
r2
1
rivada tiene un nico cero real D p
. Como para 0 < r < es f 0 .r / < 0, se sigue
3
2
que f es decreciente en el intervalo 0; ; y como para < r es f 0 .r / > 0, se sigue que
f es creciente en el intervalo ; C1. En consecuencia f ./ 6 f .r / para todo r > 0.
1
As, las dimensiones de la lata con mnima superficie lateral son r D p
0; 542dcm,
3
2
y h 1; 1dcm.
Ejercicio resuelto 101 Hallar el volumen del cilindro circular recto ms grande que puede
inscribirse en una esfera de radio (a > 0).
Solucin.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
267
Ejercicio resuelto 102 Hallar el volumen del cono circular recto ms grande que puede inscribirse en una esfera de radio (a > 0).
Solucin.
Sean r y h el radio y la altura del cono. Tenemos que
.h
a/2 C r 2 D a2
O
h
r
1
f .h/ D .a2 .h a/2 /h D h2 .2a h/
3
3
en el intervalo 0; 2a. Tenemos que f 0 .h/ D .4a 3h/h. De donde se deduce ense3
guida que el cilindro de mayor volumen que puede inscribirse en la esfera dada es el de
32a3
8a2
; y su volumen es igual a
.
Ejercicio resuelto 103 Hallar el volumen del cilindro circular recto ms grande que puede
inscribirse en un cono circular recto de altura H y radio R conocidos.
Solucin.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
268
Ejercicio resuelto 104 La resistencia de una viga de madera de seccin rectangular es proporcional a su anchura y al cuadrado de su altura. Calcular las dimensiones de la viga
ms resistente que puede cortarse de un tronco de madera de radio R.
Solucin.
Sean x e y las coordenadas del vrtice superior derecho
de la viga. Ser x 2 C y 2 D R2 . Nos dicen que la resistencia de la viga viene dada por una funcin de la forma
kxy 2 donde k es una constante. El problema consiste en
calcular el mximo absoluto de f .x/ D kx.R2 x 2 / en
el intervalo 0; R. Tenemos que f 0 .x/ D k.R2 3x 2 /.
De donde se deduce enseguida que larviga ms resistente
p
2
se obtiene para x D R= 3, e y D
R.
.x; y/
Ejercicio resuelto 105 Calcula la distancia mnima del punto .6; 3/ a la parbola de ecuacin
y D x 2.
Solucin.
La distancia del punto .6; 3/ a un punto de la parbola .x; x 2 / viene dada por
q
.x 6/2 C .x 2 3/2 :
6/2 C .x 2
3/2 D 45
12x
5x 2 C x 4 :
Ejercicios resueltos
269
Tenemos que f 0 .x/ D 12 10x C 4x 3 D 2.x 2/.3 C 4x C 2x 2 /, que tiene una nica
raz real x D 2. Como para x < 2 se tiene que f 0 .x/ < 0 y para x > 2 es f 0 .x/ > 0,
deducimos que en el punto x D 2 la funcin f alcanza un mnimo absoluto en R. Por
tanto, el punto de la parbola y D x 2 cuya distancia al punto .6; 3/ es mnima es el punto
.2; 4/.
Ejercicio resuelto 106 Una empresa tiene 100 casas para alquilar. Cuando la renta es de
80e al mes, todas las casas estn ocupadas. Por cada 4e de incremento de la renta una
casa queda deshabitada. Cada casa alquilada supone a la empresa un coste de 8e para
reparaciones diversas. Cul es la renta mensual que permite obtener mayor beneficio?
Solucin.
Todo lo que hay que hacer es calcular la funcin de beneficio. Sea 80 C x el precio del
alquiler expresado en euros. Como es evidente que no interesa bajar la renta de 80e, se
considera que x > 0. El beneficio mensual viene dado por
f .x/ D 100
x
.80 C x
4
8/ D 7200 C 82x
x2
4
x
. Deducimos fcilmente que para x D 164 obtenemos al
2
mximo beneficio. Es decir, cobrando un alquiler de 244e, lo que supone alquilar un
164
D 59 casas y dejar sin alquilar 41, la empresa obtiene el mximo
total de 100
4
beneficio f .164/ D 13.924e (as es la economa capitalista: : :).
Ejercicio resuelto 107 Se proyecta un jardn en forma de sector circular de radio r y ngulo
central #. El rea del jardn ha de ser A fija. Qu valores de r y # hacen mnimo el
permetro del jardn?
Solucin.
El rea de un sector circular de amplitud # medida en radianes
#
y radio r es igual a r 2 , y su longitud viene dada por # r .
2
El permetro del jardn es igual a # r C 2r . Como debe ser
2A
# 2
r D A, es decir, # D 2 , la funcin cuyo mnimo absoluto
2
r
2A
debemos obtener es f .r / D
C 2r , donde r > 0. Como
r
2A
r2 A
f 0 .r / D
C
2
D
2
, se deduce fcilmente que en
r2
r2
p
r D A f alcanza unpmnimo absoluto. El valor mnimo del
permetro es igual a 4 A.
r
#
Ejercicio resuelto 108 Se corta un alambre de longitud L formando un crculo con uno de
los trozos y un cuadrado con el otro. Calcular por dnde se debe cortar para que la suma
de las reas de las dos figuras sea mxima o sea mnima.
Solucin.
Supongamos que partimos el alambre en dos trozos de longitud x y L x. Con el trozo
de longitud x formamos un cuadrado cuya rea ser x 2 =16, con el otro trozo formamos
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
270
x/2
.
4
.L x/2
x2
C
El problema consiste en calcular los puntos donde la funcin f .x/ D
16
4
alcanza su mximo y su mnimo absolutos en el intervalo 0; L. Tenemos que
f 0 .x/ D
x, y su area ser r 2 D
.L
4L C .4 C /x
:
8
4L
hay un mnimo
4C
B D .s; t/
A D .0; r /
P D .x; 0/
Ejercicios resueltos
271
t2
t 2 C .s
x/2
3=2
r2
r 2 C x2
3=2
Ejercicio resuelto 110 Se desea construir una ventana con forma de rectngulo coronado de
un semicrculo de dimetro igual a la base del rectngulo. Pondremos cristal blanco en
la parte rectangular y cristal de color en el semicrculo. Sabiendo que el cristal coloreado deja pasar la mitad de luz (por unidad de superficie) que el blanco, calcular las
dimensiones de la ventana para conseguir la mxima luminosidad si se ha de mantener
un permetro constante dado.
Solucin.
Sea x la longitud de la base de la ventana y h su altura. El permetro es igual a una
x
cantidad dada, A; es decir, 2x C h C D A. La luminosidad viene dada por
2
f .x/ D 2xh C
x2
D x.A
8
x
x2
/C
D Ax
2
8
1
.8 C 3/x 2
8
1
4A
1
.8C3/x se anula en
y, como f 00 .x/D .8C3/ <
4
8 C 3
4
4A
0, concluimos que f alcanza un mximo absoluto en el punto
. Las dimensiones
8 C 3
A.4 C 4/
4A
,hD
.
de la ventana con mayor luminosidad son por tanto x D
8 C 3
16 C 6
La derivada f 0 .x/DA
Ejercicio resuelto 111 Se desea confeccionar una tienda de campaa cnica de un volumen
determinado. Calcular sus dimensiones para que la cantidad de lona necesaria sea mnima.
Solucin.
Para hacer la tienda necesitamos cortar un sector
circular de lona como se
indica en la figura. Sea
# la medida en radianes
del ngulo central del
sector y x la medida del
radio. La cantidad de
Universidad de Granada
Dpto. de Anlisis Matemtico
r
O
Ejercicios resueltos
272
# 2
x (si el volumen se
2
3
expresa en m , las dems medidas se expresarn en metros). Sea r el radio de la base
de la tienda y h su altura. Nos dicen que el volumen de la tienda debe ser igual a una
1
cantidad prefijada, V , es decir, V D r 2 h.
3
#
Nuestro problema es calcular el mnimo absoluto de x 2 sabiendo que la cantidad
2
1 2
V D r h es conocida. Veamos que esta condicin nos permite expresar x en fun3
cin de #.
lona que necesitamos es igual al rea del sector y viene dada por
Observa que la longitud de la base de la tienda, 2 r , debe ser igual a la longitud, # x, del
#x
arco circular que abarca el sector: # x D 2 r , de donde, r D
. Adems, es evidente
2
2
2
2
que x D h C r , y deducimos que
!
p
2x 2
2
#
#
x 4 2 # 2
2
2
2
2
2
h Dx
r Dx
Dx 1
h D
2
4 2
4 2
Por tanto
p
1 2
1 # 2 x 2 x 4 2
V D r h D
3
3 4 2
2
Despejando x, obtenemos que x D
#2
p
x 3 # 2 4 2
D
24 2
#2
2.3 2 V /1=3
. La funcin de la que tenemos
# 2=3 .4 2 # 2 /1=6
# 2
.9 4 V 2 /1=3
x D
1=3
2
4 2 # # 3
3# 2
4 2
4=3 , que tiene un nico cero positivo
#3
3 4 2 #
2
# D p que corresponde, como se justifica fcilmente estudiando el signo de la derivada,
3
s
a un mnimo absoluto de f . El correspondiente valor del radio del sector es x D
s
2 4
6 3 V
y el rea, 3
.
4
35 V 2
2 2
Ejercicios resueltos
273
Sea r el radio de la base y h la altura del cilindro. Nos dicen que el volumen del silo,
2
r 2 h C r 3 , es un valor conocido, V , que podemos suponer expresado en m3 . Si el
3
coste de construccin de 1 m2 de superficie del cilindro es euros, la funcin de coste
2
viene dada por .2 r h/ C 2.2 r 2 /. De la condicin V D r 2 h C r 3 , se sigue que
3
2r
V
hD
. Sustituyendo este valor en la funcin de coste, resulta que la funcin
C
3
r2
que debemos minimizar es
2V
8
f .r / D r 2 C
3
r
.r > 0/
r
1 3 3V
2.8 r 3 3V /
que se anula para r D
Tenemos f
D
en donde, como
2
3r 2
0
se comprueba fcilmente estudiando el signo
r de f .r /, la funcin f alcanza un mnimo
3V
absoluto. La altura correspondiente es hD 3
. Para un volumen V D100 m3 , tenemos
r 2; 3 m y h 4; 6 m.
0 .r /
Ejercicio resuelto 113 Demuestra que de todos los tringulos issceles que se pueden circunscribir a una circunferencia de radio r , el de rea mnima es el equiltero de altura
3r .
Solucin.
C
N
r
O
1 C cos
.0 < < =2/
cos
Como
f 0 ./ D r 2
.1
deducimos que la derivada tiene un nico cero que se obtiene cuando 1 2 cos D 0, lo
que implica que D =3. Se comprueba fcilmente, estudiando el signo de la derivada,
que dicho valor corresponde a un mnimo absoluto del rea. Por tanto, de todos los tringulos issceles que se pueden circunscribir a una circunferencia de radio r , el de rea
r
C r D 2r C r D 3r y su
mnima es el equiltero; su altura es igual a OC C r D
cos
p
rea vale 3r 2 3.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
274
Ejercicio resuelto 114 Con una cuerda de longitud L, con un nudo corredizo en uno de sus
extremos, 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.
Solucin.
Para hacer este ejercicio debes tener en cuenta
que en los puntos donde la cuerda se separa
de la columna lo hace en la direccin de la
tangente a la circunferencia. En la figura se han
representado los radios OC y OB que unen el
centro de la circunferencia con los puntos de
tangencia. Lo que nos piden es calcular la longitud mxima del segmento OP conociendo la
C
R
#
La longitud del arco de circunferencia desde C hasta B en sentido contrario a las agujas
R
OC
D
. Deducimos
del reloj, es igual a R. C 2#/; adems se verifica que tg # D
AC
AC
as que
cos #
_
AP D L 2AC CB D L 2R
R. C 2#/
sen #
Por tanto
f .#/ D
R
CL
sen #
2R
cos #
sen #
R. C 2#/
0 < # 6 =2
es la funcin que nos da la longitud del segmento OP . Calculando su derivada y simplificando resulta
cos #.2 cos # 1/
f 0 .#/ D R
:
sen2 #
La derivada se anula solamente cuando 2 cos # 1 D 0, es decir, # D =3. Se comprueba
fcilmente, por ejemplo estudiando el signo de f 0 .#/, que dicho valor corresponde a
un mximo absoluto de f en 0; =2. La longitud mxima del segmento OP es igual a
5R
f .=3/ D L
.
3
Comentario. Es claro que la longitud de la cuerda debe ser suficiente para rodear la
columna, es decir, L > 2R. Pero observa que si L D 2R no podemos separarnos de
la columna. Para que el ejercicio tenga sentido es necesario que podamos alejarnos ms
o menos de la columna, dependiendo de la posicin del nudo corredizo, y para eso es
preciso que L > 2R.
Fjate tambin en que lKm f .#/ D 1, por lo que f .#/ toma valores negativos cuando
#!0
# >0
# es suficientemente pequeo. Esto nos dice que la funcin f .#/ no siempre representa
R
y OA 6 L C R, se sigue
la longitud del segmento OP . De hecho, como sen # D
OA
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
275
R
R
, lo que implica que # > #0 donde #0 D arc sen
. Estas
que sen # >
LCR
LCR
consideraciones no afectan a la solucin obtenida porque hemos calculado el mximo
absoluto de f en todo el intervalo 0; =2, salvo por un detalle: debemos asegurarnos de
que es posible separar el nudo de la columna hasta que # 6 =3. Para eso
p es suficiente
que la longitud de la cuerda sea mayor o igual que R. C 2=3/ C 2R= 3 (la longitud
_
AC correspondientes a # D =3).
del arco CB ms dos veces la longitud del segmento
p
p
2 3R C 5R
Observa que R. C 2=3/ C 2R= 3 D
> 2R.
3
Ejercicio resuelto 115 El principio de Fermat afirma que la luz viaja de un punto A a otro
punto B siguiendo la trayectoria en la que se invierte el menor tiempo posible. Supongamos que el eje de abscisas, y D 0, separa dos medios en los que la luz viaja a distinta
velocidad (por ejemplo, aire y agua). Sea c la velocidad de la luz en el semiplano superior
y > 0 y sea 34 c la velocidad en el semiplano inferior y < 0. Calcula el punto del eje de
abscisas por el que pasar el rayo que viaje desde el punto A D . 4; 3/ al B D .3; 4/.
Solucin.
A D . 4; 3/
P D .x; 0/
B D .3; 4/
1
1
3.x C 4/
4.x 3/
C
p
p
3c .x C 4/2 C 9
3c .x 3/2 C 16
1
27
1
C
p
p
3c ..x C 4/2 C 9/3
3c ..x
64
3/2 C 16/3
Resulta as que f 00 .x/ > 0 para todo x por lo que la derivada f 0 es estrictamente
creciente y, al ser f 0 .0/ D 0, se sigue que f 0 .x/ < 0 para x < 0 y f 0 .x/ > 0 para
x > 0, luego f es decreciente en 1; 0 y creciente en 0; C1 y, en consecuencia, f
tiene un mnimo absoluto en x D 0.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
276
Ejercicio resuelto 116 Calcula la posicin del punto P D .x; 0/ en la figura de la derecha,
p
donde A D .0; 1/ y B D .2 C 3; 2/, para que el ngulo sea mximo. Cul es dicho
valor mximo de ? Justifica con detalle lo que haces.
p
B D .2 C
Solucin.
Tenemos que D
1
2 , es decir
D. 2 1 /C. 2 2 /D1 C2 y deducimos
fcilmente que
!
p
2C 3 x
.x/ D arc tg x C arc tg
2
3; 2/
2
A D .1; 0/
1
1
2
P D .x; 0/
Derivando, tenemos
0 .x/ D
1
C
1 C x2
1C
1=2
p
2C 3
2
!2
Simplificando resulta
p
9C4 3
p
.4 C 2 3/x x 2
p
.1 C x 2 /.4 C .2 C 3 x/2 /
p
p
Los ceros de la derivada son las races de x 2 C .4 C 2 3/x 4 3
dadas por
0 .x/ D
q
p
p
p
2 3 C .4 C 2 3/2 C 4.4 3 C 9/
2
p
2 3
9 D 0, que vienen
q
p
p
.4 C 2 3/2 C 4.4 3 C 9/
2
p
p
p
p
p
Como .4 C 2 3/2 C 4.4 3 C p
9/ D 32.2
3/ D 16.4 C 2 3/ D 16. 3 C 1/2 .
Naturalmente, como 0 6 x 6 2 C 3, y < 0 se sigue que
q p
p
4 2 3 C 16. 3 C 1/2 p
D
D 3
2
p
es el nico cero de la derivada en el intervalo 0; 2 C 3.
Estudiemos ahora el signo de la derivada.
Como p
el denominador de 0 .x/ es positivo, el
p
0
signo de .x/ es igual al de 9 C 4 3 .4 C 2 3/x x 2 . Pero
p
p
9 C 4 3 .4 C 2 3/x x 2 D .x /.x /
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
277
Ejercicio resuelto 116 Calcula el lmite en el punto a que en cada caso se indica de las
siguientes funciones:
f .x/ D .sen x C cos x/1=x ; a D 0I
f .x/ D .cot x/sen x ; a D 0; =2I
f .x/ D .1 C tg x/1=x ; a D 0
!1=x2
x2
2
f .x/ D cos x C
; aD0
2
log.sen x/
; a D =2
. 2x/2
.tg x/.arc tg x/ x 2
f .x/ D
; aD0
x6
sen x 1=.1 cos x/
f .x/ D
; aD0
x
Solucin.
El lmite lKm .sen x C cos x/1=x es de la forma lKm f .x/g.x/ cuando lKm f .x/D1
x!a
x!0
x!a
y lKm jg.x/jDC1. Se trata, por tanto, de una indeterminacin del tipo 11 . Estos lmites
x!a
suelen poderse calcular haciendo uso del criterio de equivalencia logartmica (teorema
6.11) que, en las condiciones anteriores para f y g, nos dice que:
lKm f .x/g.x/ D eL
x!a
lKm f .x/g.x/ D 0
x!a
lKm f .x/
g.x/
x!a
D C1
x!a
x!a
x!a
1/ D L
1/ D 1
1/ D C1
En nuestro caso:
sen x C cos x
x
x!0
1
.sen x C cos x
x!0 x
1/ D lKm
lKm
sen x
cos x
C lKm
x
x!0 x
x!0
D lKm
D1:
sen x
x!0
x
cos x
D lKm
x!0
x
lKm
lKm
sen 0
D cos 0 D 1
0
cos 0
D sen 0 D 0
0
lKm
x!0
tg x
sen x 1
D lKm
x!0 x x cos x
x2
no existe, pues
lKm
x!0
x >0
Universidad de Granada
Dpto. de Anlisis Matemtico
1
D C1;
x cos x
lKm
x!0
x<0
1
D 1:
x cos x
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
278
2
x!0
x<0
El lmite lKm
x!0
x2
cos2 x C
2
!1=x2
ahora que:
cos2 x C x 2 =2
x!0
x2
lKm
D lKm
x!0
sen2 x C x 2 =2
D
x2
lKm
x!0
sen x 2
x
1
D
2
1
2
!1=x2
1
x2
Dp .
Luego, lKm cos x C
2
x!0
e
sen x 1=.1 cos x/
El lmite lKm
es del mismo tipo que los anteriores. Tenemos
x!0
x
ahora que
sen x
1
sen x x
1
D lKm
lKm
x
1 cos x x!0 x.1 cos x/
x!0
2
Este ltimo lmite no tiene dificultad y puede hacerse por LHpital. Pero es ms fcil
usar los lmites bien conocidos:
x2
sen x x
sen x x
D
:
x.1 cos x/
1 cos x
x3
Lo primero que voy a hacer es convertir el lmite para x ! =2 en un lmite para x ! 0.
Para ello basta sustituir x po =2 x como sigue:
log.sen.=2 x//
log.cos x/
log.sen x/
D
lK
m
D
lK
m
x!=2 .
2x/2 x!0 . 2.=2 x//2 x!0
4x 2
lKm
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
279
log.cos x/ log.cos x/ cos x 1
D
.
cos x 1
4x 2
x2
1
D 1=2 porque es uno de los lmites bien conocidos. El lmite
cos x
x2
log.cos x/
D 1 porque tambin es uno de los lmites bien conocidos, pues es de
lKm
1
x!0 cos x
log t
donde se ha sustituido t por cos x.
la forma lKm
1
t !1 t
1
log.sen x/
D
Por tanto lKm
.
2
2
2x/
x!=2 .
El lmite lKm
x!0
Los restantes lmites de este ejercicio te los dejo para que los hagas t.
Ejercicio resuelto 117 Justifica que para todo r 2 R y para todo s > 0 se verifica que:
.log x/r
D 0;
x!C1
xs
lKm
xr
D 0;
x!C1 esx
lKm
x!0
x>0
Solucin.
.log x/n
D 0. Podemos
x!C1
xs
hacerlo por induccin. Para n D 1, tenemos, aplicando LHpital por tratarse de una
indeterminacin 1
1 , que:
Es suficiente probar que para todo n 2 N se verifica
lKm
x!C1
lKm
1
1
log x
D
lKm
D 0:
xs
s x!C1 x s
.log x/n
D 0, tenemos:
x!C1
xs
lKm
nC1
.log x/n
.log x/nC1
lK
m
D
D 0:
x!C1
xs
s x!C1 x s
lKm
D
lK
m
x!C1
x!C1 esx
xs
0 D lKm
0 D lKm
x>0
Ejercicio resuelto 117 Calcula el lmite en el punto a que en cada caso se indica de las
funciones f W RC ! R.
f .x/ D
x 2 sen 1=x
; a D CI
log x
Universidad de Granada
Dpto. de Anlisis Matemtico
f .x/ D sen
p
1Cx
sen
p
x; a D C
Ejercicios resueltos
280
1
f .x/ D sen x sen ; a D 0; a D CI
x
f .x/ D cos
xC2
x 2
; a D C
Solucin.
x 2 sen 1=x
es, de hecho, una indeterminacin del tipo 1
1 y puedes inx!C1
log x
tentar hacerlo por LHpital. Prueba a ver qu pasa. En este caso el marqus de LHpital
x
no resuelve el lmite. Pero es fcil ver que lKm x sen.1=x/
D C1, porque
x!C1
log x
x
sen x
D 1 y lKm
D C1.
lKm x sen.1=x/ D lKm
x!C1 log x
x!C1
x!0 x
x>0
p
p
El lmite lKm sen 1 C x sen x no entra dentro de ninguna de las indetermix!C1
p
naciones usuales. De hecho, el lmite lKm sen x no existe (sabes probarlo?). Est
El lmite
lKm
x!C1
claro que el lmite que nos piden calcular requiere un tratamiento particular. Despus de
pensarlo un poco, a la vista de cmo es la funcin, se me ocurre usar el teorema del valor
p
medio. Dicho teorema, aplicado a la funcin sen x en el intervalo x; x C 1, me dice
p
p
cos z
que hay algn punto z 2x; x C 1 tal que sen x C 1 sen x D p , y tomando
2 z
valores absolutos deducimos
p
p cos z
1
sen x C 1 sen x D p 6 p
2 z
2 x
lKm
x!C1
sen
p
1Cx
sen
p
x D 0.
x2
El lmite lKm
es una indeterminacin 11 y aplicaremos el criterio de
cos
x!C1
xC2
equivalencia logartmica. Para ello, calculamos
x
1
cos
1 C 2x
2
1 D lKm
D
lKm x cos
x!C1
xC2
x!0
x2
x >0
2
x
x
1
cos
2
1 C 2x
1 C 2x
D
D lKm
2
2
x!0
x2
x
x >0
1 C 2x
Luego lKm
cos
x!C1
xC2
x 2
De
2 =2 .
Ejercicios resueltos
281
estudiar si f es derivable en x D 0 no hay otra forma de hacerlo (pero lee ms abajo) que
recurriendo a la definicin. Tenemos que
g 00 .0/
g.x/ g 0 .0/x
f .0/
D
D lKm
0
x!0
2
x2
f .x/
x
x!0
lKm
en virtud del teorema de Taylor-Young (si lo prefieres, puedes aplicar -una vez solo!g 00 .0/
.
LHpital). Por tanto, f es derivable en x D 0 y f 0 .0/ D
2
x g 0 .x/ g.x/
Estudiemos si f 0 es continua en x D 0. Tenemos que lKm f 0 .x/ D lKm
x!0
x!0
x2
y para calcular este lmite no se puede aplicar LHpital porque no sabemos si g 0 es
derivable (nos dicen que g es una vez derivable en R). Intentaremos relacionar el cociente
con las hiptesis que nos dan sobre g. Despus de pensarlo un poco, parece conveniente
escribir:
x g 0 .x/ g.x/ x g 0 .x/
D
x2
x g 0 .0/ C x g 0 .0/
x2
g.x/
g 0 .x/
g 0 .0/ g.x/
x
g 0 .0/x
x2
g 00 .0/
, luego f 0 es continua en x D 0.
2
x!0
Tambin puedes usar para hacer este ejercicio un resultado de teora que dice que si
una funcin f es continua en un intervalo I , a es un punto de I , y sabemos que f es
derivable en I n fag y que lKm f 0 .x/ D L, entonces f tambin es derivable en a con
y deducimos que lKm f 0 .x/ D
x!a
log.1 C x/
; f .0/ D 1I
x
g.x/ D ef .x/
lKm
x!0
.1 C x/1=x
e
eC x
2
x2
Ejercicios resueltos
282
tratas de hacerlo por LHpital. Las funciones como la g, esto es, las del tipo u.x/v.x/ ,
tienen derivadas complicadas.
log.1 C x/ x
f .x/ f .0/
1
D lKm
es bien
Derivar f es fcil. El lmite lKm
D
x 0
2
x!0
x!0
x2
1
conocido. Deducimos que f 0 .0/ D
. Ahora, para x 0, se calcula fcilmente, por
2
x log.1 C x/ x log.1 C x/
.
la regla de derivacin de un cociente, que f 0 .x/ D
x 2 .1 C x/
Tenemos
f 0 .x/
x
f 0 .0/ x
D
0
1
x log.1 C x/ C x 2 .1 C x/
2
x 3 .1 C x/
log.1 C x/
log.1 C x/ D x
Deducimos que:
x
log.1 C x/
1
2
1
x log.1 C x/ C x 2 C x 3 D x 3 C o.x 3 /
2
2
3
f 0 .x/
x
x!0
2
f 0 .0/ 2
D , es decir, f 00 .0/ D .
0
3
3
e
Resulta as que g 0 .0/ D ef .0/ f 0 .0/ D
y
2
2
11
1
f .0/
2
00
0
00
C
e:
D
g .0/ D e
.f .0// C f .0/ D e
4
3
12
por lo que lKm
lKm
e
eC x
2 D 11 e :
24
.1 C x/1=x
x2
x!0
g.x/
g.0/
x2
x!0
g 0 .0/x
1
D g 00 .0/.
2
1/
, y f .1/ D
e.
Ejercicios resueltos
283
sen.1=x/
4. f W R ! R, dada por f .x/ D 1 C x 2
y f .0/ D 1.
5. f W
6. f W
sen x 1=x2
y f .0/ D e 1=6 :
x
2 2 cos x 1=x
para x 0 y f .0/ D 1.
=2; =2! R dada por f .x/ D
x2
Solucin. En todos los casos nos piden estudiar la derivabilidad de una funcin de la
forma F.x/ D u.x/v.x/ en un punto conflictivo en el que no puedes aplicar las reglas
de derivacin. En este tipo de ejercicios la mejor forma de proceder consiste en estudiar
la derivabilidad de la funcin '.x/ D log F.x/ D v.x/ log u.x/ en el punto conflictivo.
Para ello debes recurrir a la definicin de derivada. Observa que como F.x/ D e'.x/ ,
la derivabilidad de ' equivale a la derivabilidad de F . Como en el ejercicio anterior ya
hemos usado esta estrategia, un par de ejemplos ms deben ser suficiente para que la
comprendas bien. Consideraremos las dos ltimas funciones propuestas.
5)
f .x/ D
sen x 1=x2
x
log
Tenemos que '.x/ D log f .x/ D
'.x/
lKm
x!0
x
f .0/ D e
sen x
x
x2
'.0/
D lKm
0
x!0
1=6
log
sen x
x
x3
1
. Tenemos:
6
1
C x2
6 D
'.x/
x
x!0
lKm
sen x D x
deducimos que x cos x
cos x D 1
1 2
x C o.x 3 /
2
1
sen x C x 2 sen x D o.x 4 /, por lo que
3
x cos x
lKm
x!0
1
sen x C x 2 sen x
3
D0
3x 4
Concluimos que ' es derivable en x D 0 y ' 0 .0/ D 0 por lo que tambin f es derivable
en x D 0 y f 0 .0/ D f .0/' 0 .0/ D 0.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
284
6)
f .x/ D
2 cos x
x2
1=x
f .0/ D 1
Es ms fcil estudiar la derivabilidad de '.x/ D log f .x/. Ntese que al ser f .x/ D
exp.'.x//, en todo punto a en que sea derivable ' tambin, en virtud de la regla de la
cadena, ser derivable f siendo f 0 .a/ D ' 0 .a/ exp.'.a// D ' 0 .a/f .a/. Tenemos que
2 2 cos x
log
x2
'.x/ D
x
para x 0, y '.0/ D 0. Para estudiar la derivabilidad de ' en x D 0 consideremos el
cociente:
2 2 cos x
log
'.x/ '.0/
x2
H .x/ D
D
x 0
x2
Se trata de calcular lKm H .x/. Puesto que
x!0
lKm
x!0
2 cos x
D1
x2
(6.25)
x!0
x!0
x2
2
2 cos x
2x.2
x4
2x
2 cos x/
x sen x C 2 cos x
x!0
x4
D lKm
donde hemos tenido en cuenta (6.25). Podemos volver a usar la regla de LHpital para
calcular el ltimo lmite, obteniendo:
lKm
x!0
x sen x C 2 cos x
x4
D lKm
x!0
x cos x sen x
D lKm
x!0
4x 3
1
x sen x
D
12
12x 2
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
285
9/ lKm
2/ lKm
x!1
4/
lKm
1
log x
x!C1
6/ lKm
x!0
tg x
x
1
x
arc tg x
1=x2
log1x
arc tg x sen x
x!0 x.1
cos x/
3 sen x 3 x cos x 1=x
10/ lKm
x!0
x3
8/ lKm
Sugerencia. Pueden usarse las reglas de LHpital pero es conveniente realizar previamente alguna transformacin.
Solucin.
1) Recuerda: antes de calcular un lmite debemos simplificar todo lo que podamos la
funcin. Tenemos que:
1
1
x 2 sen2 x
D
sen2 x x 2
x 2 sen2 x
Como sen x x para x ! 0, podemos sustituir sen x por x en el denominador (no en
el numerador!). Con ello:
1
sen2 x
Ahora recordamos que x
1
x 2 sen2 x
x2
x4
sen2 x
x sen x x C sen x
D
x
x4
x3
(6.26)
x!0
1
sen2 x
1
x2
1
3
Ejercicios resueltos
286
log1x
log1x
arc tg x
x!C1
lKm
t !0
t >0
t
.1 C
t 2 / arc tg t
D 1
1
lKm f .x/ D .
x!C1
e
5) Tambin puede hacerse por LHpital pero, antes de derivar, debes sustituir log.1 C x/
por x. Te recuerdo que puedes sustituir funciones asintticamente equivalentes en un producto o en un cociente, nunca en una suma. Tampoco se pueden hacer estas sustituciones
en una funcin, es decir, si g.x/ h.x/ para x ! a, y F es una funcin, no es cierto
en general que F.g.x// sea asintticamente equivalente a F.h.x// para x ! a. En este
lmite, la funcin senx x 1 para x ! 0, pero no es cierto que log senx x log.1/ D 0.
Deducimos que
7) Este es el tpico lmite en el que si aplicas directamente LHpital, sin antes simplificar
sustituyendo funciones por otras asintticamente equivalentes, lo ms probable es que
acabes por equivocarte al derivar. Apliquemos la primera regla: simplificar todo lo que
se pueda la funcin.
Tenemos que:
1
sen.tg2 x/
tg2 x
!2
tg4 x tg4 x x 4
Los dems lmites de este ejercicio te los dejo para que los hagas t.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
287
Ejercicio resuelto 121 Explica si es correcto usar las reglas de LHpital para calcular los
lmites:
x sen x
x 2 sen.1=x/
lKm
I
lKm
x!C1 x C sen x
sen x
x!0
Solucin. Las reglas de LHpital dicen que, bajo ciertas hiptesis, la existencia de
f 0 .x/
f .x/
lKm 0
implica la existencia de lKm
en cuyo caso ambos lmites coinciden.
x!a g .x/
x!a g.x/
Una hiptesis de las reglas de LHpital es que la derivada del denominador no se anuf .x/
sea una
le en un intervalo que tenga al punto a por extremo y que el lmite lKm
x!a g.x/
indeterminacin.
x sen x
Esto no ocurre en el caso del cociente
para x ! C1 pues, aunque puede
x C sen x
1
, la derivada del denominador es 1 C cos x
verse como una indeterminacin del tipo
1
que se anula en todos los puntos de la forma C 2k, k D 1; 2; : : : por lo que no tiene
1 cos x
, pues dicho
sentido considerar el lmite del cociente de las derivadas, lKm
x!C1 1 C cos x
cociente no est definido en ningn intervalo de la forma c; C1. Es claro, sin embargo,
que:
sen x
1
x sen x
x
lKm
D lKm
sen x D 1
x!C1 x C sen x
x!C1
1C
x
x 2 sen.1=x/
, que puede verse como una indeterminacin del
sen x
x!0
0
tipo , si formamos el cociente de las derivadas obtenemos la funcin
0
2x sen.1=x/ cos.1=x/
cos x
la cual no tiene lmite en 0 (el denominador tiene lmite 1, pero el numerador no tiene
lmite), luego no es posible aplicar LHpital para calcular este lmite el cual, por otra
parte, es evidentemente igual a 0, pues:
x 2 sen.1=x/
x
D lKm
x sen.1=x/ D 0
x!0
sen x
x!0 sen x
lKm
Ejercicio resuelto 122 Prueba que una funcin polinmica de grado n coincide con su polinomio de Taylor de orden n centrado en un punto cualquiera a.
Solucin. Las funciones polinmicas son indefinidamente derivables, por lo que, dados
x; a 2 R, podemos aplicar el teorema de Taylor con resto de Lagrange para obtener que
hay algn punto c comprendido entre a y x tal que:
P .x/DP .a/CP 0 .a/.x a/C
Universidad de Granada
Dpto. de Anlisis Matemtico
P .n/ .a/
P .nC1/ .c/
P 00 .a/
.x a/2 C C
.x a/n C
.x a/nC1
2
n!
.n C 1/!
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
288
a/ C
P 00 .a/
.x
2
a/2 C C
P .n/ .a/
.x
n!
a/n
Ejercicio resuelto 123 Prueba que una funcin polinmica P tiene un cero de orden k en
a si, y slo si, puede escribirse de la forma P .x/ D .x a/k Q.x/, donde Q.x/ es una
funcin polinmica que no se anula en a.
Solucin. Supongamos que P .x/ tiene un cero de orden k en a, es decir el valor de P y
el de todas sus derivadas hasta la de orden k 1 son nulos en a y la derivada de orden k
de P no se anula en a. Entonces, como consecuencia del ejercicio anterior, tenemos que:
P .x/ D
n
n
n
X
X
X
P .j / .a/
P .j / .a/
P .j / .a/
.x a/j D
.x a/j D .x a/k
.x a/j
j!
j!
j!
j D0
j Dk
Poniendo Q.x/ D
P
.k/
.a/
k!
Pn
j Dk
0 y P .x/ D .x
P .j / .a/
j ! .x
a/k Q.x/.
j Dk
a/j
k,
El recproco es inmediato.
Solucin. Se trata de un polinomio de grado par con coeficiente lder positivo, por tanto,
alcanza un mnimo absoluto en R, si ste es igual a m, se tiene que f .R/ D m; C1.
El punto (o los puntos) en donde f alcanza su mnimo absoluto debe ser un cero de la
derivada. Como
f 0 .x/ D 6x 5
6x D 6x.x 4
1/ D 6x.x 2
1/.x 2 C 1/ D 6x.x
1/.x C 1/.x 2 C 1/
x D 0.
lKm f .x/ D
x!C1
1y
f .e/ D 3
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
289
Ejercicio resuelto 126 Estudia, segn los valores de , el nmero de ceros, contando multiplicidades cuando proceda, de la funcin polinmica f .x/ D 3x 5 C 5x 3 30x .
Explica con detalle lo que haces.
Solucin. Como consecuencia del teorema de Rolle, si la derivada de una funcin tiene
k ceros (reales) distintos entonces la funcin no puede tener ms de k C 1 ceros (reales)
distintos (pero puede que no tenga ninguno!). Sabemos tambin, como consecuencia del
teorema de los ceros de Bolzano, que todo polinomio de grado impar tiene por lo menos
un cero real. Como las races complejas, cuando las hay, de polinomios con coeficientes reales, vienen por parejas de races complejas conjugadas, deducimos que contando
cada cero tantas veces como indica su multiplicidad, todo polinomio de grado impar y
coeficientes reales tiene un nmero impar de ceros reales. Por las mismas razones, contando cada cero tantas veces como indica su multiplicidad, todo polinomio de grado par
y coeficientes reales tiene un nmero par de ceros reales y tambin puede que no tenga
ninguno.
En nuestro caso:
f 0 .x/ D 15x 4 C 15x 2
30 D 15.x 2 C 2/.x 2
1/
resulta que f 0 tiene dos ceros reales , 1 y 1, por lo que f no puede tener ms de tres
ceros reales distintos (pero todava no sabemos si los tiene). Lo que es seguro es que
f , por ser un polinomio de grado impar, tiene por lo menos un cero real, y en el caso
de que tenga ms de un cero real debe tener tres (que pueden ser simples o uno simple
y otro doble). Veamos cundo ocurre una cosa u otra. Tenemos que f es inyectiva en
los intervalos 1; 1, 1; 1 y 1; C1 (porque su derivada no se anula en ningn
punto de dichos intervalos excepto en los extremos). Adems lKmx! 1 f .x/ D 1 y
lKmx!C1 f .x/ D C1.
Deducimos que para que f tenga tres ceros reales simples, uno en cada intervalo
1; 1, 1; 1 y 1; C1, es necesario y suficiente que f . 1/ D 22 > 0 y
f .1/ D 22 < 0. Condiciones que equivalen a 22 < < 22.
Cuando D 22 entonces f . 1/ > 0 y f .1/ D 0, por lo que f tiene tambin tres ceros
reales: uno simple en el intervalo 1; 1 y otro doble (porque tambin anula a la
derivada) en 1.
Cuando > 22 o < 22, f slo tiene un cero real (porque no puede tener tres ceros
reales simples ni tampoco un cero real doble).
La discusin anterior puede hacerse tambin representando grficamente la funcin polinmica h.x/ D 3x 5 C 5x 3 30x y viendo cuntos cortes tiene dicha grfica con la recta
horizontal y D . Para ello observemos que h y f tienen la misma derivada, por lo que:
x<
1h 0 .x/ > 0;
Ejercicios resueltos
290
solamente en x D 0, siendo h 00 .x/ < 0 para x < 0 y h 00 .x/ > 0 para x > 0, es decir, h es
cncava en 1; 0 y convexa en 0; C1. Con esta informacin ya podemos representar
su grfica.
22
yD
22
De esta grfica se deducen fcilmente los mismos resultados antes obtenidos. Ntese que
como f .x/ D h.x/ C , la grfica de f se obtiene trasladando la de h hacia arriba (si
> 0) o hacia abajo (si < 0). Se ve as claramente, que cuando D 22 o D 22, la
grfica de f es tangente al eje de abscisas en el punto 1 o en el 1 donde hay un cero
doble.
Ejercicio resuelto 127 Justifica que la ecuacin x 2 D x sen x C cos x tiene exactamente
dos soluciones reales.
Solucin. Sea f .x/ D x 2 x sen x cos x. Se trata de probar que f se anula en exactamente dos puntos. La funcin f es continua y f .0/ D 1, f ./ D f . / D 2 C 1. El
teorema de Bolzano nos dice que f se anula en algn punto del intervalo ; 0 y en algn punto del intervalo 0; . Luego f se anula al menos en dos puntos. Veamos que no
puede anularse en ms de dos puntos. En efecto, la derivada de f es f 0 .x/Dx.2 cos x/.
Como 2 cos x > 0 para todo x 2 R, se sigue que la derivada f 0 solamente se anula en
x D 0. Si la funcin f se anulara en tres o ms puntos, en virtud del teorema de Rolle,
su derivada debera anularse al menos en dos puntos, lo cual, segn acabamos de ver, no
ocurre. Concluimos que f se anula exactamente en dos puntos.
Alternativamente, podemos razonar como sigue. Al ser f 0 .x/ < 0 para todo x < 0, la
funcin f es estrictamente decreciente en R , luego solamente puede anularse una vez
en R . Anlogamente, como f 0 .x/ > 0 para todo x > 0, la funcin f es estrictamente
creciente en RC , luego solamente puede anularse una vez en RC .
Ejercicio resuelto 128 Sean a0 ; a1 ; : : : ; an nmeros reales. Prueba que para algn x 2 0; 1
se verifica que
n
n
X
X
ak
k
ak x D
:
k C1
kD0
kD0
Solucin. Se trata del tpico ejercicio que una vez que sabes cmo se hace te parece muy
ak
y el
fcil. Pero se te tiene que ocurrir cmo hacerlo. La pista la dan los nmeros
k C1
para algn x 2 0; 1. El ejercicio recuerda al teorema del valor medio. Despus de
pensarlo un poco, se nos ocurre considerar la funcin
f .x/ D
Universidad de Granada
Dpto. de Anlisis Matemtico
n
X
kD0
ak
x kC1 :
kC1
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
291
El teorema del valor medio aplicado a esta funcin en el intervalo 0; 1, nos dice que hay
un punto x 20; 1 tal que
f .1/
1
n
X
f .0/
0
D f .1/ D f .x/ D
ak x k :
0
kD0
Ejercicio resuelto 129 Sea f una funcin polinmica y sea a < b. Justifica 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 dicho nmero (caso de que haya algn cero) es par. Deduce
que si f tiene grado n, es condicin necesaria y suficiente para que f tenga n races
reales distintas que su derivada tenga n 1 races reales distintas c1 < c2 < < cn 1
y que para < c1 suficientemente pequeo y para > cn 1 suficientemente grande, los
signos de los nmeros f ./; f .c1 /; f .c2 /; : : : ; f .cn 1 /; f ./ vayan alternando.
Solucin. Si f es un polinomio de grado n y c es un cero de orden k de f , entonces
tenemos que f .x/ D .x c/k h.x/ donde h.x/ es un polinomio de grado n k con
h.c/ 0. Podemos suponer, por comodidad, que h.c/ > 0. Por la continuidad de h, hay
un intervalo abierto I que contiene a c tal que para todo x 2 I se verifica que h.x/ > 0.
Si k es par, tenemos que .x c/k > 0 para todo x c y deducimos que f .x/ > 0
para todo x 2 I n fcg. Por tanto, la grfica de f no atraviesa al eje de abscisas en x D c.
Si k es impar, tenemos que .x c/k > 0 para x > c y .x c/k < 0 para x < c.
Deducimos que f .x/ > 0 para x > c y f .x/ < 0 para x < c. Por tanto, la grfica de f
atraviesa al eje de abscisas en x D c.
En otros trminos, en un cero de orden par la funcin f no cambia de signo y en un cero
de orden impar s cambia.
Es claro que si f .a/f .b/ < 0 el nmero de cambios de signo de f entre a y b tiene que
ser impar. Deducimos, por lo antes visto, que f tiene en a; b un nmero impar de ceros
de orden impar, por lo que el nmero total de ceros de f en a; b, contando cada cero
tantas veces como su orden, es impar.
Anlogamente, si f .a/f .b/ > 0 el nmero de cambios de signo de f entre a y b tiene
que ser par (o ninguno) y deducimos que el nmero total de ceros de f en a; b es par.
Si f tiene n ceros (reales) distintos, 1 < 2 < < n 1 < n , estos ceros determinan
n 1 intervalos j ; j C1 y, por el teorema de Rolle, en cada uno de esos intervalos la
derivada tiene que tener algn cero cj 2j ; j C1 . Deducimos as que la derivada tiene
n 1 races (reales) distintas c1 < c2 < < cn 1 . Como en cada intervalo j ; j C1 la
grfica de f atraviesa una vez el eje de abscisas, deducimos que f .cj /f .cj C1 / < 0, es
decir, los nmeros f .c1 /; f .c2 /; : : : ; f .cn 1 / van alternando su signo. Ahora, si < 1 ,
en el intervalo ; c1 la funcin f tiene un cero simple 1 y, por tanto, su grfica atraviesa
una vez al eje de abscisas, luego f ./f .c1 / < 0. Anlogamente, si n < debe ser
f .cn 1 /f ./ < 0. Hemos probado as que la condicin del enunciado es necesaria.
Recprocamente, la condicin del enunciado implica que f tiene nC1 cambios de signo,
luego tiene n races distintas.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
292
8x 3
6x 2 C 24x C
8x 3
6x 2 C 24x C . Como
f 0 .x/ D 12x 3
24x 2
lKm f .x/ D
x! 1
1/.x
2/
x!C1
tiene 4 races reales distintas si, y slo si, f . 1/ D 19 C < 0, f .1/ D 13 C > 0 y
f .2/ D 8 C < 0. Estas condiciones equivalen a 13 < < 8.
Ejercicio resuelto 131 Dado n 2 N, sea f .x/ D .x 2 1/n . Prueba que la derivada k-sima
(1 6 k 6 n) de f tiene exactamente k races reales distintas en el intervalo 1; 1.
Solucin. Observa que f es un polinomio de grado 2n que tiene un cero de orden n en
x D 1 y otro cero de orden n en x D 1. La derivada de orden k de f ser un polinomio
de grado 2n k que tendr un cero de orden n k en x D 1 y otro cero de orden
n k en x D 1, luego debe ser de la forma f .k/.x/ D .x 2 1/n k Pk .x/ donde Pk .x/
es un polinomio de grado k. Lo que nos piden es probar que para 1 6 k 6 n el polinomio
Pk .x/ tiene k races reales distintas en el intervalo 1; 1. Lo haremos por induccin
(finita). Para k D 1, f 0 .x/ D .x 2 1/n 1 2n x que tiene un cero en 1; 1. Supongamos
que 1 < k < n 1 y que Pk .x/ tiene k races reales distintas, a1 < a2 < < ak en
el intervalo 1; 1. Tenemos que
f .kC1/ .x/ D.x 2
D.x 2
1/n
1/n
k 1 2.n
k 1
Por tanto
PkC1 .x/ D 2.n
k/xPk .x/ C .x 2
1/Pk 0 .x/:
El polinomio Pk 0 .x/ tiene un cero en cada uno de los intervalos aj ; aj C1 y, como hay
en total k 1 de ellos, deducimos que Pk 0 .x/ tiene k 1 ceros simples cj 2aj ; aj C1 .
En cada uno de dichos ceros Pk 0 .x/ cambia de signo, es decir, Pk 0 .aj /Pk 0 .aj C1 / < 0.
Supongamos, por comodidad, que Pk 0 .a1 / < 0. Entonces . 1/j Pk 0 .aj / > 0 para
1 6 j 6 k. Como
PkC1 .aj / D 2.n
y aj2
1/Pk 0 .aj /
Por tanto PkC1 .x/ tiene una raz en cada uno de los k
1 6 j 6 k:
1 intervalos aj ; aj C1 .
Probaremos ahora que PkC1 .x/ tiene una raz en 1; a1 y otra en ak ; 1. Como
. 1/j PkC1 .aj / < 0, se sigue que PkC1 .a1 / > 0. Tenemos tambin que PkC1 . 1/ D
2.n k/Pk . 1/ por lo que, al ser n k > 0, ser suficiente probar que Pk . 1/ > 0.
Para ello basta observar que como Pk 0 .x/ 0 para x < c1 y como Pk 0 .a1 / < 0, se
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
293
sigue que Pk 0 .x/ < 0 para todo x < c1 . Luego Pk .x/ es estrictamente decreciente en
el intervalo 1; c1 y como se anula en a1 < c1 , concluimos que Pk .x/ > 0 para
x < a1 y, por tanto, Pk . 1/ > 0. Anlogamente se prueba que Pk .x/ tiene una raz en
ak ; 1.
(6.27)
para todo x 2 RC ,
Solucin. Sea f .x/ D x C 1 x . Es claro que f .1/ D 0, por tanto, todo consiste
en probar que la funcin f alcanza en x D 1 un mnimo absoluto estricto. Tenemos que
f 0 .x/ D x 1 D .1
x 1 /. Para 0 < x < 1 es . 1/ log x > 0 y, por tanto,
1
x
D exp . 1/ log x > 1, lo que implica, por ser > 0, que f 0 .x/ < 0. Anlogamente se justifica que f 0 .x/ > 0 si x > 1. Por tanto f es estrictamente decreciente en
0; 1 y estrictamente creciente en 1; C1. Concluimos as que f .x/ > f .1/ D 0 para
todo x > 0, x 1.
Tenemos que:
ab 6
ap
bq
C
ab 1
p
q
ap b
p
1
ap b
D
q
p
C1
1
p
x2
< cos x I
2
ii)
2x
< sen x < x < tg x
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
294
Solucin.
x2
. Tenemos que f 0 .x/ D sen x C x y f 00 .x/ D 1 cos x.
2
Como f 00 .x/ > 0 para todo x 20; =2, se sigue que f 0 es estrictamente creciente en
0; =2 y, como f 0 .0/ D 0, obtenemos que f 0 .x/ > 0 para todo x 20; =2. Por tanto
f es estrictamente creciente en 0; =2. Puesto que f .0/ D 0, concluimos finalmente
que f .x/ > 0 para todo x 20; =2.
2
2x
. Tenemos que f 0 .x/ D cos x
y f 00 .x/ D sen x. Como
ii) Sea f .x/ D sen x
f 00 .x/ < 0 para todo x 20; =2, se sigue que f 0 es estrictamente decreciente en
0; =2. Como f 0 .0/ > 0, y f 0 .=2/ < 0, deducimos que hay un nico punto x0 2
0; =2 tal que f 0 .x0 / D 0, y en dicho punto la funcin f alcanza un mximo absoluto
en 0; =2. Sabemos, por el teorema de valores mximos y mnimos de Weierstrass,
que f tiene que alcanzar un valor mnimo absoluto en 0; =2. Dicho mnimo absoluto
necesariamente tiene que alcanzarse en los extremos del intervalo ya que si se alcanzara
en un punto interior, en dicho punto habra de anularse la derivada y hemos visto que
sta slo se anula en un punto que es de mximo absoluto. Como f .0/ D f .=2/ D 0
concluimos que f .x/ > 0 para todo x 20; =2.
i) Sea f .x/ D cos x
1C
convexa en el
Ejercicio resuelto 135 Desigualdad de Jensen. Sea f W I ! R una funcinP
intervalo I , y sea n 2 N, n > 2. Dados nmeros k > 0, xk 2 I tales que nkD1 k D 1,
prueba que:
!
n
n
X
X
f
k x k 6
k f .xk /:
(6.28)
kD1
kD1
Supongamos que la desigualdad (6.28) sea cierta para un nmero natural nP> 2 y probemos que, en tal caso, tambin es cierta para n C 1. Sean k > 0 tales que nC1
kD1 k D 1
y sean xk 2 I para k D 1; 2; : : : ; n C 1. Tenemos que:
nC1
X
kD1
Pongamos k D
k xk D .1
nC1 /
n
X
kD1
k
xk C nC1 xnC1
1 nC1
(6.29)
k
> 0. Tenemos que:
1 nC1
n
X
kD1
Universidad de Granada
Dpto. de Anlisis Matemtico
k D
n
X
1
1
k D
nC1
1
kD1
nC1
D1
nC1
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
295
n
X
kD1
kD1
k xk D .1
nC1
X
k x k
kD1
6 .1
n
X
kD1
k f .xk / D
n
X
k xk con k > 0 y
kD1
n
X
kD1
Pn
kD1 k
D 1,
k
f .xk /
1 nC1
nC1
X
kD1
k x k
nC1
X
k f .xk /:
kD1
Ejercicio
Pn resuelto 136 Sean xk , k , donde 1 6 k 6 n, nmeros positivos verificando que
log x demuestra la dekD1 k D 1. Usando de la convexidad de la funcin x 7!
sigualdad:
n
X
x11 x22 xnn 6
k x k
(6.30)
kD1
Cundo se da la igualdad?
Solucin. La funcin f .x/D log x es estrictamente convexa en RC porque su derivada
segunda es positiva en RC . Usando la desigualdad de Jensen, tenemos que
!
n
n
n
X
X
X
log
k x k 6
log.k xk / D
log xkk D log x11 x22 xnn
kD1
kD1
kD1
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
296
Ejercicio resuelto 137 Sean p; q nmeros reales positivos tales que 1=p C 1=q D 1.
a) Prueba que ab 6
bq
ap
C
y la igualdad ocurre si, y slo si, ap D b q .
p
q
b) Dado z D .z1 ; z2 ; : : : ; zn / 2
Rn
n
X
iD1
!1=s
jzi j
. Prueba
Cundo se da la igualdad?
Sugerencias. El punto a) puede hacerse como consecuencia del ejercicio anterior. Para
jxi j
jyi j
b) hgase a D
;b D
en la desigualdad del punto a).
kxkp
kykq
Solucin.
jxi j jyi j
1 jxi jp
1 jyi jq
6
p C
kxkp kykq
p kxkp
q kykqq
1D1
iD1
Lo que prueba la desigualdad de Hlder. La igualdad ocurre si, y solamente si, jxi jp D
kxkpp
jyi jq para todo i D 1; 2; : : : ; n, donde D
kykqq
Para s D 2, el nmero kxk2 D
n
X
j D1
xj yj 6 kxk2 kyk2
(6.31)
j D1
La igualdad ocurre si, y slo si, xj D yj para j D 1; 2; : : : ; n donde 2 RC .
La desigualdad (6.31) suele escribirse de la forma:
xj yj 6 kxk2 kyk2
j D1
Universidad de Granada
Dpto. de Anlisis Matemtico
(6.32)
Ejercicios resueltos
297
X
X
n
n
xj yj ;
x
y
6
j
j
j D1
j D1
(6.33)
Ejercicio resuelto 138 Sea f es una funcin derivable en un intervalo I . Prueba que f es
convexa en I si, y slo si, la grfica de f queda siempre por encima de la recta tangente en cualquier punto, es decir, para todo par de puntos x; a 2 I se verifica que
f .x/ > f .a/ C f 0 .a/.x a/.
Solucin. Supongamos que f es convexas y sea x < a. De la desigualdad:
f .tx C .1
t/a/ 6 tf .x/ C .1
f .a// C f .a/
0<t <1
se deduce que
f .x/
x
f .a/
Como esta desigualdad es cierta para todo t 20; 1, tomando lmites en la derecha para
t ! 0 se deduce que
f .x/
x
f .a/
6 f 0 .a/
a
f .x/
a/
f .b/
b
f .a/
a
b/
f .b/
b
f .a/
6 f 0 .b/
a
De esta desigualdad y de la anterior, deducimos que f 0 .a/ 6 f 0 .b/, lo que prueba que
la derivada de f es creciente en I .
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
298
Ejercicio resuelto 139 Prueba que las nicas funciones n veces derivables con derivada de
orden n constante son las funciones polinmicas de grado menor o igual que n.
Solucin. Sea f una funcin n veces derivables con derivada de orden n constante.
Naturalmente, dicha funcin tiene derivada de orden n C 1 idnticamente nula. Dado,
x 2 R, aplicamos el teorema de Taylor con resto de Lagrange a f en el punto a D 0, y
deducimos que existe un punto c comprendido entre 0 y x tal que:
f .x/ D f .0/ C f 0 .0/x C
f 00 .0/ 2
f .n/ .0/ n f .nC1/ .c/ nC1
x C C
x C
x
2
n!
.n C 1/!
y como f .nC1/ .t/ D 0 para todo t 2 R, concluimos que f coincide con su polinomio de
Taylor de orden n en a D 0 y, por tanto, es una funcin polinmica de grado 6n.
Fjate que no cabe esperar que este resultado pueda probarse sin usar algn resultado
terico profundo. Recuerda que se necesita el teorema del valor medio para probar que
una funcin con primera derivada nula es constante.
Ejercicio resuelto 140 Prueba que el polinomio de Taylor de orden n de una funcin f es el
nico polinomio P .x/ de grado menor o igual que n tal que f .x/ D P .x/ C o.x a/n .
Solucin. Supongamos que P .x/ y Q.x/ son funciones polinmicas de grado menor o
igual que n tales que:
lKm
x!a
f .x/
.x
P .x/
f .x/
D lKm
x!a
a/n
.x
Q.x/
D0
a/n
Pongamos H .x/ D P .x/ Q.x/ que es una funcin polinmica de grado 6n. Sea
Tn .H; a/.x/ el polinomio de Taylor de orden n de H en a. Por el teorema de Taylor
Young sabemos que:
H .x/ Tn .H; a/.x/
lKm
D 0:
x!a
.x a/n
Como:
Tn .H; a/.x/
H .x/
D
n
.x a/
.x a/n
H .x/
Tn .H; a/.x/
C
.x a/n
Deducimos que:
lKm
x!a
Tn .H; a/.x/
D0
.x a/n
Evidentemente, la nica posibilidad de que esto ocurra es que el polinomio Tn .H; a/.x/
sea idnticamente nulo. Pero, como H es una funcin polinmica de grado 6n, sabemos
que Tn .H; a/.x/ D H .x/, por tanto, H es idnticamente nulo, es decir, P .x/ D Q.x/
para todo x 2 R.
Universidad de Granada
Dpto. de Anlisis Matemtico
log.1 C sen x/
sen2 x
sen x
Ejercicios resueltos
299
log.1 C x/
x2
1
:
2
g.0/ D
Pues se tiene que f .x/ D g.sen x/, por lo que si sabemos derivar g tambin sabemos
derivar f . En principio, debemos calcular las derivadas f 0 .0/, f 00 .0/ y f 000 .0/. Pero
tambin podemos intentar calcular directamente un polinomio P .x/ de grado 63 tal que
f .x/ D P .x/ C o.x 3 / pues, por el ejercicio anterior, P .x/ ser el polinomio de Taylor
de orden 3 de f en 0. La ventaja de proceder as es que nos ahorramos bastante trabajo y,
adems, podemos aprovecharnos de que los polinomios de Taylor de g en 0 se deducen
fcilmente de los polinomios de Taylor de log.1Cx/ en 0 y stos son conocidos. Sabemos
que
log.1 C x/ D x
x2
x3
C
2
3
x4
x5
. 1/nC1 n
C
C C
x C o.x n/
4
5
n
Deducimos que
g.x/ D
1 x
C
2
3
x2
x3
. 1/nC1 n
C
C C
x
4
5
n
C o.x n
2 de g en 0. En particular
x2
x3
C
4
5
1 x
C
2
3
Tenemos que
lKm
g.x/
x!0
lK
m
D0
x!0 sen3 x
x3
x3
g.sen x/ T3 .g; 0/.sen x/
D0
lKm
x!0
x3
x!0
T3 .g; 0/.sen x/
x3
P .x/
D 0;
P .x/
x3
g.sen x/
P .x/
tendremos que
f .x/
P .x/
D0
x3
y, por tanto, P .x/ ser el polinomio de Taylor de orden 3 de f en 0.
lKm
x!0
x3
C o.x 4 /
6
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
300
1 2 13 3
x C x C o.x 3 /
4
90
Donde deben hacerse los clculos sabiendo lo que se busca para no hacer trabajo innecesario. Alternativamente, puedes calcular directamente P .x/ porque es el polinomio
de Taylor de orden 3 de T3 .g; 0/.sen x/ en 0. De una forma u otra, concluimos que el
polinomio pedido es:
1
1
1 2 13 3
P .x/ D
C x
x C x
2
3
4
90
Observa que no hemos necesitado calcular las tres primeras derivadas de f en 0, pero
ahora las conocemos:
1
f 0 .0/ D ; f 00 .0/ D
3
1
13
; f 000 .0/ D
2
15
Ejercicio resuelto 142 Calcula, usando un desarrollo de Taylor conveniente, un valor aproximado del nmero real con un error menor que " en cada uno de los casos siguientes:
p
3
a/ D 7; "D10
p
b/ D e; "D10
1
c/ Dsen ; "D10
2
d / Dsen.61 /; "D10
.n/
1
.x/D
3
1
3
1
1
3
1
2
3
n C 1 x 1=3
1 2 5 8 .3.n
D
3n
1/
1/
p
3
x
xn
deducimos que
.nC1/
p
3
f
.c/
2
1 2 5 8 .3n 1/ 8
< nC1
<
nC1
nC1
.n C 1/!
.n C 1/!3
7
7
p
3
y basta tomar nD4 para que el error cometido al aproximar 7 por el valor del polinomio
de Taylor T3 .f; 8/.7/ sea menor que 10 3 .
Si hubiramos tomado a D 1;93 D 6;859 la aproximacin obtenida hubiera sido mucho
mejor porque 7 6;859 D 0;141. Y an mejor tomando a D 1;913 D 6;96787, pues
p
7 6;96787 < 0;05. En ambos casos el valor de f .x/ D 3 x y de sus derivadas puede
calcularse de forma exacta en a.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
301
d) Lo primero que hay que hacer es expresar el seno en radianes. Tenemos que
61
sen.61 / D sen
D sen
C
180
3
180
Claramente, debemos elegir a D =3. El error que se comete al aproximar sen 61
180 por
el correspondiente valor del polinomio de Taylor Tn .sen; a/.x/ viene dado por
sen.nC1/ .c/
61
1
2 nC1
nC1
jx aj
D aD ; xD
6
.n C 1/!
3
180
.n C 1/! 100
donde hemos tenido en cuenta que las derivadas del seno estn acotadas por 1 y que
3;5
2
cometido al
180 < 180 < 100 .Deducimos que basta tomar n D 3 para que el error
61
61
aproximar sen 180 por el valor del polinomio de Taylor T3 sen; 3 180 sea menor
que 10
8.
Ejercicio resuelto 143 Calcula los valores mximo y mnimo de las siguientes funciones en
los intervalos que se indican:
1. f .x/ D x 3 x 2 8x C 1 en el intervalo 2; 2.
xC1
2. 2
en el intervalo 1; 2.
x C1
1
3. f .x/ D .sen2 x C cos x/ C 2 sen x x en el intervalo 0; =2.
2
p
3
4. f .x/ D x 2 .5 2x/ en el intervalo 1; 2.
5. f .x/ D x 3 C 12x C 5 en el intervalo 3; 3.
Solucin.
1
3) La funcin f .x/ D .sen2 x C cos x/ C 2 sen x
2
f 0 .x/ D cos x sen x
1
sen x C 2 cos x
2
1
1 D . 1 C 2 cos x/.2 C sen x/
2
Por tanto, el nico cero de la derivada en el intervalo 0; =2 es x D =3. Como para
0 6 x < =3 es f 0 .x/ > 0 y para =3 < x 6 =2 es f 0 .x/ < 0, se sigue que el
valor mximo absoluto de la funcin f en 0; =2 se alcanza un en x D =3 y vale
p
5
f .=3/ D C 3
. El valor mnimo absoluto debe alcanzarse en alguno de los
8
3
1
5
extremos del intervalo. Como f .0/ D y f .=2/ D
, se sigue que el valor
2
2
2
mnimo absoluto de f en 0; =2 se alcanza en x D 0.
p
3
4) La funcin f .x/ D x 2 .5 2x/, tiene como derivada
p
10.1 x/
10 4x
2
3
2 D x2
x0
f 0 .x/ D x 2=3 1.5 2x/ 2 x 2=3 D x 2=3
3
3x
3x
Claramente, f no es derivable en x D 0. El nico cero de la derivada es x D 1, puesto que
f 0 .x/ < 0, para 1 6 x < 0, f 0 .x/ > 0 para 0 < x < 1 y f 0 .x/ < 0 para 1 < x 6 3,
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
302
Ejercicio resuelto 144 Para cada nmero real t sea f .x/ D 13 x 3 C t 2 x. Calcula, para cada
valor de t 2 1; 1, el mnimo valor de f .x/ en el intervalo 0; 1.
Solucin. Tenemos que:
f 0 .x/ D x 2 C t 2 D .t C x/.t
x/ D 0 x D t o x D t
Si
p1
3
7
p
21 2
C x0 D 5 2 C 5 D 2 > 21 > 2
f .x0 / D
D 54 3
7
27
7
27
p
5x02
27
2
7
kD1
cuando x 2 R. Cuando una funcin no est definida en un intervalo cerrado hay que
estudiar el signo de la derivada si queremos calcular mximos o mnimos absolutos cuya
existencia habr que justificar. Tenemos
f
Universidad de Granada
Dpto. de Anlisis Matemtico
0 .x/ D
n
X
kD1
.x
ak / D 2n x
n
X
ak
kD1
Ejercicios resueltos
303
n
1X
ak :
n
kD1
0 .x/ es creciente
Como f
> 0, se sigue que f
y, por tanto, f 0 .x/ < 0 si x < x
y f 0 .x/ > 0 si x > x. Luego f .x/ 6 f .x/ para todo x 2 R. Es decir, el valor mnimo
buscado se obtiene cuando x se sustituye por la media aritmtica, x, de a1 ; a2 ; : : : ; an .
Ejercicio resuelto 147 Calcula la imagen de f W RC ! R dada por f .x/ D x 1=x .
Solucin. Como se trata de una funcin continua, definida
en
un intervalo, su imagen
log x
tiene que ser un intervalo. Escribamos f .x/ D exp
. Tenemos que f 0 .x/ D
x
1 log x
f .x/. Es evidente que f .x/ > 0 para todo x > 0. La derivada se anula solax2
mente para x D e, y f 0 .x/ > 0 para 0 < x < e, f 0 .x/ < 0 para x > e. Deducimos
que en x D e la funcin alcanza un mximo absoluto. Es claro que f no alcanza ningn mnimo absoluto aunque toma valores arbitrariamente prximos a 0, pues como
log x
D 1, se sigue que lKm f .x/ D 0. Concluimos que la imagen de f es el
lKm
x!0
x!0 x
x>0
x >0
intervalo 0; e1= e .
2
Ejercicio resuelto 148 Sea f W R ! R la funcin definida por f .x/ D e 1=x para x 0,
y f .0/ D 0. Estudia la continuidad y derivabilidad de f y calcula su imagen.
x >0
g 0 .x/ D
1
e
x2
1=x
1
;
x 2 e1=x
por lo que lKm g 0 .x/ D 0 y, por un resultado de teora usado ya en varias ocasiones,
x!0
x>0
puedes demostrar por induccin que g tiene derivadas de todos rdenes en x D 0 siendo
g.n/ .0/ D 0 para todo n 2 N.
Como f .x/ D g.x 2 / para todo x 2 R, se sigue que tambin f tiene derivadas de todos
rdenes en x D 0 siendo f .n/ .0/ D 0 para todo n 2 N. Por tanto, f tiene derivadas de
todos rdenes en R, es decir, es una funcin de clase C 1 en R.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
304
x!C1
f .c/
c
f .a/
f .b/
; f 0 .v/ D
a
b
.b; f .b//
f .c/
c
f .c/
c
f .a/ f .b/
D
a
b
f .c/
:
c
a
f 0 .x/.x
a/
.x
.f .x/
a/2
f .a//
.a < x 6 b/
a/
.f .x/
f .a// D .f 0 .x/
f 0 .c//.x
f .a/ D
a/ > 0
por ser f 0 creciente. Concluimos que g 0 .x/ > 0 para todo x 2a; b, lo que implica que g
es creciente en dicho intervalo.
Universidad de Granada
Dpto. de Anlisis Matemtico
305
Ejercicio resuelto 151 Justifica que existe una funcin g W R ! R derivable y que verifica
que g.x/ C eg.x/ Dx para todo x 2 R. Calcula g 0 .1/ y g 0 .1 C e/.
Solucin.
Se trata de probar que la funcin f W R ! R definida por f .x/ D ex Cx es una biyeccin de R sobre R, pues entonces llamando g a la funcin inversa de f , se tendr que
f .g.x// D x, es decir, g.x/ C eg.x/ Dx para todo x 2 R.
Naturalmente, sera una ingenuidad intentar calcular de forma explcita la funcin inversa
de f , pues la igualdad x C ex Dy no permite expresar de forma elemental x como
funcin de y. Hemos de contentarnos con demostrar que la funcin g existe.
Desde luego, como f 0 .x/ D 1 C ex > 0, se sigue que f es inyectiva, de hecho, estrictamente creciente en R. Adems como lKm f .x/D 1 y lKm f .x/ D C1, se sigue
x! 1
x!C1
1
f
0 .0/
1
D ;
2
g 0 .1 C e/ D
1
f
0 .1/
1
:
1Ce
Universidad de Granada
Dpto. de Anlisis Matemtico
306
307
Fermat ilustraba su mtodo hallando el punto E de un segmento AC que hace mxima el rea
del rectngulo AE:EC .
Pongamos AC D b.
1. Sea a uno de los segmentos, el otro ser b a.
2. El producto del que se debe encontrar el mximo es ba
Universidad de Granada
Dpto. de Anlisis Matemtico
a2 .
Prof. Javier Prez
Clculo diferencial e integral
308
e, y el
f .x/ 0.
Para funciones derivables podemos interpretar todo esto como que el valor de x que hace
mximo o mnimo a f .x/ es la solucin de resolver la ecuacin
f .xC Mx/
Mx
Mx!0
f 0 .x/ D lKm
f .x/
D0
Sin embargo, esto significa extrapolar demasiado el contenido estricto del mtodo. Lo que
estamos haciendo es interpretar con nuestra mirado de hoy lo que hizo Fermat. En primer
lugar, Fermat no pensaba en una cantidad como una funcin, y por eso habla de cantidad
mxima o mnima, no de una funcin que alcance un mximo o un mnimo. Fermat no tiene
clara la nocin de variable independiente. l est pensando en una ecuacin algebraica con
dos incgnitas que interpreta como segmentos, es decir, magnitudes lineales dadas. Fermat no
deca nada acerca de que e fuese un infinitesimal, ni siquiera una magnitud muy pequea, y el
mtodo no implica ningn concepto de lmite, sino que es puramente algebraico. Adems, la
condicin 6 no tiene sentido en esta interpretacin. Los problemas a los que Fermat aplic su
mtodo son problemas de construcciones geomtricas ms que de optimizacin de cantidades.
6.8.2.2.
309
T1
P1
P
e
T
Q1
semejantes, resulta
TQ1
T1 Q1
D
PQ
TQ
(6.35)
(6.36)
310
Para responder a estas crticas, Fermat desarroll, en una memoria de 1638, un procedimiento
bastante general para calcular tangentes que, con notacin actual, podemos resumir como sigue.
Sea P D .x; y/ un punto de una curva f .x; y/ D 0 y sea P1 D .x C e; y1 / otro punto de la curva
prximo a P como en la figura (6.11). Llamemos b D TQ, la subtangente en P . Teniendo en
cuenta que PQ D y, la igualdad (6.35) se escribe como
T1 Q1 D
y.b C e/
b
y
bD
Que, usando que la tangente viene dada por y=b, podemos escribir, viendo y como funcin
(implcita) de x, en la forma familiar
y0
@f
.x; y/
@x
@f
.x; y/
@y
f .a/
311
T1
P1
P
E
E
T
Q1
f .a/
Naturalmente, a esta interpretacin se le pueden hacer las mismas observaciones que hicimos
a la interpretacin anloga del mtodo para mximos y mnimos.
6.48 Ejemplo. Sea f .x/ D x 2 2x C 3 y a D 2. Entonces f .2/ D 3. Pongamos c D TQ la
longitud de la subtangente. Tenemos la adigualdad:
3 f .2 C E/
D
c
E
f .2/
2E C E 2
D2CE
E
312
Isaac Barrow (1630 - 1677) tambin dio un mtodo para calcular tangentes. Barrow era un
admirador de los gemetras antiguos y edit las obras de Euclides, Apolonio y de Arqumedes,
a la vez que publicaba sus propias obras Lectiones Opticae (1669) y Lectiones Geometricae
(1670) en la edicin de las cuales colabor Newton. El tratado Lectiones Geometricae se considera una de las principales aportaciones al Clculo. En l Barrow quiso hacer una puesta al
da de todos los ltimos descubrimientos, principalmente de problemas de tangentes y cuadraturas. Barrow hace un tratamiento detallado de todos estos problemas incluyendo conceptos
como tiempo y movimiento y usando mtodos infinitesimales y mtodos de indivisibles.
Una de las herramientas a las que saca gran partido es al tringulo caracterstico o tringulo
diferencial.
Partiendo del tringulo PRQ, que resulta de un incremento PR, como este tringulo es
semejante al PNM , resulta que la pendiente de la tangente PM=MN es igual a QR=PR.
Barrow afirma que cuando el arco PP1 es muy pequeo podemos identificarlo con el segmento
PQ de la tangente en P . El tringulo PRP1 de la figura de la derecha, en el cual PP1 es
considerado a la vez como un arco de la curva y como parte de la tangente, es el tringulo
caracterstico o diferencial. Ya haba sido usado mucho antes por Pascal y otros en problemas
de cuadraturas.
En la Leccin X de Lectiones, Barrow calcula la tangente a una curva, dada por una ecuacin polinmica f .x; y/ D 0, en un punto de la misma P D .x; y/ de la forma siguiente.
Pongamos P1 D .x C e; y C a/ un punto de la curva prximo a P y sustituyamos estas coorUniversidad de Granada
Dpto. de Anlisis Matemtico
313
Q
P1
P1
P
a
e
Despus de estas operaciones se puede calcular el cociente a=e que es la pendiente de la curva
en el punto P .
6.49 Ejemplo. Consideremos la curva x 3 C y 3 D r 3 y sigamos el mtodo de Barrow para
calcular su pendiente en un punto P D .x; y/ de la misma. Como el punto P1 D .x C e; y C a/
est en la curva se tiene:
.x C e/3 C .y C a/3 D r 3
Esto es
x 3 C 3x 2 e C 3xe 2 C e 3 C y 3 C y 3 C 3y 2 a C 3ya2 C a3 D r 3
x2
y2
Observa que este procedimiento equivale a quedarse con la aproximacin lineal de la funcin en el punto P y eso es como reemplazar el tringulo PRP1 en la figura de la izquierda
por el tringulo diferencial.
El mtodo de Barrow es parecido al de Fermat, la diferencia es que Barrow considera
incrementos independientes de las dos variables con el propsito de calcular el cociente a=e.
Parece que Barrow no conoca directamente la obra de Fermat.
Universidad de Granada
Dpto. de Anlisis Matemtico
314
f .x/
315
A principios de 1665 descubre el teorema del binomio y el clculo con las series infinitas.
A finales de ese mismo ao, el mtodo de fluxiones, es decir, el clculo de derivadas. En 1666
el mtodo inverso de fluxiones y la relacin entre cuadraturas y fluxiones. En esos dos aos
tambin inici las teoras de los colores y de la gravitacin universal. Newton tena 24 aos,
haba nacido el da de Navidad de 1642.
Newton desarroll tres versiones de su clculo. En la obra De Analysi per aequationes
numero terminorum infinitas, que Newton entreg a su maestro Barrow en 1669, y que puede considerarse el escrito fundacional del Clculo, Newton usa conceptos infinitesimales de
manera similar a como haca el propio Barrow.
Una segunda presentacin del Clculo es la que realiza Newton en el libro Methodus fluxionum et serierum infinitorum, escrito hacia 1671 y que se public mucho despus en 1736.
Newton considera cantidades variables que van fluyendo con el tiempo, a las que llama fluentes. Despus se introducen las razones de cambio instantneas de las fluentes, a las que llama
fluxiones, que son las derivadas respecto al tiempo de las fluentes. Newton representaba a las
primeras por letras x; y; z; : : : y a las segundas por letras punteadas x;
T y;
T zT ; : : : . Los incrementos de las fluentes x; y; z; : : : , los representa por medio de las correspondientes fluxiones en la
forma xo;
T yo;
T zT o; : : : , y los llama momentos, donde o es entendido como un incremento infinitesimal de tiempo. Newton desarroll una serie de algoritmos y redujo muchos problemas como
determinacin de tangentes, mximos y mnimos, reas y superficies, curvaturas, longitudes de
arcos, centros de gravedad etc., a dos problemas fundamentales que pueden formularse tanto
en trminos mecnicos como en trminos matemticos:
Problema 1 Determinacin de la velocidad de movimiento en un momento de tiempo dado
segn un camino dado. De otro modo: dada la relacin entre las cantidades fluentes,
determinar la relacin de las fluxiones.
Problema 2 Dada la velocidad de movimiento determinar el camino recorrido en un tiempo
dado. Matemticamente: determinar la relacin entre las fluentes dada la relacin entre
las fluxiones.
Hay que notar que Newton no piensa en trminos de funciones con el significado actual de
ese trmino, sino que imagina curvas o superficies descritas por las variables, o sea, considera relaciones entre las fluentes del tipo f .x; y; z; : : : / D 0, donde f para l es una expresin
analtica finita o infinita. Por tanto, el primer problema planteado puede verse como un problema de derivacin implcita: supuesta conocida la expresin analtica que satisfacen las fluentes
f .x; y; z; : : : / D 0, obtener la expresin analtica F.x; y; z; x;
T y;
T zT ; : : : / D 0 que satisfacen las
fluxiones. Para este problema, Newton introdujo un algoritmo que sistematizaba los clculos
necesarios. Por ejemplo, sea la curva de ecuacin
x3
ax 2 C axy
y3 D 0
Sustituyendo x e y por x C xo
T e y C yo
T respectivamente, tenemos:
.x 3 C 3xox
T 2 C 3xT 2 o2 x C xT 3 o3 /
a.x 2 C 2xox
T C xT 2 o2 /C
C a.xy C xoy
T C yox
T C xT yo
U 2/
Universidad de Granada
Dpto. de Anlisis Matemtico
.y 3 C 3yox
T 2 C 3yT 2 o2 y C yT 3 o3 / D 0
316
2axx
T C axy
T C ax yT
Esta es la relacin que satisfacen las fluxiones. A partir de ella puede obtenerse la tangente a la
curva x 3 ax 2 C axy y 3 D 0 en cualquier punto .x; y/ de la misma, que viene dada por:
3x 2 2ax C ay
yT
D
xT
3y 2 ax
Como ya hemos indicado, Newton aplica los resultados sobre fluentes y fluxiones a la resolucin de multitud de problemas. Por ejemplo, con respecto a los problemas de mximos y
mnimos, escribe:
Cuando una cantidad es la ms grande o la ms pequea, en ese momento su fluir ni crece
ni decrece: si creciera, eso probara que era menor y que lo que sigue sera ms grande que
lo que ahora es, y recprocamente pasara si decreciera. As, calclese su fluxin como se
ha explicado en el problema 1 e igulese a cero.
De nuevo, Newton usa el teorema fundamental del clculo para realizar cuadraturas. Escribe:
Problema 9: Determinar el rea de cualquier curva propuesta.
La resolucin del problema est basada en el establecimiento de la relacin entre la cantidad fluente y su fluxin (problema 2).
Newton reduce la integracin al proceso inverso del clculo de fluxiones, esto es, al clculo de
primitivas.
El problema 2, es mucho ms difcil que el problema 1, pues se trata de resolver una ecuacin diferencial que puede ser muy general. Newton consider varias posibilidades resolviendo
algunos casos particulares. Para ello utiliz tcnicas de clculo de primitivas y de desarrollos
en serie.
En De Quadratura Curvarum, escrita en 1676 y publicada en 1704, Newton propone fundamentar su clculo de fluxiones en lo que llama razones primera y ltima de incrementos
evanescentes. De esa forma se refiere Newton a los cocientes de los incrementos infinitesimales de las cantidades variables, y su objetivo es determinarlos en el momento en que dichas
cantidades nacen desde cero (razn primera) o se anulan (razn ltima). Un ejemplo ayudar a entender el significado de estas ideas. En la introduccin de la citada obra, Newton
calcula la fluxin de x n . Para ello, considera un incremento o de forma que x pasa a x C o.
Entonces x n se convierte en
.x C o/n D x n C nox n
n.n
1/
2
o2 x n
C
Universidad de Granada
Dpto. de Anlisis Matemtico
y nox n
n.n
1/
2
o2 x n
C
Prof. Javier Prez
Clculo diferencial e integral
317
a nx n
n.n
Hay distintas interpretaciones de las razones que llevaron a Newton a exponer su clculo
de una u otra forma. La ms extendida es que su intencin era conseguir una fundamentacin
rigurosa del mismo. La primera exposicin, basada en el concepto de cantidad infinitesimal,
entendida como una cantidad menor que cualquier cantidad positiva pero no nula, presentaba
problemas de coherencia lgica de los que Newton era muy consciente. En sus propias palabras,
su clculo estaba concisamente explicado ms que exactamente demostrado.
En Methodus Fluxionum et Serierum Infinitarum (1671), el concepto bsico es el de cantidad en movimiento o que fluye continuamente en el tiempo. Las magnitudes estn generadas
por el movimiento continuo y no por agregacin de cantidades infinitesimales; la idea bsica es la de continuidad tal como se observa en los procesos de la Naturaleza. Quizs Newton
pretenda de esta forma evitar el uso de infinitesimales estticos o geomtricos, pero lo que
realmente hizo fue sustituirlos por los infinitesimales de tiempo usados para definir los momentos de las fluentes. Conviene advertir que lo que Newton considera es la abstraccin matemtica
anloga al tiempo, es decir, una magnitud independiente imaginaria abstracta que fluye uniformemente y con la que se relacionan todas las fluentes. Puede verse aqu un intento de Newton
por evitar los problemas matemticos del continuo (infinitesimales, indivisibles) y trasladarlos
al mundo fsico, a la continuidad de los procesos naturales y al movimiento. Por otra parte,
Newton aceptaba como algo dado la idea intuitiva de velocidad instantnea de las fluentes, no
le pareci preciso definirla.
En Quadrature of Curves (1676), Newton expresa su propsito de abandonar por completo
el uso de cantidades infinitesimales. Manifiesta en este sentido que errores quam minimi in
rebus mathematicis non sunt contemnendi, esto es, que en matemticas ni siquiera los errores
ms pequeos pueden ser admitidos. Y eso es justamente lo que se haca cuando se despreciaban en los clculos cantidades infinitesimales. Seguidamente, enuncia su teora de las razones
primera y ltima de cantidades evanescentes. Estas ideas sealan claramente al concepto matemtico de lmite. Lo que expresa, a su manera, Newton es, en trminos actuales, el lmite de
un cociente de funciones que se anulan. Pero estamos en el siglo XVII y se necesitarn casi
200 aos para precisar matemticamente el concepto de lmite. Debemos notar que Newton usa
dicho concepto a partir de la intuicin mecnica del movimiento.
Por velocidad ltima se entiende aquella con la que el cuerpo se mueve, no antes de alcanzar el punto final y cesa, por consiguiente, el movimiento, ni tampoco despus de haberlo
alcanzado, sino aquella con la que se mueve cuando lo alcanza, esto es, aquella velocidad
con la que el cuerpo alcanza el punto final y aquella con la que cesa el movimiento. De
igual manera, ha de entenderse por razn ltima de cantidades evanescentes, la razn de
cantidades, no antes de que desaparezcan, ni despus de desaparecidas, sino aquella con
la que desaparecen.
318
cantidades continuamente decrecientes, lmites a los que pueden acercarse ms que una
diferencia dada, pero nunca traspasarlo, ni tampoco alcanzarlo antes de que las cantidades
disminuyan in infinitum.
La teora de las razones ltimas puede verse como una teora cinemtica de lmites. Con esta
teora, Newton pretenda recuperar el rigor de la geometra de la Antigedad.
[. . . ] investigar las razones primera y ltima de cantidades finitas, nacientes o evanescentes, est en armona con la geometra de los antiguos; y me he esforzado en probar que, en
el mtodo de fluxiones, no es necesario introducir en la geometra cantidades infinitamente
pequeas.
Otros autores opinan que estos tres mtodos empleados por Newton responden, ms que a
fundamentar con rigor su clculo, a distintos propsitos. As, la teora de fluxiones proporciona
mtodos heursticos de descubrimiento y algoritmos tiles para el calculo; la teora de razones
primera y ltima servira al propsito de proporcionar demostraciones convincentes y el uso
de los infinitsimos servira para proporcionar atajos a las pruebas ms rigurosas. Newton us
simultneamente estas tres aproximaciones en la resolucin de una gran variedad de problemas.
Newton realiz tambin contribuciones importantes en la teora de ecuaciones, donde podemos destacar las identidades de Newton para la suma de las potencias de las races de una
ecuacin polinmica, y a la teora de curvas, siendo notable su clasificacin de las curvas de
tercer grado.
Considerando la matemtica desde el comienzo del mundo hasta la poca de Newton, lo que l ha hecho es, con mucho, la mitad mejor.
Leibniz
Las tres obras consideradas, escritas entre 1666 y 1676, se publicaron ya en el siglo XVIII,
por eso la primera noticia impresa de la teora de fluxiones apareci, de forma bastante circunstancial, en la obra magna de Newton Philosophiae Naturalis Principia Mathematica, cuya
primera edicin se hizo en 1687. Los Principia consta de tres libros escritos en el estilo tradicional a la manera de los Elementos de Euclides, y su lenguaje es principalmente el de la
geometra sinttica.
Los Principia estn considerados como la obra cientfica ms importante de todos los tiempos y una hazaa intelectual incomparable por sus logros y sus consecuencias. En dicha obra
Newton estable los fundamentos de la mecnica y enuncia las tres clebres leyes del movimiento, as como la ley de la gravitacin universal. En los dos primeros libros, se estudia el
movimiento de los cuerpos en el vaco y en un medio resistente. Newton deduce matemticamente las tres leyes que Kepler haba obtenido empricamente. En el libro III, titulado Sobre
el Sistema del Mundo, Newton desarrolla la mecnica celeste. Hace un detallado estudio de
los movimientos de la Luna, explicando las causas de las mareas. Calcula la masa del Sol con
respecto a la de la Tierra, estudia la precesin de los equinoccios, predice el achatamiento de la
Tierra por los polos . . . .
En los Principia el mundo aparece como un sistema ordenado y armonioso en el que todo,
los cielos, la tierra y el mar, obedecen unas pocas leyes matemticas fundamentales. A partir
de Newton quedar claro que no hay diferencias entre un mundo sublunar y otro supralunar,
ni entre la Tierra y el Cielo; las leyes de la Naturaleza no hacen estas distinciones y en todas
partes del Universo los procesos obedecen a las mismas leyes naturales inexorables.
Universidad de Granada
Dpto. de Anlisis Matemtico
319
El Universo newtoniano es un Cosmos difano y sereno ofrecido a la exploracin racional del hombre. La gran obra de Newton proporcionar a la Ilustracin, en el siglo XVIII, la
base cientfica necesaria para acabar con una concepcin conservadora y absolutista del poder
poltico apoyada en dogmticas concepciones religiosas.
El prestigio y admiracin que goz Newton en vida queda reflejado en las palabras de
Alexander Pope:
Nature, and Natures Laws lay hid in Night:
God said, Let Newton be and All was light.
Y qu pensaba el propio Newton de s mismo? Escuchemos sus palabras, ya casi al final de su
vida.
No s cmo puedo ser visto por el mundo, pero a m me parece haber sido solamente como
un nio que juega al borde del mar, y que se divierte al encontrar de vez en cuando una
piedra ms pulida o una concha ms bonita de lo normal, mientras que el gran ocano de
la verdad yace ante m completamente desconocido.
Newton muri en la noche del 20 de marzo de 1727, y fue enterrado con grandes honores en la
abada de Westminster entre los grandes hombres de Inglaterra.
320
en 1700 y fue su primer presidente; tambin fue uno de los fundadores de la primera revista
cientfica alemana, el Acta Eruditorum.
Aunque Leibniz public poco, mantuvo correspondencia con ms de 600 eruditos y se
han conservado sus manuscritos que estn en el archivo que lleva su nombre en la ciudad de
Hannover. Las contribuciones de Leibniz al lgebra (determinantes, resolucin de ecuaciones),
la historia natural, la geologa y la lingstica son tambin importantes.
En 1672, estando en Pars en misin diplomtica, Leibniz se dedic intensamente al estudio
de la matemtica superior teniendo como gua al matemtico y fsico Christian Huygens (1629
- 1695). En los aos 1673 y 1676 realiz, tambin en misin diplomtica, dos viajes a Londres
donde tuvo acceso al manuscrito de Newton De Analysi, circunstancia que se us para acusar,
hoy sabemos que sin motivo alguno, a Leibniz de plagio cuando se produjo la agria controversia
sobre la prioridad en el descubrimiento del Clculo. Los progresos matemticos realizados por
Leibniz en estos cuatro aos fueron extraordinarios.
En las matemticas de Leibniz son importantes los estudios sobre sucesiones numricas y
sus sucesiones de diferencias consecutivas asociadas. Dada una sucesin de nmeros:
a1 ; a2 ; a3 ; a4 ; : : : ; an
1 ; an ; : : :
a1 ; b3 D a3
a2 ; b4 D a4
a3 ; : : : ; bn D an
an
1; : : :
321
ds
dy
dx
y
x
cociente de diferenciales al que Leibniz llam cociente diferencial. Leibniz nunca consider la
derivada como un lmite.
Leibniz investig durante algn tiempo hasta encontrar las reglas correctas para diferenciar
productos y cocientes. Dichas reglas se expresan fcilmente con su notacin diferencial:
x
y dx x dy
D
d.xy/ D y dx C x dy ;
d
y
y2
La manera en que Leibniz lleg a estas frmulas pudo ser como sigue. Consideremos
0
10
1
n
n
X
X
zn D @
xj A @
yj A
j D1
Entonces
znC1
zn D xnC1
j D1
nC1
X
j D1
yj C ynC1
n
X
xj
(6.37)
j D1
z dy
dx
y
x
y
dx
y
dy
y dx
x dy
y2
Adems, dicha notacin tiene una gran potencialidad heurstica, como ya hemos visto al estudiar la derivada de una funcin compuesta.
Consideremos ahora una curva como la de la figura 6.18 con una sucesin de ordenadas
trazadas a intervalos de longitud unidad. La suma de las ordenadas es una aproximacin de la
Universidad de Granada
Dpto. de Anlisis Matemtico
y1
1
y2
y3
322
y4
y5
y6
y7
y8
y9
y12 y13
y10 y11
cuadratura de la curva (del rea bajo la curva), y la diferencia entre dos ordenadas sucesivas
es aproximadamente igual a la pendiente de la correspondiente tangente. Cuanto ms pequea
se elija la unidad 1, tanto mejor sern estas aproximaciones. Leibniz razonaba que si la unidad
pudiera ser tomada infinitamente pequea, estas aproximaciones se haran exactas, esto es, la
cuadratura sera igual a la suma de las ordenadas, y la pendiente de la tangente sera igual a la
diferencia de dos ordenadas sucesivas. Como las operaciones de tomar diferencias y sumar son
recprocas entre s, dedujo Leibniz que el clculo de cuadraturas y de tangentes tambin eran
operaciones inversas una de otra.
Las investigaciones de Leibniz sobre la integracin y el origen de sus notaciones para la
integral y los diferenciales, pueden seguirse con todo detalle en una serie de manuscritos del
25 de octubre al 11 de noviembre de 1675. Nos ocuparemos de ello en el captulo dedicado a la
integracin. En 1676 Leibniz ya haba obtenido prcticamente todos los resultados descubiertos
por Newton un poco antes.
La primera publicacin sobre clculo diferencial fue el artculo de Leibniz Nova methodus
pro maximis et minimis, itemque tangentibus, quae nec fractals nec irrationales quantitates
moratur, et singulare pro illis calculi genus, que fue publicado en Acta Eruditorum hace ya
ms de tres siglos, en 1684. En este trabajo, Leibniz defina el diferencial dy de forma que
evitaba el uso de las sospechosas cantidades infinitesimales. Poco despus, en 1686, Leibniz
public un trabajo con sus estudios sobre la integracin.
Reconocido hoy da como un genio universal, Leibniz vivi sus ltimos aos en Hannover
en un aislamiento cada vez mayor y muri el 14 de noviembre de 1716. A su entierro solamente
asisti su secretario.
323
Basilea, estudiaron los trabajos de Leibniz con quien iniciaron una productiva correspondencia.
A partir de 1690 publicaron una serie de trabajos en el Acta Eruditorum y en otras revistas,
poniendo de manifiesto que el clculo de Leibniz era una herramienta poderosa con la que haba
que contar. Para divulgar dicha herramienta era preciso un buen libro de texto que explicara con
detalle los pormenores del nuevo clculo. Dicho libro apareci bien pronto, en 1696, y su autor
fue el matemtico y noble francs Guillaume Franois, marqus de LHpital. El ttulo del
libro, del que ya hemos dado noticia en anteriores captulos, era Analyse des infiniment petits
pour lintelligence des lignes courbes. Hoy sabemos que los resultados originales que aparecen
en dicho libro son debidos no a LHpital sino a su profesor Johann Bernouilli.
En su libro, LHpital desarrollaba el clculo diferencial tal como haba sido concebido por
Leibniz, es decir, usando cantidades infinitesimales para las que se establecan ciertas reglas de
clculo. La definicin de diferencial es como sigue: La parte infinitamente pequea en que
una cantidad variable es aumentada o disminuida de manera continua, se llama la diferencial
de esta cantidad. Para trabajar con infinitsimos se establece la siguiente regla: Dos cantidades cuya diferencia es otra cantidad infinitamente pequea pueden intercambiarse una por
la otra.
Los escritos de los Bernouilli, Leibniz y LHpital popularizaron el clculo leibniziano y
ya en la primera dcada del siglo XVIII otros matemticos se interesaron por l. La potencialidad del concepto de derivada se puso de manifiesto en las aplicaciones del clculo a la fsica
newtoniana.
Para no hacer excesivamente larga esta exposicin, voy a resumir muy esquemticamente
los puntos clave en el desarrollo del clculo diferencial.
El descubrimiento en 1715 por Brook Taylor de las llamadas series de Taylor, que se
convirtieron en una herramienta bsica para el desarrollo del clculo y la resolucin de
ecuaciones diferenciales.
El extraordinario trabajo, tanto por su asombrosa amplitud como por sus notables descubrimientos, de Leonhard Euler (1707 - 1783) que, sin duda, es la figura principal de las
matemticas en el siglo XVIII. En sus tres grandes tratados, escritos en latn, Introductio
in analysin infinitorum (1748), Institutiones calculi differentiales (1755) e Institutiones
calculi integralis (1768), Euler dio al clculo la forma que conserv hasta el primer tercio del siglo XIX. El clculo, que inicialmente era un clculo de variables o, ms exactamente, de cantidades geomtricas variables, y de ecuaciones, se fue transformando, por
influencia de Euler, en un clculo de funciones.
La propuesta de Joseph Louis Lagrange (1736 - 1813) de fundamentar el clculo sobre
un lgebra formal de series de potencias. Si bien la idea de Lagrange de evitar el uso de
lmites no era acertada, su propuesta, concretada en su obra Thorie des fonctions analytiques (1797), tuvo el efecto de liberar el concepto de derivada de sus significaciones
ms tradicionales. De hecho, la terminologa funcin derivada, as como la notacin
f 0 .x/ para representar la derivada de una funcin f , fueron introducidas por Lagrange
en dicho texto. A partir de este momento la derivada deja de ser algo de naturaleza imprecisa (fluxin o cociente diferencial) y empieza a ser considerada simplemente como
una funcin.
Los problemas planteados por las series de Fourier. Dichas series hacen sus primeras
apariciones a mitad del siglo XVIII en relacin con el problema de la cuerda vibrante,
Universidad de Granada
Dpto. de Anlisis Matemtico
324
Universidad de Granada
Dpto. de Anlisis Matemtico