Tema 10

Funciones trigonométricas

Para estudiar esta nueva familia de funciones utilizamos una estrategia similar a la seguida
en el tema anterior. Igual que ocurrió con el logaritmo, una integral indefinida de una función
racional bien conocida nos llevará a la función arco-tangente, cuyas principales propiedades se
probarán fácilmente, usando el teorema fundamental del cálculo y el teorema del valor medio.
Su función inversa, extendida por periodicidad, será la función tangente, a partir de la cual
estudiaremos con facilidad el seno, el coseno y el resto de las funciones trigonométricas.

10.1. El arco-tangente
La función t 7→ 1/(1 + t 2 ) es continua en R , lo que nos permite considerar su integral
indefinida con origen en 0 . La función arco-tangente, o simplemente el arco-tangente, es la
función arc tg : R → R definida por:
Z x
dt
arc tg x = ∀x ∈ R
0 1+t 2
Su primera propiedad, clave para obtener las demás, es la siguiente:

(A.1) El arco-tangente es la única función f ∈ D(R) tal que f (0) = 0 y f 0 (x) = 1/(1 + x 2 )
para todo x ∈ R . Por tanto, es una función estrictamente creciente.

Es obvio que arc tg 0 = 0 y el teorema fundamental del cálculo nos da arc tg 0 (x) = 1/(1 + x 2 )
para todo x ∈ R . Unicidad y crecimiento estricto se deducen del teorema del valor medio. 

Podemos reducir el estudio del arco-tangente al de su restricción a R+ :

(A.2) El arco-tangente es una función impar: arc tg (−x) = − arc tg x para todo x ∈ R .

En efecto, basta usar la sustitución t = −s :

Z −x Z x
dt ds
arc tg (−x) = = − = − arc tg x ∀x ∈ R 
0 1+t 2 0 1 + s2

89
10. Funciones trigonométricas 90

Para proseguir nuestro estudio del arco-tangente, es conveniente, aunque no imprescindible,

introducir el número π . Su definición puede resultar sorprendente, pero está motivada por ideas
básicas de trigonometría: arc tg 1 se interpreta en trigonometría como un ángulo cuya medida,
en radianes, es π/4 . Así pues, por definición, el número π viene dado por:
Z 1
dt
π = 4 arc tg 1 = 4
0 1+t 2
2


Puesto que 1/2 6 1/ 1 + t 6 1 para todo t ∈ [0, 1] , y ambas desigualdades son estrictas
para t ∈]0, 1[ , tenemos 2 < π < 4 . A continuación relacionamos este número con la imagen
del arco-tangente.

(A.3) Se verifica que arc tg x + arc tg (1/x) = π/2 para todo x ∈ R+ . Como consecuencia:
π π
lı́m arc tg x = y lı́m arc tg x = −
x→+∞ 2 x→−∞ 2
Por tanto, la imagen del arco-tangente es el intervalo abierto ] − π/2, π/2[ .

Para obtener la primera igualdad observamos que, para x ∈ R+ , se tiene

−ds/s 2
Z 1/x Z x Z x
dt ds
= = −
1 1+t 2 1 1 + (1/s) 2 1 1 + s2
donde hemos hecho la sustitución t = 1/s con s ∈ R+ . La aditividad de la integral nos da
Z 1 Z x Z 1/x
dt dt π dt
arc tg x + arc tg (1/x) = 2 + + =
0 1+t 2
1 1 1+t 2 2 1+t 2
El límite en +∞ se calcula ahora convirtiéndolo en un límite por la derecha en el origen:
π  π
lı́m arc tg x = lı́m arc tg (1/x) = lı́m − arc tg x =
x→+∞ x→0+ x→0+ 2 2
Para el límite en −∞ basta usar que el arco-tangente es una función impar y, por tratarse de una
función estrictamente creciente, su intervalo imagen no podrá ser otro que ] − π/2, π/2 [ . 

Revisamos ahora las propiedades de la función inversa del arco-tangente, a la que no vamos
a dar un nombre especial, pues enseguida la extenderemos para obtener la función que realmente
nos interesa.

Sea J = ]−π/2, π/2[ . La función τ = arc tg−1 : J → R tiene las siguientes propiedades:
(i) Es derivable en J con τ 0 (x) = 1 + τ(x) 2 para todo x ∈ J .
(ii) Es una función impar: τ(−x) = − τ(x) para todo x ∈ J .
(iii) Es una biyección estrictamente creciente de J sobre R , con
τ(x) → −∞ (x → −π/2) , τ(x) → +∞ (x → π/2)
τ(−π/4) = −1 , τ(0) = 0 , τ(π/4) = 1

Sólo (i) merece comentario. El teorema de la función inversa nos dice que τ ∈ D(J) con:
1
τ 0 (x) =
= 1 + τ(x) 2 ∀x ∈ J 
arc tg 0 τ(x)
10. Funciones trigonométricas 91

10.2. La tangente
A partir de la inversa del arco-tangente vamos a definir la función tangente haciendo una
“extensión por periodicidad”, es decir, repitiendo sus valores en sucesivos intervalos abiertos
de longitud π . La periodicidad es una propiedad clave de varias funciones trigonométricas, así
que conviene aclarar algunas ideas al respecto.
Dada una función f : A → R , decimos que T ∈ R es un periodo de f cuando se verifican
las dos condiciones siguientes

{x + T : x ∈ A} = A y f (x + T ) = f (x) ∀ x ∈ A

Trivialmente, 0 es un periodo de cualquier función. Decimos que la función f es periódica

cuando tiene un periodo T 6= 0 , y si queremos explicitar dicho periodo, podemos decir que
f es T -periódica. Es evidente que entonces −T es otro periodo de f , luego toda función
periódica posee un periodo positivo. De hecho, se comprueba claramente por inducción que
k T también es un periodo de f , para todo k ∈ Z .
Toda función definida en un conjunto acotado admite una extensión por periodicidad, es
decir, se puede extender para obtener una función periódica. Trataremos solamente el caso que
realmente nos interesa. Como la función τ = arc tg−1 está definida en J =] − π/2, π/2 [ , un
intervalo de longitud π , es natural intentar extenderla, para obtener una función π-periódica.
Como la extensión que buscamos será también kπ-periódica para todo k ∈ Z , deberá estar
definida, al menos, en el conjunto At = {x + kπ : x ∈ J , k ∈ Z} , que se obtiene como una unión
de intervalos abiertos consecutivos, concretamente los de la forma ] kπ − (π/2), kπ + (π/2)[
con k ∈ Z . Por tanto, R \ At es el conjunto formado precisamente por los extremos de dichos
intervalos: los números de la forma kπ − (π/2) = (2k − 1)π/2 con k ∈ Z . Así pues,

At = R \ {(2k − 1)π/2 : k ∈ Z}

es el conjunto que se obtiene al suprimir de R los múltiplos enteros impares de π/2 .

Si la extensión que buscamos estuviera definida en algún punto y ∈ R\At , debería estarlo en
todos los puntos de la forma y + kπ con k ∈ Z , que son todos los puntos de R \ At , luego estaría
definida en R . Sin embargo, sabemos por ejemplo que τ diverge en π/2 , luego tal extensión no
podría ser continua. En resumen, si queremos extender la función τ para obtener una función
π-periódica y continua, el conjunto de definición de dicha extensión no puede ser otro que At .
Pues bien, a poco que se piense, la definición de la extensión que buscamos es obligada:
dado x ∈ At , bastará encontrar k ∈ Z de forma que x − kπ ∈ J, y el valor de la nueva función
en el punto x no puede ser otro que τ(x − kπ) . Pero esto es fácil, ya que:

π π π x 1
− < x − kπ < ⇐⇒ kπ < x + < (k + 1) π ⇐⇒ k < + < k + 1
2 2 2 π 2
 
x 1 x 1
Obsérvese que, por ser x ∈ At , tenemos que + ∈ / Z , luego k = E + es el único
π 2 π 2
número entero que verifica la condición pedida. Queda así explicada la siguiente definición.
10. Funciones trigonométricas 92

La función tangente, o simplemente la tangente, es la función tg : At → R , definida por

tg x = τ x − k(x)π = arc tg−1 x − k(x) π



∀ x ∈ At
 
x 1
donde At = R \ {(2k − 1)π/2 : k ∈ Z} y k(x) = E + para todo x ∈ At . Hemos visto
π 2
que, para cada x ∈ At , k(x) es el único número entero que verifica −π/2 < x − k(x) π < π/2 ,
y esto hace que la definición de tg x sea correcta.
Anotemos las propiedades que caracterizan a la función tangente:

(T.1) La tangente es la única función π-periódica, definida en At , cuya restricción al intervalo

] − π/2, π/2[ es la función inversa del arco-tangente. Queda pues determinada por:
tg : At → R , tg(x + π) = tg x ∀ x ∈ At , tg (arc tg x) = x ∀ x ∈ R

También conviene anotar algunos

valores concretos de la tangente:
para m ∈ Z tenemos
claramente que tg mπ − (π/4) = −1 , tg (mπ) = 0 y tg mπ + (π/4) = 1 .
Las propiedades de la función inversa del arco-tangente, se extienden fácilmente usando la
periodicidad, para obtener las correspondientes propiedades de la tangente.

(T.2) La tangente es derivable en At , con tg 0 (x) = 1 + tg 2 x para todo x ∈ At .

Podemos aplicar directamente la regla de la cadena. La función parte entera es derivable en

R \ Z con E 0 (y) = 0 para todo y ∈ R \ Z , luego la función k : At → Z también es derivable en
At con k 0 (x) = 0 para todo x ∈ At . Por tanto,

2
tg 0 (x) = τ 0 x − k(x)π = 1 + τ x − k(x)π = 1 + tg 2 x ∀ x ∈ At




(T.3) La tangente es una función impar: tg (−x) = − tg x para todo x ∈ At .

En efecto, para x ∈ At tenemos −π/2 < x − k(x)π < π/2 y basta usar la periodicidad de la
tangente junto con la imparidad de la función τ :




tg (−x) = tg k(x)π − x = τ k(x)π − x = − τ x − k(x)π = − tg x 

(T.4) Para cada m ∈ Z , la restricción de la tangente al intervalo Jm =]mπ−(π/2), mπ+(π/2)[

es una biyección estrictamente creciente de Jm sobre R . Por tanto, la tangente diverge
positivamente por la izquierda, y negativamente por la derecha, en todo punto de R \ At .
Finalmente, para todo y ∈ R se tiene: {x ∈ At : tg x = y} = {arc tg y + m π : m ∈ Z}.

La primera afirmación se comprueba usando que, si m ∈ Z , para todo x ∈ Jm se tiene k(x) = m

y tg x = τ(x − mπ) , con lo que basta aplicar las propiedades de τ ya conocidas.
Dado z ∈ R \ At , existe m ∈ Z tal que z = mπ − (π/2) = ı́nf Jm , luego trabajando en Jm
obtenemos que tg x → −∞ (x → z+) . Pero como también z = sup Jm−1 , trabajando en Jm−1
obtenemos que tg x → +∞ (x → z−). Nótese que la tangente diverge en todo punto de R \ At .
Veamos la última igualdad, que aclara

la relación entre tangente y arco-tangente. Para y ∈ R
y m ∈ Z tenemos tg arc tg y + m π = tg (arc tg
y) = y , lo que nos da una inclusión. Para la
otra, si x ∈ At , de y = tg x = arc tg−1 x − k(x)π , deducimos que arc tg y = x − k(x)π , luego
x = arc tg y + mπ con m = k(x) ∈ Z . 
 10. Funciones trigonométricas 93

10.3. El seno y el coseno

A partir de la tangente, definiremos directamente estas dos funciones, sin duda las funciones
trigonométricas más relevantes. Consideramos el conjunto B = R \ {(2k − 1)π : k ∈ Z} , que
se obtiene al suprimir de R los múltiplos enteros impares de π , y observamos su relación con
el conjunto de definición de la tangente: At = {x/2 : x ∈ B} . Pues bien, el seno y el coseno son
las funciones sen : R → R y cos : R → R definidas por
2 tg(x/2)
sen x = ∀x ∈ B, sen x = 0 ∀x ∈ R\B
1 + tg2 (x/2)
1 − tg2 (x/2)
cos x = ∀x ∈ B, cos x = −1 ∀ x ∈ R \ B
1 + tg2 (x/2)

De la continuidad de la tangente deducimos que ambas funciones son continuas en B .

Además, como la tangente diverge en todo punto de R \ At , para todo x ∈ R \ B tenemos
que tg(y/2) → ∞ (y → x) , de donde
2
lı́m sen y = lı́m
= 0 = sen x
y→x y→x 1/ tg(y/2) + tg(y/2)

1/ tg2 (y/2) − 1


lı́m cos y = lı́m
= −1 = cos x
y→x y→x 1/ tg2 (y/2) + 1

Esto explica la definición del seno y el coseno en R \ B : se ha hecho de forma que ambas
funciones sean continuas en todo R . De hecho, probamos enseguida algo mucho mejor:

(SC.1) Las funciones seno y coseno son derivables en R con

sen 0 (x) = cos x , cos 0 (x) = − sen x ∀x ∈ R

El carácter local de la derivada y las reglas básicas de derivación nos dan la derivabilidad en B .
Para x ∈ B se tiene que tg 0 (x/2) = 1 + tg2 (x/2) , de donde

tg 0 (x/2) 1 + tg2 (x/2) − 2 tg2 (x/2) tg 0 (x/2)

0 1 − tg2 (x/2)
sen (x) =
2 = = cos x
1 + tg2 (x/2) 1 + tg2 (x/2)
− tg(x/2) tg 0 (x/2) 1 + tg2 (x/2) + 1 − tg2 (x/2)


0 −2 tg(x/2)
cos (x) =
2 = = − sen x
1 + tg2 (x/2) 1 + tg2 (x/2)

Sea ahora a ∈ R \ B y consideremos el intervalo J =]a − 2π , a + 2π[ , que verifica J \ {a} ⊂ B .

Sabemos que el seno y el coseno son funciones continuas en J , y acabamos de ver que son
derivables en J \ {a} . Usando otra vez la continuidad de ambas en el punto a , tenemos

lı́m sen 0 (x) = lı́m cos x = cos a , lı́m cos 0 (x) = lı́m (− sen x) = − sen a
x→a x→a x→a x→a

Una consecuencia del teorema del valor medio, estudiada en su momento, nos dice que el seno
y el coseno son derivables en a verificándose que sen 0 (a) = cos a y cos 0 (a) = − sen a . 
 10. Funciones trigonométricas 94

Conviene anotar algunos valores del seno y el coseno, que se deducen directamente de las
definiciones, usando valores conocidos de la tangente:

sen (−π) = 0 , sen (−π/2) = −1 , sen 0 = 0 , sen (π/2) = 1 , sen π = 0

cos (−π) = −1 , cos (−π/2) = 0 , cos 0 = 1 , cos (π/2) = 0 , cos π = −1

Probamos ahora una relación entre el seno y el coseno que es la más famosa de las llamadas
identidades trigonométricas. De ella se deduce la imagen de ambas funciones.

(SC.2) Se verifica que cos2 x + sen2 x = 1 para todo x ∈ R . Como consecuencia, la imagen,
tanto del seno como del coseno, es el intervalo [−1, 1] .

Se puede deducir directamente de las definiciones, pero usemos una idea alternativa: definiendo
h(x) = cos2 x + sen2 x para todo x ∈ R , vemos inmediatamente que h ∈ D(R) con h 0 = 0 ,
luego h es constante, pero es claro que h(0) = 1 .
Por tanto, tenemos | sen x| 6 1 y | cos x| 6 1 para todo x ∈ R , pero sabemos que ambas
funciones toman los valores 1 y −1 , luego su imagen no puede ser otra que [−1, 1] . 

Las identidades trigonométricas más importantes son sin duda las siguientes:

(SC.3) Fórmulas de adición para el seno y el coseno. 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

Fijado y ∈ R , consideramos las funciones f , g : R → R definidas por

f (x) = sen (x + y) − sen x cos y − cos x sen y ∀ x ∈ R

g(x) = cos (x + y) − cos x cos y + sen x sen y ∀ x ∈ R

y queremos probar que ambas son idénticamente nulas. Es claro que f , g ∈ D(R) con

f 0 (x) = g(x) , g 0 (x) = − f (x) ∀ x ∈ R

Consideremos ahora la función h : R → R dada por h(x) = f (x)2 + g(x)2 para todo x ∈ R .
Entonces h ∈ D(R) con

h 0 (x) = 2 f (x) f 0 (x) + 2 g(x) g 0 (x) = 2 f (x) g(x) − 2 g(x) f (x) = 0 ∀ x ∈ R

luego h es constante. De sen 0 = 0 y cos 0 = 1 deducimos que f (0) = g(0) = 0 , luego

h(0) = 0 . Por tanto, h(x) = 0 para todo x ∈ R , es decir, f (x) = g(x) = 0 para todo x ∈ R ,
como queríamos demostrar. 

A partir de las fórmulas de adición deduciremos otras propiedades básicas del seno y el
coseno. En primer lugar obtenemos una relación aún más directa entre ambas funciones, de la
que se deduce su periodicidad:
 10. Funciones trigonométricas 95

(SC.4) Para cualesquiera x ∈ R y m ∈ Z , se verifican las siguientes igualdades:

sen x + (π/2) = cos x , cos x + (π/2) = − sen x (1)

sen (x + m π) = (−1)m sen x , cos (x + m π) = (−1)m cos x (2)

En particular, el seno y el coseno son funciones 2π-periódicas, así que no tienen límite
en +∞ y tampoco en −∞ .

Puesto que sen (π/2) = 1 y cos (π/2) = 0 , las fórmulas de adición, con y = π/2 , nos dan (1).
Aplicando dos veces (1) obtenemos (2) para m = 1 , lo que también puede usarse dos veces,
para conseguir la periodicidad. Entonces, para todo k ∈ Z , tenemos que 2kπ también es un
periodo del seno y el coseno. Esto demuestra (2) cuando m es par y, usando de nuevo el caso
m = 1 , lo probamos también para m
impar. Con respecto al comportamiento en −∞ y +∞
basta observar que sen (π/2) + m π = cos (m π) = (−1)m para todo m ∈ Z . 

(SC.5) El coseno es una función par, mientras que el seno es impar:

cos (−x) = cos x , sen (−x) = − sen x ∀x ∈ R

Para probarlo, dado x ∈ R , las fórmulas de adición nos dan:

1 = cos x + (−x) = cos x cos (−x) − sen x sen (−x)


0 = sen x + (−x) = sen x cos (−x) + cos x sen (−x)

Multiplicando en la primera igualdad por cos x , en la segunda por sen x , y sumando las
igualdades resultantes, obtenemos cos x = cos2 x + sen2 x cos (−x) = cos (−x) . También

podemos multiplicar la primera igualdad por
− sen x y la segunda por cos x , con lo que al
sumar obtenemos: − sen x = sen2 x + cos2 x sen (−x) = sen (−x) . 

10.4. Arco-seno y arco-coseno

La periodicidad del seno y el coseno permite reducir el estudio de dichas funciones al de sus
restricciones a un intervalo de longitud 2 π . Pero teniendo en cuenta que sen (x + π) = − sen x
y cos (x + π) = − cos x para todo x ∈ R , podemos de hecho restringirnos a un intervalo de
longitud π . Es habitual usar el intervalo [−π/2, π/2] para el seno y [0, π] para el coseno. En
ambos casos, la restricción es una función inyectiva y toma los mismos valores que la función
de partida, más concretamente:

(SC.6) La restricción del seno al intervalo [−π/2, π/2] es una biyección estrictamente creciente
de dicho intervalo sobre [−1, 1] . La restricción del coseno al intervalo [0, π] es una
biyección estrictamente decreciente de dicho intervalo sobre [−1, 1] .
10. Funciones trigonométricas 96

Para x ∈]−π/2, π/2[ tenemos |x/2| < π/4 , luego | tg (x/2)| < 1 , de donde cos x > 0 , es decir,
sen 0 (x) > 0 . Así pues, el seno es estrictamente creciente en [−π/2, π/2] , luego transforma
dicho intervalo en [sen (−π/2), sen (π/2)] = [−1, 1] .
Análogamente, para x ∈]0, π[ tenemos 0 < x/2 < π/4 , luego tg (x/2) > 0 , de donde
sen x > 0 , es decir, cos 0 (x) < 0 . Vemos que el coseno es estrictamente decreciente en [0, π] y
transforma dicho intervalo en [cos π , cos 0] = [−1, 1] . 

Es natural considerar ahora las funciones inversas de las dos biyecciones recién conseguidas.
El arco-seno es, por definición, la inversa de la restricción del seno al intervalo [−π/2, π/2] y
se denota por arc sen . Así pues, para cada x ∈ [−1, 1] , arc sen x es el único y ∈ [−π/2, π/2]
que verifica sen y = x .
Análogamente, el arco-coseno es la inversa de la restricción del coseno al intervalo [0, π]
y se denota por arc cos , de modo que para x ∈ [−1, 1] , arc cos x es el único z ∈ [0, π] tal que
cos z = x . Tomando entonces y = (π/2) − z ∈ [−π/2, π/2] tenemos sen y = x , con lo que
y = arc sen x y obtenemos la relación directa entre las dos funciones recién definidas:
π
arc sen x + arc cos x = ∀ x ∈ [−1, 1]
2
Las propiedades básicas de estas dos funciones se deducen fácilmente de su definición:

El arco-seno es una biyección estrictamente creciente de [−1, 1] sobre [−π/2, π/2] y el

arco-coseno es una biyección estrictamente decreciente de [−1, 1] sobre [0, π] . Ambas
funciones son continuas en [−1, 1] y derivables en ] − 1, 1[ con
1
arc sen 0 (x) = √ = − arc cos 0 (x) ∀ x ∈] − 1, 1[
1 − x2
pero no son derivables en los puntos 1 y −1 .

Basta trabajar con el arco-seno, que es biyectiva, estrictamente creciente y continua, como
inversa de una función definida en un intervalo, que tiene esas mismas propiedades. Para la
derivabilidad, dado x ∈ [−1, 1] , escribimos y = arc sen x ∈ [−π/2, π/2] . Si x = ± 1 , tenemos
y = ± (π/2) , luego sen 0 (y) = cos y = 0 y la regla de derivación de la función inversa nos dice
que el arco-seno no es derivable en x . Si por el contrario x ∈] − 1, 1[ , tenemos cos y > 0 y la
misma regla nos dice que
1 1 1 1
arc sen 0 (x) = = = = √ 
sen 0 (y)
p
cos y 1 − sen2 y 1 − x2

El arco-seno y el arco-coseno nos permiten determinar el conjunto de puntos donde el seno

y el coseno toman cada uno de sus valores:

Para todo x ∈ [−1, 1] se tiene:

{z ∈ R : cos z = x} = {± arc cos x + 2 k π : k ∈ Z}
{y ∈ R : sen y = x} = {arc sen x + 2 k π : k ∈ Z} ∪ {π − arc sen x + 2 k π : k ∈ Z}
10. Funciones trigonométricas 97

De la primera igualdad, una inclusión se deduce de la periodicidad y paridad del coseno: para
k ∈ Z se tiene cos (± arc cos x + 2 kπ) = cos  (± arc cos x) = x. Para la otra inclusión, sea
z+π
z ∈ R tal que cos z = x , sea k = E ∈ Z y pongamos z0 = z − 2 k π , que también
2π
verifica cos z0 = x pero ahora con −π 6 z0 < π . Entonces cos |z0 | = x con 0 6 |z0 | 6 π , de
donde |z0 | = arc cos x , luego z = ± arc cos x + 2 k π .
En cuanto a la segunda igualdad, basta pensar que, para y ∈ R , se tiene:


sen y = x ⇐⇒ cos y − (π/2) = x ⇐⇒ y − (π/2) = ± arc cos x + 2 k π con k ∈ Z
(
y = (π/2) + arc cos x + 2 k π = π − arc sen x + 2 k π , o bien,
⇐⇒
y = (π/2) − arc cos x + 2 k π = arc sen x + 2 k π
y esta equivalencia es precisamente la igualdad de conjuntos buscada. 

10.5. Coordenadas polares en el plano

Veamos ahora un resultado que conecta las funciones seno y coseno con las nociones básicas
de la trigonometría. Para cada t ∈ R , el punto del plano (a, b) = (cos t, sen t) ∈ R2 verifica que
a 2 + b 2 = 1 , es decir, (a, b) está en la circunferencia con centro en el origen y radio 1 , a la
que suele llamarse circunferencia unidad. Pues bien, lo interesante es que el recíproco también
es cierto: todo punto de la circunferencia unidad puede expresarse en la forma (cos t, sen t) con
t ∈ R . Veamos antes la relación entre dos posibles valores de t :

Si s , t ∈ R verifican cos s = cos t y sen s = sen t , entonces s − t = 2 k π con k ∈ Z .

En efecto, tenemos claramente cos (s − t) = cos2 s + sen2 s = 1, pero conocemos los puntos
donde el coseno toma el valor 1 , luego: s − t = ± arc cos 1 + 2 k π = 2 k π con k ∈ Z 
Probamos ya el resultado anunciado, con la condición adicional que asegura la unicidad:

Si a, b ∈ R y a 2 + b 2 = 1 , existe un único t ∈] − π, π] tal que (a, b) = (cos t , sen t) .

Podemos dar explícitamente el valor de t : si b 6= 0 , basta tomar

t = sgn (b) arc cos a
y es obvio que cos t = a , luego sen2 t = 1 − a 2 = b 2 . Además, por ser |a| < 1 , tenemos
0 < arc cos a < π , es decir, 0 < |t| < π . Entonces es claro que sgn (sen t) = sgn (t) = sgn (b) ,
y deducimos que sen t = b . En el caso b = 0 tenemos |a| = 1 con lo que basta tomar
t = arc cos a ∈ {0, π} . Obsérvese que este segundo caso queda englobado en el primero, si
convenimos que sgn 0 = 1 .
La unicidad se deduce del resultado anterior: si s verifica las mismas condiciones que t ,
deberá ser s − t = 2 k π con k ∈ Z . Pero sumando miembro a miembro las desigualdades
−π < s 6 π y −π 6 −t < π , obtenemos − 2 π < 2 k π < 2π , luego k = 0 y s = t . 

De manera ligeramente más general, podemos ahora obtener:

10. Funciones trigonométricas 98

Para cada (x, y) ∈ R 2 \ {(0, 0)}, existe un único ρ ∈ R+ y un único t ∈] − π, π] , tales

que (x, y) = (ρ cos t , ρ sen t) .
p
La igualdad buscada implica que x 2 + y 2 = ρ 2 , luego es obligado tomar ρ = x 2 + y 2 .
Basta ahora aplicar el resultado anterior, que nos proporciona un único t ∈ ] − π, π] verificando
que cos t = x / ρ y sen t = y / ρ . 

Hemos obtenido las coordenadas polares de cualquier punto del plano, excluido el origen:
se dice que ρ es el radio polar y t el ángulo polar del punto (x, y) . La interpretación geométrica
es clara: ρ es la longitud del segmento que une el origen con el punto (x, y) y t es la medida
en radianes del ángulo (orientado) que forma dicho segmento con la dirección positiva del eje
de abscisas, entendiendo que dicha medida es positiva o negativa según que el punto (x, y) esté
situado en el semiplano superior o en el inferior. Cuando y = 0 , estamos en el eje de abscisas
y tenemos t = 0 o t = π según el signo de x .

10.6. Otras funciones trigonométricas

Observemos la relación entre el conjunto de definición de la tangente y los ceros del coseno:
A = R \ {(2k − 1) π/2 : k ∈ Z} = {x ∈ R : cos x 6= 0}
Pues bien, vamos a recuperar la tangente a partir del seno y el coseno:
sen x
Se verifica que tg x = para todo x ∈ A .
cos x
Para x ∈ A , como 2x no es múltiplo impar de π , tenemos
1 − tg2 x 2 2 tg x
cos (2x) = = −1 y sen (2x) =
1 + tg2 x 1 + tg2 x 1 + tg2 x
y concluimos que
sen (2x) 2 sen x cos x 2 sen x cos x sen x
tg x = = 2 2
= 2
=
1 + cos(2x) 1 + cos x − sen x 2 cos x cos x
donde hemos usado las fórmulas de adición. 
En claro paralelismo con la última expresión de la tangente, pasamos a comentar brevemente
otras tres funciones trigonométricas.
La función secante tiene el mismo conjunto de definición que la tangente y viene dada por:
1
sec : A → R , sec x = ∀x ∈ A
cos x
Por otra parte, podemos considerar el conjunto de los puntos donde no se anula el seno, que
sabemos se obtiene al suprimir de R los múltiplos enteros de π :
B = {x ∈ R : sen x 6= 0} = R \ {k π : k ∈ Z}
10. Funciones trigonométricas 99

Pues bien, en el conjunto B se definen las funciones cotangente y cosecante:

cos x 1
cotg , cosec : B → R , cotg x = , cosec x = ∀x ∈ B
sen x sen x

No haremos un estudio detallado de estas nuevas funciones, pues sus propiedades básicas
(periodicidad, paridad o imparidad, derivabilidad, etc.) se deducen rutinariamente de las que ya
conocemos para el seno y el coseno.

10.7. Algunos contraejemplos

Para una función f : I → R , donde I es un intervalo no trivial, recordemos tres afirmaciones
que ya habíamos relacionado:
(i) f es continua
(ii) f admite una primitiva
(iii) f tiene la propiedad del valor intermedio
Sabemos que (i) ⇒ (ii) ⇒ (iii) . Usando la funciones trigonométricas, probaremos ahora con
comodidad que esas implicaciones no son reversibles.
El coseno no tiene límite en +∞ ni en −∞ , pero conviene precisar esa afirmación: para
todo y ∈ [−1, 1] , el conjunto {x ∈ R : cos x = y} no está mayorado ni minorado, luego si
S ⊂ R es cualquier semirrecta, se tendrá que cos (S) = [−1, 1] . Un obvio cambio de variable
nos proporciona una función que tiene el mismo tipo de comportamiento en el origen, tanto por
la derecha como por la izquierda:

La función f : R∗ → R definida por

1
f (x) = cos ∀ x ∈ R∗ (3)
x



verifica que f ]0, δ[ = f ] − δ, 0[ = [−1, 1] para todo δ > 0 . Por tanto, f no tiene
límite por la izquierda, ni por la derecha, en el origen.





Basta pensar que f ]0, δ[ = cos ]1/δ, +∞[ y f ] − δ, 0[ = cos ] − ∞, −1/δ[ . 

Ya podemos dar ejemplos de funciones que tienen la propiedad del valor intermedio, sin ser
continuas:

Fijado λ ∈ [−1, 1] , la función fλ : R → R definida por:

1
fλ (x) = cos ∀ x ∈ R∗ , fλ (0) = λ (4)
x
tiene la propiedad del valor intermedio, pero no es continua.
10. Funciones trigonométricas 100

Vemos que fλ extiende a la función f definida en (3), así que fλ no es continua en 0 . Si J es un

intervalo no trivial y 0 ∈
/ J , fλ es continua en J , luego fλ (J) es un intervalo. Si 0 ∈ J , podemos
encontrar δ > 0 de forma que ]0, δ[⊂ J , o bien ] − δ, 0[⊂ J . En ambos casos deducimos que
f (J \ {0}) = [−1, 1] , luego fλ (J) = f (J \ {0}) ∪ {λ} = [−1, 1] . 
Con respecto a las afirmaciones consideradas al principio, hemos visto que (iii) ; (i) ,
pero queremos ver que (iii) ; (ii) . Encontraremos el contraejemplo casi al mismo tiempo
que probamos que (ii) ; (i) .

1
La función h : R → R , definida por h(x) = x 2 sen para todo x ∈ R∗ y h(0) = 0 , es
x
derivable en R pero su derivada no es continua: h ∈ D(R) pero h ∈/ C 1 (R) .

Usaremos también la función g : R → R dada por

1
g(x) = x sen ∀ x ∈ R∗ , g(0) = 0
x
Es evidente que g es continua en R∗ pero, al tratarse del producto de una función acotada por
otra que tiene límite 0 en el origen, tenemos lı́m g(x) = 0 = g(0), luego g ∈ C(R) .
x→0
Claramente h es derivable en R∗ , con
1 1
h 0 (x) = 2 x sen − cos = 2 g(x) − f (x) ∀ x ∈ R∗ (5)
x x
donde f es la función definida en (3). Pero h también es derivable en 0 , ya que
h(x)
lı́m = lı́m g(x) = 0
x→0 x x→0

así que h 0 (0) = 0 . Como también g(0) = 0 , si en (5) sustituimos f por su extensión f0
(definida en (4) para λ = 0 ), hacemos que la igualdad sea válida en todo R . Anotémosla para
uso posterior:
f0 (x) = 2 g(x) − h 0 (x) ∀ x ∈ R (6)
Como g es continua en el origen, pero f0 no lo es, deducimos que h 0 tampoco puede serlo. 

Ya tenemos una función derivable en un intervalo, cuya derivada no es continua. Pero

aprovechando los razonamientos anteriores, encontraremos también una función que tiene la
propiedad del valor intermedio pero no admite primitiva.

Sean f0 , f1 : R → R las funciones definidas en (4), con λ = 0 y λ = 1 respectivamente.

Entonces, f0 admite una primitiva, pero f1 no.

Para la primera afirmación, recordemos la igualdad (6). Como g ∈ C(R) , existe G ∈ D(R) tal
que g = G 0 . Basta entonces tomar F0 = 2 G − h para tener una primitiva de f0 .
Supongamos, por reducción al absurdo, que f1 también admite una primitiva: F1 ∈ D(R)
tal que F10 = f1 . Como F00 y F10 coinciden en R∗ , el teorema del valor medio nos dice que
F0 − F1 es constante en R+ , y también en R− , pero al ser continua en 0 , será constante en
todo R . Entonces F00 = F10 , es decir, f0 = f1 , flagrante contradicción. 
10. Funciones trigonométricas 101

10.8. Ejercicios
1. Dados a, b ∈ R+ , estudiar el comportamiento en el origen y en el infinito de las funciones
f , g : R∗ → R definidas por
a  
b
f (x) = arc tg + arc tg , g(x) = x f (x) ∀ x ∈ R∗
x x

2. Calcular la imagen de la función f : R∗ → R definida por

f (x) = arc tg (log |x|) ∀ x ∈ R∗

3. Sea f : R \ {1} → R la función definida por

1+x
f (x) = arc tg ∀ x ∈ R \ {1}
1−x
Estudiar la continuidad de f y su comportamiento en 1, +∞ y −∞ . Calcular su imagen.

4. Probar que, si a, b ∈ R verifican que a b < 1 , entonces:

a+b
arc tg a + arc tg b = arc tg
1 − ab

5. Calcular las siguientes integrales:

x2 − 3x + 4
Z 1 Z 1
dx
(a) (b) dx
0 1 + x 2 )2 0 x3 − x2 + 3x + 5

6. Calcular la imagen de las funciones F, G : R+ → R definidas por:

Z x Z 1+(x−1)2
1−t arc tg t
F(x) = dt , G(x) = dt ∀ x ∈ R+
1 t (t + 1) (t 2 + 1) 1 t2

7. Probar que existe una única función f : R → R que verifica

f (x) + exp f (x) = arc tg f (x) + x ∀ x ∈ R

Probar también que f ∈ D(R) y calcular f 0 (1) .

8. Si A es el conjunto de definición de la tangente, probar que el conjunto {x ∈ A : tg x = x}

es infinito y numerable.

9. Probar que el arco-tangente es uniformemente continua, pero su inversa no.

2x
10. Probar que, para todo x ∈]0, π/2[ se tiene: < sen x < x < tg x .
π
 
11. Dado x ∈ R , estudiar la convergencia de las sucesiones sen (nx) y cos (nx) .
10. Funciones trigonométricas 102

12. Estudiar la convergencia de las siguientes sucesiones:

( √ )
2 +1
  
n n  nπ o (log n) cos n
(a) n sen 2
(b) cos2 (c)
n +1 2 n arc tg n

13. Dado α ∈ R , estudiar la convergencia de las siguientes series

!α
1 − e−1/n arc tg (1/n)


cos (n α)
α
(a) ∑ 2
(b) ∑ sen (1/n) (c) ∑
n>2 n (log n) n>1 n>3 log n

14. Sea f : R → R la función definida por

 
1
f (x) = sen x sen ∀ x ∈ R∗ , f (0) = 0
x
Estudiar la continuidad y derivabilidad de f , así como su comportamiento en +∞ y −∞ .
15. Sea α ∈ R y f : R+
0 → R la función definida por
 
1
α
f (x) = x cos ∀ x ∈ R+ , f (0) = 0
x
Estudiar la continuidad y derivabilidad de f , así como la continuidad de su derivada.
16. Para x ∈ R , discutir la validez de cada una de las siguientes afirmaciones:
(a) tg (arc tg x) = x (b) arc tg (tg x) = x
(c) sen (arc sen x) = x (d) arc sen (sen x) = x
(e) cos (arc cos x) = x (f) arc cos (cos x) = x

17. Sea f :]0, π/2[→ R la función definida por

1 sen x
 
f (x) = ∀ x ∈]0, π/2[
tg x
¿Puede extenderse f para obtener una función continua en [0, π/2] ?
18. Sea f :]0, π/2[→ R la función definida por
f (x) = (1 + sen x)cotg x ∀ x ∈]0, π/2[
Estudiar la continuidad de f y su comportamiento en 0 y π/2 .
√ √
19. Sean J = [−1/ 2, 1/ 2] y g : J → [−π/2, π/2] la función definida por
p

g(x) = arc sen 2x 1 − x2 ∀ x ∈ J
Probar que g es biyectiva, continua en J y estrictamente creciente. Dar una expresión
explícita para la función inversa de g .
20. Dado a ∈ R+ , calcular la imagen de la función G : [0, a] → R definida por
Z xp
G(x) = a 2 − t 2 dt ∀ x ∈ [0, a]
−x