Tema 8

Derivadas de las funciones trigonomtricas

Completamos en este tema la derivacin de las principales funciones reales de variable
real que venimos manejando, estudiando la derivabilidad de las funciones trigonomtricas y sus
inversas. Ello nos permitir, como una nueva aplicacin del Teorema del Valor Medio, probar las
identidades trigonomtricas ms usuales y, en general, mejorar sustancialmente el conocimiento
de las funciones trigonomtricas y sus inversas. Encontraremos tambin nuevas aplicaciones de
las reglas de lHpital, as como el ejemplo, varias veces prometido, de una funcin derivable
en un intervalo cuya derivada no es continua.
8.1. Derivada del arco coseno
Para la derivacin de las funciones trigonomtricas seguiremos el mismo camino usado en
su momento para denirlas, empezando por la funcin arco coseno.
La funcin arco coseno es derivable en ] 1, 1[ con
arccos

(x) =
1

1x
2
x ] 1, 1[ (1)
y no es derivable en 1 ni en 1.
Para la demostracin debemos obviamente recordar la funcin arco coseno y la notacin que se
us para denirla. La semicircunferencia unidad era la curva : [1, 1] R
2
dada por
(t) =
_
t, (t)
_
=
_
t,
_
1t
2
_
t [1, 1]
Usaremos que la funcin es derivable en ] 1, 1[ con

(t) =
t

1t
2
t ] 1, 1[
95
8. Derivadas de las funciones trigonomtricas 96
Sabemos que es recticable con longitud () =. Para x [1, 1] denotamos por
x
a la restriccin de al intervalo [x, 1] , que tambin es recticable, y recordamos la denicin
del arco coseno:
arccos : [1, 1] [0, ] , arccos x = (
x
) x [1, 1]
Dados x, y [1, 1] con x < y, denotamos por
x,y
a la restriccin de al intervalo [x, y] ,
que tambin es una curva recticable, vericndose que
arccos x arccos y = (
x,y
) (2)
Pues bien, suponiendo x 0, el Teorema del Valor Medio nos dar estimaciones por defecto y
por exceso de esta longitud, que nos llevarn fcilmente al resultado deseado.
Suponemos 0 x < y < 1 y aplicamos el Teorema del Valor Medio a la restriccin de al
intervalo [x, y] , que es derivable en dicho intervalo, obteniendo c ]x, y[ tal que
(y) (x) =

(c)(y x) =
c

1c
2
(y x)
Denotando como siempre por d a la distancia eucldea en el plano, deducimos claramente que
(
x,y
) d
_
(x), (y)
_
=
_
(y x)
2
+
_
(y) (x)
_
2
_
1/2
=
_
1 +

(c)
2

1/2
(y x) =
1

1c
2
(y x)
1

1x
2
(y x)
(3)
y tenemos la estimacin por defecto que buscbamos.
Para obtener la estimacin por exceso, jamos una particin P ={x =t
0
<t
1
<. . . <t
n
=y}
del intervalo [x, y] . Para k = 1, 2, . . . , n, aplicamos de nuevo el Teorema del Valor Medio a la
restriccin de al intervalo [t
k1
, t
k
] , obteniendo c
k
]t
k1
, t
k
[ tal que
(t
k
) (t
k1
) =

(c
k
)(t
k
t
k1
) =
c
k
_
1c
2
k
(y x)
Razonando como ya hicimos antes obtenemos
d
_
(t
k1
), (t
k
)
_
=
1
_
1c
2
k
(t
k
t
k1
)
1
_
1y
2
(t
k
t
k1
)
Para la longitud de la poligonal asociada a la particin P obtenemos entonces que
(
x,y
, P) =
n

k=1
d
_
(t
k1
), (t
k
)
_

1
_
1y
2
n

k=1
(t
k
t
k1
) =
1
_
1y
2
(y x)
Puesto que esta desigualdad es vlida para toda particin P del intervalo [x, y] deducimos
(
x,y
)
1
_
1y
2
(y x) (4)
que es la estimacin por exceso buscada.
8. Derivadas de las funciones trigonomtricas 97
En resumen, en vista de (2), las desigualdades (3) y (4) nos dicen que
0 x < y < 1 =
y x
(x)
arccos x arccos y
y x
(y)
Equivalentemente, dividiendo por el nmero negativo x y, las desigualdades se invierten y
obtenemos
0 x < y < 1 =
1
(y)

arccos x arccos y
x y

1
(x)
(5)
Las cosas son ya bastante inmediatas, pues esta desigualdad encierra toda la informacin que
necesitamos.
Sea f : [0, 1[R la restriccin de la funcin arco coseno al intervalo [0, 1[ . Para a ]0, 1[ ,
podemos aplicar (5) con y =a, y usando la continuidad de la funcin obtenemos claramente
f

(a) = lm
xa
f (x) f (a)
x a
=
1
(a)
Por otra parte, para a [0, 1[ podemos tomar en (5) x = a y de nuevo la continuidad de nos
da
f

(a+) = lm
ya+
f (y) f (a)
y a
=
1
(a)
Por tanto, f es derivable en [0, 1[ con
f

(x) =
1
(x)
=
1

1x
2
x [0, 1[
Sea ahora g la restriccin del arco coseno al intervalo ] 1, 0] . Sabemos que
g(x) = arccos x = arccos(x) = f (x) x ] 1, 0]
luego la regla de la cadena nos dice que g es derivable en ] 1, 0] con
g

(x) = f

(x) =
1

1x
2
x ] 1, 0]
Ha llegado el momento de eliminar las restricciones. Para x ] 1, 1[ con x = 0, el carcter
local del concepto de derivada junto con la derivabilidad de f (si x > 0) o la de g (si x < 0)
nos dicen que la funcin arco coseno es derivable en x y su derivada tiene el valor esperado.
Para x = 0 simplemente tenemos
arccos

(0+) = f

(0) = 1 = g

(0) = arccos

(0)
luego tambin tenemos la derivabilidad en 0 con el valor esperado de la derivada. As pues,
hemos probado que la funcin arco coseno es derivable en ] 1, 1[ vericndose (1).
Finalmente, puesto que la funcin arco coseno es continua en [1, 1] , derivable en ] 1, 1[
y su funcin derivada diverge negativamente tanto en 1 como en 1, un corolario de la primera
regla de lHpital visto en el tema anterior nos dice que la funcin arco coseno no es derivable
en dichos puntos.
8. Derivadas de las funciones trigonomtricas 98
8.2. Derivadas del seno y el coseno
Estudiada la derivabilidad de la funcin arco coseno, para lo que ha sido esencial el Teorema
del Valor Medio, la derivacin de las funciones trigonomtricas y sus inversas se deduce ya casi
mecnicamente de las reglas de derivacin. Slo en un punto concreto necesitaremos el mismo
corolario de la primera regla de lHpital que acabamos de usar.
Las funciones seno y coseno son derivables en R con
sen

(x) = cos x, y cos

(x) = sen x x R (6)

Para x ]0, [ tomamos y =arccos x con lo que tenemos y ] 1, 1[ con cos y =x. Puesto que
el arco coseno es derivable en y con arccos

(y) = 0, y su inversa, que es la restriccin de la

funcin coseno al intervalo [0, ] , es continua en x, la regla de derivacin de la funcin inversa
nos dice que dicha restriccin es derivable en x y su derivada se calcular enseguida. El carcter
local del concepto de derivada nos dice que la funcin coseno es derivable en el punto x con
cos

(x) =
1
arccos

(y)
=
_
1y
2
=
_
1cos
2
x = senx x ]0, [
Ntese que en los puntos 0 y la regla de derivacin de la funcin inversa no da informacin.
Usamos ahora que senx = (1cos
2
x)
1/2
para todo x ]0, [ , con lo que la reglas bsicas
de derivacin, y otra vez el carcter local de la derivada, nos dicen que la funcin seno es
derivable en ]0, [ con
sen

(x) =
1
2
(1cos
2
x)
1/2
(2cos x)(sen x) = cos x x ]0, [
Sea k Z y consideremos el intervalo J =]k, (k +1)[ . Para x J tenemos xk ]0, [
y sabemos que
cos x = (1)
k
cos(x k), sen x = (1)
k
sen(x k)
Lo ya demostrado, la regla de la cadena y el carcter local de la derivada nos dicen que las
funciones seno y coseno son derivables en J con
cos

x = (1)
k
cos

(x k) = (1)
k
sen(x k) = sen x
sen

x = (1)
k
sen

(x k) = (1)
k
cos(x k) = cos x
Si x / {m : m Z} podemos tomar en el razonamiento anterior k = E(x/) con lo que x J
y por tanto seno y coseno son derivables en el punto x con las derivadas deseadas.
Finalmente, si x = m con m Z, usamos el intervalo I =](m1), (m+1)[ . Sabemos
que las funciones seno y coseno son continuas en I , derivables en I \ {x} y sus funciones
derivadas tienen lmite en el punto x. El corolario ya comentado de la primera regla de lHpital
nos dice que las funciones seno y coseno son tambin derivables en x con
cos

(x) = lm
yx
cos

(y) = sen x, sen

(x) = lm
yx
sen

(y) = cos x
8. Derivadas de las funciones trigonomtricas 99
Resaltemos dos lmites de funciones que merece la pena recordar. El primero no es ms que
la derivabilidad en 0 de la funcin seno, el segundo se deduce de la primera regla de lHpital:
lm
x0
sen x
x
= 1, lm
x0
1 cos x
x
2
= lm
x0
sen x
2x
=
1
2
El uso del Teorema del Valor Medio para derivar el arco coseno, y el de la regla de lHpital
para el seno y el coseno, explican que hayamos esperado hasta ahora para calcular esas derivadas.
Veamos ahora una til caracterizacin de las funciones seno y coseno:
Sean f , g : R R funciones derivables en R vericando que:
f

(x) = g(x) x R, f (0) = 0
g

(x) = f (x) x R, g(0) = 1

Se tiene entonces que f (x) = sen x y g(x) = cos x para todo x R.
Considerando la funcin h : R R denida por:
h(x) =
_
f (x) sen x
_
2
+
_
g(x) cos x
_
2
x R
basta evidentemente probar que h es idnticamente nula. Usando la hiptesis, junto con las
derivadas del seno y el coseno, se comprueba sin ninguna dicultad que h es derivable en R
con h

(x) = 0 para todo x R. Por tanto h es constante, pero es claro que h(0) = 0, luego
h(x) = 0 para todo x R, como se quera.
8.3. Frmulas de adicin
Podemos ya probar muy fcilmente lo siguiente:
Para cualesquiera x, y R se tiene:
sen(x +y) = sen x cos y + cos x sen y
cos(x +y) = cos x cos y sen x sen y
Para comprobarlo usamos una idea recin aprendida. Fijado y R, consideramos la funcin
h : R R denida por:
h(x) =
_
sen(x +y) sen x cosy cos x sen y
_
2
+
_
cos(x +y) cos x cos y + sen x sen y
_
2
Observamos sin dicultad que h es derivable en R con h

(x) = 0 para todo x R, luego h

es constante en R, pero es evidente que h(0) = 0, luego h es idnticamente nula, de donde se
deducen claramente las dos igualdades buscadas.
8. Derivadas de las funciones trigonomtricas 100
De las frmulas de adicin se deduce que las funciones seno y coseno pueden obtenerse una
de otra mediante una traslacin, as como otras identidades trigonomtricas tiles. Enunciamos
algunas de ellas, cuya comprobacin es inmediata:
Para cualesquiera x, y R, se tiene:
cos x = sen
_
x +

2
_
, sen x = cos
_
x

2
_
sen 2x = 2 sen x cos x, cos 2x = cos
2
x sen
2
x
sen x + sen y = 2 sen
x +y
2
cos
x y
2
, cos x + cos y = 2 cos
x +y
2
cos
x y
2
8.4. Una derivada que no es continua
Podemos ya presentar un ejemplo de una funcin derivable en un intervalo, cuya derivada
no es continua en dicho intervalo. Construir tal ejemplo sin usar las funciones trigonomtricas
hubiera sido ms laborioso.
La funcin f : R R denida por
f (x) = x
2
sen(1/x) x R

, f (0) = 0
es derivable en R, pero su derivada no es continua en 0.
Tenemos claramente que f es derivable en R

con
f

(x) = 2x sen(1/x) cos(1/x) x R

pero tambin es claro que f es derivable en 0, ya que lm

x0
f (x)
x
= lm
x0
x sen(1/x) = 0. Que
f

no es continua en 0 se deduce de
_
f

_
1
n
__
=
_
(1)
n+1
_
.
La funcin f del ejemplo anterior nos sirve para mostrar, como ya habamos avisado, que
las implicaciones de la primera regla de lHpital (lo hacemos slo para una de ellas) no son
reversibles. En efecto, tomando g(x) = x para todo x R, las funciones f y g cumplen las
hiptesis de dicha regla: son incluso funciones derivables en R con g

(x) = 1 = 0 para todo

x R y f (0) = g(0) = 0. Adems, hemos visto que lm
x0
_
f (x)/g(x)
_
= f

(0) = 0, pero
tambin hemos visto que el cociente f

/g

= f

no tiene lmite en 0.
8. Derivadas de las funciones trigonomtricas 101
8.5. Otras funciones trigonomtricas
Obtenidas las derivadas de las funciones seno y coseno, probar que las otras cuatro funciones
trigonomtricas son derivables en todo su conjunto de denicin y calcular sus derivadas es pura
rutina. Enunciamos los resultados, que se deducen de las reglas bsicas de derivacin.
Consideremos los conjuntos
A = {x R : cos x = 0} = R\{(/2) +k : k Z}
B = {x R : sen x = 0} = R\{k : k Z}
La funcin tangente es derivable en A con tg

(x) = sec
2
x = 1+tg
2
x x A.
La funcin secante es derivable en A con sec

(x) = sec x tg x x A.
La funcin cotangente es derivable en B con cotg

(x) =cosec
2
x x B.
La funcin cosecante es derivable en B con cosec

(x) =cosecx cotgx x B.

Con respecto a las funciones trigonomtricas inversas, estudiado ya el arco coseno, veamos
la derivabilidad del arco seno, inversa de la restriccin del seno al intervalo [/2, /2] . Puesto
que sen

(x) = cos x = 0 para x ] /2, /2[ , pero sen

(/2) = sen

(/2) = 0, obtenemos
lo siguiente.
La funcin arco seno es derivable en ] 1, 1[ con
arcsen

(x) =
1

1x
2
x ] 1, 1[
y no es derivable en los puntos 1 y 1.
En efecto, para x ] 1, 1[ , tomamos y = arcsen x ] /2, /2[ y obtenemos
arcsen

(x) =
1
sen

(y)
=
1
cos y
=
1

1x
2
Observamos que la suma de las funciones arco coseno y arco seno es una funcin continua
en [1, 1] y derivable en ] 1, 1[ con derivada idnticamente nula, luego es constante. De hecho
tenemos
arccos x + arcsenx =

2
x [1, 1]
Concluimos con el arco tangente, funcin inversa de la restriccin de la tangente al intervalo
] /2, /2[ . Tenemos ahora tg

(x) = 0 para todo x ] /2, /2[ , de donde deducimos lo

siguiente.
La funcin arco tangente es derivable en R con:
arctg

(x) =
1
1+x
2
x R
En efecto, para x R, tomamos y = arctgx y obtenemos que
arctg

(x) =
1
tg

(y)
=
1
1+tg
2
y
=
1
1+x
2
8. Derivadas de las funciones trigonomtricas 102
8.6. Ejercicios
1. Probar que
cos(/4) = sen(/4) =

2/2
cos(/3) = sen(/6) = 1/2
cos(/6) = sen(/3) =

3/2
2. Sean a, b R con a
2
+b
2
=1 y a =1. Sea x ] , [ tal que cos x = a y sen x = b.
Probar que
x = 2arctg
b
1+a
3. Probar que
arctgx + arctg
1
x
=

2
x
|x|
x R

4. Dado a R

, determinar la imagen de la funcin f : R\{1/a} R denida por

arctga + arctgx arctg
a+x
1ax
x R\{1/a}
5. Probar que para todo x ]0, /2[ se tiene
cos x > 1
x
2
2
y
2x

< sen x < x < tg x

6. Calcular las imgenes de las funciones f , g : R R dadas por
f (x) = arctgx
x
1+x
2
x R, g(x) =
arctgx
x
x R

, g(0) = 1
7. Probar que
| sen(nx)| n| sen x| x R, n N
8. Dado R, se considera la funcin f : R
+
0
R denida por
f (x) = x

sen
1
x
x R
+
, f (0) = 0
Estudiar la continuidad y derivabilidad de f , as como la continuidad de su derivada.
9. Estudiar el comportamiento en + de las funciones f , g : R
+
R dadas por
f (x) =
x
2
sen
1
x
log x
, g(x) = sen

x +1 sen

x x R
+
8. Derivadas de las funciones trigonomtricas 103
10. Estudiar el comportamiento en el origen de la funcin h : A R en cada uno de los
siguientes casos:
(a) A =R
+
, h(x) =
1cos x

x
x A
(b) A =]0, /2[ , h(x) = (sen x + cos x)
1/x
x A
(c) A =]0, /2[ , h(x) =
_
cos x +
x
2
2
_
1/x
2
x A
(d) A =]0, /2[ , h(x) =
_
1+tg x
_
1/x
2
x A
(e) A =R
+
, h(x) = x
sen x
x A
(f) A =]0, /2[ , h(x) =
x arctgx
sen
3
x
x A
11. Estudiar la convergencia de las siguientes sucesiones:
(a)
_
n
n

e e
sen(1/n)
1n sen(1/n)
_
(b)
__
1+tg(1/n)
1tg(1/n)
_
n
_
(c)
_
n
3
sen(1/n) log
_
1+
1
n
_
(n+1) cos
_
n+2
4n+1
_
_
12. Dado R, estudiar la convergencia de las siguientes series:
(a)

n1
_
sen
1
n
_

(b)

n1
_
tg
1
n
sen
1
n
_

(c)

n2
_
log n sen
_
log n

n
__