Tema 4

Funciones trigonomtricas
Va a aparecer aqu una nueva familia de funciones reales de variable real: las funciones
trigonomtricas. Existen varias formas de introducir estas funciones, ninguna de las cuales es
del todo fcil. El mtodo que vamos a seguir es laborioso, no es el ms efectivo o elegante, pero
a cambio es el ms elemental e intuitivo, pues la denicin de las funciones seno y coseno se
basa en las nociones de seno y coseno de un ngulo, que suponemos conocidas aunque slo las
usaremos a ttulo orientativo.
Necesitamos trabajar en R
2
, el plano real, que ya apareci al considerar la grca de una
funcin real de variable real. Empezamos deniendo la distancia eucldea entre dos puntos del
plano y comprobando sus propiedades bsicas, entre las que destaca la desigualdad triangular.
Acto seguido consideramos curvas en el plano y, cuando ello es posible, denimos la longitud
de una curva. Esto permite medir la longitud de un arco de circunferencia, lo que equivale a
medir un ngulo en radianes, y dar una denicin del nmero .
Usando la longitud de un arco de circunferencia podemos obtener fcilmente la funcin
arco coseno, cuya inversa es la funcin coseno, denida de momento slo en el intervalo [0, ].
A partir de ella se dene la funcin seno en el mismo intervalo y ambas se extienden fcilmente
para obtener funciones denidas en todo R, cuyas propiedades bsicas, como la continuidad,
iremos estudiando.
Finalmente denimos el resto de las funciones trigonomtricas y sus inversas, haciendo
un estudio preliminar de las mismas. Habremos completado as la gama de funciones reales
de variable real que manejaremos en el estudio del clculo diferencial e integral, para obtener
ejemplos y aplicaciones de los principales resultados.
4.1. Distancia eucldea en el plano
Consideremos el conjunto R
2
=RR={(x, y) : x, y R} cuyos elementos se interpretan
geomtricamente como los puntos de un plano en el que hemos jado ejes cartesianos, de forma
que cada par ordenado (x, y) R
2
se identica con el punto de abscisa x y ordenada y. Por ello
es costumbre referirse a R
2
como el plano real, o simplemente el plano.
40
4. Funciones trigonomtricas 41
La denicin de la distancia eucldea en R
2
resulta obvia si queremos que se verique el
Teorema de Pitgoras. Dados , R
2
, = (x
1
, y
1
) y = (x
2
, y
2
), con x
1
, y
1
, x
2
, y
2
R, la
distancia eucldea, o simplemente la distancia, de a es, por denicin, el nmero real no
negativo d(, ) dado por
d(, ) =
_
(x
2
x
1
)
2
+(y
2
y
1
)
2

1/2
Veamos las tres propiedades bsicas de la distancia eucldea que vamos a necesitar:
Para , R
2
, se tiene: d(, ) = 0 =
d(, ) = d(, ) , R
2
d(
1
,
3
) d(
1
,
2
) +d(
2
,
3
)
1
,
2
,
3
R
2
Las dos primeras propiedades son evidentes. La tercera se conoce como desigualdad triangular,
por su clara interpretacin geomtrica: la longitud de un lado de un tringulo es menor o igual
que la suma de las longitudes de los otros dos lados. Para demostrarla, pongamos
k
= (x
k
, y
k
),
con x
k
, y
k
R para k =1, 2, 3 y, para simplicar la notacin, pongamos a =x
2
x
1
, b =y
2
y
1
,
u = x
3
x
2
y v = y
3
y
2
. Se tiene entonces claramente
d(
1
,
3
)
2
= (a+u)
2
+(b+v)
2
= a
2
+b
2
+u
2
+v
2
+2(au+bv)
a
2
+b
2
+u
2
+v
2
+2
_
(au+bv)
2
+(av bu)
2

1/2
= a
2
+b
2
+u
2
+v
2
+2(a
2
+b
2
)
1/2
(u
2
+v
2
)
1/2
= d(
1
,
2
)
2
+d(
2
,
3
)
2
+2d(
1
,
2
)d(
2
,
3
)
=
_
d(
1
,
2
) +d(
2
,
3
)

2
de donde se deduce la desigualdad buscada.
Veamos dos estimaciones de la distancia eucldea que resultan tiles con mucha frecuencia.
Su comprobacin es evidente:
Para cualesquiera = (x
1
, y
1
) R
2
y = (x
2
, y
2
) R
2
, se tiene:
m ax{|x
2
x
1
|, |y
2
y
1
|} d(, ) |x
2
x
1
| +|y
2
y
1
|
4.2. Longitud de una curva plana
Llamaremos curva plana, o simplemente curva a toda aplicacin : [a, b] R
2
, denida en
un intervalo cerrado y acotado [a, b] R (entenderemos siempre que a b), que tenga la forma
(t) =
_
((t), (t)
_
t [a, b] (1)
donde , : [a, b] R son funciones continuas en [a, b].
4. Funciones trigonomtricas 42
Esta denicin tiene una interpretacin fsica bastante obvia: podemos pensar en un mvil
que durante el intervalo de tiempo [a, b] realiza un determinado movimiento en el plano, de
forma que su posicin en cada instante t [a, b] es el punto (t). Por ello, resulta natural decir
que el punto (a) es el origen de la curva y que el punto (b) es el extremo de . Tambin se
comprende claramente por qu exigimos que las funciones y sean continuas en [a, b]. En
Fsica suele decirse que la igualdad (1) es la ecuacin del movimiento que, tambin por razones
obvias, suele escribirse en la forma
x =(t), y =(t) (a t b)
En Matemticas, la palabra curva puede tener signicados diferentes segn el contexto. Es
frecuente llamar curva plana en forma paramtrica a lo que aqu hemos llamado simplemente
curva plana.
Es importante distinguir claramente entre la curva , una aplicacin con valores en R
2
, y la
imagen de dicha aplicacin, esto es, el conjunto

_
[a, b]
_
=
_
(t) : t [a, b]
_
R
2
que es el conjunto que dibujamos para visualizar grcamente la curva, aunque evidentemente
hay muchos aspectos de la curva que no se reejan adecuadamente en dicho conjunto. En la
interpretacin fsica, este conjunto es la trayectoria descrita por el mvil y es evidente que
movimientos muy diferentes pueden recorrer la misma trayectoria.
Veamos algunos ejemplos sencillos de curvas. Dada una funcin f : [a, b] R que sea
continua en [a, b], podemos considerar la curva : [a, b] R
2
denida por
(t) =
_
t, f (t)
_
t [a, b]
que evidentemente cumple

_
[a, b]
_
=
__
t, f (t)
_
: t [a, b]
_
= Gr f
es decir, la imagen de la curva coincide con la grca de la funcin f . Para las curvas de este
tipo se dice a veces que vienen dadas en forma explcita, pues toda la informacin necesaria
para denir la curva se resume en la ecuacin y = f (x) para a x b.
Para ver otro ejemplo, dados dos puntos = (x
1
, y
1
) R
2
y = (x
2
, y
2
) R
2
, podemos
considerar la curva : [0, 1] R
2
denida por
(t) =
_
(1t)x
1
+tx
2
, (1t)y
1
+ty
2
_
t [0, 1]
Por razones obvias, pero con un claro abuso de lenguaje, suele decirse que es el segmento
de origen y extremo . Usando la estructura de espacio vectorial de R
2
podemos escribir
simplemente (t) = (1t)+t para todo t [0, 1].
Como motivacin para denir la longitud de una curva es natural pensar que la longitud del
segmento recin denido debe ser la distancia d(, ), pero tambin est claro que, en general,
la longitud de una curva : [a, b] R
2
puede ser mucho mayor que la distancia d
_
(a), (b)
_
.
Dicho de forma intuitiva, lo que haremos para denir la longitud de una curva ser intentar
aproximarla por poligonales.
4. Funciones trigonomtricas 43
Llamaremos particin de un intervalo cerrado y acotado [a, b], a todo subconjunto nito de
[a, b] que contenga a los extremos a y b, y denotaremos por F[a, b] al conjunto de todas las
particiones del intervalo [a, b], que salvo en el caso trivial a = b es un conjunto innito. Los
puntos de una particin se numeran siempre de menor a mayor; ms concretamente, si para
P F
_
[a, b]
_
, escribimos P = {t
0
, t
1
, . . . , t
n
} se sobreentiende que a = t
0
< t
1
< . . . < t
n
= b.
Para resaltar este convenio podemos tambin escribir P ={a =t
0
<t
1
< . . . <t
n
= b}.
Pues bien, dada una curva : [a, b] R
2
y una particin P = {a = t
0
< t
1
< . . . < t
n
= b}
del intervalo [a, b], escribiremos
(, P) =
n

k=1
d
_
(t
k1
), (t
k
)
_
Intuitivamente, los puntos (t
j
), para j = 0, 1, . . . , n, son los vrtices de una poligonal o una
cadena de segmentos, y (, P) se interpreta como la longitud de dicha poligonal, suma de
las longitudes de los segmentos que la forman. Claramente, la longitud de la curva , que
queremos denir, debe ser mayor o igual que (, P) para toda particin P F[a, b]. Cuando el
conjunto {(, P) : P F[a, b]} no est mayorado, podemos pensar que la curva tiene longitud
innita, cosa que tiene poca utilidad. Pero cuando dicho conjunto est acotado, la longitud
de debe ser un mayorante del mismo. Si ahora pensamos que las poligonales asociadas a
particiones muy grandes del intervalo deberan ajustarse muy bien a la curva que pretendemos
medir, la eleccin de ese mayorante es clara, debemos tomar el supremo. Quedan as motivadas
las deniciones que siguen.
Una curva : [a, b] R
2
es recticable cuando el conjunto {(, P) : P F[a, b]} est
mayorado, en cuyo caso, la longitud de la curva es, por denicin, el nmero real no negativo
dado por
() = sup
_
(, P) : P F[a, b]
_
Observemos, como primer ejemplo trivial, que si la curva es constante en todo el intervalo
[a, b], evidentemente es recticable con () = 0, cosa que en particular ocurre cuando a = b.
En otro caso, si a < b y : [a, b] R
2
es una curva recticable no constante, se tiene () > 0.
Esto es evidente, pues si t [a, b] es tal que (t) = (a), usando la particin P = {a, t, b}, que
puede tener dos o tres puntos, tenemos claramente:
() (, P) d
_
(a), (t)
_
> 0
Veamos por ejemplo el caso particular del segmento de extremos = (x
1
, y
1
) R
2
y
= (x
2
, y
2
) R
2
. Se tiene entonces (t) =
_
x
1
+t(x
2
x
1
), y
1
+t(y
2
y
1
)
_
para todo t [0, 1].
Para cualquier particin P ={0 =t
0
<t
1
<. . . <t
n
=1} del intervalo [0, 1] tenemos claramente
d
_
(t
k1
), (t
k
)
_
= (t
k
t
k1
)d(, ) (k = 1, 2, . . . , n)
con lo que (, P) = d(, ). Puesto que P F[0, 1] era arbitraria, vemos que es recticable
con () = d(, ), como caba esperar.
Por sorprendente que a primera vista pueda parecer, existen curvas no recticables, ms
adelante veremos algn ejemplo. El siguiente resultado nos proporciona abundantes ejemplos
de curvas recticables:
4. Funciones trigonomtricas 44
Si , : [a, b] R son montonas y continuas en [a, b], entonces la curva : [a, b] R
2
,
denida por (t) =
_
(t), (t)
_
para todo t [a, b], es recticable y se verica que
() |(b) (a)| +|(b) (a)| (2)
Para probarlo, consideramos una particin P ={a =t
0
<t
1
< . . . <t
n
= b} del intervalo [a, b] y
observamos que (b) (a) =
n

k=1
_
(t
k
) (t
k1
)
_
. Suponiendo primero que es creciente,
esta igualdad puede escribirse en la forma

(b) (a)

=
n

k=1

(t
k
) (t
k1
)

Si es decreciente podemos aplicar lo anterior a la funcin obteniendo la misma igualdad.

Naturalmente, tambin verica esa igualdad. Usando la estimacin de la distancia eucldea
vista anteriormente, tenemos:
(, P) =
n

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

k=1

(t
k
) (t
k1
)

+
n

k=1

(t
k
) (t
k1
)

= |(b) (a)| +|(b) (a)|

Esto demuestra ya que es recticable y que se verica (2).
Necesitamos una propiedad importante de la longitud de una curva que, dicho de forma
intuitiva, explica lo que ocurre al subdividir una curva en dos trozos, y de paso le da mayor
inters al resultado anterior.
Sea : [a, b] R
2
una curva y, para c ]a, b[ , sean
1
: [a, c] R
2
y
2
: [c, b] R
2
las curvas que se obtienen al restringir a los intervalos [a, c] y [c, b] respectivamente.
Entonces es recticable si, y slo si, lo son
1
y
2
, en cuyo caso se tiene
() =(
1
) +(
2
) (3)
Para demostrarlo, supongamos primero que es recticable, tomemos particiones P
1
F[a, c]
y P
2
F[c, b], y sea P = P
1
P
2
. Es evidente que P F[a, b] y comprobamos sin dicultad que
(
1
, P
1
) +(
2
, P
2
) =(, P) ()
Fijando por el momento la particin P
2
, la desigualdad (
1
, P
1
) () (
2
, P
2
), vlida para
cualquier P
1
F[a, c] nos dice que
1
es recticable y se verica que (
1
) () (
2
, P
2
).
Equivalentemente, tenemos
(
2
, P
2
) () (
1
)
pero ahora esta desigualdad es cierta para toda particin P
2
F[c, b], luego
2
es recticable y
tenemos ya (
1
) +(
2
) ().
4. Funciones trigonomtricas 45
Para probar la implicacin recproca junto con la desigualdad que falta, lo nico que impide
repetir el razonamiento anterior es que una particin PF[a, b] puede no ser de la forma P
1
P
2
con P
1
F[a, c] y P
2
F[c, b], simplemente porque puede ocurrir que c / P. Para resolver ese
pequeo problema usaremos la particin P
c
=P{c} y comprobaremos que (, P) (, P
c
).
En efecto, si c P no hay nada que comprobar y, en otro caso, si P={a =t
0
<t
1
<. . . <t
n
=b}
existir un k {1, 2, . . . , n} tal que t
k1
< c < t
k
. Entonces, comparando la denicin de las
sumas (, P) y (, P
c
) observamos que
(, P
c
) (, P) = d
_
(t
k1
), (c)
_
+d
_
(c), (t
k
)
_
d
_
(t
k1
), (t
k
)
_
0
donde hemos aplicado la desigualdad triangular.
Aclarado lo que ocurre al aadir el punto c a una particin, podemos tomar P
1
= P
c
[a, c]
y P
2
= P
c
[c, b] obteniendo particiones de los intervalos [a, c] y [c, b], con P
c
= P
1
P
2
. Por
tanto, si las curvas
1
y
2
son recticables, tenemos
(, P) (, P
c
) =(
1
, P
1
) +(
2
, P
2
) (
1
) +(
2
)
Esto demuestra que es recticable con () (
1
)+(
2
), que es la desigualdad que faltaba
para obtener (3).
4.3. La semicircunferencia unidad
Vamos a considerar ahora un curva muy concreta y, para evitar repeticiones, jamos una
notacin adecuada. En lo que sigue, , : [1, 1] R sern las funciones continuas en [1, 1]
denidas por (t) =t y (t) =

1t
2
para todo t [1, 1] .
Llamaremos semicircunferencia unidad a la curva : [1, 1] R
2
denida por
(t) =
_
(t), (t)
_
=
_
t,
_
1t
2
_
t [1, 1]
Observemos que viene dada en forma explcita, su imagen es la grca de la funcin . Ms
concretamente,

_
[1, 1]
_
=
__
t,
_
1t
2
_
: t [1, 1]
_
=
_
(x, y) R
2
: x
2
+y
2
= 1, y 0
_
es la mitad superior de la circunferencia centrada en el origen y de radio 1, lo que explica el
nombre que hemos dado a la curva . Usando los resultados previos sobre curvas recticables
probaremos lo siguiente:
La semicircunferencia unidad es una curva recticable. Su longitud es, por denicin, el
nmero real . Se verica que: 2

2 4.
Consideremos las curvas
1
y
2
que se obtienen restringiendo a los intervalos [1, 0] y [0, 1].
Puesto que la funcin es creciente en ambos intervalos, mientras que es creciente en [1, 0]
y decreciente en [0, 1], tenemos que
1
y
2
son recticables, con
(
1
) |(0) (1)| + |(0) (1)| = 2
(
2
) |(1) (0)| + |(1) (0)| = 2
Por tanto es recticable y tenemos =() =(
1
) +(
2
) 4. Por otra parte, usando la
particin P ={1, 0, 1} tenemos fcilmente (, P) = 2

2.
4. Funciones trigonomtricas 46
4.4. La funcin arco coseno
Podemos ya dar una denicin de la funcin arco coseno muy acorde con la intuicin. Para
x [1, 1] denotamos por
x
a la restriccin de al intervalo [x, 1], que es una curva recticable
con (
x
) .
Intuitivamente
x
recorre el arco de circunferencia que une los puntos (x) =
_
x,

1x
2
_
y (1) = (1, 0). Puesto que la circunferencia tiene radio 1, la medida en radianes del ngulo con
vrtice en el origen cuyos lados pasan por dichos puntos es (
x
). Pero es claro que el coseno
de ese ngulo debe ser precisamente x. As pues, el coseno del nmero real (
x
) debera ser x,
lo que explica nuestro siguiente paso.
La funcin arco coseno es, por denicin, la funcin arccos : [1, 1] [0, ] dada por
arccos x =(
x
) x [1, 1]
A continuacin obtenemos las propiedades de esta funcin que de momento necesitamos.
La funcin arco coseno es una biyeccin de [1, 1] sobre [0, ]. Es continua en [1, 1] y
estrictamente decreciente. Se verica adems que
arccos x + arccos(x) = x [1, 1] (4)
En particular se tiene: arccos(1) =, arccos 0 =/2, arccos 1 = 0.
Para la demostracin, dados x, y [1, 1] con x y, conviene denotar por
x,y
a la curva que se
obtiene al restringir al intervalo [x, y], que es recticable. Si x < y, como
x,y
no es constante,
podemos asegurar que (
x,y
) >0. Entonces, subdividiendo el intervalo [x, 1] mediante el punto
y, tenemos
arccos x = (
x
) = (
x,y
) +(
y
) > (
y
) = arccos y
lo que demuestra que la funcin arco coseno es estrictamente decreciente.
Si ahora, adems de x y, suponemos xy 0, las funciones y son montonas en el
intervalo [x, y], lo que nos da una estimacin de la longitud de la curva
x,y
. Ms concretamente,
tenemos
| arccos x arccos y| = (
x,y
) |y x| +|(y) (x)|
Puesto que la desigualdad obtenida no se altera al intercambiar x con y, tambin es vlida en el
caso x > y, siempre que se tenga xy 0. De aqu se deduce fcilmente la continuidad del arco
coseno. En efecto, dados x [1, 1] y una sucesin {x
n
} de puntos de [1, 1] tal que {x
n
} x,
es claro que existe m N tal que, para n m se tiene x
n
x 0, lo que nos permite usar la
desigualdad recin comprobada tomando y =x
n
con n m. Puesto que {(x
n
)} (x) por ser
continua en x, deducimos claramente que {arccos x
n
} arccos x.
Obtenida la continuidad, la imagen de la funcin arco coseno ser un intervalo contenido
en [0, ], pero es evidente que arccos(1) = y arccos 1 = 0, as que dicha imagen es todo
el intervalo [0, ]. Nuestra funcin era inyectiva, por ser estrictamente decreciente, luego es
biyectiva.
4. Funciones trigonomtricas 47
Para probar (4), podemos claramente suponer que x 0. Si P F[x, 1], es evidente que
P = {t : t P} F[1, x], y recprocamente. Adems, usando que (t) = (t) para
todo t [1, 1], comprobamos sin dicultad que (
1,x
, P) = (
x
, P), de donde se deduce
que (
1,x
) = (
x
), pues ambos nmeros son el supremo del mismo conjunto. Por tanto,
tenemos nalmente
=() =(
1,x
) +(
x
) =(
x
) +(
x
) = arccos x + arccos(x)
4.5. Denicin de las funciones seno y coseno
Es claro ya cmo vamos a denir la funcin coseno en el intervalo [0, ], ser simplemente
la inversa de la funcin arco coseno. Tambin est clara la denicin del seno en ese mismo
intervalo, y las extendemos ambas, denindolas en [, ] de forma que el coseno sea una
funcin par y el seno sea impar. No usaremos la notacin habitual para estas funciones hasta
que hagamos la extensin a todo R.
Por tanto, denimos dos funciones c, s : [, ] [1, 1] de la siguiente forma:
c(x) = arccos
1
(x) x [0, ] , c(x) = c(x) x [, 0[
s(x) =
_
1c(x)
2
x [0, ] , s(x) = s(x) x [, 0[
A partir de las propiedades de la funcin arco coseno se deducen fcilmente las de las
funciones c y s que de momento vamos a necesitar:
Las funciones c y s son continuas en [, ] y la imagen de ambas es el intervalo [1, 1].
De hecho se tiene
c() = c() =1, c(0) = 1, c(/2) = c(/2) = 0
s() = s() = s(0) = 0, s(/2) = 1, s(/2) =1
(5)
La comprobacin de estos hechos es inmediata. Por ser la funcin arco coseno una biyeccin de
[1, 1] sobre [0, ] que es continua en [1, 1], su inversa, que es la restriccin de c al intervalo
[0, ], es continua en dicho intervalo. Deducimos que la restriccin de s al mismo intervalo
tambin es continua en [0, ], como composicin de funciones continuas. El carcter local de la
continuidad nos permite entonces asegurar que c y s son continuas en ]0, ]. Usando de nuevo
que la composicin de funciones continuas es continua y el carcter local de la continuidad,
obtenemos que c y s son continuas en [, 0[.
Para la continuidad en 0, usamos de nuevo la continuidad de las restricciones de c y s al
intervalo [0, ] , obteniendo que lm
x0+
c(x) = c(0) = 1 y lm
x0+
s(x) = s(0) = 0. Pero el clculo
de los lmites por la izquierda es inmediato. Si {x
n
} es una sucesin de puntos de [, 0[ tal
que {x
n
} 0, tenemos que {x
n
} 0 con x
n
]0, ] para todo n N, luego usando los
lmites por la derecha ya calculados, obtenemos que {c(x
n
)} = {c(x
n
)} 1 y tambin que
{s(x
n
)} ={s(x
n
)} 0. Queda as probada la continuidad en 0:
lm
x0
c(x) = 1 = c(0) y lm
x0
s(x) = 0 = s(0)
4. Funciones trigonomtricas 48
Comprobemos el resto de valores de c y s que aparecen en (5). Por ser arccos(1) = tenemos
c() = c() = 1, luego s() = s() = 0. Finalmente de arccos 0 = /2 deducimos que
c(/2) = c(/2) = 0, luego s(/2) = 1 y s(/2) = 1. Finalmente, puesto que la imagen
de cualquiera de las dos funciones es un intervalo contenido en [1, 1], pero ambas toman los
valores 1 y 1, dicho intervalo no puede ser otro que [1, 1].
Lo que queda para denir las funciones seno y coseno es extender por periodicidad las
funciones c y s. Para explicar en qu consiste esta extensin debemos aclarar algunas nociones.
Se dice que una funcin f : R R es peridica, cuando existe T R

tal que
f (x +T) = f (x) x R
en cuyo caso tambin se dice que T es un periodo de f . Obsrvese que entonces T es otro
periodo de f , luego toda funcin peridica admite un periodo positivo. De hecho comprobamos
fcilmente por induccin que pT tambin es un periodo de f para todo p Z. Dado T R
+
,
diremos a veces que una funcin f es T-peridica, para indicar simultneamente que f es
peridica y que T es un periodo de f .
Una funcin T-peridica queda determinada cuando se conoce su restriccin a cualquier
intervalo semiabierto de longitud T. Ms concretamente:
Sean f , g : R R funciones peridicas con periodo T R
+
y sea a R. Entonces:
f (x) = g(x) x [a, a+T[ = f (x) = g(x) x R
Para comprobarlo, basta usar la funcin parte entera de la siguiente forma: para x R, tomando
p(x) = E
_
(x a)/T
_
tenemos claramente:
p(x)
x a
T
< p(x) +1 p(x)T x a < p(x)T +T x p(x)T [a, a+T[
y puesto que p(x)T es un periodo tanto de f como de g, deducimos que
g(x) = g
_
x p(x)T
_
= f
_
x p(x)T
_
= f (x)
Pero recprocamente, cualquier funcin denida en un intervalo de la forma [a, a+T[, con
a R y T R
+
, puede extenderse, de manera nica como hemos visto, para conseguir una
funcin T-peridica. Esto es lo que se entiende por extender por periodicidad una funcin.
Probamos ahora este hecho, y de paso caracterizamos la continuidad de la extensin peridica
en trminos de la funcin de partida:
Sean a R, T R
+
y h : [a, a +T[ R una funcin cualquiera. Existe una (nica)
funcin T-peridica f : R R que extiende a h, es decir, verica f (x) = h(x) para todo
x [a, a+T[. Adems, la imagen de f coincide con la de h y las siguientes armaciones
son equivalentes:
(i) f es continua en R
(ii) h es continua en [a, a+T[ y verica que lm
xa+T
h(x) = h(a)
4. Funciones trigonomtricas 49
La denicin de la funcin f se puede adivinar fcilmente. Para x R, tomando igual que antes
p(x) = E
_
(x a)/T
_
, tenemos a x p(x)T < a+T, con lo que basta escribir
f (x) = h
_
x p(x)T
_
x R
Para a x < a+T se tiene evidentemente p(x) = 0, luego f (x) = h(x), as que f extiende a h.
Adems, para cualquier x R es claro que p(x +T) = p(x) +1, con lo cual
f (x +T) = h
_
x +T (p(x) +1)T
_
= h
_
x p(x)T
_
= f (x)
lo que demuestra que T es un periodo de f . Es claro que la imagen de f coincide con la de h.
Pasamos a comprobar la equivalencia del enunciado.
(i) (ii). Vemos que h es continua en [a, a +T[ por ser la restriccin de f a dicho intervalo.
Adems, si {x
n
} es una sucesin de puntos de [a, a+T[ tal que {x
n
} a+T, se tendr que
{h(x
n
)} ={ f (x
n
)} f (a+T) = f (a) = h(a), luego lm
xa+T
h(x) = h(a)
(ii) (i). Por hiptesis, la restriccin de f al intervalo [a, a+T[ es continua en dicho intervalo.
Aplicando el carcter local de la continuidad deducimos que f es continua en el intervalo abierto
]a, a +T[ . En el punto a, usando el carcter local del lmite por la derecha de una funcin en
un punto, podemos asegurar de momento que lm
xa+
f (x) = lm
xa
h(x) = h(a) = f (a).
La otra hiptesis sobre h nos permitir probar que el lmite por la izquierda de f en a
tambin es f (a). De nuevo por el carcter local de dicho lmite, bastar tomar una sucesin
{y
n
} a, con aT < y
n
< a para todo n N, y comprobar que {f (y
n
)} f (a). Puesto que
{y
n
+T} a+T con a < y
n
+T < a+T para todo n N, la hiptesis sobre h nos dice que
{h(y
n
+T)} h(a), luego { f (y
n
)} ={ f (y
n
+T)} ={h(y
n
+T)} h(a) = f (a).
Sabiendo que f es continua en [a, a+T[ las cosas son ya fciles. Dados x Ry una sucesin
{x
n
} x, tenemos que {x
n
p(x)T} xp(x)T [a, a+T[ , y la continuidad de f en el punto
x p(x)T nos dice que {f (x
n
)} ={ f (x
n
p(x)T} f (x p(x)T) = f (x).
Aplicaremos lo recin demostrado en una situacin especialmente favorable:
Sean a R, T R
+
y h : [a, a +T] R una funcin continua en [a, a +T] tal que
h(a) = h(a+T). Entonces existe una nica funcin T-peridica f : R R que extiende
a h, es decir, verica f (x) = h(x) para a x a +T. Adems, f es continua en R y su
imagen coincide con la de h.
En efecto, basta aplicar el resultado anterior, restringiendo h al intervalo [a, a +T[, pero sin
olvidar que por la continuidad en el punto a+T se tiene lm
xa+T
h(x) = h(a+T) = h(a). Aparece
una nica funcin T-peridica f : R R que verica f (x) = h(x) para a x < a +T. Basta
entonces observar que f (a+T) = f (a) = h(a) = h(a+T), con lo que f extiende a h. Sabemos
adems que f es continua en R y su imagen coincide con la de h.
Para obtener las funciones seno y coseno, basta aplicar el resultado anterior a las funciones
c y s, tomando lgicamente a = y T = 2:
4. Funciones trigonomtricas 50
La funcin coseno es, por denicin, la nica funcin 2-peridica cos : R R que
extiende a la funcin c. Por tanto, se caracteriza por:
cos : R R, cos x = c(x) x [, ] , cos(x +2) = cos x x R
Anlogamente, la funcin seno es la nica funcin 2-peridica sen : RR que extiende a la
funcin s, luego queda caracterizada por:
sen : R R, sen x = s(x) x [, ] , sen(x +2) = sen x x R
A la vista de toda la discusin anterior, tenemos las primeras propiedades de las funciones
seno y coseno, sobre las que conviene insistir:
Las funciones seno y coseno son continuas en Ry 2-peridicas. La imagen de cualquiera
de ellas es el intervalo [1, 1].
Para el resto de las propiedades que por ahora podemos probar, estudiamos por separado
ambas funciones y despus la relacin entre ambas. Puesto que la periodicidad jugar un papel
clave en este estudio, introducimos una notacin que nos permita manejarla con facilidad. Para
x R escribiremos
p(x) = E
_
x +
2
_
y x = x 2p(x)
con lo cual tenemos p(x) Z y x <. Usaremos frecuentemente que
cos x = cos x = c( x) y sen x = sen x = s( x)
4.6. Propiedades de la funcin coseno
Las resumimos en un slo enunciado:
(i) La funcin coseno es par: cos(x) = cos x para todo x R.
(ii) La restriccin de la funcin coseno al intervalo [0, ] es una biyeccin estrictamente
decreciente de dicho intervalo sobre [1, 1] .
(iii) Se verica que cos(x +) =cos x para todo x R. Por tanto,
cos(x +k) = (1)
k
cos x x R, k Z
(iv) Se tiene:
{x R : cos x = 1} = {2k : k Z}
{x R : cos x = 1} = {(2k +1) : k Z}
{x R : cos x = 0} = {(/2) +k : k Z}
(v) La funcin coseno no tiene lmite ni diverge en + ni en .
4. Funciones trigonomtricas 51
(i). Se tiene: cos x = c( x) = c( x) = cos( x) = cos(x +2p(x)) = cos(x).
(ii). Basta recordar que la restriccin de la funcin coseno al intervalo [0, ] es la inversa de la
funcin arco coseno.
(iii). Supongamos primeramente que x [0, ] y sea y = cos x. Sabemos que
x = arccos y =arccos(y), de donde, cos(x) =y =cos x
Usando la periodicidad y paridad del coseno, concluimos que
cos(x +) = cos(x ) = cos(x) =cos x
Para x [, 0], lo anterior puede aplicarse a x + [0, ], obteniendo
cos(x +) =cos(x +2) =cos x
Finalmente, para x R arbitrario, lo ya demostrado puede aplicarse a x obteniendo
cos x = cos x =cos( x +) =cos(x 2p(x)+) =cos(x +)
(iv). Las tres inclusiones en un sentido se deducen claramente de propiedades ya probadas.
Concretamente, para cualquier k Z se tiene:
cos(2k) = cos 0 = 1; cos((2k +1)) = cos =1;
cos((/2) +k) = (1)
k
cos(/2) = 0
Las otras tres inclusiones tambin son fciles. Dado x R, tenemos
cos x = 1 x = 0 x = 2k con k = p(x) Z
cos x =1 x = x = (2k +1) con k = p(x) 1 Z
cos x = 0 x =/2 x = (/2) +k con k {2p(x), 2p(x) 1} Z
(v). La posibilidad de divergencia est claramente descartada por ser | cos x| 1 para todo x R.
Para la no existencia de lmites basta observar que {cos n} ={cos(n)} ={(1)
n
}.
4.7. Propiedades de la funcin seno
Guardan un claro paralelismo con las del coseno:
(i) La funcin seno es impar: sen(x) =sen x para todo x R.
(ii) La restriccin de la funcin seno al intervalo [/2, /2] es una biyeccin estrictamente
creciente de dicho intervalo sobre [1, 1] .
(iii) Se verica que sen(x +) =sen x para todo x R. Por tanto,
sen(x +k) = (1)
k
sen x x R, k Z
4. Funciones trigonomtricas 52
(iv) Se tiene:
{x R : sen x = 0} = {k : k Z}
{x R : sen x = 1} = {(/2) +2k : k Z}
{x R : sen x = 1} = {(/2) +2k : k Z}
(v) La funcin seno no tiene lmite ni diverge en + ni en .
(i). Se tiene: sen(x) = sen( x 2p(x)) = sen( x) = s( x) =s( x) =sen x.
(ii). Dados x, y [/2, /2] con x <y, bastar ver que sen x <sen y, es decir, s(x) <s(y), pues
entonces tendremos una funcin estrictamente creciente y continua en el intervalo [/2, /2]
cuya imagen ha de ser [1, 1], ya que sen(/2) = 1 y sen(/2) = 1. Si 0 x tenemos
c(x) > c(y) luego s(x) =
_
1c(x)
2
<
_
1c(y)
2
= s(y). En el caso y 0, de 0 y < x
deducimos s(y) < s(x), luego s(x) = s(x) < s(y) = s(y). Finalmente, si x < 0 < y
tenemos s(x) < 0 < s(y).
(iii). Supongamos primeramente que x [, 0], con lo que x + [0, ] y tenemos
sen x = s(x) =
_
1c(x)
2
=
_
1c(x +)
2
= s(x +) = sen(x +)
Para x [0, ], lo anterior puede aplicarse a x [, 0], obteniendo
sen(x +) = sen(x ) =sen x
Finalmente, para x R arbitrario, lo ya demostrado puede aplicarse a x [, ] obteniendo
sen x = sen x =sen( x +) =sen(x 2p(x)+) =sen(x +)
(iv). Tres inclusiones se deducen de propiedades ya probadas. Concretamente, para cualquier
k Z se tiene:
sen(k) = (1)
k
sen 0 = 0; sen((/2) +2k) = sen(/2) = 1;
sen((/2) +2k) = sen(/2) =1
Recprocamente, dado x R, tenemos
sen x = 0 x {, 0} x = k con k {2p(x) 1, 2p(x)} Z
sen x = 1 x =/2 x = (/2) +2k con k = p(x) Z
sen x =1 x =/2 x = (/2) +2k con k = p(x) Z
(v). No tiene lmite en +ni en porque {sen((/2)+n)} ={sen((/2)n)} ={(1)
n
}.
Tampoco diverge, porque | sen x| 1 para todo x R.
Obsrvese que hemos destacado dos intervalos en los que las funciones coseno y seno son
inyectivas y toman todos sus valores. La funcin inversa de la restriccin del coseno al intervalo
[0, ] se haba estudiado previamente, es la funcin arco coseno. Para la funcin seno, restringida
al intervalo [/2, /2], lo hacemos ahora:
La funcin arco seno, arcsen : [1, 1] [/2, /2], es la inversa de la restriccin de la
funcin seno al intervalo [/2, /2]. Por tanto:
La funcin arco seno es una biyeccin de [1, 1] sobre [/2, /2], continua en [1, 1]
y estrictamente creciente, con arcsen(1) =/2, arcsen0 = 0 y arcsen1 =/2.
4. Funciones trigonomtricas 53
4.8. Relacin entre el seno y el coseno
Podemos describir esta relacin de la siguiente forma:
(i) Se verica que cos
2
x +sen
2
x = 1 para todo x R.
(ii) x, y R, cos x = cos y, sen x = sen y = y x = 2k con k Z
(iii) Para cualesquiera a, b R que veriquen a
2
+b
2
= 1, existe un nico x ] , ] tal
que cos x = a y sen x = b.
(iv) Coordenadas polares en el plano: Todo punto (x, y) R
2
, con (x, y) = (0, 0), se expresa
de manera nica como (x, y) = ( cos , sen ) con R
+
y ] , ].
La demostracin no ofrece demasiada dicultad:
(i). Basta observar que cos
2
x +sen
2
x = c( x)
2
+s( x)
2
= 1.
(ii). Suponemos x y, lo que no resta generalidad. Primeramente, en el caso x, y [, [, de
ser c(x) = c(y), s(x) = s(y) deduciremos que x = y. Si x 0, basta usar la inyectividad de la
funcin c en el intervalo [0, ]. Lo mismo ocurre cuando y 0, pues c tambin es inyectiva en
[, 0]. Slo queda descartar que se tenga x < 0 < y. En tal caso, por ser c(x) = c(x) = c(y)
tendramos y =x, pero entonces de s(y) = s(x) =s(x) =s(y) deduciramos s(y) = 0, lo
cual es imposible siendo 0 < y <. En el caso general x, y R con x y, por lo demostrado se
tiene x = y, luego y x = 2k con k = p(y) p(x) Z.
(iii). Sea x
0
=arccos a [0, ], que evidentemente verica cos x
0
=a y sen x
0
=

1a
2
=|b|.
Cuando b 0 basta tomar x = x
0
. En el caso b < 0 tenemos 0 < x
0
<, ya que |a| = 1, luego
x
0
] , 0[ . Puesto que ahora sen x
0
=b, basta tomar x =x
0
.
Si queremos tener explcitamente x en funcin de a y b podemos usar la funcin signo.
Escribiendo sgn b = 1 si b 0, y sgnb =1 si b < 0, tenemos x = sgnb arccos a.
Para probar la unicidad, sea y ] , ] vericando tambin que cos y = a y sen y = b.
Aplicando (ii) tenemos yx = 2k con k Z pero, por ser |yx| < 2 tenemos que |k| < 1,
luego k = 0, de donde y = x.
(iv). Tomamos =
_
x
2
+y
2
y es evidente que esta es la nica eleccin posible de . Pero
entonces, aplicando (iii) deducimos que existe un nico ] , ] que verica las igualdades
buscadas: cos = x/, sen = y/. Excluido el origen, la relacin entre las coordenadas
cartesianas (x, y) de un punto del plano, y sus coordenadas polares (, ) R
+
] , ] , es:
x = cos , y = sen ; =
_
x
2
+y
2
, = sgn(y) arccos
x
_
x
2
+y
2

Comentemos nalmente otra relacin entre las funciones seno y coseno que se deduce de
las llamadas frmulas de adicin:
cos(x +y) = cos x cos y sen x sen y x, y R
sen(x +y) = sen x cos y + cos x sen y x, y R
4. Funciones trigonomtricas 54
Tomando en la segunda y = /2 tenemos sen(x +/2) = cos x para todo x R, de modo
que la funcin coseno puede obtenerse a partir de la funcin seno mediante una traslacin.
Ms adelante, como una elegante aplicacin del clculo diferencial, probaremos las frmulas
de adicin para las funciones seno y coseno. Hacerlo ahora sera demasiado laborioso.
4.9. Otras funciones trigonomtricas
A partir de las funciones seno y coseno, se denen fcilmente el resto de las funciones
trigonomtricas, que vamos a comentar brevemente. Consideremos los conjuntos
A = {x R : cos x = 0} = R\{(/2) +k : k Z}
B = {x R : sen x = 0} = R\{k : k Z}
Denimos entonces:
(a) La funcin tangente, tg : A R, tg x =
sen x
cos x
x A
(b) La funcin secante, sec : A R, sec x =
1
cos x
x A
(c) La funcin cosecante, cosec : B R, cosecx =
1
sen x
x B
(d) La funcin cotangente, cotg : B R, cotgx =
cos x
sen x
x B
Las cuatro funciones anteriores no aportan grandes novedades, sus propiedades se obtienen
fcilmente operando con las funciones seno y coseno. Hacemos un estudio algo ms detallado
de la funcin tangente, que puede tener ms inters. Se podra hacer una discusin similar para
cualquiera de las otras funciones.
La funcin tangente, tg : A R, es continua en A y verica que
tg(x) =tg x, tg(x +) = tg x x A
Su restriccin al intervalo abierto ] /2, /2[ es una biyeccin estrictamente creciente
de dicho intervalo sobre R, diverge negativamente en /2 y positivamente en /2.
La continuidad e imparidad son inmediatas, tenemos un cociente de dos funciones continuas,
una impar y otra par. Para x A es evidente que x + A, sabemos que sen(x +) =sen x
y cos(x +) =cos x, luego tg(x +) = tg x.
Sea la restriccin de la funcin tangente al intervalo I =] /2, /2[ y jemos x, y I
con x < y, para comprobar que (x) < (y). Si 0 x basta observar que 0 < cos y < cos x
y sen x < sen y. Si y 0 lo anterior se aplica al par y, x obteniendo que (y) < (x),
luego (x) <(y). Finalmente, si x < 0 < y tenemos claramente (x) < 0 <(y). Es claro que
(x) (x /2) y (x) + (x /2)
luego (I) es un intervalo que no est mayorado ni minorado, as que (I) = R y es una
biyeccin de I sobre R.
4. Funciones trigonomtricas 55
Hasta ahora la nocin de funcin peridica slo se ha usado para funciones denidas en
toda la recta real. Sin embargo, las propiedades de la funcin tangente sugieren que deberamos
evitar esa limitacin. Ms concretamente, dado un conjunto no vaco E R, podemos decir que
una funcin f : E R es peridica cuando exista T R

vericando que:
{x +T : x E} = E y f (x +T) = f (x) x E
Podemos decir tambin que T es un periodo de f y sigue siendo cierto que entonces kT es
tambin un periodo de f , para todo k Z. En particular tenemos siempre un periodo positivo
y, para T R
+
podemos decir que la funcin f es T-peridica.
As pues, la funcin tangente es -peridica. Puesto que para todo x Rpodemos encontrar
k Z de forma que x k ] /2, /2[ , toda la informacin acerca de la funcin tangente
se deduce de su comportamiento en el intervalo ] /2, /2[ , de ah que hayamos prestado
especial atencin a la restriccin de la tangente a dicho intervalo, cuya funcin inversa procede
ahora considerar.
La funcin arco tangente es, por denicin, la funcin inversa de la restriccin de la tangente
al intervalo ] /2, /2[ y se denota por arctg. Queda pues determinada de la siguiente forma:
arctg : R ] /2, /2[ , tg(arctgx) = x x R
Sus primeras propiedades pueden por tanto resumirse de la siguiente forma:
La funcin arco tangente es una biyeccin de R sobre ] /2, /2[, es una funcin impar,
continua en R y estrictamente creciente, vericando que
lm
x
arctgx = /2, lm
x+
arctgx = /2
4.10. Una curva que no es recticable
Concluimos este tema con el ejemplo de curva no recticable prometido anteriormente.
Consideremos la funcin f : [0, 1] R denida por
f (x) = x cos
_

x
_
x ]0, 1] , f (0) = 0
La continuidad de f en ]0, 1] no ofrece dicultad. Adems, por ser | cos(/x)| 1 para todo
x ]0, 1], tenemos lm
x0
f (x) = 0, luego f tambin es continua en 0.
Vamos a comprobar que la curva : [0, 1] R
2
dada por (t) =
_
t, f (t)
_
para todo t [0, 1]
no es recticable. La observacin clave es la siguiente: para m N se tiene

f
_
1
m
_
f
_
1
m+1
_

cos(m)
m

cos((m+1))
m+1

(1)
m
m

(1)
m+1
m+1

=
1
m
+
1
m+1

1
m
(6)
4. Funciones trigonomtricas 56
Para cada n N, consideremos ahora la particin P
n
del intervalo [0, 1] formada por los puntos:
1, 1/2, . . . , 1/n, 0. Ms concretamente:
P
n
={0 =t
0
<t
1
< . . . <t
n
= 1} donde t
k
=
1
nk +1
para k = 1, 2, . . . , n
Para la suma (, P
n
), usamos una estimacin conocida de la distancia eucldea:
(, P
n
) =
n

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

k=1
| f (t
k
) f (t
k1
)|
Como consecuencia, usando (6) tenemos:
(, P
n
)

f
_
1
n
_
f (0)

+
n

k=2

f
_
1
nk +1
_
f
_
1
nk +2
_

1
n
+
n

k=2
1
nk +1
=
n

j=1
1
j
En el ltimo miembro de esta desigualdad nos ha aparecido la n-sima suma parcial de la
serie armnica. Puesto que la desigualdad es vlida para todo n N y la serie armnica es
divergente, hemos probado que {(, P
n
)} +, luego el conjunto
_
(, P) : P F[0, 1]
_
no
est mayorado, es decir, la curva no es recticable.
4.11. Ejercicios
1. Sea : [1, 2] R
2
la curva denida por
(t) = (t, t
2
) t [1, 2]
Probar que es recticable con

2(2+

5) () 8.
2. Probar que sen x < x para todo x ]0, /2[
3. Estudiar la convergencia de las siguientes sucesiones:
(a)
_
sen
_
n
n
2
+1
__
(b)
_
cos
2
_
n
2
__
(c)
_
cos
_
n
2
+1
_
log n
n
_
4. Dado x R, estudiar la convergencia de la serie

n1
cos(nx)
n

n
5. Sea f : R R la funcin denida por
f (x) = sen x sen
_
1
x
_
x R

, f (0) = 0
Estudiar la continuidad de f y su comportamiento en + y .
4. Funciones trigonomtricas 57
6. Sea R y f : R
+
0
R la funcin denida por
f (x) = x

cos
_
1
x
_
x R
+
, f (0) = 0
Estudiar la continuidad de f , segn los valores de .
7. Para x R, discutir la validez de cada una de las siguientes armaciones:
(a) arccos(cos x) = x
(b) arc sen(sen x) = x
(c) arc tg(tg x) = x
8. Probar que la ecuacin tg x = x tiene innitas soluciones reales.
9. Sean a R
+
y b R

. Estudiar el comportamiento en 0 de las funciones f , g : R

R
denidas por
f (x) = arc tg
_
a
x
_
arc tg
_
b
x
_
, g(x) = x f (x) x R

10. Sea f :]0, /2[R la funcin denida por

f (x) =
_
1
tg x
_
sen x
x ]0, /2[
Puede extenderse f para obtener una funcin continua en [0, /2] ?
11. Sea f :]0, /2[R la funcin denida por
f (x) = (1+sen x)
cotgx
x ]0, /2[
Estudiar la continuidad de f y su comportamiento en 0 y /2.
12. Calcular la imagen de la funcin f : R

R denida por
f (x) = arc tg(log |x|) x R

13. Sea f : R\{1} R la funcin denida por

f (x) = arc tg
1+x
1x
x R\{1}
Estudiar la continuidad de f y su comportamiento en 1, + y . Calcular su imagen.
14. Probar que la ecuacin x +e
x
+arc tg x = 0 tiene una nica solucin real. Calcular la
parte entera de dicha solucin.
15. Sean J = [1/

2, 1/

2] y g : J [/2, /2] la funcin denida por

g(x) = arc sen
_
2x
_
1x
2
_
x J
Probar que g es biyectiva, continua en J y estrictamente creciente. Dar una expresin
explcita para la funcin inversa de g.