Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Calculo Cap06 PDF
Calculo Cap06 PDF
Derivadas
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 impor-
tancia en ptica y problemas de clculo de valores mximos y mnimos de una funcin dada.
Simplificando, podemos destacar dos problemas principales:
Determinar el rea encerrada por una curva (el problema de las cuadraturas).
Son los conceptos de derivada e integral, respectivamente, los que permiten resolver satis-
factoriamente 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 culmi-
nante 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
Concepto de derivada. Interpretacin fsica y geomtrica 202
Para entender los resultados del Clculo diferencial es necesario, antes que nada, com-
prender la idea bsica del mismo: el concepto de derivada. La derivada de una funcin puede
interpretarse geomtricamente como la pendiente de una curva, y fsicamente como una razn
instantnea de cambio.
En la primera mitad del siglo XVII no se conocan mtodos generales para calcular la
tangente a una curva en un punto de la misma. Este problema se presentaba con frecuencia
en mecnica, en ptica y en geometra, y generalmente se resolva, de forma geomtrica, con
tcnicas adaptadas a cada caso particular. La dificultad est en que, siendo la tangente una
recta, se precisa conocer dos puntos de la misma, o bien un punto y su pendiente, para poderla
determinar.
Supongamos que queremos hallar la tangente a una curva de ecuacin cartesiana y D f .x/
en el punto .a; f .a//. La estrategia, usada primero por Pierre de Fermat y ms tarde por New-
ton, consiste en aproximar la tangente por rectas secantes cuyas pendientes s pueden calcularse
directamente. En particular, consideremos la recta que une el punto .a; f .a// con un punto cer-
cano, .x; f .x//, de la grfica de f . Esta recta se llama una secante (recta que corta a la curva,
pero no es tangente a la curva). La pendiente de esta secante es:
f .x/ f .a/
x a
dicho nmero suele llamarse cociente incremental de f en a.
Observa que una secante es una buena
aproximacin de la tangente, siempre que
.x; f .x// el punto .x; f .x// est prximo a .a; f .a//.
Estas consideraciones llevan a definir la tan-
gente a la grfica de f en el punto .a; f .a//
f .x/ f .a/ como la recta que pasa por dicho punto y
cuya pendiente es igual al lmite:
.a; f .a//
x a f .x/ f .a/
lKm
x!a x a
supuesto, claro est, que dicho lmite exis-
Figura 6.1. Secante ta.
Muchas leyes de la Fsica, la Qumica, la Biologa o la Economa, son funciones que rela-
cionan una variable dependiente y con otra variable independiente x, lo que suele escri-
birse en la forma y D f .x/. Si la variable independiente cambia de un valor inicial a a otro x,
la variable y lo hace de f .a/ a f .x/. La razn de cambio promedio de y D f .x/ con respecto
a x en el intervalo a; x es:
f .x/ f .a/
Razn de cambio promedio D
x 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/ s.a/
h
Es la velocidad media del mvil en el intervalo de tiempo comprendido entre a y a C h. Parece
intuitivo que, en cada instante, el mvil se mueve con una determinada velocidad instantnea.
Pero no hay manera de medir directamente una velocidad instantnea; un instante quiere decir
una posicin en la recta: la velocidad instantnea del mvil para t D a es la velocidad que tiene
cuando est en la posicin s.a/. La velocidad instantnea es una abstraccin de un caracterstica
fsica del movimiento, pero no es una magnitud que podamos observar directamente. La nica
definicin razonable de velocidad instantnea es como la razn de cambio puntual:
s.a C h/ s.a/
lKm
h!0 h
Notacin. En lo que sigue usaremos las letras I , J para representar intervalos no vacos de
nmeros reales.
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.
f .x/ f .a/
6.3 Observaciones. i) El lmite lKm se puede escribir tambin de la forma
x!a x a
f .a C h/ f .a/
lKm :
h!0 h
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.
df .x/
La notacin diferencial de Leibniz. La notacin para representar la derivada de f en
dx
x es debida a Leibniz.
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/
en un punto concreto. Podemos entender que es la funcin derivada f 0 .x/, pero cmo
dx
df .a/ df .x/
indicamos la derivada en punto concreto a? Las notaciones y .a/ son confusas.
dx dx
Lo que suele hacerse es escribir:
df .x/
dx xDa
df
que, realmente, es una notacin incmoda. Una posible mejora sera escribir .x/ para
dx
df
representar f 0 .x/, en cuyo caso .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
1 Aunque s en los cursos de Anlisis No Estndar basados en los hiperreales de A. Robinson.
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.
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:
1
y D f .a/ 0 .a/ .x a/
f
En la figura 6.2 se han representado algunos elementos de una curva que se expresan por
medio de la derivada.
x
H P
y
O T M N
V Q
f .x/ f .a/
lKm :
x!a x a
x<a
f .x/ f .a/
lKm :
x!a x a
x>a
Teniendo en cuenta la relacin que hay entre el lmite de una funcin en un punto y los
lmites laterales, es claro que:
a) f es derivable en a.
b) Las derivadas por la izquierda y por la derecha de f en a existen y coinciden.
El siguiente resultado nos dice que la derivabilidad es una propiedad ms fuerte que la
continuidad.
f .x/ f .a/
f .x/ D f .a/ C .x a/ .x 2 I; x a/
x a
se sigue que lKm f .x/ D f .a/, es decir, f es continua en a. 2
x!a
Demostracin. Las reglas de derivacin se prueban muy fcilmente haciendo uso de las propie-
dades algebraicas de los lmites y la definicin de derivada. Es suficiente que tengas en cuenta
las siguientes igualdades:
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 racio-
nales 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
h.x/ h.a/
Demostracin. Pongamos bDf .a/. Tenemos que probar que lKm D g 0 .b/f 0 .a/.
x!a x a
Por hiptesis se cumple que :
g.y/ g.b/
'.y/ D .y b/; '.b/ D g 0 .b/
y 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:
h.x/ h.a/
lKm D g 0 .b/f 0 .a/
x!a x a
como queramos probar. 2
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 dy dx
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.
176. Con qu rapidez baja el nivel del agua contenida en un depsito cilndrico si estamos
vacindolo a razn de 3000 litros por minuto?
177. Se est llenando un globo de forma esfrica con gas a razn de 50cm3 /s. Calcula la
velocidad a la que est aumentando el radio, r , del globo cuando su valor es r D 5.
179. Se est llenando un depsito cnico apoyado en su vrtice a razn de 9 litros por segundo.
Sabiendo que la altura del depsito es de 10 metros y el radio de la tapadera de 5 metros,
con qu rapidez se eleva el nivel del agua cuando ha alcanzado una profundidad de 6
metros?
180. El volumen de un cubo est aumentando a razn de 70cm3 por minuto. Con qu rapidez
est aumentando el rea cuando la longitud del lado es de 12cm?
181. 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?
182. Una bola esfrica de hielo se est derritiendo de forma uniforme en toda la superficie, a
razn de 50cm3 por minuto. Con qu velocidad est disminuyendo el radio de la bola
cuando este mide 15cm?
183. Un hombre se aleja de una farola a razn de 1,5m/sg. Sabiendo que la altura del hom-
bre es de 1,8 metros y la de la farola de 15 metros, calcula la velocidad a la que est
aumentando la sombra del hombre proyectada por la luz.
184. Un faro, cuya linterna gira a 8 revoluciones por minuto, se encuentra situado a 3 kilme-
tros de una costa rectilnea. Calcula la velocidad con que el rayo de luz recorre la orilla
cuando el ngulo de incidencia del rayo de luz con la lnea de la costa es de 45 grados.
190. Supongamos que las funciones f y g y sus derivadas tienen los valores que se indican
en la tabla.
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 2h para todos x; h 2 R.
Calcula f 0 .0/ y f 0 .2/.
196. Desarrolla .1 C x/n por el binomio de Newton y deriva la igualdad resultante para probar
las igualdades siguientes:
n n
X n X n
k D n2n 1
; k.k 1/ D n.n 1/2n 2
k k
kD1 kD2
199. Calcula las ecuaciones de las rectas tangente y normal a una parbola f .x/Dax 2 CbxCc
en un punto genrico .u; v/ de la misma.
200. Calcula las ecuaciones de las rectas tangente y normal a una hiprbola de ecuacin car-
tesiana x 2 y 2 D 1, en un punto genrico .u; v/ de la misma.
201. Calcula las ecuaciones de las rectas tangente y normal a una elipse de ecuacin
x2 y2
C D1
a2 b2
en un punto .u; v/ de la misma.
Ejercicio resuelto 79 Con qu rapidez baja el nivel del agua contenida en un depsito ci-
lndrico si estamos vacindolo a razn de 3000 litros por minuto?
Solucin. Sea r el radio del cilindro y h la altura medidos en decmetros. Sea V .t/ el
volumen de agua, medido en litros (dcm3 ), que hay en el cilindro en el tiempo t medido
en minutos. La informacin que nos dan es una tasa de variacin
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
3000
h 0 .t/ D decmetros por minuto
r2
3
Si expresamos las medidas en metros, entonces h 0 .t / D metros por minuto.
r2
Observa que lo que realmente hemos calculado es:
V .t C 1/ V .t / 3000
V .t C1/ V .t/D r 2.h.t C1/ h.t // h.t C1/ h.t /D 2
D
r r2
que es la tasa de variacin de la altura en un intervalo de 1 minuto. Pero, como ya te he
dicho, en estos ejercicios se identifica la tasa de variacin con una derivada, lo cual es,
claro est, una aproximacin.
Ejercicio resuelto 80 Un punto P se mueve sobre la parte de la parbola x D y 2 situada en
el primer cuadrante de forma que su coordenada x est aumentando a razn de 5cm/sg.
Calcular la velocidad a la que el punto P se aleja del origen cuando x D 9.
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
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
x 0 .t0 / 5
D . Finalmente,
2y.t0 / 6
x.t0 /x 0 .t0 / C y.t0 /y 0 .t0 / 45 C 3.5=6/ 95
f 0 .t0 / D p D D p cm/sg
2
x.t0 / C y.t0 / 2 81 C 9 6 10
Ejercicio resuelto 81 Se est llenando un depsito cnico apoyado en su vrtice a razn de
9 litros por segundo. Sabiendo que la altura del depsito es de 10 metros y el radio de la
tapadera de 5 metros, con qu rapidez se eleva el nivel del agua cuando ha alcanzado
una profundidad de 6 metros?
Solucin. Expresaremos todas las medidas en metros. Si V .t / es el volumen de agua que
9
hay en el depsito en el tiempo t medido en segundos, nos dicen que V 0 .t / D 3 m3 /sg.
10
1
R
Sabemos que V .t / D r .t/2 h.t/ donde h.t/ es
3
H la altura, medida desde el vrtice, alcanzada por el
agua en el tiempo t y r .t/ es el radio de la sec-
r cin transversal del cono a la distancia h.t/ desde
el vrtice. Por semejanza de tringulos deducimos
r h R 1
h que D , de donde, r D r .t/ D h.t/ D h.t /.
R H H 2
1 3
Luego V .t/ D h.t / , y
12
Figura 6.3. Depsito cnico
9
D h.t /2 h 0 .t/:
V 0 .t/ D
3
10 4
9 1
Luego, cuando h.t0 /D6, deducimos que 3 D 36h .t0 /, esto es, h 0 .t0 /D 3 m/sg
0
10 4 10
1; 146 m/h.
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/
que V .t/ D L.t/3 , de donde, L 0 .t/ D . Como nos dicen que V 0 .t / D 70 cm/min,
3L.t/2
70
deducimos que cuando L.t0 / D 12, L 0 .t0 / D . El rea del cubo viene dada por
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?
2
x 1 1
b) f .x/ D ; g.x/ D 1; xD 1
xC1 x2
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.
2 x2
a) f 0 .x/D ; 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
x ; x6c cos 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
para x < c o x > c, y f .x/ D a C bx 2 para c 6 x 6 c. Imponemos primero la
condicin de que f sea continua en c. Tenemos que f .c/ D a C bc 2 D lKm f .x/, y
x!c
x<c
1
lKm f .x/D jcj D 1c . Debemos imponer la condicin a C bc 2 D 1c . Impondremos tambin
x!c
x >c
la condicin de que los lmites laterales en c de la derivada de f coincidan. Para x > c
es f .x/ D x1 , por lo que
1 1
lKm f 0 .x/ D lKm D :
x!c
x>c
x!c
x>c
x2 c2
Anlogamente
lKm f 0 .x/ D lKm 2bx D 2bc:
x!c x!c
x <c x<c
1 1
Debemos imponer la condicin 2bcD c2
. Deducimos que bD 2c 3
3
y aD bc 2 C 1c D 2c .
Observa que las condiciones que hemos obtenido son necesarias para que f sea deri-
vable 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.
Las otras dos funciones se estudian de la misma forma.
f .a C t / f .a t/
Ejercicio resuelto 87 Es cierta la igualdad f 0 .a/ D lKm ? Justifica tu
t !a 2t
respuesta.
Solucin. Tenemos que
f .a C t/ f .a t/ f .a C t/ f .a/ f .a/ f .a t/
D C D
2t 2t 2t
1 f .a C t/ f .a/ 1 f .a t/ f .a/
D C
2 t 2 t
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
f .x/ f .0/ f .x/ r 1
D
x 6 jxj
x 0
u ux u2
y D f .u/ C f 0 .u/.x u/ D v C p .x u/ D v C vy ux D 1
1 C u2 v
u ux u2
y D g.u/ C g 0 .u/.x u/ D v p .x u/ D v C vy ux D 1
1 C u2 v
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:
u ux u2
y D v C ' 0 .u/.x u/ D v C .x u/ D v C vy ux D 1
v v
Es decir, de esta forma, sin necesidad de calcular de forma explcita '.x/ (que da lu-
gar 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:
u ux u2
y D v C ' 0 .u/.x u/ D v C .x u/ D v C ux vy D 1
v v
Ejercicio resuelto 94 Calcula las ecuaciones de las rectas tangente y normal a una elipse de
x2 y2
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
ux vy
2
C 2 D1
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.
log x ex 1 log.1 C x/
lKm D 1I lKm D 1I lKm D 1I lKm .1 C x/1=x D e
x!1 x 1 x!0 x x!0 x x!0
Pues los primeros tres lmites son derivadas y el cuarto se reduce fcilmente al tercero. Dedu-
cimos tambin un importante resultado que permite resolver en muchos casos las indetermina-
ciones 11 y 01.
si, y slo si
lKm g.x/.f .x/ 1// D L 2 R [ fCg [ f g
x!a
Las afirmaciones que se hacen en la siguiente proposicin son consecuencia fcil de la regla
de la cadena.
Las funciones seno y coseno son derivables en todo punto verificndose que:
sen 0 .x/ D cos x cos 0 .x/ D sen x:
En particular, se verifica que:
sen x cos x 1
lKm D 1; lKm D 0:
x!0 x x!0 x
Las derivadas de las dems funciones trigonomtricas se deducen con facilidad a partir de las
derivadas del seno y del coseno.
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; cosh 0 .x/ D senh 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 1
argsenh.x/ D log x C x 2 C 1 argsenh 0 .x/ D p
x2 C 1
p 1
argcosh.x/ D log x C x 2 1 x>1 argcosh 0 .x/ D p
x 2 1
1 1
argcosech.x/ D argsenh x0 argcosech 0 .x/ D p
x jxj x 2 C 1
1 1
argsech.x/ D argcosh 0<x<1 argsech 0 .x/ D p
x x 1 x2
Los resultados ms tiles del clculo diferencial se refieren a funciones derivables en todos
los puntos de un intervalo. El teorema del valor medio es frecuentemente atribuido a Joseph
Louis Lagrange; no obstante, fue publicado por vez primera en 1806 por el fsico Andr Marie
Ampre que justificaba el resultado usando ideas de Lagrange y suponiendo que la funcin
derivada era continua; lo cual, como se ver enseguida, es innecesario. Quince aos ms tarde
Augustin Cauchy volvi a probar el teorema con las mismas hiptesis. El teorema del valor
medio es uno de los resultados ms tiles del Clculo. Su utilidad se debe principalmente a que
dicho teorema permite acotar el incremento de una funcin cuando se conoce una cota de su
derivada.
Michel Rolle (1652 - 1719) fue miembro de la Acadmie des Sciences y en 1691, estudian-
do un mtodo para resolver ecuaciones, estableci, sin demostrar, el teorema que ahora lleva
su nombre que, como veremos, es esencialmente equivalente al teorema del valor medio.
6.13 Definicin. Dada una funcin cualquiera f WI ! R, se dice que f tiene en un punto a 2 I
un mximo relativo (resp. mnimo relativo) si hay algn nmero r > 0 tal que a r; a C r I
y 8x 2a r; a C r se verifica que f .x/ 6 f .a/ (resp. f .x/ > f .a/). La expresin extremo
relativo se utiliza para referirse indistintamente a un mximo o a un mnimo relativo.
.c; f .c//
La funcin f tiene mximos relativos en los
.a; f .a//
puntos a y c y mnimos relativos en los puntos
.d; f .d // b y d . Ntese que f .d / > f .a/, es decir, el va-
lor de una funcin en un mnimo relativo puede
.b; f .b//
ser mayor que el valor en un mximo relativo.
El resultado anterior es uno de los que peor se interpretan debido a que suelen olvidarse sus
hiptesis, que son dos:
~ Que el punto a sea un extremo relativo de f .
Que f sea derivable en a.
La expresin como f tiene un extremo en a, su derivada debe anularse en a no es, en
general, correcta. Los siguientes ejemplos lo dejan bien claro:
Los puntos en los que se anula la derivada de una funcin se llaman puntos crticos o puntos
singulares de dicha funcin.
6.15 Teorema (Teorema de Rolle). Sea f Wa; b ! R una funcin continua en a; b, derivable
en a; b y verificando que f .a/Df .b/. Entonces existe algn punto c 2a; b tal que f 0 .c/D0.
a c b
Figura 6.6. Teorema de Rolle
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 de-
masiado 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
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, so-
lamente 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.
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 .b/ f .a/
f 0 .c/ D (6.4)
b a
.c; f .c//
y D f .c/ C f 0 .c/.x c/
.b; f .b//
a c b
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. Geomtri-
camente: 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.
6.18 Proposicin. Sea f una funcin derivable en un intervalo I , y supongamos que existe
M > 0 tal que jf 0 .x/j 6 M para todo x 2 I . Entonces se verifica que
El resultado anterior, adems de su inters terico, es muy til para probar desigualdades.
En la proposicin anterior la hiptesis de que I es un intervalo es esencial. La funcin
f W0; 1[1; 2! R dada por f .x/ D 1 si 0 < x < 1 y f .x/ D 2 si 1 < x < 2, es derivable en
todo punto con derivada nula y no es constante.
6.19 Proposicin. Sea I un intervalo, a 2 I y f una funcin continua en I y derivable en
I nfag. Si la funcin derivada f 0 tiene lmite por la derecha (resp. por la izquierda) en a
entonces f es derivable por la derecha (resp. por la izquierda) en a con derivada por la
derecha (resp. por la izquierda) en a igual al valor de dicho lmite. En particular, si existe
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 ; a I
x!a
x<a
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/
D jf 0 .c/ Lj < ":
L
x a
La proposicin anterior tiene una interesante consecuencia que, entre otras cosas, nos in-
forma de que no toda funcin puede ser la derivada de otra.
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
f .x/ f .a/
lKm D f 0 .a/ > 0:
x!a x 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:
Naturalmente, los detalles pueden cambiar. Puede que el punto a debas elegirlo t. Es
una estrategia que tiene xito cuando la desigualdad h 0 .x/ > 0 es ms fcil que la inicial.
Puede ocurrir que esta desigualdad siga siendo complicada; entonces podemos aplicarle a ella
el mismo procedimiento, comprobamos que h 0 .a/ D 0 y que h 00 .x/ > 0 para todo x > a, lo
que implica que h 0 es creciente en a; C1 y, como h 0 .a/ D 0, concluimos que h 0 .x/ > 0 para
todo x > a.
a) Si f 0 .x/ > 0 para todo x 2a; c y f 0 .x/ 6 0 para todo x 2c; b, entonces f alcanza en c
un mximo absoluto en a; b.
b) Si f 0 .x/ 6 0 para todo x 2a; c y f 0 .x/ > 0 para todo x 2c; b, entonces f alcanza en c
un mnimo absoluto en a; b.
Demostracin. Dados dos puntos u; v 2 I con uv, podemos razonar como antes para obtener
que existe c 2u; v tal que f .v/ f .u/ D f 0 .c/.v u/ 0. Hemos probado as que f es
inyectiva en el intervalo I . Como, adems f es continua en I (por ser derivable), podemos
usar el resultado 4.26 del captulo 4, para deducir que f es estrictamente montona en I . Es
suficiente tener en cuenta ahora la proposicin anterior para concluir la demostracin. 2
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 deri-
vada 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 suponga-
mos 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
1 0 1
.f / .y/ D .y 2 J /: (6.6)
f 0 .f 1 .y//
f 1 .y/ f 1 .b/
1
h.f .y// D :
y b
Concluimos as que
f 1 .y/ f 1 .b/ 1
lKm D 0 .a/
y!b y b f
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/.
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
b) lKm jg.x/j D C
x!
Y adems
f 0 .x/
lKm D L 2 R [ fC; g
x! g 0 .x/
Entonces se verifica que
f .x/
lKm DL
x! g.x/
Demostracin. Antes de dar una demostracin al uso vamos a explicar por qu la hipte-
sis de que el cociente de las derivadas tiene lmite implica que tambin lo tiene el 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
en .0; 0/ cuando x D a, el lmite lKmx!a fg.x/
.x/
no tiene por qu existir. Ello se debe a que la
proximidad a .0; 0/ del punto .g.x/; f .x// no proporciona ninguna informacin sobre el valor
del cociente fg.x/
.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.
Geomtricamente, podemos interpretar fg.x/ .x/
como la pendiente de la recta que une .0; 0/
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
a .0; 0/, el nmero fg.x/
.x/
est muy prximo a la pendiente de la tangente a en .g.x/; f .x//.
La figura 6.8 puede servir de ayuda.
f 0 .x0 /
y D f .x0 / C .x g.x0 //
g 0 .x0 /
f .x/
f .x0 /
yD x
g.x0 /
f .x0 /
y D Lx
g.x0 / g.x/
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:
f 0 .x/
A la vista de lo anterior, se comprende ahora que si exigimos que tenga lmite L en
g 0 .x/
f .x/
el punto a, estamos obligando a que el cociente tambin tenga lmite igual a L en a. En
g.x/
la figura se ha supuesto que L es un nmero real, pero est claro que puede suponerse tambin
L D lo que corresponde a los casos en que tiene tangente vertical en el origen.
Daremos ahora una demostracin formal del teorema en dos casos particulares.
Caso1 (Primera regla de LHpital).
Supongamos que D a y L son nmeros reales y lKm f .x/ D lKm g.x/ D 0. Definamos
x!a 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
es decir, f .x/g 0 .cx / D g.x/f 0 .cx /. Las hiptesis hechas implican que g es estrictamente mo-
ntona 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 /
0
f .t/
Por hiptesis, dado " > 0, existe > 0 tal que para a < t < a C es 0 L < ".
g .t/
Deducimos de la igualdad (6.7) que si a < x < a C se tiene que:
f .x/
g.x/ L < ":
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.
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 / "
g 0 .t / L < 4 (6.8)
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:
jg.c/j jf .c/ Lg.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:
f .x/ f .x/ f .c/ g.c/ f .c/ Lg.c/
LD L 1 C
g.x/ g.x/ g.c/ g.x/ g.x/
0
f .cx / g.c/ f .c/ Lg.c/
D L 1 C
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/ "
L 6 2 C " D ":
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 estudia-
dos 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.
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
f .x/ P .x/
lKm D 0:
x!a x a
Basta para ello definir P .x/ D f .a/ C f 0 .a/.x a/, con lo que la igualdad anterior no es otra
cosa que la definicin de derivada de f en 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
f .x/ P .x/
lKm D 0:
x!a .x 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
Xn
.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:
n .k/ .a/
X f
P .x/ D Q.x a/ D .x a/k
k!
kD0
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 a/k
k!
kD1
Los dos resultados siguientes son, junto con las reglas de LHpital, los ms tiles para
calcular lmites.
6.31 Teorema (Teorema de Taylor-Young). Sea f una funcin n veces derivable en un punto
a, y sea Tn .f; a/ el polinomio de Taylor de orden n de f en a. Entonces se verifica que:
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. Suponga-
mos 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
d
g.x/ Tn .g; a/.x/ D f .x/ TnC1 .f; a/.x/ :
dx
Por el teorema de LHpital obtenemos que:
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:
f .x/ Tn .f; a/.x/ 1
lKm nC1
D f .nC1/ .a/:
x!a .x a/ .n C 1/!
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 .
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
n
X sen. k
2 / k
Tn .sen; 0/.x/ D x
k!
kD1
.2q 1/
Como para k par es sen. k
2 / D 0 y para k impar k D 2q 1 es sen. 2 / D . 1/qC1 , resulta
que
n
X . 1/kC1 2k 1
T2n 1 .sen; 0/.x/ D T2n .sen; 0/.x/ D x
.2k 1/!
kD1
Anlogamente para la funcin coseno
n
X . 1/k 2k
T2n .cos; 0/.x/ D T2nC1 .cos; 0/.x/ D x
.2k/!
kD0
Por lo que
n
X . 1/. 2/ . k C 1/ k
Tn .f; 0/.x/ D 1 C x
k!
kD1
n
X
Tn .f; 0/.x/ D xk
k
kD0
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/ (6.11)
dx
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
1 x nC1
f 0 .x/ D D1 x C x2 x 3 C C . 1/n x n C . 1/nC1
1Cx 1Cx
De donde se deduce, por lo antes dicho, que
Tn .f 0 ; 0/.x/ D 1 x C x2 x 3 C C . 1/n x n
x2 x3 x4 x nC1
TnC1 .f; 0/.x/ D x C C C . 1/n
2 3 4 nC1
1 x 2nC2
arc tg 0 .x/ D D1 x2 C x4 x 6 C C . 1/n x 2n C . 1/nC1
1 C x2 1 C x2
de donde se sigue que
x3 x5 x7 x 2nC1
T2n .arc tg; 0/.x/ D T2nC1 .arc tg; 0/.x/ D x C C C . 1/n
3 5 7 2n C 1
n n
X 1=2 X 1=2
T2n .arc sen 0 ; 0/.x/ D . x 2 /k D . 1/k x 2k
k k
kD0 kD0
y, por tanto,
n
x 2kC1
X 1=2
T2n .arc sen; 0/.x/ D T2nC1 .arc sen; 0/.x/ D . 1/k
k 2k C 1
kD0
Como
1 1 1 1
2 . 2 1/. 2/ . k C 1/
1=2 2 2 1 3 5 .2k 1/
D D . 1/k
k k! 2 4 6 .2k/
tenemos que
n
X 1 3 5 .2k 1/ 1
T2nC1 .arc sen; 0/.x/ D x 2kC1
2 4 6 .2k/ 2k C 1
kD0
Cuando en un ejercicio te piden calcular un lmite, es casi seguro que se trata de una in-
determinacin. Te recuerdo que aquellos lmites de sumas, productos, cocientes o potencias
de funciones en los que el resultado no est predeterminado por el comportamiento particular
de cada una de las funciones se llaman lmites indeterminados. La palabra indetermina-
do quiere decir simplemente que se trata de lmites cuyo clculo no puedes hacerlo aplicando
las reglas bsicas del lgebra de lmites y tienes que usar alguna tcnica apropiada para
calcularlos. Los lmites interesantes son casi siempre de este tipo.
Las reglas de LHpital son muy tiles para resolver las indeterminaciones, pero yo pienso
que se abusa de ellas. Las aplicamos sin pensar dos veces lo que hacemos, nos dejamos llevar
por la comodidad que proporcionan (aunque no siempre) y acabamos calculando lmites de
forma mecnica sin saber muy bien qu es lo que hacemos. No tengo nada en contra de ellas,
tan slo me parece que su uso casi exclusivo y de forma mecnica es empobrecedor. Por el
contrario, pienso que cada lmite debe intentarse de la forma ms adecuada a su caso. Para eso
tienes que fijarte en cmo es la funcin, relacionarla con otras parecidas y tratar de relacionar
el lmite que te piden con otros bien conocidos.
Voy a contarte las estrategias que suelo usar para calcular lmites. Esencialmente, puedo
resumirlas en dos:
Trato de reducir el lmite a otros bien conocidos.
Siempre que puedo sustituyo funciones por otras ms sencillas.
Vayamos con la primera. Si te preguntas qu entiendo por lmites bien conocidos, la res-
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.
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).
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
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.
basta calcular p
ex
cos 2x x
lKm :
x!0 x3
Lo que puedes hacer por LHpital muy fcilmente.
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.
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/ x2
lKm ;
x!0 x6
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 1 3 1 5
tg x D x C x 3 C x 5 C o.x 6 /; arc tg x D x x C x C o.x 6 /:
3 15 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/ x2 2=9x 6 C o.x 7 / 2
lKm D lKm D
x!0 x6 x!0 x6 9
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
1 2 1 3 1 5
tg x arc tg x D x C x 3 C x 5 C o.x 6 / x x C x 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
1 4
.cos x 1/.log.1 C x/ x/ x
lKm 4 :
x!0 x5
Tenemos que
1 2 1 2 1 3
cos x D 1 x C o.x 3 /; log.1 C x/ D x x C x C o.x 3 /
2 2 3
luego
1 1 5
.cos x 1/.log.1 C x/ x/ D x 4 x C o.x 5 /;
4 6
de donde se sigue que
1 4
.cos x 1/.log.1 C x/ x/ x 1
lKm 4 D
x!0 x5 6
No conviene aplicar las reglas de LHpital para calcular derivadas, es decir, lmites de la
forma
f .x/ f .a/
lKm
x!a x a
La razn es muy sencilla. Si para calcular el lmite anterior usas las reglas de LHpital, lo que
haces es calcular el lmite lKm f 0 .x/. Si ste lmite es igual a L deducimos que el anterior
x!a
tambin es igual a L. Pero has probado ms de lo que se peda! Acabas de probar que la
derivada de f es continua en a, porque has probado que lKmx!a f 0 .x/ D L D f 0 .a/; y lo
que se peda era solamente calcular la derivada de f en a. Esto puede que no tenga mayor
importancia o que s la tenga. Depende de la funcin. Veamos un ejemplo tpico.
6.38 Ejemplo. Queremos calcular el lmite siguiente:
1
.1 C x/ x e
lKm (6.19)
x!0 x
1
Pongamos f .x/ D .1 C x/ x y definamos f .0/ D e (esto se hace as porque sabemos que
lKm f .x/ D e). El lmite (6.19) no es otra cosa que la derivada de f en 0. Para calcular dicha
x!0
derivada, lo mejor es tomar logaritmos y calcular la derivada en 0 de la funcin
log.1 C x/
g.x/ D log f .x/ D ; g.0/ D log f .0/ D 1
x
Tenemos que
g.x/ log.1 C x/ x
g.0/
D
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/ g.0/ 1
lKm D :
x!0 x 2
Concluimos, por la regla de la cadena, que f .x/ D exp.g.x// es derivable en 0, y su derivada
e
viene dada por f 0 .0/ D exp 0 .g.0//g 0 .0/ D .
2
Veamos lo que pasa si aplicamos LHpital para calcular el lmite (6.19). Primero, debemos
1
comprobar que podemos aplicar LHpital y para eso debemos observar que lKm .1 C x/ x D e.
x!0
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/ f .a
f .x/ f .a/ x a
D
g.x/ g.a/ g.x/ g.a/
x a
Si la funciones f y g son derivables en a y g 0 .a/ 0, se sigue que
f .x/ f .a/ f 0 .a/
lKm D 0
x!a g.x/ g.a/ g .a/
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 hip-
tesis cada vez que aplicamos las reglas. Es frecuente empezar con una indeterminacin del tipo
0 1
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.
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
lKm
x!0 x
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
la sustitucin x D C1, puedes creer que se trata de una indeterminacin 11 , cuando no lo es
porque, evidentemente, 1x D 1 es la funcin constante igual a 1. Se pueden poner muchos ms
ejemplos.
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.
El siguiente resultado es de gran utilidad para el estudio de los extremos relativos de una
funcin.
6.39 Teorema (Condiciones suficientes de extremo relativo). Sean I un intervalo, a un punto
de I que no es extremo de I y f W I ! R una funcin n>2 veces derivable en a. Supongamos
que todas las derivadas de f hasta la de orden n 1 inclusive se anulan en a, es decir,
f .k/ .a/ D 0 para k D 1; 2; : : : ; n 1, y que f .n/ .a/ 0: Entonces:
i) Si n es par y f .n/ .a/ > 0, f tiene un mnimo relativo en a.
ii) Si n es par y f .n/ .a/ < 0, f tiene un mximo relativo en a.
iii) Si n es impar entonces f no tiene extremo relativo en a.
Demostracin. Basta observar que, en virtud de las hiptesis hechas y (6.32), se verifica que:
f .x/ f .a/ 1
lKm n
D f .n/ .a/ 0
x!a .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:
a) Si f 00 .x/ 6 0 para todo x 2a; b se verifica que f alcanza en c un mximo absoluto en
a; b.
b) Si f 00 .x/ > 0 para todo x 2a; b se verifica que f alcanza en c un mnimo absoluto en
a; b.
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 .nC1/ .c/
f .x/ Tn .f; a/.x/ D .x a/nC1 : (6.20)
.n C 1/!
f .nC1/ .t/
g 0 .t/ D .x t /n :
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:
f .nC1/ .c/
.x a/nC1 .x c/n D g.a/.n C 1/.x c/n :
n!
Simplificando, y teniendo en cuenta que g.a/ D f .x/ Tn .f; a/.x/, se obtiene la igualdad del
enunciado. 2
El nmero
f .nC1/ .c/
.x a/nC1 (6.21)
.n C 1/!
jf .nC1/ .c/j
jx ajnC1 6 " (6.22)
.n C 1/!
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 .
.n/ 1 1 1 1 11 3 5 .2.n 1/ 1/
f .x/ D 1 2 n C 1 x 1=2 n
D . 1/n x 1=2 n
2 2 2 2 2n
Observa que las derivadas tambin puede calcularse de forma exacta en 1;96. El error de
aproximacin viene dado por el resto de Lagrange:
4 nC1
.nC1/ .nC1/
f .c/ f .c/
jx ajnC1 D x D 1;96; a D 2 D D
.n C 1/! .n C 1/! 102
1 3 5 .2n 1/ 1 4
D nC1 1=2Cn 2nC2
.n C 1/! 2 c 10
1 3 5 .2n 1/ 1 4 1 1 4
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, es suficiente elegir n por la condicin de que
1 1 4 9
n 2nC2
< 10
2n C 2 .1;4/.1;96/ 10
p
Para lo cual, claramente, basta tomar n D 3. Por tanto, el valor pedido de 2 es T3 .f; 1;96/.2/.
6.43 Definicin. Dados dos puntos D .a; b/ y D .c; d / en el plano, el segmento que une
con es el conjunto de puntos del plano:
; 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.
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 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 t/y/
f .tx C .1 t/y/
x tx C .1 t/y y x tx C .1 t/y y
Figura 6.9. Funcin cncava Figura 6.10. Funcin convexa
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 .
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.
202. Dado un punto P D.a; b/ situado en el primer cuadrante del plano, determina el segmento
con extremos en los ejes coordenados y que pasa por P que tiene longitud mnima.
Observacin. La solucin de este ejercicio tambin resuelve el problema de calcular la
longitud de la escalera ms larga que, llevada en posicin horizontal, puede pasar por la
esquina que forman dos corredores de anchuras respectivas a y b.
203. Demuestra que entre todos los rectngulos con un permetro dado, el que tiene mayor
rea es un cuadrado.
204. Determina el rectngulo con lados paralelos a los ejes coordenados, inscrito en la elipse
x2 y2
de ecuacin 2 C 2 D 1, y que tenga rea mxima.
a b
Observacin. Los dos ejercicios anteriores se han resuelto en el captulo 1 usando la
desigualdad de las medias. Qu mtodo te parece mejor?
205. 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.
x2 y2
207. Calcula un punto .u; v/ (u > 0; v > 0) de la elipse de ecuacin C D 1 tal que
9 4
la tangente a la elipse en dicho punto determine con los ejes un segmento de longitud
mnima.
208. Calcula el rea de la elipse de mnima rea circunscrita a un rectngulo dado. Recuerda
que el rea de una elipse de semiejes s, t es igual a st.
210. Se quiere construir una caja sin tapa con una lmina metlica rectangular cortando cua-
drados iguales en cada esquina y doblando hacia arriba los bordes. Halla las dimensiones
de la caja de mayor volumen que puede construirse de tal modo si los lados de la lmina
rectangular miden: a) 10 cm. y 10 cm. b) 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 des-
habitada. Cada casa alquilada supone a la empresa un coste de 8 libras para reparaciones
diversas. Cul es la renta mensual que permite obtener mayor 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.
221. En la orilla de un ro de 100 metros de ancho est situada una planta elctrica y en la
orilla opuesta, y a 500 metros ro arriba, se est construyendo una fbrica. Sabiendo que
el ro es rectilneo entre la planta y la fbrica, que el tendido de cables a lo largo de la
orilla cuesta a 9 euros cada metro y que el tendido de cables sobre el agua cuesta a 15
euros cada metro, cul es la longitud del tendido ms econmico posible entre la planta
elctrica y la fbrica?.
222. Se proyecta un jardn en forma de sector circular de radio R y ngulo central (medido
en radianes). El rea del jardn ha de ser A fija. Qu valores de R y hacen mnimo el
permetro del jardn?.
223. Se corta un alambre de longitud L formando un crculo con uno de los trozos y un
cuadrado con el otro. Calcula por dnde se debe cortar para que la suma de las reas de
las dos figuras sea mxima o sea mnima.
224. Dados dos puntos A y B situados en el primer cuadrante del plano, calcula cul es el
camino ms corto para ir de A a B pasando por un punto del eje de abscisas.
225. 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, calcula las dimensiones de la ventana para
conseguir la mxima luminosidad si se ha de mantener un permetro constante dado.
226. Se desea confeccionar una tienda de campaa cnica de un volumen determinado. Cal-
cula sus dimensiones para que la cantidad de lona necesaria sea mnima.
227. En una lmina circular de radio R se recorta un sector circular de ngulo # y con l se
construye un cono. Calcula el valor de # para que el volumen del cono as construido sea
mximo.
228. Se desea construir un silo, con un volumen V determinado, que tenga la forma de un ci-
lindro rematado por una semiesfera. El costo de construccin (por unidad de superficie)
es doble para la semiesfera que para el cilindro (la base es gratis). Calcula las dimensio-
nes ptimas para minimizar el costo de construccin.
229. Demuestra que de todos los tringulos issceles que se pueden circunscribir a una cir-
cunferencia de radio r , el de rea mnima es el equiltero de altura 3r .
x2 y2
230. Se considera la elipse C D 1. Calcula el tringulo issceles de rea mxima
a2 b2
inscrito en dicha elipse, que tiene un vrtice en el punto .0; b/ y base paralela al eje de
abscisas.
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.
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 trin-
gulo 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/.
B
235.
Calcula la posicin del punto P D .x; 0/ en
p la derecha, donde A D .0; 1/ y
la figura de
A
B D .2 C 3; 2/, para que el ngulo sea m-
ximo. Cul es dicho valor mximo de ? Jus-
tifica con detalle lo que haces.
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:
2
f .x/ D .sen x C cos x/1=x ; a D 0I f .x/ D .1 C tg x/1=x ; a D 0
!1=x2
x2
f .x/ D .cot x/sen x ; a D 0I 2
f .x/ D cos x C ; aD0
2
log.sen x/
f .x/ D .1 C sen x/cotg x ; a D 0I f .x/ D ; a D =2
. 2x/2
x arc tg x .tg x/.arc tg x/ x 2
f .x/ D ; a D 0I f .x/ D ; aD0
sen3 xp x6
ex cos 2 x x sen x 1=.1 cos x/
f .x/ D ; a D 0I f .x/ D ; aD0
tg2 x x
237. Justifica que para todo r 2 R y para todo s > 0 se verifica que:
.log x/r xr
lKm D 0; lKm D 0; lKm x s j log xjr D 0:
x!C1 xs x!C1 esx 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.
x 2 sen 1=x p p
f .x/ D ; a D CI f .x/ D sen 1Cx sen x; a D C
log x
x 2
1
f .x/ D sen x sen ; a D 0; a D CI f .x/ D cos ; a D C
x xC2
239. Sea g W R ! R derivable en R y dos veces derivable en 0 siendo, adems, g.0/ D 0.
g.x/
Definamos f WR ! R por f .x/ D si x 0, f .0/Dg 0 .0/. Estudia la derivabilidad
x
de f . Es f 0 continua en 0?.
240. Sean f; gW 1; 1! R las funciones definidas por
log.1 C x/
f .x/ D ; f .0/ D 1I g.x/ D ef .x/
x
Calcula las derivadas primera y segunda de f y g en 0 y deduce el valor del lmite
e
.1 C x/1=x eC x
lKm 2
x!0 x2
1
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.
2 p
1. f W RC ! R, dada por f .x/ D x 1=.x 1/
, y f .1/ D e.
x 1=x
2. f W 1=2; C1! R, dada por f .x/ D .x C e / y f .0/ D e2 .
3. f W 0; C1! R dada por f .x/ D .1 C x log x/1=x , y f .0/ D 0.
sen x 1=x2
4. f W =2; =2! R dada por f .x/ D y f .0/ D e 1=6 :
x
sen.1=x/
5. f W R ! R, dada por f .x/ D 1 C x 2 ; f .0/ D 1:
2 2 cos x 1=x
6. f W =2; =2! R dada por f .x/ D para x 0 y f .0/ D 1:
x2
243. Calcula los lmites
1 1 1 1
lKm lKm
x!0 sen2 x x2 x!1 log x x 1
x e2x Cx ex 2 e2x C2 ex log1x
lKm lKm arc tg x
x!0 .ex 1/3 x!C1 2
sen x
log 2
tg x 1=x
lKm x lKm
x!0 .log.1 C x//2 x!0 x
x log.1 C sen 2x/ arc tg.sen3 x/ arc tg x sen x
lKm lKm
x!0 .ex 1/.1 cos2 .tg2 x// x!0 x.1 cos x/
arc tg.arc sen x 2 / 3 sen x 3 x cos x 1=x
lKm lKm
x!0 .e2x 1/ log.1 C 2x/ x!0 x3
Sugerencia. Pueden usarse las reglas de LHpital pero es conveniente realizar previa-
mente alguna transformacin.
244. 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 x! 0 sen x
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.
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 4x C 1 D 0 tiene alguna
solucin en 0; 1.
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
k
X ak
ak x D .
k C1
kD0 kD0
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 8x 3 6x 2 C 24x C
tiene cuatro races reales distintas.
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
260. Dadon 2 N, sea fn .x/ D 1 xC 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.
El teorema del valor medio permite acotar el incremento de una funcin por el incre-
mento 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.
nan 1
.b a/ < b n an < nb n 1
.b a/
1 1
Aplicacin. Haciendo aD1 C ; b D1 C , primero en la desigualdad de la dere-
nC1 n
cha y despus en la desigualdad de la izquierda, deduce que:
1 n
nC1 nC2
1 nC1
1 1
1C < 1C ; 1C < 1C
n nC1 nC1 n
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
x2 2x
i/ 1 < cos x I i i/ < sen x < x < tg x
2
269. Dados a; b 2 RC con a b, prueba que para todo x 2 R se verifica la desigualdad:
a C x bCx a
> :
bCx b
Cundo se da la igualdad?
272. Sean p; q nmeros reales positivos tales que 1=p C 1=q D 1.
ap bq
a) Prueba que ab 6 C y la igualdad ocurre si, y slo si, ap D b q .
p q
n
!1=s
X
s
b) Dado z D .z1 ; z2 ; : : : ; zn / 2 Rn y s > 0, definamos kzks D jzi j . Prueba
iD1
que para todo x D .x1 ; x2 ; : : : ; xn / y todo y D .y1 ; y2 ; : : : ; yn / en Rn se verifica la
desigualdad de Hlder:
X n
jxi yi j 6 kxkp kykq :
iD1
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
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/.
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 =2; =2! R la funcin dada para x 2 =2; =2, x 0, por:
280. Calcula, usando un desarrollo de Taylor conveniente, un valor aproximado del nmero
real con un error menor de 10 3 en cada uno de los casos siguientes:
p
3 p 1
a/ D 7 b/ D e c/ D sen d / D sen.61 /
2
f .x/ D mx C b C g.x/
283.
284.
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 1; 2 y 0; 2, y es negativa en 2; 0 y 2; C1.
c) f 00
es negativa en los intervalos 1; 1 y 1; C1, y es positiva en el intervalo
1; 1.
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 horizon-
tal en algn punto? Y si el grado es impar? Justifica tus respuestas.
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.
289. Para cada nmero real t sea f .x/ D 31 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.
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.
Acabamos esta larga relacin con algunos ejercicios que me ha parecido que no enca-
jaban propiamente en ninguno de los apartados anteriores.
295. Supongamos que f es una funcin derivable en a con f .a/ 0. Calcula el lmite:
x1
f .a C x/
lKm :
x!0 f .a/
298. Sea f W0; 1 ! R una funcin derivable verificando que f .0/D0 y que jf 0 .x/j6jf .x/j
para todo x 2 0; 1. Prueba que f .x/ D 0 para todo x 2 0; 1.
300. 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/.
301. Sea f W R ! R dada por f .x/ D x 3 3x 2 C 3x C 17. Prueba que f es una biyeccin
y estudia la derivabilidad de f 1 .
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.
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
Calcula g 0 .x/.
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
Ejercicio resuelto 95 Dado un punto P D .a; b/ situado en el primer cuadrante del plano,
determinar el segmento con extremos en los ejes coordenados y que pasa por P que tiene
longitud mnima.
Solucin.
B D .0; b C y/
En un ejercicio como este lo primero que hay
que hacer es elegir la variable en funcin de la
cual vamos a calcular la longitud del segmen-
' P D .a; b/
to AB. Tomando como variable ', es decir, la
a
medida en radianes del ngulo indicado en la
figura, la longitud del segmento AB viene dada
b
por
'
b a A D .a C x; 0/
f .'/ D C .0 < ' < =2/
sen ' cos '
Otra forma de calcular la longitud del segmento AB consiste en introducir las variables
x e y tales que A D .a C x; 0/, B D .0; b C y/, pcomo se indica en la figura. La longi-
tud del segmento AB viene dada por H .x; y/ D .a C x/2 C .b C y/2 . Esta funcin,
aparentemente, depende de dos variables, pero dichas variables no son independientes,
pues los puntos A, P y B estn alineados. Por semejanza de tringulos se obtiene que
x=b D a=y, por lopque y D .ab/=x. En consecuencia, la longitud del segmento AB viene
dada por: h.x/ D .a C x/2 C .b C .ab/=x/2 .x > 0/.
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
x 2
absoluto de la funcin h.x/ D x 2 1 en el intervalo 0; a. Tenemos que
a2
!
x2 2x 4x 3
h 0 .x/ D 2x 1 C x2 D 2x :
a2 a2 a2
a
Los puntos crticos de h son x D 0 que corresponde a un mnimo y x D p que corres-
2
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.
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
Adems, como
sen sen2 C 8 1 C p9
p
< 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 !
sen sen2 C 8 sen C sen2 C 8
0 D arc sen ; 1 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
p p la desigualdad 0 6 6 1 , equivale a
con facilidad que
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 coorde-
nadas 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.
1 1 1 1
D p O s
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
Derivando tenemos f 0 .s/ D 2 3 2 2
. Por tanto el nico cero de la derivada en el
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
p p
para 1= 2 < s < 1 es f 0 .s/ > p 0, deducimos
p que en el punto 1= 2 hay un mnimo
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 rectan-
gular 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.
Deducimos que las races de f 0 son reales. Veamos si dichas races estn en el intervalo
0; a=2. Tenemos que:
1 p 1 a
D aCb a2 C b 2 ab < .a C b .b a// D
6 6 3
Tambin:
p
a2 Cb 2 ab < a2 Cb 2 C2abD.aCb/2 a2 C b 2 ab < aCb > 0:
Por tanto 0 < < a=3 y 20; a=2. Comprobemos que > a=2.
1 p a p
a C b C a2 C b 2 ab > a2 C b 2 ab > 2a b
6 2
Si 2a b 6 0, est desigualdad es trivialmente cierta. Supongamos que 2a b > 0. En tal
caso, elevando al cuadrado ambos lados, la desigualdad anterior equivale a la siguiente:
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 alcan-
zar 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,
p p
f 00 ./ D 4.a C b 6/ D 4 a2 C b 2 ab; f 00 ./ D 4.a C b 6/ D 4 a2 C b 2 ab
.h a/2 C r 2 D a2
1 r
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 ense-
3
guida que el cilindro de mayor volumen que puede inscribirse en la esfera dada es el de
8a2 32a3
altura h D 4a=3 y radio r D ; y su volumen es igual a .
9 81
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.
B
Sean r y h el radio y la altura del cilindro. Por ser
los tringulos OAB y DCB semejantes, tenemos que
r H h
D , de donde, h D H .1 r=R/. El volumen
R H r
del cilindro viene dado por r 2 h D H r 2 1 . H h
R
El problema sereduce a calcular el mximo absoluto de D
r C
r
f .r / D H r 2 1 en el intervalo 0; R. Tenemos
R
H r .2R 3r /
que f 0 .r / D . De donde se deduce ense- h
R
guida que el cilindro de mayor volumen que puede ins-
cribirse en el cono dado es el de radio r D 2R=3 y altura
A
4R2 H O R
h D H=3; y su volumen es igual a .
27
Ejercicio resuelto 104 La resistencia de una viga de madera de seccin rectangular es pro-
porcional 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.
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 :
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
x x2
f .x/ D 100 .80 C x 8/ D 7200 C 82x
4 4
x
Tenemos que f 0 .x/ D 82 . 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
total de 100 D 59 casas y dejar sin alquilar 41, la empresa obtiene el mximo
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.
x/2
.L
un crculo cuyo radio, r , vendr dado por 2 r D L x, y su area ser r 2 D .
4
x2 .L x/2
El problema consiste en calcular los puntos donde la funcin f .x/ D C
16 4
alcanza su mximo y su mnimo absolutos en el intervalo 0; L. Tenemos que
4L C .4 C /x
f 0 .x/ D :
8
4L
Deducimos, estudiando el signo de la derivada, que en el punto xD hay un mnimo
4C
absoluto.
Como la derivada tiene un nico cero en 0; L, deducimos que el mximo absoluto de f
en 0; L tiene que alcanzarse en uno de los extremos y, como f .L/ D 0, concluimos que
L2
el valor mximo de f se alcanza para x D 0 y vale f .0/ D .
4
Ejercicio resuelto 109 Dados dos puntos A y B situados en el primer cuadrante del plano,
calcula cul es el camino ms corto para ir de A a B pasando por un punto del eje de
abscisas.
Solucin.
B D .s; t/
Podemos situar los puntos A y B de forma que
A D .0; r / y B D .s; t/ con r; s; t positivos. A D .0; r /
p del caminopAPB viene dada por
La longitud
f .x/ D x 2 C r 2 C .s x/2 C t 2 . Debe-
mos calcular el mnimo absoluto de f .x/ en el
intervalo 0; s. Tenemos que
D P D .x; 0/
x s x
f 0 .x/ D p Cp
2
t C .s x/ 2 r C x2
2
t2 r2
f 00 .x/ D 3=2 C 3=2
t 2 C .s x/2 r 2 C x2
x2 x x2 1
f .x/ D 2xh C D x.A x /C D Ax .8 C 3/x 2
8 2 8 8
1 4A 1
La derivada f 0 .x/DA .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
4A A.4 C 4/
de la ventana con mayor luminosidad son por tanto x D ,hD .
8 C 3 16 C 6
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 mni-
ma.
Solucin.
# 2
lona que necesitamos es igual al rea del sector y viene dada por 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 fun-
3
cin de #.
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
4 2 4 2 2
Por tanto
p p
1 2 1 # 2 x 2 x 4 2 #2 x 3 # 2 4 2 #2
V D r h D D
3 3 4 2 2 24 2
2.3 2 V /1=3
Despejando x, obtenemos que x D . La funcin de la que tenemos
# 2=3 .4 2 # 2 /1=6
que calcular su mnimo absoluto es
# 2 .9 4 V 2 /1=3
f .#/ D x D 1=3 .0 < # < 2/
2 4 2 # # 3
3# 2 4 2
Tenemos que f 0 .#/ D .9 4 V 2 /1=3 4=3 , que tiene un nico cero positivo
3 4 2 # #3
2
# D p que corresponde, como se justifica fcilmente estudiando el signo de la derivada,
3 s
6 35 V 2
a un mnimo absoluto de f . El correspondiente valor del radio del sector es x D
s 2 2
2 4
6 3 V
y el rea, 3 .
4
Para un volumen V D 5 m3 , la cantidad de lona necesaria es 12;25 m2 ; el radio del
sector x 2; 6m, la altura de la tienda h 2; 12m y el radio de la tienda r 1; 5m.
Ejercicio resuelto 112 Se desea construir un silo, con un volumen V determinado, que ten-
ga la forma de un cilindro rematado por una semiesfera. El costo de construccin (por
unidad de superficie) es doble para la semiesfera que para el cilindro (la base es gratis).
Calclense las dimensiones ptimas para minimizar el costo de construccin.
Solucin.
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 C . Sustituyendo este valor en la funcin de coste, resulta que la funcin
3 r2
que debemos minimizar es
8 2V
f .r / D r 2 C .r > 0/
3 r
2.8 r 3 3V /
r
0 .r / 1 3 3V
Tenemos f D que se anula para r D en donde, como
3r 2 2
0
se comprueba fcilmente estudiando el signor 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.
Ejercicio resuelto 113 Demuestra que de todos los tringulos issceles que se pueden cir-
cunscribir a una circunferencia de radio r , el de rea mnima es el equiltero de altura
3r .
Solucin.
C
Sea la medida en radianes de los ngulos
CABD ABC . El tringulo 4ON C es rec-
tngulo y CON D ABC por ser ngulos
con lados perpendiculares. Obtenemos as que
r r
cos./ D , esto es, OC D . Consi- N
OC cos r
derando el tringulo rectngulo 4OMB, ob- O
OM r
tenemos tg.=2/ D D , de donde
MB MB
MB D r cotg.=2/. El rea del tringulo vie-
A B
ne dada por MB.OC C r / y, sustituyendo los M
valores anteriores, resulta la funcin
1 C cos
f ./Dr 2 cotg.=2/ .0 < < =2/
cos
Como
.1 2 cos / cos2 .=2/
f 0 ./ D r 2
cos2 ./ sen2 .=2/
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 trin-
gulos issceles que se pueden circunscribir a una circunferencia de radio r , el de rea
r
mnima es el equiltero; su altura es igual a OC C r D C r D 2r C r D 3r y su
p cos
rea vale 3r 2 3.
Universidad de Granada Prof. Javier Prez
Dpto. de Anlisis Matemtico Clculo diferencial e integral
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.
C
Para hacer este ejercicio debes tener en cuenta
que en los puntos donde la cuerda se separa R
de la columna lo hace en la direccin de la #
O P
A
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 B
R R
que sen # > , lo que implica que # > #0 donde #0 D arc sen . Estas
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
_
del arco CB ms dos veces la longitud del segmento
p AC correspondientes a # D =3).
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. Supon-
gamos 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.
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 3; 2/
Solucin.
2
Tenemos que D 1 2 , es decir
D. 2 1 /C. 2 2 /D1 C2 y deducimos A D .1; 0/
fcilmente que
1
p !
2C 3 x 1 2
.x/ D arc tg x C arc tg P D .x; 0/
2
Derivando, tenemos
1 1=2
0 .x/ D C p
1 C x2
!2
2C 3 x
1C
2
Simplificando resulta
p p
9C4 3 .4 C 2 3/x x 2
0 .x/ D 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 9 D 0, que vienen
dadas por
p q p p p q p p
4 2 3 C .4 C 2 3/2 C 4.4 3 C 9/ 4 2 3 .4 C 2 3/2 C 4.4 3 C 9/
D ; D
2 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
p q 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.
p el denominador de 0 .x/ es positivo, el
Como 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 /
Ejercicio resuelto 116 Calcula el lmite en el punto a que en cada caso se indica de las
siguientes funciones:
2
f .x/ D .sen x C cos x/1=x ; a D 0I f .x/ D .1 C tg x/1=x ; a D 0
!1=x2
x2
f .x/ D .cot x/sen x ; a D 0; =2I 2
f .x/ D cos x C ; aD0
2
log.sen x/
f .x/ D .1 C sen x/cotg x ; a D 0; =2I f .x/ D ; a D =2
. 2x/2
x arc tg x .tg x/.arc tg x/ x 2
f .x/ D ; a D 0I f .x/ D ; aD0
sen3 xp x6
ex cos 2 x x sen x 1=.1 cos x/
f .x/ D ; a D 0I f .x/ D ; aD0
tg2 x 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!0 x!a 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:
En nuestro caso:
1 sen x C cos x 1 sen x cos x 1
lKm .sen x C cos x 1/ D lKm D lKm C lKm D1:
x!0 x x!0 x x!0 x x!0 x
Donde hemos usado que
sen x sen x sen 0
lKm D lKm D cos 0 D 1
x!0 x x!0 x 0
cos x 1 cos x cos 0
lKm D lKm D sen 0 D 0
x!0 x x!0 x 0
sin ms que recordar la definicin de derivada de una funcin en un punto. Concluimos
as que
lKm .sen x C cos x/1=x D e
x!0
2
El lmite lKm .1 C tg x/1=x es del mismo tipo anterior. Ahora, el lmite
x!0
tg x sen x 1
lKm D lKm
x!0 x2 x!0 x x cos x
no existe, pues
1 1
lKm D C1; lKm D 1:
x!0 x cos x x!0 x cos x
x >0 x<0
2 2
Luego lKm .1 C tg x/1=x D C1 y lKm .1 C tg x/1=x D 0.
x!0 x!0
x>0 x<0
!1=x2
x2
El lmite lKm cos2 x C es del mismo tipo que los anteriores. Tenemos
x!0 2
ahora que:
sen x x sen x x x2
D :
x.1 cos x/ x3 1 cos x
.log x/r xr
lKm D 0; lKm D 0; lKm x s j log xjr D 0:
x!C1 xs x!C1 esx x!0
x>0
Solucin.
.log x/n
Es suficiente probar que para todo n 2 N se verifica D 0. Podemos
lKm
x!C1 xs
hacerlo por induccin. Para n D 1, tenemos, aplicando LHpital por tratarse de una
indeterminacin 1
1 , que:
log x 1 1
lKm D lKm D 0:
x!C1 xs s x!C1 x s
.log x/n
Supuesto demostrado que lKm D 0, tenemos:
x!C1 xs
Ejercicio resuelto 117 Calcula el lmite en el punto a que en cada caso se indica de las
funciones f W RC ! R.
x 2 sen 1=x p p
f .x/ D ; a D CI f .x/ D sen 1Cx sen x; a D C
log x
x 2
1
f .x/ D sen x sen ; a D 0; a D CI f .x/ D cos ; a D C
x xC2
Solucin.
x 2 sen 1=x
El lmite lKm es, de hecho, una indeterminacin del tipo 11 y puedes in-
x!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
sen x x
lKm x sen.1=x/ D lKm D 1 y lKm D C1.
x!C1 x!0 x x!C1 log x
x>0
p p
El lmite lKm sen 1 C x sen x no entra dentro de ninguna de las indetermi-
x!C1 p
naciones usuales. De hecho, el lmite lKm sen x no existe (sabes probarlo?). Est
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
p p
de donde se deduce que lKm sen 1Cx sen x D 0.
x!C1
x2
El lmite lKm cos es una indeterminacin 11 y aplicaremos el criterio de
x!C1 xC2
equivalencia logartmica. Para ello, calculamos
x
cos 1
2 1 C 2x
lKm x cos 1 D lKm D
x!C1 xC2 x!0 x2
x >0
2
x x
cos 1
1 C 2x 1 C 2x 2
D lKm 2 D
x!0 x2 2
x >0
x
1 C 2x
x 2
Luego lKm cos De 2 =2 . El lmite que queda por hacer es inmediato.
x!C1 xC2
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
log.1 C x/
f .x/ D ; f .0/ D 1I g.x/ D ef .x/
x
Calcula las derivadas primera y segunda de f y g en 0 y deduce el valor del lmite
e
.1 C x/1=x eC x
lKm 2
x!0 x2
.1 C x/1=x e
calcular directamente g 0 .0/ porque el lmite lKm se complica un poco si
x!0 x
tratas de hacerlo por LHpital. Las funciones como la g, esto es, las del tipo u.x/v.x/ ,
tienen derivadas complicadas.
f .x/ f .0/ log.1 C x/ x 1
Derivar f es fcil. El lmite lKm D lKm D es bien
x!0 x 0 x!0 x2 2
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
1
f 0 .x/ f 0 .0/ x log.1 C x/ x log.1 C x/ C x 2 .1 C x/
D 2
x 0 x 3 .1 C x/
Se trata de calcular el lmite para x ! 0 de este cociente. Lo primero es quitar el factor
.1 C x/ del denominador (evidentemente, .1 C x/ 1 para x ! 0). Hecho esto, nos da-
1 1
mos cuenta de que se trata de comparar x log.1 C x/ x log.1 C x/ C x 2 C x 3
2 2
con x 3 . Utilizando el teorema de Taylor-Young (o, simplemente, recordando los polino-
mios de Taylor de log.1 C x/ en x D 0), tenemos que:
1 2 1 3
log.1 C x/ D x x C x C o.x 3 /:
2 3
Deducimos que:
1 1 2
x log.1 C x/ x log.1 C x/ C x 2 C x 3 D x 3 C o.x 3 /
2 2 3
f 0 .x/ f 0 .0/ 2 2
por lo que lKm D , es decir, f 00 .0/ D .
x!0 x 0 3 3
e
Resulta as que g 0 .0/ D ef .0/ f 0 .0/ D y
2
00 f .0/ 0 2 00
1 2 11
g .0/ D e .f .0// C f .0/ D e C D e:
4 3 12
sen.1=x/
4. f W R ! R, dada por f .x/ D 1 C x 2 y f .0/ D 1.
sen x 1=x2
5. f W =2; =2! R dada por f .x/ D y f .0/ D e 1=6 :
x
2 2 cos x 1=x
6. f W =2; =2! R dada por f .x/ D para x 0 y f .0/ D 1.
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)
sen x 1=x2
1=6
f .x/ D ; f .0/ D e
x
sen x
log 1
Tenemos que '.x/ D log f .x/ D x , '.0/ D log f .0/ D . Tenemos:
x2 6
sen x 1
'.x/ '.0/ log C x2
lKm D lKm x 6 D
x!0 x 0 x!0 x3
Podemos aplicar LHpital para quitar el logaritmo.
x x cos x sen x 1
'.x/ '.0/ C x
lKm D lKm sen x x2 3 D
x!0 x 0 x!0 3x 2
1
x cos x sen x C x 2 sen x
D lKm 3
x!0 3x 3 sen x
Sustituimos en el denominador sen x por x. Usando que
1 3 1 2
sen x D x x C o.x 4 /; cos x D 1 x C o.x 3 /
6 2
1
deducimos que x cos x sen x C x 2 sen x D o.x 4 /, por lo que
3
1
x cos x sen x C x 2 sen x
lKm 3 D0
x!0 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.
6)
1=x
2 2 cos x
f .x/ D ; f .0/ D 1
x2
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
2 2 cos x
lKm D1 (6.25)
x!0 x2
Sugerencia. Pueden usarse las reglas de LHpital pero es conveniente realizar previa-
mente 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 1 x 2 sen2 x
sen2 x x2 x4
1
Deducimos que 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 pro-
ducto 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.
6) Es una indeterminacin 11 . Ya debes saberlo hacer.
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:
!2
2 2 2 2 sen.tg2 x/
1 cos .tg x// D sen .tg x/ D tg4 x tg4 x x 4
tg2 x
2x 5
lKm D lKm 2 D 2
x!0 x 5 x!0
Los dems lmites de este ejercicio te los dejo para que los hagas t.
Universidad de Granada Prof. Javier Prez
Dpto. de Anlisis Matemtico Clculo diferencial e integral
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 x!0 sen x
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 anu-
f .x/
le en un intervalo que tenga al punto a por extremo y que el lmite lKm sea una
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
verse como una indeterminacin del tipo , la derivada del denominador es 1 C cos x
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
sentido considerar el lmite del cociente de las derivadas, lKm , pues dicho
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
x sen x 1
D lKm x
lKm
x!C1 x C sen x x!C1 sen x D 1
1C
x
x 2 sen.1=x/
En el caso del lmite lKm , que puede verse como una indeterminacin del
x!0 sen x
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
lKm D lKm x sen.1=x/ D 0
x!0 sen x x!0 sen x
Ejercicio resuelto 122 Prueba que una funcin polinmica de grado n coincide con su poli-
nomio 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:
Pn P .j / .a/
Poniendo Q.x/ D j Dk j ! .x a/j k, tenemos que Q es un polinomio, Q.a/ D
.k/
P .a/
k!
0 y P .x/ D .x a/k Q.x/. El recproco es inmediato.
Ejercicio resuelto 126 Estudia, segn los valores de , el nmero de ceros, contando mul-
tiplicidades 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 coeficien-
tes 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, con-
tando 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:
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/ D 0 y f .1/ < 0, por lo que f tiene tambin tres
ceros reales: uno simple en el intervalo 1; C1 y otro doble (porque tambin anula a la
derivada) en 1.
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 poli-
nmica 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; 1 < x < 1h 0 .x/ < 0; x > 1h 0 .x/ > 0:
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
1 1
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 exacta-
mente 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 al-
gn 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
k
X ak
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
fcil. Pero se te tiene que ocurrir cmo hacerlo. La pista la dan los nmeros y el
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
n
X ak
f .x/ D x kC1 :
kC1
kD0
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
n
f .1/ f .0/ X
0
D f .1/ D f .x/ D ak x k :
1 0
kD0
3x 4 8x 3 6x 2 C 24x C
y lKm f .x/ D lKm f .x/ D C1, se sigue, en virtud del ejercicio anterior, que f
x! 1 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
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 k/aj Pk .aj / C .aj2 1/Pk 0 .aj / D .aj2 1/Pk 0 .aj /
Por tanto PkC1 .x/ tiene una raz en cada uno de los 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
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.
Ejercicio resuelto 132 Prueba que a e log x 6 x a para todo x > 0 y todo a 2 R.
Solucin. La desigualdad propuesta, aparentemente, depende de dos variables a 2 R y
x > 0. Debemos escribirla en funcin de una sola variable. Para ello basta escribir dicha
desigualdad en la forma:
log x a
1
a
6 :
x e
a
Teniendo en cuenta que x Dexp. a log x/ puede ser cualquier nmero positivo, vemos
log t 1
que realmente se trata de probar la desigualdad 6 para todo t > 0.
t e
log t 1 log t
Sea, pues, f .t/ D donde t > 0. Tenemos que f 0 .t / D y, por tanto,
t t2
f .t/ > 0 si 0 < t < e por lo que f es estrictamente creciente en 0; e y f 0 .t/ < 0 si
0
ap bq ap b q 1 ap b q 1
ab 6 C ab 1 q
6 C D C1
p q p q p p
Ejercicio resuelto 134 Prueba que para todo x 20; =2 se verifica que:
x2 2x
i) 1 < cos x I ii) < sen x < x < tg x
2
Solucin.
x2
i) Sea f .x/ D cos x 1C . 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.
2x 2
ii) Sea f .x/ D sen x . Tenemos que f 0 .x/ D cos x y f 00 .x/ D sen x. Como
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.
Observa que en ambos casos interesa trabajar en el intervalo cerrado 0; =2.
Ejercicio resuelto 135 Desigualdad de Jensen. Sea f W I ! R una funcinP convexa en el
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
f .1 x1 C 2 x2 / 6 1 f .x1 / C 2 f .x2 /
k
Pongamos k D > 0. Tenemos que:
1 nC1
n n
X 1 X 1 nC1
k D k D D1
1 nC1 1 nC1
kD1 kD1
n
X
Por tanto, el nmero x D k xk est en I porque est comprendido entre el mnimo
kD1
y el mximo de los xk , 1 6 k 6 n. Escribiendo la igualdad (6.29) en la forma:
nC1
X
k xk D .1 nC1 /x C nC1 xnC1
kD1
n
X Pn
Por la hiptesis de induccin aplicada a x D k xk con k > 0 y kD1 k D 1,
kD1
tenemos que
n n
X X k
f .x/ 6 k f .xk / D f .xk /
1 nC1
kD1 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
!
log xkk D log x11 x22 xnn
X X X
log k x k 6 log.k xk / D
kD1 kD1 kD1
Ejercicio resuelto 137 Sean p; q nmeros reales positivos tales que 1=p C 1=q D 1.
ap bq
a) Prueba que ab 6 C y la igualdad ocurre si, y slo si, ap D b q .
p q
n
!1=s
X
s
b) Dado z D .z1 ; z2 ; : : : ; zn / 2 Rn y s > 0, definamos kzks D jzi j . Prueba
iD1
que para todo x D .x1 ; x2 ; : : : ; xn / y todo y D .y1 ; y2 ; : : : ; yn / en Rn se verifica la
desigualdad de Hlder:
X n
jxi yi j 6 kxkp kykq :
iD1
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.
a) Haciendo en la desigualdad (6.30) x1 D ap , x2 D b q , 1 D 1=p y 2 D 1=q, obtenemos
la desigualdad:
1 1
ab 6 ap C b q :
p q
p q
La igualdad ocurre si, y slo si, a D b .
b) Tenemos que:
jxi j jyi j 1 jxi jp 1 jyi jq
6 p C
kxkp kykq p kxkp q kykqq
Sumando estas desigualdades:
n n n
X jxi j jyi j 1 X jxi jp 1 X jyi jq 1 1
6 p C q D C D1
kxkp kykq p kxkp q kykq p q
iD1 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
p n
X
Para s D 2, el nmero kxk2 D xj2 se llama norma eucldea del vector x. La
j D1
desigualdad de Hlder para p D q D 2 se llama desigualdad de Cauchy-Schwarz:
n
X
xj yj 6 kxk2 kyk2 (6.31)
j D1
f .tx C .1 t/a/ 6 tf .x/ C .1 t /f .a/ D t.f .x/ f .a// C f .a/ 0<t <1
se deduce que
f .x/ f .a/ f .a C t.x a// f .a/
6 :
x a t .x a/
Como esta desigualdad es cierta para todo t 20; 1, tomando lmites en la derecha para
t ! 0 se deduce que
f .x/ f .a/
6 f 0 .a/ f .x/ f .a/ > f 0 .a/.x a/
x a
Para el caso en que x > a se obtiene la misma desigualdad.
Supongamos ahora que f es derivable en I y para todo par de puntos x; a 2 I se verifica
que:
f .x/ > f .a/ C f 0 .a/.x a/ (6.34)
Supongamos que a < b. Sustituyendo en la desigualdad anterior x por b resulta:
f .b/ f .a/
f 0 .a/ 6
b a
Sustituyendo ahora en (6.34) a por b y x por a, obtenemos:
f .b/ f .a/
f .a/ > f .b/ C f 0 .b/.a b/ 6 f 0 .b/
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 .
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:
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:
x2 x3 x4 x5 . 1/nC1 n
log.1 C x/ D x C C C C x C o.x n/
2 3 4 5 n
Deducimos que
1 x x2 x3 . 1/nC1 n 2
g.x/ D C C C C x C o.x n 2
/
2 3 4 5 n
Acabamos de calcular el polinomio de Taylor de orden n 2 de g en 0. En particular
1 x x2 x3
T3 .g; 0/.x/ D C C
2 3 4 5
Tenemos que
Donde deben hacerse los clculos sabiendo lo que se busca para no hacer trabajo in-
necesario. 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 1 13
f 0 .0/ D ; f 00 .0/ D ; f 000 .0/ D
3 2 15
Ejercicio resuelto 142 Calcula, usando un desarrollo de Taylor conveniente, un valor apro-
ximado del nmero real con un error menor que " en cada uno de los casos siguientes:
p
3 3 p 3 1 4
a/ D 7; "D10 b/ D e; "D10 c/ Dsen ; "D10 d / Dsen.61 /; "D10 8
2
Solucin. a) Elegimos un punto a prximo a x D 7 en el que podamos calcular de forma
p
exacta el valor de f .x/ D 3 xp y de sus derivadas. El punto a D 8 es un buen candidato,
p
3 3
pues est prximo a x D 7 y 8 D 2. El error que se comete al aproximar 7 por el
correspondiente valor del polinomio de Taylor Tn .f; a/.x/ viene dado por
.nC1/ .nC1/
f .c/ f .c/
jx ajnC1 D a D 8; x D 7 D
.n C 1/! .n C 1/!
donde 7 < c < 8. Como
p
3
.n/ 1 1 1 1 1 2 5 8 .3.n 1/ 1/ x
f .x/D 1 2 n C 1 x 1=3 n
D
3 3 3 3 3n xn
deducimos que
.nC1/ p3
f .c/ 1 2 5 8 .3n 1/ 8 2
< nC1 nC1
< nC1
.n C 1/! .n C 1/!3 7 7
p3
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.
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 61180 por
el correspondiente valor del polinomio de Taylor Tn .sen; a/.x/ viene dado por
sen.nC1/ .c/ 2 nC1
nC1 61 1
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
180 < 180 < 100 .Deducimos que basta tomar n D 3 para que el error cometido al
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
p3
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 x, tiene como derivada
2
1 1
f 0 .x/ D cos x sen x sen x C 2 cos x 1 D . 1 C 2 cos x/.2 C sen x/
2 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
5 p
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.
p3
4) La funcin f .x/ D x 2 .5 2x/, tiene como derivada
p
2 10 4x 3 10.1 x/
f 0 .x/ D x 2=3 1.5 2x/ 2 x 2=3 D x 2=3 2 D x2 x0
3 3x 3x
f 0 .x/ D x 2 C t 2 D .t C x/.t x/ D 0 x D t o x D t
5x 6 D 5x 6 .2x 7 /
f 0 .x/ D 10x
q
El nico cero de f 0 en RC es x0 D 7 2 . Para 0 < x < x0 se tiene que f 0 .x/ < 0 y
para x > x0 es f 0 .x/ > 0. Deducimos que f alcanza en x0 su valor mnimo absoluto
en RC . Imponemos la condicin de que dicho valor mnimo sea >21:
2 5 7 p
7 27 2 7 21 2
f .x0 / D 5x02 5
C x0 D 5 2 C 5 D 2 > 21 > 2 7 D 54 3
27 7 27 7
p
El valor mnimo pedido de es 54 3.
Ejercicio resuelto 146 Calcula el mnimo valor de nkD1 .x ak /2 donde a1 ; a2 ; : : : ; an
P
son nmeros reales dados.
Xn
Solucin. Se trata de calcular el mnimo absoluto de la funcin f .x/ D .x ak /2
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
n
X n
X
f 0 .x/ D 2 .x ak / D 2n x 2 ak
kD1 kD1
1 1=x 1
g 0 .x/ D e D ;
x2 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
concluimos que g es derivable en 0 con g 0 .0/ D 0 siendo, adems, g 0 continua en 0 y,
por tanto, en RC 00
o . Como para x > 0 es g .x/ D 2x 3 C x 4 e 1=x , se sigue que
lKm g .x/ D 0, luego g es dos veces derivable en 0 siendo g 00 .0/ D 0. De esta forma
00
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.
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.
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 biyec-
cin 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, estricta-
mente creciente en R. Adems como lKm f .x/D 1 y lKm f .x/ D C1, se sigue
x! 1 x!C1
que la imagen de f es todo R (porque debe ser un intervalo no minorado ni mayorado).
Luego f es una biyeccin y su funcin inversa, g D f 1 verifica que g.x/ C eg.x/ Dx,
para todo x 2 R.
En virtud del teorema de la funcin inversa, sabemos que g es derivable y la relacin
1
entre las respectivas derivadas viene dada por g 0 .x/D 0 . Como g.1/D0 (porque
f .g.x//
f .0/ D 1) y g.1 C e/ D 1 (porque f .1/ D 1 C e), deducimos que
1 1 1 1
g 0 .1/ D 0 .0/ D ; g 0 .1 C e/ D 0 .1/ D :
f 2 f 1Ce
El concepto de derivada presupone los de funcin y de lmite funcional, los cuales, como ya
hemos visto en captulos anteriores, tuvieron una larga evolucin hasta alcanzar su significado
actual, por eso la definicin de derivada 6.1 es relativamente reciente. No obstante, tcnicas en
las que podemos reconocer el uso, ms o menos explcito, de derivadas, se han venido usando
desde el siglo XVII, incluso antes de que Newton y Leibniz, en el ltimo tercio de dicho siglo,
las formularan en trminos de fluxiones y de cocientes diferenciales respectivamente. Durante
los siglos XVIII y XIX las derivadas fueron ampliamente desarrolladas y aplicadas a campos
muy diversos y no fueron definidas en los trminos actuales hasta el ltimo tercio del siglo
XIX. Todo este proceso lo resume la historiadora de las matemticas Judith V. Grabiner en una
frase feliz [8]: Primero, la derivada fue usada, despus descubierta, explorada y desarrollada
y, finalmente, definida.
En lo que sigue vamos a repasar muy someramente este proceso. Adems de la referencia
antes citada, he seguido de cerca los trabajos de Kirsti Andersen [1], Israel Kleiner [10] y
Gonzlez Urbaneja [7].
Es conocido que la carencia de una teora aritmtica satisfactoria de las cantidades incon-
mensurables, hizo que los matemticos griegos consideraran la Geometra como una ciencia
ms general que la Aritmtica, lo que condujo al desarrollo de un lgebra geomtrica que fue
usada por Euclides, Arqumedes y Apolonio para realizar sus clculos. La consecuencia de esta
actitud fue que durante casi 2000 aos, en Europa, casi todo razonamiento matemtico riguroso
se expres en lenguaje geomtrico.
Ya hemos comentado en captulos anteriores cmo la herencia matemtica griega pas a los
rabes de donde regres a Europa ya en el siglo XII. En estos siglos se desarroll sobre todo la
aritmtica y los comienzos del lgebra. Pero hay que esperar hasta el siglo XVII para que en
Europa empiecen a notarse cambios significativos en la forma de hacer matemticas y a lograr
avances que abren nuevas perspectivas. Las caractersticas principales de las matemticas en el
siglo XVII en Europa son las siguientes.
En el periodo de 1630 a 1660 empiezan a usarse tcnicas en las que podemos apreciar el
uso de derivadas. Suelen ser tcnicas especficas para resolver problemas concretos de forma
emprica, con frecuencia dichas tcnicas no se justifican sino que, simplemente, se comprueba
que proporcionan soluciones correctas. Los matemticos de la poca se interesaban por pro-
blemas de ptica, por ejemplo, determinar la forma de una lente que hace que todos los rayos
luminosos paralelos entre s o los que parten de un nico foco, despus de atravesar la lente,
converjan en un nico punto. Problemas fsicos, como la determinacin de la trayectoria de
un cuerpo que se mueve alrededor de un centro y que cae al mismo tiempo hacia ese centro
con aceleracin constante. Otros problemas consistan en el clculo de tangentes y de valores
mximos o mnimos. Estaban, adems, los problemas relacionados con la integral (cuadraturas,
reas de superficies, centros de gravedad, rectificaciones de curvas,: : : ) que consideraremos en
el captulo correspondiente.
Los matemticos de la antigedad saban cmo trazar tangentes a diversos tipos de curvas.
El concepto de tangencia de los griegos es esttico y, naturalmente, geomtrico. Inicialmente, la
tangente se considera como una recta que toca a la curva sin cortarla. Esta definicin resultaba
apropiada para la circunferencia pero no lo era para otras curvas. En el siglo III a.C., Apolonio
defini la tangente a una seccin cnica y procedi a determinarla en cada caso. Las tcnicas
para el clculo de tangentes eran, por supuesto, geomtricas. Para curvas como la espiral de
Arqumedes o la concoide de Nicomedes estas tcnicas no eran de gran utilidad.
Con la invencin de la geometra analtica, haba una enorme variedad de nuevas curvas
para cuyo estudio no servan los mtodos tradicionales. Los matemticos del siglo XVII se
vieron en la necesidad de inventar nuevas tcnicas para calcular tangentes. Vamos a considerar
algunas de las aportaciones ms significativas.
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 a2 .
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/ f .x/
f 0 .x/ D lKm D0
Mx!0 Mx
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.
T1
P1
P
R
e
T V Q Q1
Figura 6.11. Clculo de la subtangente
semejantes, resulta
T1 Q1 TQ1
D (6.35)
PQ TQ
Teniendo en cuenta ahora la propiedad de la parbola
VQ1 P1 Q21
D
VQ PQ2
y que P1 Q1 < T1 Q1 , deducimos que:
VQ1 TQ21
< (6.36)
VQ TQ2
Pongamos ahora VQ D a, que es la abscisa de la parbola en P , conocida porque se conoce
P . Hagamos tambin TQ D x que es la subtangente que queremos calcular, y QQ1 D e. La
igualdad (6.36) se expresa por:
aCe .x C e/2
< ax 2 C ex 2 < ax 2 C 2aex C ae 2
a x2
Fermat aplica su mtodo de mximos y mnimos y sustituye esta desigualdad por la adigualdad
ax 2 C ex 2 ax 2 C 2aex C ae 2
x 2 2ax C ae
Eliminando ahora el trmino que queda en e, igualando y simplificando por x, se obtienes que
x D 2a, resultado ya conocido de la Antigedad y que expresa que la subtangente es el doble
de la abscisa.
Realmente no se entiende bien la razn de por qu Fermat usa su mtodo de mximos y
mnimos para calcular tangentes y Descartes hizo una dura crtica de esta forma de proceder.
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
y.b C e/
T1 Q1 D
b
Como T1 Q1 es casi igual a y1 D P1 Q1 , Fermat escribe
y.b C e/
f x C e; 0
b
y a esta adigualdad le aplica su mtodo para mximos y mnimos. Es fcil ver que ello condu-
cir a una expresin para b dada por
@f
y .x; y/
@y
bD
@f
.x; y/
@x
Que, usando que la tangente viene dada por y=b, podemos escribir, viendo y como funcin
(implcita) de x, en la forma familiar
@f
.x; y/
y0 D @x
@f
.x; y/
@y
La idea de adigualdad en Fermat puede interpretarse algo as como cantidades infinitamente
prximas. De alguna forma Fermat est considerando cantidades infinitesimales.
Es tentador expresar en trminos actuales las ideas de Fermat para calcular tangentes. Esen-
cialmente, dado un punto P D.a; f .a// en una curva y Df .x/, se trata de calcular la pendiente
de la curva en P . Sea QQ1 un incremento de TQ en una cantidad E. Ya que los tringulos
TQP y PRT1 son semejantes, se tiene
PQ T1 R
D
TQ E
Pero, dice Fermat, T1 R es casi igual a P1 R; por tanto tenemos la adigualdad
PQ P1 Q1 QP
TQ E
Poniendo PQ D f .a/, la igualdad anterior puede escribirse como:
f .a/ f .a C E/ f .a/
TQ E
Ahora, dice Fermat, se cancelan trminos iguales en f .a C E/ f .a/, se divide por E y
finalmente, se ignoran los trminos que an contengan E (lo que equivale a hacer E D 0), y
T1
P1
P
R
E
E
T V Q Q1
Figura 6.12. Clculo de la tangente
f .a C E/ f .a/
lKm
E!0 E
Naturalmente, a esta interpretacin se le pueden hacer las mismas observaciones que hicimos
a la interpretacin anloga del mtodo para mximos y mnimos.
3 f .2 C E/ f .2/ 2E C E 2
D D D2CE
c E E
Haciendo E D 0 se obtiene 3=c D 2, por la que la subtangente es c D 3=2 y el valor de la
pendiente de la tangente es 3=c D 2 que, efectivamente es igual a la derivada de f en x D 2.
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 con-
sidera 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 cuadra-
turas. 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 ecua-
cin 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 coor-
P1 P1
P P a
R R
e
N M N M
Rechacemos todos los trminos en los que no hay a o e (porque se anulan unos a otros
por la naturaleza de la curva); rechacemos todos los trminos en los que a o e estn por
encima de la primera potencia, o estn multiplicados ambos (porque, siendo infinitamente
pequeos, no tienen valor en comparacin con el resto).
Despus de estas operaciones se puede calcular el cociente a=e que es la pendiente de la curva
en el punto P .
Observa que este procedimiento equivale a quedarse con la aproximacin lineal de la fun-
cin 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.
f .x C h/ f .x/
;
h
realizando las operaciones algebraicas necesarias para desarrollar y simplificar el numerador
y despus dividir por h para, finalmente, hacer h D 0, fueron aplicados en una gran variedad
de situaciones. La relacin entre ambos tipos de problemas acab siendo bien entendida: los
valores extremos se obtenan en los puntos donde la pendiente de la tangente se anulaba. As
mismo, de la multitud de casos particulares estudiados, emergieron ciertas regularidades que
llevaron a reformular las citadas tcnicas de forma ms general. De esta forma, aunque en el
1660 no se dispona de un concepto general de derivada ni se conoca la relacin crucial entre
problemas de tangentes y de reas, se haban desarrollado bastantes mtodos eficaces, aunque
no rigurosos, para resolver muchos tipos de problemas de clculo. Solamente faltaba realizar la
gran sntesis de todo el trabajo realizado desde 1630. Eso es lo que hicieron Newton y Leibniz.
La invencin del Clculo es uno de los grandes logros de la humanidad. El Clculo se ha
convertido en la lingua franca de todas las ciencias. Ha sido, y sigue siendo, una herramienta
fundamental para la comprensin cientfica de la Naturaleza.
En el ltimo tercio del siglo XVII, Newton (en 1664 - 1666) y Leibniz (en 1675), de forma
independiente cada uno, inventaron el Clculo. Esto quiere decir que:
Unificaron y resumieron en dos conceptos generales, el de integral y derivada, la gran
variedad de tcnicas diversas y de problemas que se abordaban con mtodos particulares.
Desarrollaron un simbolismo y unas reglas formales de clculo que podan aplicarse
a funciones algebraicas y trascendentes, independientes de cualquier significado geom-
trico, que haca fcil, casi automtico, el uso de dichos conceptos generales.
Reconocieron la relacin inversa fundamental entre la derivacin y la integracin.
Newton llam a nuestra derivada una fluxin una razn de cambio o flujo; Leibniz vio la
derivada como una razn de diferencias infinitesimales y la llam el cociente diferencial. New-
ton hizo sus primeros descubrimientos diez aos antes que Leibniz quien, sin embargo, fue el
primero en publicar sus resultados.
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 pue-
de 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 flu-
xionum 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 fluen-
tes. 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 incremen-
tos de las fluentes x; y; z; : : : , los representa por medio de las correspondientes fluxiones en la
T yo;
forma xo; T zT o; : : : , y los llama momentos, donde o es entendido como un incremento infini-
tesimal 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:
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, conside-
ra 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 proble-
ma 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 U 2/
T C xT yo .y 3 C 3yox
T 2 C 3yT 2 o2 y C yT 3 o3 / D 0
T 2
3xx T C axy
2axx T C ax yT T 2D0
3yy
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:
yT 3x 2 2ax C ay
D
xT 3y 2 ax
Como ya hemos indicado, Newton aplica los resultados sobre fluentes y fluxiones a la reso-
lucin de multitud de problemas. Por ejemplo, con respecto a los problemas de mximos y
mnimos, escribe:
De nuevo, Newton usa el teorema fundamental del clculo para realizar cuadraturas. Escribe:
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 ecua-
cin 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 fun-
damentar 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 infinitesima-
les 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 ayu-
dar 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
n.n 1/
.x C o/n D x n C nox n 1
C o2 x n 2
C
2
Los incrementos de x y x n , a saber,
n.n 1/
o y nox n 1
C o2 x n 2
C
2
Por velocidad ltima se entiende aquella con la que el cuerpo se mueve, no antes de alcan-
zar 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.
Las razones ltimas con las que tales cantidades desaparecen en realidad no son razones
de cantidades ltimas, sino lmites a los que tiende a acercarse siempre las razones de
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.
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 po-
demos 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.
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 cir-
cunstancial, 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 tra-
dicional 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 tiem-
pos 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 movi-
miento, 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 matemtica-
mente 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.
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.
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 ; : : :
b1 D a1 ; b2 D a2 a1 ; b3 D a3 a2 ; b4 D a4 a3 ; : : : ; bn D an an 1; : : :
b1 C b2 C b3 C C bn D an
lo que indica que las sucesiones de diferencias pueden sumarse fcilmente, y que el proceso de
formar la sucesin de diferencias y despus sumarla recupera la sucesin inicial, es decir, que
se trata de operaciones inversas una de la otra. Esta sencilla idea, cuando se lleva al campo de
la geometra, conduce al concepto central del clculo de Leibniz que es el de diferencial, el
cual tuvo para l diferentes significados en distintas pocas.
Leibniz consideraba una curva como un polgono de infinitos lados de longitud infinitesi-
mal. Con una tal curva se asocia una sucesin de abscisas x1 ; x2 ; x3 ; x4 ; : : : y una sucesin de
ordenadas y1 ; y2 ; y3 ; y4 ; : : : donde los puntos .xi ; yi / estn todos ellos en la curva y son algo
as como los vrtices de la poligonal de infinitos lados que forma la curva. La diferencia entre
dos valores sucesivos de x es llamada la diferencial de x y se representa por dx , significado
anlogo tiene dy . El diferencial dx es una cantidad fija, no nula, infinitamente pequea en
comparacin con x, de hecho es una cantidad infinitesimal. Los lados del polgono que consti-
tuye la curva son representados por ds . Resulta as el tringulo caracterstico de Leibniz que
es el mismo que ya haba sido considerado por Barrow.
Curiosamente, los trminos abscisa, ordenada y coordenadas, tan propios de la geo-
metra analtica, no fueron usados nunca por Descartes sino que son debidos a Leibniz; y mien-
tras que nosotros hablamos de diferenciales, Leibniz siempre hablaba de diferencias.
El tringulo caracterstico tiene lados infinitesimales dx , dy , ds y se verifica la relacin
. ds /2 D. dx /2 C. dy /2 . El lado ds sobre la curva o polgono se hace coincidir con la tangente
dy
a la curva en el punto .x; y/. La pendiente de dicha tangente viene dada por dx , que es un
ds dy
dx
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.xy/ D y dx C x dy ; d D
y y2
La manera en que Leibniz lleg a estas frmulas pudo ser como sigue. Consideremos
0 10 1
Xn n
X
zn D @ xj A @ yj A
j D1 j D1
Entonces
nC1
X n
X
znC1 zn D xnC1 yj C ynC1 xj (6.37)
j D1 j D1
y12 y13
y9 y10 y11
y7 y8
y5 y6
y4
y3
y2
y1
1 1 1 1 1 1 1 1 1 1 1 1 1
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.
Aunque las publicaciones de Leibniz eran breves y difciles de leer, su clculo, ms sen-
cillo de entender que el de Newton y provisto de una excelente notacin, triunf pronto en el
continente europeo logrando grandes xitos, mientras que en Inglaterra la fidelidad a la teora
de fluxiones y a la notacin newtoniana condujo a un cierto aislamiento, agravado por senti-
mientos nacionales y la disputa sobre la prioridad, y no consigui xitos comparables a los del
continente.
Los hermanos Jakob y Johann Bernouilli, matemticos y profesores de la universidad de
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 canti-
dades 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 potencia-
lidad 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 descu-
brimientos, 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 ter-
cio del siglo XIX. El clculo, que inicialmente era un clculo de variables o, ms exacta-
mente, 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 analy-
tiques (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 im-
precisa (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,