Académique Documents
Professionnel Documents
Culture Documents
23
Funciones circulares e
hiperblicas y sus recprocas.
Situaciones reales
en las que aparecen
Volumen I. Matemticas
390
NDICE SISTEMTICO
1.
INTRODUCCIN
2.
FUNCIONES CIRCULARES
2.1.
ngulos orientados
2.2.
Definicin de seno y coseno
2.3.
Definicin de las dems funciones circulares
2.4.
Propiedades inmediatas
2.5.
Periodicidad.
2.6.
Continuidad y derivabilidad de las funciones circulares
2.7.
Grficas de las funciones circulares.
2.7.1. Grficas de las funciones seno y coseno
2.7.2. Grficas de las funciones tangentes y cotangentes
2.7.3. Grficas de las funciones secante y cosecante
3.
4.
FUNCIONES HIPERBLICAS
4.1.
Definicin
4.2.
Propiedades inmediatas
4.3.
Grficas de las funciones hiperblicas
5.
6.
8.
7.
6.
5.
FUNCIONES HIPERBLICAS
4.1.
Definicin
4.2.
Propiedades inmediatas
4.3.
Grficas de las funciones hiperblicas
4.
3.
FUNCIONES CIRCULARES
2.1.
ngulos orientados
2.2.
Definicin de seno y coseno
2.3.
Definicin de las dems funciones circulares
2.4.
Propiedades inmediatas
2.5.
Periodicidad.
2.6.
Continuidad y derivabilidad de las funciones circulares
2.7.
Grficas de las funciones circulares.
2.7.1. Grficas de las funciones seno y coseno
2.7.2. Grficas de las funciones tangentes y cotangentes
2.7.3. Grficas de las funciones secante y cosecante
2.
INTRODUCCIN
1.
7.
8.
NDICE SISTEMTICO
CUERPO DE PROFESORES DE ENSEANZA SECUNDARIA
Volumen I. Matemticas
390
1. INTRODUCCIN
Las funciones circulares fueron introducidas por la va geomtrica a partir de la trigonometra plana.
Los musulmanes ya disponan de grandes avances en este campo. As pues, Al Habas (770?-870?) introduce la funcin trigonomtrica de tangente y confecciona tablas de sen y tg, que luego perfeccionaran
Abul-Wafa (940-998) y Al-Biruni (973-1048).
A comienzos del siglo XVI la trigonometra estaba an vinculada a la astronoma. De hecho en la
obra de Coprnico titulada De revolutionibus orbium coelestium, tres captulos estn dedicados a las funciones circulares. Dos de esos captulos haban aparecido ya en 1542, ao anterior al de la publicacin de la
obra de Coprnico, en un escrito de su editor Georg Joachim, llamado Rhaeticus, a quien se debe el estudio
sistemtico de las seis funciones circulares en 1551, apareciendo por primera vez en Europa definidas sobre la circunferencia fundamental. Fuera del seno y del coseno Rhaeticus no dio nombre especial a ninguna
de las otras. Los nombres de tangente y secante aparecen en una obra de Thomas Fincke de 1583.
En el Barroco temprano se producen nuevas contribuciones. As pues, los continuadores de Rhaeticus (Otto, Pitiscus, ...) construyeron tablas con precisin asombrosa de tales funciones.
La vinculacin con otros problemas como la cuadratura del crculo y la aproximacin del nmero p
hace que el estudio de las funciones circulares cobre vigor, sobresaliendo la figura de Vite (1540-1603),
quien, entre otras muchas aportaciones, ide un mtodo de biparticiones para obtener valores tabulados de
las funciones circulares y empez a desarrollar los teoremas fundamentales.
Ms tarde, el desarrollo de los mtodos infinitesimales permiti un enfoque nuevo basado en las series. As por ejemplo, hay contribuciones diversas (Pascal, Fermat, Wallis, Newton, Leibniz, Bernouilli,
etc.) motivadas por el polmico estudio de la cicloide, que origin la aparicin de su compaera, la sinuoide. Un manejo eficaz de esta curva se debe a Roverbal en su mtodo de los indivisibles para determinar el
rea de la cicloide y el volumen del cuerpo engendrado por su revolucin.
Por su parte Huygens se ocup del estudio de la catenaria, donde intervienen la funciones hiperblicas, mientras que Gregory estudi las funciones circulares inversas.
Aunque las funciones hiperblicas fueron introducidas en 1757 por Ricatti, Lambert les da en 1769 la
misma importancia que a las trigonomtricas y calcula una tabla para aquellas. Se ocup del estudio de las
funciones hiperblicas en conexin con la teora de las paralelas y demostr la irracionalidad de p partiendo del desarrollo en fraccin continua de tg x.
Pero probablemente sea Euler, el matemtico ms relevante del siglo XVIII, el que ms aport al conocimiento de las funciones trascendentes. A l se debe la relacin entre las funciones circulares e hiperblicas con las exponenciales. En su obra Introductio in analysin infinitorum hace un tratamiento
estrictamente analtico (y no geomtrico) de las funciones trigonomtricas. El seno de un ngulo, por
ejemplo, ya no es un segmento, sino simplemente un nmero, la ordenada de un punto de la circunferencia
z3 z5 z7
unidad, o bien la suma de la serie z + + ... para algn valor de z.
3! 5! 7!
Cabe destacar por ltimo al francs Fourier, que, en su estudio de las funciones analticas, aport con
las llamadas series trigonomtricas una extensin del concepto euleriano de funcin.
Podemos decir que las funciones que se van a estudiar en el presente tema han sido objeto de estudio a
lo largo de la historia, en conexin tanto otras parcelas de la matemtica, como la geometra o el lgebra,
pero tambin motivado por la investigacin en otros campos de la ciencia y de la tcnica, como la astronoma, la mecnica o la electrnica.
2. FUNCIONES CIRCULARES
2.1. ngulos orientados
S2
Partiremos de la nocin intuitiva de ngulo orientado (o dirigido), como par ordenado (s1,s2) de semirrectas con un origen comn.
O
Figura 1.
S1
391
Volumen I. Matemticas
392
Si tomamos en el plano un sistema de referencia OXY ortonormal (ejes rectangulares), podemos considerar como semirrecta inicial s1 la mitad positiva del eje de abcisas (OX+), y
entonces el ngulo orientado vendr dado por la semirrecta terminal, ms concretamente por el ngulo barrido por sta al girar con centro O. De esa manera puede considerarse un ngulo
orientado como un ngulo de giro, se puede generalizar la nocin de ngulo admitiendo ngulos superiores a una vuelta y se
pueden establecer dos sentidos de giro (usualmente como positivo el contrario al de las agujas del reloj).
Observacin:
Sabido es que podramos haber tomado una circunferencia de radio r cualquiera y las definiciones seu
v
ran cos j= , sen j= . Es fcil probar la independencia de tales definiciones con respecto al radio
r
r
elegido, con lo cual tomamos r = 1 (circunferencia goniomtrica), sin restar generalidad.
Tratamos de que las definiciones dadas nos permitan construir dos funciones reales de variable real.
Pero para ello es preciso que un ngulo orientado j quede identificado mediante un nmero real x.
En realidad no nos interesa tanto la perspectiva geomtrica
como la del anlisis real, y en ese sentido hay otras formas de llegar a
x longitud
las funciones que pretendemos, si recurrir siquiera a la nocin de ngulo. No obstante, la introduccin del radin puede ser, al menos en
primera aproximacin, una manera de solventar la cuestin. En efec1
to, con la definicin clsica lo que hacemos es asignar valor 1 al ngulo dirigido en sentido contrario al de las agujas del reloj y tal que la
longitud del arco es 1, es decir, al ngulo central cuyo arco correspondiente tiene la misma longitud que el radio.
Figura 4.
Figura 2.
Figura 3.
Est claro que toda semirrecta con origen en O determina un nico punto P(u,v) de C. Ello significa
que para cada ngulo orientado j, situado sobre el sistema de referencia OXY de la forma establecida, obtendremos un punto P(u,v) cumpliendo u2 + v2 = 1. Entonces definiremos coseno y seno de j como las
coordenadas del punto P. O sea:
O
A (1, 0)
cos j = u
sen j = v
P
P
j
cos j = u
sen j = v
Est claro que toda semirrecta con origen en O determina un nico punto P(u,v) de C. Ello significa
que para cada ngulo orientado j, situado sobre el sistema de referencia OXY de la forma establecida, obtendremos un punto P(u,v) cumpliendo u2 + v2 = 1. Entonces definiremos coseno y seno de j como las
coordenadas del punto P. O sea:
O
A (1, 0)
Figura 3.
C = {(u, v) / u2 + v 2= 1}
Observacin:
Sabido es que podramos haber tomado una circunferencia de radio r cualquiera y las definiciones seu
v
ran cos j= , sen j= . Es fcil probar la independencia de tales definiciones con respecto al radio
r
r
elegido, con lo cual tomamos r = 1 (circunferencia goniomtrica), sin restar generalidad.
Tratamos de que las definiciones dadas nos permitan construir dos funciones reales de variable real.
Pero para ello es preciso que un ngulo orientado j quede identificado mediante un nmero real x.
En realidad no nos interesa tanto la perspectiva geomtrica
como la del anlisis real, y en ese sentido hay otras formas de llegar a
x longitud
las funciones que pretendemos, si recurrir siquiera a la nocin de ngulo. No obstante, la introduccin del radin puede ser, al menos en
primera aproximacin, una manera de solventar la cuestin. En efec1
to, con la definicin clsica lo que hacemos es asignar valor 1 al ngulo dirigido en sentido contrario al de las agujas del reloj y tal que la
longitud del arco es 1, es decir, al ngulo central cuyo arco corresponFigura 4.
diente tiene la misma longitud que el radio.
Figura 2.
Si tomamos en el plano un sistema de referencia OXY ortonormal (ejes rectangulares), podemos considerar como semirrecta inicial s1 la mitad positiva del eje de abcisas (OX+), y
entonces el ngulo orientado vendr dado por la semirrecta terminal, ms concretamente por el ngulo barrido por sta al girar con centro O. De esa manera puede considerarse un ngulo
orientado como un ngulo de giro, se puede generalizar la nocin de ngulo admitiendo ngulos superiores a una vuelta y se
pueden establecer dos sentidos de giro (usualmente como positivo el contrario al de las agujas del reloj).
Volumen I. Matemticas
392
p/2
3p/2
Figura 5.
Hay otra forma de interpretar la asignacin de un nmero real a un ngulo orientado. Teniendo en
cuenta la proporcionalidad directa entre el rea de un sector del crculo unidad y el arco correspondiente, la
razn de dicha proporcionalidad viene dada por
P
rea crculo
p
1
=
=
long . circunferencia 2p 2
x
S
x
Para un sector de arco x, el rea ser . Es decir, a un ngulo dirigido
2
positivo de la primera vuelta, le asignamos como medida un nmero real x
Figura 6.
entre 0 y 2p, que viene a ser el doble del rea del sector S correspondiente.
Supongamos ahora un ngulo generalizado superior a una vuelta. El arco contado a partir de A es ahora
superior a 2p (y lo mismo ocurre con el doble del rea del sector barrido). Es como si el arco se fuera arrollando sobre el crculo unidad. Resultara, pues, que el ngulo de x radianes y el de x + 2p radianes corresponderan al mismo punto P sobre el crculo unidad, y lo mismo ocurrira con el de x + 4p, x + 6p, ...
radianes. Si vamos arrollando al revs, es decir, en sentido de las agujas del reloj, tendramos que los ngulos
de x 2p, x 4p, x 6p, radianes tambin corresponden al mismo punto P. Si llamamos w: R C a la
funcin de arrollamiento, tendramos que w (x + 2pk) = w(x) = P(u,v) para todo k Z
C
1
v
0
5p/2
2p
3p/2
p/2
0 u
Figura 7.
R
p/2
3p/2
2p
5p/2
3p
393
Volumen I. Matemticas
394
Figura 9.
Como consecuencias:
1.
2.
T
Q
A
O
A
Q
sen x
cos x
Tangente
tg x =
Cotangente
cotg x =
En este caso, todos los valores son positivos por serlo u y v. Para los restantes cuadrantes se puede
hacer una interpretacin similar, pero hay que tener en cuenta los signos correspondientes. As pues,
para sen x, cos x y tgx , las lneas trigonomtricas seran:
cos x
1
=
sen x tg x
1 OP ON ON
=
=
=
= ON
v PQ OB
1
cosec x =
sec x =
1 OP OT OT
=
=
=
= OT
u OQ OA
1
cotg x =
1
sen x
OA = OB = OP = r = 1
1
cos x
cosec x =
Cosecante
Figura 8.
sec x =
Secante
u NB NB
=
=
= NB
v OB
1
Puede darse un significado geomtrico sobre el crculo unidad C a tales funciones, enlazando con la
definicin anterior de las funciones cos x y sen x, como las coordenadas (u,v) del punto w(x) = P. Si supop
nemos 0 < x < , la longitud del arco ser menor que un cuarto de circunferencia y estaremos en el primer
2
cuadrante. La semejanza de tringulos nos da:
Q
tg x =
v
TA TA
=
=
= TA
u OA
1
cos x = u = OQ
sen x = v = PQ
sen x = v = PQ
cos x = u = OQ
Puede darse un significado geomtrico sobre el crculo unidad C a tales funciones, enlazando con la
definicin anterior de las funciones cos x y sen x, como las coordenadas (u,v) del punto w(x) = P. Si supop
nemos 0 < x < , la longitud del arco ser menor que un cuarto de circunferencia y estaremos en el primer
2
cuadrante. La semejanza de tringulos nos da:
A
cotg x =
cotg x =
cosec x =
Figura 8.
Cotangente
OA = OB = OP = r = 1
1 OP OT OT
=
=
=
= OT
u OQ OA
1
1
cos x
sec x =
u NB NB
=
=
= NB
v OB
1
sec x =
Secante
v
TA TA
=
=
= TA
u OA
1
1
sen x
tg x =
cosec x =
Cosecante
1 OP ON ON
=
=
=
= ON
v PQ OB
1
cos x
1
=
sen x tg x
En este caso, todos los valores son positivos por serlo u y v. Para los restantes cuadrantes se puede
hacer una interpretacin similar, pero hay que tener en cuenta los signos correspondientes. As pues,
para sen x, cos x y tgx , las lneas trigonomtricas seran:
Tangente
tg x =
sen x
cos x
Volumen I. Matemticas
394
Como consecuencias:
Figura 9.
1.
2.
O
Q
p
3p
= 1
= 1, sen p = 0, sen
2
2
2. cos 0 = 1, cos
p
3p
=0
= 0, cos p = 1, sen
2
2
p
p
) = cos x, cos (x + ) = sen x
2
2
3p
3p
) = cos x, cos (x +
) = sen x
2
2
p
p
x) = cos x, cos ( x) = sen x
2
2
3p
3p
x) = cos x, cos(
x) = sen x
2
2
1 cos 2x
2
25. cos2 x =
1+ cos 2x
2
x+ y
x y
cos
395
Volumen I. Matemticas
396
Figura 10.
x+ y
x y
cos
|cos a cos b|
w(b)
|sen a sen b|
x+ y
x y
sen
Las propiedades anteriores se pueden justificar geomtricamente, en consonancia con nuestra introduccin de las funciones circulares a partir de ngulos orientados sobre el crculo unidad. Otras construcciones ms formales por la va analtica, que no se basan tanto en la nocin de ngulo, exigen otro tipo de
demostraciones, como veremos adelante.
w(a) = (cos a, sen a)
w(b) = (cos b, sen b)
w(a)
2.5. Periodicidad
Es esta una caracterstica fundamental de las funciones circulares, que las hace sumamente importantes para el tratamiento de multitud de fenmenos (ondas, vibraciones, oscilaciones,...)
Dada una funcin f(x) definida en un dominio D, un perodo es todo nmero p que cumple:
a) x D x + p D
b) f(x + p) = f(x), " x D
Se utilizar de nuevo aqu la notacin inicial introducida en la seccin 2.2. As pues, el crculo unidad
es C = {(u, v) / u2 + v2 = 1} y w(x) la funcin de arrollamiento de R en C, que a cada nmero real x asocia el
punto P(cos x, sen x) de C, siendo x la longitud del arco desde A(1,0) al punto P.
Sea I = [a,b] un intervalo de R con amplitud suficientemente pequea. Puesto que al arrollar I sobre C
no se produce estiramiento, tendremos un arco de longitud |a b| entre w(a) y w(b).
Si existe algn nmero con las condiciones anteriores a f(x) se le denomina funcin peridica.
Se verifican:
Todo mltiplo de un perodo es tambin un perodo, es decir: f(x + kp) = f(x), " x D.
Si f(x) es una funcin peridica, no constante, sus perodos son los mltiplos del menor perodo
positivo, y slo ellos. Al menor perodo positivo le llamaremos T (perodo primitivo).
Las seis funciones circulares son peridicas. En el caso del seno, coseno, secante y cosecante el perodo primitivo es T = 2p.
Las seis funciones circulares son peridicas. En el caso del seno, coseno, secante y cosecante el perodo primitivo es T = 2p.
sen (x+ p ) sen x
En el caso de la tangente el perodo primitivo es T = p, ya que tg ( x + p) =
=
= tg x, y
cos (x+ p ) cos x
anlogamente para la cotangente.
Si f(x) es una funcin peridica, no constante, sus perodos son los mltiplos del menor perodo
positivo, y slo ellos. Al menor perodo positivo le llamaremos T (perodo primitivo).
La diferencia de dos perodos es otro perodo.
Todo mltiplo de un perodo es tambin un perodo, es decir: f(x + kp) = f(x), " x D.
Si existe algn nmero con las condiciones anteriores a f(x) se le denomina funcin peridica.
Se verifican:
Es esta una caracterstica fundamental de las funciones circulares, que las hace sumamente importantes para el tratamiento de multitud de fenmenos (ondas, vibraciones, oscilaciones,...)
Dada una funcin f(x) definida en un dominio D, un perodo es todo nmero p que cumple:
a) x D x + p D
b) f(x + p) = f(x), " x D
Se utilizar de nuevo aqu la notacin inicial introducida en la seccin 2.2. As pues, el crculo unidad
es C = {(u, v) / u2 + v2 = 1} y w(x) la funcin de arrollamiento de R en C, que a cada nmero real x asocia el
punto P(cos x, sen x) de C, siendo x la longitud del arco desde A(1,0) al punto P.
Sea I = [a,b] un intervalo de R con amplitud suficientemente pequea. Puesto que al arrollar I sobre C
no se produce estiramiento, tendremos un arco de longitud |a b| entre w(a) y w(b).
2.5. Periodicidad
w(a)
Las propiedades anteriores se pueden justificar geomtricamente, en consonancia con nuestra introduccin de las funciones circulares a partir de ngulos orientados sobre el crculo unidad. Otras construcciones ms formales por la va analtica, que no se basan tanto en la nocin de ngulo, exigen otro tipo de
demostraciones, como veremos adelante.
396
Figura 10.
Volumen I. Matemticas
|cos a cos b|
x+ y
x y
cos
w(b)
x y
x
+
y
sen
|sen a sen b|
(2k 1)p
Las funciones tg x y sec x son continuas en R
,k Z
Veamos ahora la derivabilidad. La demostracin clsica de que las funciones seno y coseno son derivables en todo R se basa en las frmulas de adicin (propiedades 15. y 16. de la seccin 2.4.) y en el lmite
sen h
lim
= 1.
h 0
h
p
Para probar dicho lmite, consideraremos |h| < , pues nos va a interesar lo que ocurre para h pequeo. Si
2
p
es 0 < h < , podemos recurrir a la figura y poner:
2
T
rea (D OAP) rea (Sector OAP) rea (D OAT)
P(cos h,sen h)
1
1
1
sen h h tg h
2
2
2
Dividiendo entre sen h: 1
h
1
sen h cos h
sen h
1
h
(*)
A(1,0)
Figura 11.
p
sen (h)
< h< 0 tomando h > 0 tendramos cos (h)
1, y como cos (h) = cos h,
2
h
sen (h) = sen h, queda de nuevo (*).
Si fuese
397
Volumen I. Matemticas
398
Adems
De cos2 x + sen2 x = 1 se desprenden |cos x| 1, |sen x| 1, " x R. Es decir, son funciones acotadas sobre R, siendo 1 cos x 1, 1 sen x 1, " x R.
p
3p
= cos p = 1, se tendr que 1 y +1 son los valores mximo y
Puesto que sen = cos 0 = 1 y sen =
2
2
mnimo absolutos de tales funciones y por tanto, el recorrido de ambas funciones es el intervalo [1,+1].
El perodo de ambas funciones es 2p, como ya vimos. Adems, son continuas y derivables en todo R,
siendo (sen x) = cos x, (cos x) = sen x.
sen 2 h
sen h
1
cos h 1 (cos h 1)(cos h + 1)
cos 2 h 1
=
=
sen h
=
=
h(cos h + 1)
h
cos h + 1
h
h(cos h + 1)
h(cos h + 1)
cos h 1
= 0.
h
Entonces:
sen h
cos h 1
sen (x + h) sen x
+ sen x lim
= cos x
= cos x lim
h 0
x0 h
x0
h
h
D sen x = lim
cos h 1
sen h
cos (x + h) cos x
sen x lim
= sen x
= cos x lim
h 0
x0
x0 h
h
h
D cos x = lim
Figura 12.
y = cos x
p
p
4 2
3p
Las derivadas de las dems funciones circulares se obtienen aplicando las conocidas reglas de derivacin.
1 0
2p
y = tg x
2
p
p
4 2
3p
2p
y = sen x
p
p
4 2
3p
2p
La grfica de una funcin peridica se da, por lo general, solamente en un perodo. Como la grfica se
repite a intervalos regulares de amplitud T, bastara deslizar la porcin dada en ambas direcciones siguiendo el eje OX, para obtener la grfica completa.
Por otro lado, la interpretacin geomtrica de las funciones circulares en el intervalo [0,2p], permite
construir la grfica en dicho intervalo de cada una viendo cmo vara la lnea trigonomtrica correspondiente (ver epgrafe 2.3.) al recorrer el crculo unidad una vuelta.
Acompaaremos dicha construccin con una sntesis de las propiedades ms relevantes que se reflejan en la grfica.
1
p
p
4 2
3p
2p
y = sen x
p
p
4 2
3p
2p
1
1 0
p
p
4 2
X
3p
y = tg x
2p
Las derivadas de las dems funciones circulares se obtienen aplicando las conocidas reglas de derivacin.
cos h 1
sen h
cos (x + h) cos x
sen x lim
= sen x
= cos x lim
x0
x0 h
h
h
D cos x = lim
sen h
cos h 1
sen (x + h) sen x
+ sen x lim
= cos x
= cos x lim
x0 h
x0
h
h
D sen x = lim
h 0
y = cos x
Figura 12.
h 0
De cos2 x + sen2 x = 1 se desprenden |cos x| 1, |sen x| 1, " x R. Es decir, son funciones acotadas sobre R, siendo 1 cos x 1, 1 sen x 1, " x R.
p
3p
= cos p = 1, se tendr que 1 y +1 son los valores mximo y
Puesto que sen = cos 0 = 1 y sen =
2
2
mnimo absolutos de tales funciones y por tanto, el recorrido de ambas funciones es el intervalo [1,+1].
El perodo de ambas funciones es 2p, como ya vimos. Adems, son continuas y derivables en todo R,
siendo (sen x) = cos x, (cos x) = sen x.
Entonces:
h 0
cos h 1
= 0.
h
sen 2 h
sen h
1
cos h 1 (cos h 1)(cos h + 1)
cos 2 h 1
=
=
sen h
=
=
h(cos h + 1)
h
cos h + 1
h
h(cos h + 1)
h(cos h + 1)
Adems
Volumen I. Matemticas
398
y = sen x
Figura 13.
1
p/2
2p
p/2 p
0
1
2p
y = cos x
3p/2
p/2
2p
3p
x
2p
Figura 14.
p
p/2
p/2
p/2
p/2
3p/2
y = tg x
x
p
3p/2
y = cotg x
Figura 15.
TEMARIO DE MATEMTICAS. PRUEBA A
399
Volumen I. Matemticas
400
PROPOSICIN:
Si f: [a,b] R es estrictamente creciente/decreciente y continua, entonces define una biyeccin de
[a,b] en [f(a),f(b)] y su recproca f-1 es tambin continua y estrictamente creciente/decreciente.
p p
Los intervalos elegidos para la restriccin a una funcin uno a uno son el [ , ] para el caso de las
2 2
funciones seno y tangente, y el [0,p] para el caso de coseno y cotangente.
Obtenemos as las restricciones biyectivas:
p p
p p
sen: [ , ] [1,+1]
tg: [ , ] ],+[
2 2
2 2
cos: [0,p] [1,+1]
cotg: [0,p] ],+[
A partir de las propiedades de coseno y seno son inmediatas las siguientes consideraciones acerca de
las funciones y = sec x e y = cosec x
El perodo de ambas es 2p
La funcin y = sec x presenta discontinuidades (asntotas verticales) en los puntos donde se anu(2k 1)p
la cos x, o sea, en x =
(" k Z)
2
La funcin sen: R [1,+1] no es uno a uno, pues sen x = sen (x + 2kp). Ni siquiera si nos ceimos a
la primera vuelta, o sea, para x [0,2p], ya que para un mismo valor del intervalo [1,+1], salvo para -1 y
+1 , hay dos nmeros de [0,2p] cuyo seno tiene dicho valor.
Sin embargo, si restringimos el dominio de la funcin seno a un intervalo conveniente podemos construir una funcin uno a uno f que tendr una recproca f-1. Existen muchas maneras de hacerlo. Algunos
p p p 3p 3p 5p
dominios posibles son: [ , ], [ , ], [ , ], etc., y en realidad cualquiera de ellos se puede elegir in2 2 2 2
2 2
p p
distintamente. Se acostumbra, sin embargo, a elegir el intervalo [ , ].
2 2
Podemos hacer uso de un enunciado general, que es consecuencia inmediata del teorema de Darboux
o de valores intermedios para una funcin continua en un intervalo cerrado y acotado.
1
p/2
p/2
2p x
3p/2
p/2
3p/2
y = sec x
y = cosec x
y = sec x
y = cosec x
La funcin sen: R [1,+1] no es uno a uno, pues sen x = sen (x + 2kp). Ni siquiera si nos ceimos a
la primera vuelta, o sea, para x [0,2p], ya que para un mismo valor del intervalo [1,+1], salvo para -1 y
+1 , hay dos nmeros de [0,2p] cuyo seno tiene dicho valor.
Sin embargo, si restringimos el dominio de la funcin seno a un intervalo conveniente podemos construir una funcin uno a uno f que tendr una recproca f-1. Existen muchas maneras de hacerlo. Algunos
p p p 3p 3p 5p
dominios posibles son: [ , ], [ , ], [ , ], etc., y en realidad cualquiera de ellos se puede elegir in2 2 2 2
2 2
p p
distintamente. Se acostumbra, sin embargo, a elegir el intervalo [ , ].
2 2
Podemos hacer uso de un enunciado general, que es consecuencia inmediata del teorema de Darboux
o de valores intermedios para una funcin continua en un intervalo cerrado y acotado.
1
p/2
3p/2
p/2
3p/2
p/2
2p x
PROPOSICIN:
Si f: [a,b] R es estrictamente creciente/decreciente y continua, entonces define una biyeccin de
[a,b] en [f(a),f(b)] y su recproca f-1 es tambin continua y estrictamente creciente/decreciente.
p p
Los intervalos elegidos para la restriccin a una funcin uno a uno son el [ , ] para el caso de las
2 2
funciones seno y tangente, y el [0,p] para el caso de coseno y cotangente.
Obtenemos as las restricciones biyectivas:
p p
p p
sen: [ , ] [1,+1]
tg: [ , ] ],+[
2 2
2 2
cos: [0,p] [1,+1]
cotg: [0,p] ],+[
La funcin y = sec x presenta discontinuidades (asntotas verticales) en los puntos donde se anu(2k 1)p
(" k Z)
2
la cos x, o sea, en x =
El perodo de ambas es 2p
A partir de las propiedades de coseno y seno son inmediatas las siguientes consideraciones acerca de
las funciones y = sec x e y = cosec x
Volumen I. Matemticas
400
x
p/2
p/2
1
1
p/2
x
0
1
p/2
y
y = cos x
1
y = tg x
p/2
0
1
Figura 17.
Haciendo uso de la proposicin anterior podemos definir las funciones recprocas de las anteriores:
sen1, cos1, tg1 y cotg1. Usualmente se denominan respectivamente arco seno, arco coseno, arco tangente y arco cotangente:
p p
arcsen: [1,+1] [ , ]
2 2
p p
arctg: ],+[ [ , ]
2 2
Las grficas correspondientes se obtienen de las anteriores tomando las simtricas respecto a la recta
y = x, con lo que resultan las siguientes:
y
p/2
y = arccos x
p/2
y = sen x
x
1
p/2
y = arctg x
p/2
p/2
x
1
Figura 18.
401