Trigo No Me Tria

i
INTRODUCCION
La palabra trigonometra signic originalmente medicin de tringulos.
Como tal se empiez estableciendo relaciones entre los ngulos, lados y rea
de un tringulo y en particular deniendo lo que se llamaron las razones
trigonomtricas, esto es las funciones seno, coseno, tangente, cotangente,
secante y cosecante adems de senver y cosver que estn prcticamente olvi-
dadas (ver el problema (1.1, p.5)). Aunque los conceptos son anteriores los
nombres de las funciones trigonomtricas y sus abreviaturas se introdujeron
en los siglos XVI y XVII. Sin embargo no es hasta que Euler publica en 1748
su obra Introductio in Anasysim Innitorum que la trigonometra pasa a
ser parte importante de las matemticas. En un principio se denieron en
funcin de los lados de un tringulo rectngulo y por lo tanto los ngu-
los que se usaban eran menores que un ngulo recto. Posteriormente se
vio la necesidad de dar deniciones que no estuvieran restringidas a que
los ngulos fueran agudos y adems se desarrollaron una gran cantidad de
relaciones e identidades que son de gran valor en muchas otras ramas de la
matemtica.
Estas notas estn dirigidas a alumnos que ya han llevado algn curso in-
troductorio de trigonometra. Por esto se empieza, en el captulo 1, deniendo
las funciones seno y coseno directamente en el crculo, lo que permite tener
una denicin que es valida para cualquier ngulo. De esta forma es muy
fcil dar las propiedades bsicas que satisfacen estas funciones, ver proposi-
cines (1.1, p. 2) y (1.2, p. 4).
Los conocimientos de trigonometra que necesitan los estudiantes para
los cursos ms avanzados, como son calculo y ecuaciones diferenciales, se
centran en la habilidad de poder manipular las identidades trigonomtricas.
Por esto se toman un nmero muy reducido de estas propiedades bsicas,
ver (1.5, p. 6), las cuales se usaran como axiomas para deducir todas las
otras identidades que son necesarias posteriormente. Para lograr esto lo
nico adicional que necesitamos es un conocimiento slido de los nmeros
reales. Esto sirve tanto para practicar la manipulacin de las identidades
trigonomtricas, como para poder dar un ejemplo elemental de cmo se
puede hacer una teora matemtica reducindola a unos cuantos axiomas.
Las otras funciones trigonomtricas se denen en funcin del seno y del
coseno y por lo tanto no se necesitan otras propiedades para dar todas las
identidades trigonomtricas.
En el captulo 3 se darn los algoritmos para el calculo de las funciones
trigonomtricas y de sus inversas. Adems para estudiar de las funciones
trigonomtricas en el clculo diferencial e integral necesitamos un resultado
adicional que es el teorema (3.2, p. 34), con su ayuda se desarrollar esta
teora en el captulo 5.
Por lo tanto no se necesita la relacin de las funciones trigonomtricas
con los tringulos rectngulos. Sin embargo una presentacin de las fun-
ciones trigonomtricas no estara completa sin estudiar su relacin con las
ii
propiedades de los tringulos. Este estudio se har en el captulo ??, donde
siguiendo el mtodo anterior se demuestran unas cuantas propiedades, ver
teorema (??.1, p. 19), para ser usados como axiomas para deducir todos
los dems teoremas.
Los requisitos para estudiar estas notas son:
Algn curso elemental de geometra que incluya: igualdad de trin-
gulos, tringulos semejantes, medida de ngulos (grados, radianes y
conversin de un sistema a otro), reas de tringulos y crculos.
Algn curso introductorio de trigonometra que incluya las deni-
ciones de las funciones trigonomtricas en el caso de tringulos rec-
tngulos, as como aplicaciones a problemas concretos.
Familiaridad con los nmeros reales que incluya: propiedades alge-
braicas suma, resta, multiplicacin, divisin y races cuadradas; de-
sigualdades, valores absolutos.
Para los dos ltimos captulo se necesita un conocimientos bsicos de
clculo diferencial e integral.
Cada captulo contiene todo el material bsico necesario para el estudio
de la trigonometra . Sin embargo para que el lector tenga acceso a un ma-
terial ms extenso en la ltima seccin de cada captulo se encuentran una
extensa serie de ejercicios, agrupados segn las secciones de cada captulo.
Su nmero es mayor que lo que se puede hacer en un curso normal, sin em-
bargo se encuentran ah en parte como referencia y para poder tener una
lista de donde seleccionar problemas. Ademas de servir como referencia de
resultados de la teora de las funciones trigonomtricas.
Las secciones marcadas con un asterisco se pueden omitir en una primera
lectura.
Funciones hiperblicas
Trigonometra esferica (vectores)
Geometra y topografa
This is page 1
Printer: Opaque this
1
Funciones Trigonomtricas
1.1 Las Funciones Trigonomtricas
1.1.1 Deniciones
Sean L una recta y S
1
un crculo de radio uno y centro O tales que L es
tangente a S
1
en un punto U. Escogiendo la orientacin de L de manera
que la funcin E : L S
1
que enreda la recta L en el crculo S
1
dejando
U jo es tal que cuando los puntos de L se mueven en la direccin positiva
los puntos correspondientes en S
1
se mueven en la direccin positiva, esto
es, en la direccin contraria a la de las manecillas del reloj. Dado un punto
X en L podemos interpretar el segmento dirigido UX como la medida del
ngulo UOE(X), hay que notar que dos puntos de L tienen la misma
imagen en crculo S si y solo si su distancia es un multiplo entero de 2 y
por lo tanto para cada punto Q S
1
hay un nmero innito de puntos de
la recta L tales que bajo E van a Q.
La trigonometra se basa en el estudio de la funcin E : L S
1
cuando
se usa en el plano coordenadas cartesianas, tales que el S
1
tiene su centro
en el origen y U es el punto de coordenadas (1, 0). Con estas convenciones
las funciones seno y coseno no son ms que la expresin en coordenadas de
2 1. Funciones Trigonomtricas
la funcin E. Podemos por tanto poner: E(x) = (cos x, senx).
O U
E(x) x
(/2)
/2 /2 /2 /2
El punto U lo podemos pensar como el origen de L y si escogemos otro
puntoP en L entonces podemos identicar a la recta L con la recta real R
de tal forma que U coincida con el cero de R y P con el uno. De esta forma
denimos funciones de los reales a S
1
, dependiendo de la distancia de U
a P se obtienen distintas formas de medir los ngulos. Si es un punto
de R tal que la distancia de U a sea /2 entonces es la medida de un
ngulo recto. Tomando P en distintas posiciones obtenemos las distintas
maneras de medir ngulos. Si la distancia de U a P es uno (como en la
gura) entonces esta medida es en radianes, si la distancia de U a P es
/180 entonces la medida es en grados. Como se ve de estos ejemplos es
equivalente dar la distancia de U a P que dar la medida un ngulo recto.
En estas notas se usara la medida en radianes al menos que se especique
otra cosa. Con esta identicacin de los reales con la recta L vemos que
dos reales x y y son tales que E(x) = E(y) si y solo si x y = 4n con n
entera.
En la siguiente seccin estudiaremos las propiedades elementales de las
funciones trigonomtricas que usaremos en la seccin 1.2 para estudiar sus
propiedades algebraicas. La propiedad ms importante es la proposicin 2
que toma en cuenta la estructura algebraica de los nmeros reales.
1.1.2 Propiedades elementales
En esta seccin utilizaremos las expresiones de las funciones seno y coseno
mencionadas anteriormente, para obtener la siguiente proposicin.
Proposicin 1 Sea la medida del ngulo recto, entonces las funciones
seno y coseno satisfacen las siguientes propiededes:
i) Los valores de las funciones seno y coseno siempre est en el intervalo
[1, 1] esto es: sen, cos : R [1, 1].
1.1 Las Funciones Trigonomtricas 3
ii) Se tiene la identidad:
sen
2
x + cos
2
x = 1
iii) Las funciones seno y coseno son peridicas, con periodo 4. Esto es
sen(x + 4) = senx
cos(x + 4) = cos x
iv) Se tiene las igualdades:
cos 0 = sen = 1
sen() = 1
sen0 = cos = cos() = 0
v) Se tiene las identidades:
sen(x) = senx
cos(x) = cos x
Demostracin: La propiedad i) es inmediata.La condicin de que el
crculo es de radio uno se traduce en la identidad: sen
2
x + cos
2
x = 1
que nos da ii). Como el dar una vuelta al crculo coresponde a un ngulo
de 4 se tiene que las funciones son peridicas, con periodo 4. Esto es:
sen(x + 4) = senx y cos(x + 4) = cos x y se obtiene iii). Dado que los
valores de E en los puntos 0, y son los puntos U, A y B obtenemos:
sen0 = 0, cos 0 = 1, sen = 1, cos = 0, sen() = 1 y cos() = 0
que es la propiedad iv). La funcin E manda puntos simtricos respecto al
cero de R en puntos simtricos respecto del eje de las equis, que no es ms
que la denicin de los ngulos negativos. Las frmulas que obtenemos son:
sen(x) = senx, cos(x) = cos x.
Sin embargo, la propiedad ms importante es la que toma en cuenta la
estructura algebraica (aditiva) de los nmeros reales. Sean x, y dos nmeros
reales, entonces podemos interpretar x y como la distancia del punto x
al punto y. Tenemos, por lo tanto, que la distancia de E(x) a E(y) es la
misma que la distancia de E(x y) a U = E(0), de aqu obtenemos la
propiedad vi), que como veremos en el captulo II, es la base para estudiar
todas las propiedades algebraicas de las funciones trigonomtricas.
O
E(x-y)
E(0)
O
E(x-y)
E(0)
Proposicin 2 Para todos los nmeros reales x y y se tiene la identidad
siguiente:
cos(x y) = cos xcos y + senxseny
Demostracin: Se tiene: E(x) = (cos x, senx), E(y) = (cos y, seny),
E(xy) = (cos(xy), sen(xy)) y E(0) = (1, 0) igualando las distancias
al cuadrado entre E(x) y E(y) y entre E(x y) y E(0), se tiene
(cos x cos y)
2
+(senx seny)
2
= (cos(x y) 1)
2
+ sen(x y)
2
usando la identidad 1 ii) obtenemos el resultado buscado.
Como las otras funciones trigonomtricas tienen a la funcin seno o la
funcin coseno en el denominador es importante saber donde se anulan las
funciones seno y coseno. Esta informacin la encontramos en la siguiente
proposicin.
Proposicin 3 La funcin seno se anula en el conjunto Z(S) = 2Z. La
funcin coseno se anula en el conjunto Z(C) = 2Z +.
Demostracin: Claramente los puntos de S
1
donde se anula la orde-
nada son U = (1, 0) y (1, 0) que corresponden a los ngulos cero y 2 y
a cualquier otro que diera de estos en un multiplo entero de 4. Analoga-
mente los puntos de S
1
donde se anula la abscisa son A y B que corre-
sponden a los ngulos y 3 y a cualquier otro que diera de estos en un
multiplo entero de 4.
1.1.3 Problema
Sea C un crculo de radio uno y AOB = , P un punto del primer cuad-
rante. Trcense PM y PN perpendiculares a OA y OB respectivamente,
1.2 Presentacin axiomtica 5
ademas AT y BS son tangentes a C; sea = AOP.
O
P
Q
U
T
C
S
Problema 1 Demostrar que: sen = OS, cos = OC, tan = UT,

cot = BQ, sec = OT, csc = OQ, senv = CU y cosv = SB,
donde senv es la funcin seno verso y cosv es la funcin seno verso estas
dos ltimas ya no se usan.
Los nombres de las funciones trigonomtricas vienen de la interpretacin
de estas en la gura anterior.
1.2 Presentacin axiomtica
1.2.1 Deniciones y axiomas
Esta seccin contiene todos las propiedades algebraicas de las funciones
trigonomtricas y por lo tanto se puede ver como un curso corto, pero
completo, de las propiedades algebraicas de las funciones trigonomtricas.
La presentacin que daremos es semejante a la presentada en [McShane,
??], aunque ese trabajo tiene un error al demostrar que sen(x) = senx.
Lo primero que haremos es denir las funciones tangente, cotangente,
secante y cosecante como los cocientes o inversas multiplicativas del seno y
del coseno. Como la funciones seno y coseno tienen puntos donde se anulan
se sigue que los dominios de las restantes funciones trigonomtricas no son
los nmeros reales sino subconjuntos propios.
Denicin 4 Sean los conjuntos Z(S) = sen
1
(0) = {x R : sen x = 0}
y Z(C) = cos
1
(0) = {x R : cos x = 0}, denimos:
La funcin tangente: tan : RZ(C) R, tan(x) =
sen x
cos x
La funcin cotangente: cot : RZ(S) R, tan(x) =
cos x
sen x
La funcin secante: sec : RZ(C) R, sec(x) =
1
cos x
La funcin cosecante: csc : R Z(S) R, csc(x) =
1
sen x
En todas las expresiones algebraicas que siguen si se entender que los
ngulos usados son tales que no se anulan los denominadores.
Basaremos el estudio algebraico de las funciones trigonomtricas en las
siguientes propiedades, las que tomaremos como axiomas de las funciones
seno y coseno. Estas propiedades fueron probadas en las secciones anteri-
ores.
Axioma 5 Las funciones seno y coseno satisfacen los siguientes axiomas.
A1) Las funciones seno y coseno tienen como dominio y contradominio
a los nmeros reales, esto es: sen, cos : R R
A2) Existe un nmero real > 0 tal que sen = 1 ademas cos 0 = 1
A3) Para todos los nmeros reales x y y se tiene la identidad siguiente:
cos(x y) = cos xcos y + senxseny
Todas las otras propiedades algebraicas se pueden demostrar a partir de
estas tres, lo que signica que estas tres propiedades pueden considerarse
los axiomas algebraicos de las funciones trigonomtricas. Diremos que es
la medida de un ngulo recto.
1.2.2 Propiedades basicas
Con ayuda de estos axiomas podemos demostrar el siguiente teorema, el
que nos da las identidades basicas para el estudio de las identidades alge-
braicas de las funciones trigomomtricas. Recordemos que dos ngulos son
complementarios cuando su suma es igual a .
Teorema 6 Las funciones seno y coseno satisfacen las siguientes propiedades:
i) sen
2
x +cos
2
x = 1
ii) sen(R) [1, 1] y cos(R) [1, 1]
iii) cos = 0 y sen0 = 0
iv) Si x y y son complementarios, entonces senx = cos y.
v) cos(x) = cos x y sen(x) = senx.
vi) cos(x +y) = cos xcos y senxseny.
vii) sen(x y) = senxcos y cos xseny.
viii) sen(x +y) = senxcos y + cos xseny.
Demostracin: Si en A3) tomamos x = y, obtenemos i). Que a su vez
implica ii).
Usando i) y A2) se tiene iii). Para demostrar iv) como x = y, se
tiene cos x = cos cos y +sen seny = seny.
Como cos(x) = cos(0x) = cos x por lo tanto cos() = 0 y sen() =
= 1, de lo que obtenemos:
sen(x) = cos(x()) = senx y cos(x+y) = cos xcos y+ senxseny
adems /2 es complementario a si mismo por lo que i) y iv) implican:
cos(/2) = sen(/2) = con 2
2
= 1, cos() = cos(/2+/2) =
2
+
2
=
0 y por lo tanto = 1. Lo que demuestra v) y vi).
La demostracin de vii) y viii) es como sigue.
sen(x y) = cos(( x) +y) = cos( x) cos y sen( x) seny
sen(x +y) = sen(x (y)) = senxcos y + cos xseny.
1.2.3 Identidades trigonomtricas
Con ayuda de las propiedades estudiadas en las secciones anteriores demostra-
remos el siguiente teorema, el cual es un resumen de las identidades trigonomtri-
cas ms importantes.
Teorema 7 Las funciones seno y coseno satisfacen las siguientes identi-
dades:
i) 2 sen
2 x
2
= 1 cos x =
sen
2
x
1+cos x
ii) 2 cos
2 x
2
= 1 + cos x =
sen
2
x
1cos x
iii) tan(x) = tanx y cot(x) = cot x
iv) tan
x
2
=
1cos x
sen x
=
sen x
1+cos x
v) tan(x +y) =
tan x+tan y
1tan x tan y
vi) senx +seny = 2 sen
_
x+y
2
_
cos
_
xy
2
_
vii) senx seny = 2 cos
_
x+y
2
_
sen
_
xy
2
_
viii) cos x +cos y = 2 cos
_
x+y
2
_
cos
_
xy
2
_
ix) cos x cos y = 2sen
_
x+y
2
_
sen
_
xy
2
_
Demostracin: Las propiedades i) y ii) se demuestran viendo que:
cos x = cos(x/2 +x/2) = cos
2
x
2
sen
2
x
2
= 2 cos
2
x
2
1 = 1 2 sen
2
x
2
La propiedad iv) se obtiene como sigue:
tan
x
2
=
senx/2
cos x/2
=
2senx/2cos x/2
2 cos
2
x/2
=
senx
1 + cos x
Adems para demuestrar iv) tenemos:
tan(x +y) =
sen(x +y)
cos(x +y)
=
senxcos y +cos xseny
cos xcos y senxseny
Las ltimas cuatro propiedades se demuestran en forma semejante y
por esto solo daremos la demostracin de vi). Denimos A y B por las
igualdades
x = A+B
y = AB
y obtenemos
A = (x +y)/2
B = (x y)/2
y por lo tanto:
senx + seny = sen(A+B) + sen(AB) = 2 senAcos B
1.2.4 Problemas.
Los siguientes problemas sirven tanto para practicar el uso de las identi-
dades anteriores como para estudiar nuevas identidades.
Problema 2 sen2x = 2 sen xcos x
Problema 3 cos 2x = cos
2
x sen
2
x
Problema 4 sen3x = 3 senxcos
2
x sen
3
x = 3 senx 4 sen
3
x
Problema 5 cos 3x = cos
3
x 3 sen
2
xcos x = 4cos
3
x 3 cos x
Problema 6 sec(x) = sec x y csc(x) = csc x
Problema 7 tan
2
x + 1 = sec
2
x
Problema 8 1 +cot
2
x = csc
2
x
Problema 9 sen =
2 tan

2
1+tan
2
2
.
Problema 10 cos =
1tan
2
2
1+tan
2
2
.
Problema 11 tan =
2 tan

2
1tan
2
2
Problema 12 Demostrar que las funciones trigonomtricas son peridicas
de periodo 4.
Para los siguiente problemas se necesita hacer uso del hecho de que las
funciones trigonomtricas son positivas en el intervalo [0, ] (ver la proposi-
cin (5.4, p. 52).
Problema 13 Encontrar los valores de las funciones trigonomtricas de
los valores 4, 2, 2/3, 4/3, /2, 2 +x, 2 x.
Problema 14 Encontrar los valores de las funciones trigonomtricas del
ngulo

4
.
Problema 15 Usando que

6
=

2

3
encontrar que sen

6
=

31
2
2
y que
cos

6
=

3+1
2
2
.
Problema 16 Usando que
2
5
=
3
5
y el problema (5, p. 8) encontrar
que sen

5
=

51
4
y que cos

5
=

10+2
5
4
.
Problema 17 Usar el problema anterior para dar una construccin, us-
ando regla y comps, de un pentgono regular.
Problema 18 Para todo entero positivo n tenemos las identidades:
cos + cos 2 +... + cos n =
cos((n+1)/2) sen((n/2)
sen(/2)
sen +sen2 +... +senn =
sen((n+1)/2) sen((n/2)
sen(/2)
(sugerencia: usar las siguientes identidades:
sen((2i +1)/2) sen((2i 1)/2) = 2 cos(i) sen(/2)
cos((2i +1)/2) cos((2i 1)/2) = 2 sen(i) sen(/2))
Como se vio en la primera seccin escogiendo en L el punto que corre-
sponde a el uno de R se obtienen las distintas unidades para medir ngulos.
Seleccionado otras unidades corresponde a dar la funcin : R R tal
que (x) = x, este tipo de funciones se llaman lineales y en particular
satisface la propiedad de ser aditiva, esto es (x + y) = (x) + (y). Y
por lo tanto las funciones s(x) = sen((x)) y c(x) = cos((x)) son las
funciones seno y coseno referidas a esta nueva forma de medir los ngulos
con como la medida de un ngulo recto donde = ( ). Sin embargo no
es necesario que la funcin sea lineal, basta con que sea aditiva, esto es
que, (x+y) = (x) +(y) y que exista en R tal que () = . Para ver
que esto es cierto demostrar los siguientes ejercicios.
Problema 19 Si es una funcin aditiva entonces:
i) (0) = 0
ii) (x) = (x)
iii) (x y) = (x) (y)
Problema 20 Sean una funcin aditiva y R tales que () =
entonces, las funciones s(x) = sen((x)) y c(x) = cos((x)) satisfacen loa
axiomas (1.2, p. 5) con como medida del ngulo recto.
En los siguientes problemas se estudiara la relacin de las coordenadas
cartesianas y polares y con la ayuda de las identidades bsicas para dar las
frmulas de rotacin de ejes coordenados. Si O es el origen y P es un punto
en el plano cartesiano entonces.
O
P(x,y)
Problema 21 Si (x, y) son las coordenadas cartesianas de P y (r, ) son
las coordenadas polares de P entonces:
x = r cos
y = r sen
Problema 22 Si se tienen otros ejes coordenados que forman un ngulo
con los ejes originales y (x
, y
) son las coordenadas cartesianas de P y

(r,
) son las coordenadas polares de P entonces:
=
x
= cos x +sen y
y
= sen x + cos y
1.3 Aplicaciones
En esta seccin daremos algunas aplicaciones donde solo se utilizan las
identidades algebraicas de las funciones trigonomtricas.
1.3.1 Nmeros complejos
Hay una relacin muy estrecha entre las funciones trigonomtricas y los
nmeros complejos. En esta seccin daremos una introduccin a este tema,
en el capitulo ?? daremos ms detalles. Si identicamos R
2
con los nmeros
complejos C, la funcin E : R R
2
nos da la funcin, e : R C que tiene
la forma e() = cos +i sen y que satisface las propiedades de la siguiente
proposicin.
Proposition 8 La funcin e satisface las propiedades siguientes:
e( +) = e()e()
e(0) = 1
e() = e() = e()
1
|e()| = 1
ms aun si n N, entonces e(n) = e()
n
.
Demostracin: Esta proposicin es equivalente a las identidades basicas
del teorema [6; 6).
Con ayuda de esta funcin podemos estudiar las propiedades de las fun-
ciones trigonomtricas con ayuda de las identidades siguientes:
sen =
e() e()
2i
cos =
e() +e()
2
1.3 Aplicaciones 11
usaremos lo anterior para demostrar algunas de las propiedades anteriores.
Ejemplo 9 Se tiene que sen
2
+cos
2
= 1.
Demostracin:
sen
2
+cos
2
=
_
e() e()
2i
_
2
+
_
e() +e()
2
_
2
=
1
2
+
1
2
= 1
Ejemplo 10 2 cos
2
= 1 +cos 2.
Demostracin:
2 cos
2
= (
e() +e()
2
)
2
=
e(2) +e(2)
2
+1 = 1 + cos 2
Ejemplo 11 2 sen
2
= 1 cos 2.
Demostracin:
2 sen
2
=
_
e() e()
2i
_
2
=
e(2) +e(2)
2
+ 1 = 1 cos 2
Ejemplo 12 4 cos
3
= cos 3 +cos .
Demostracin:
4 cos
3
=
_
e() +e()
2
_
3
=
e(3) +e(3)
2
+3
e() +e()
2
= cos 3 + 3cos
Ejemplo 13 4 sen
3
= sen3 +3 sen.
Demostracin:
4 sen
3
=
_
e() e()
2i
_
3
=
e(3) e(3)
2i
+3
e() e()
2i
= sen3+sen
Problema 23 Demostrar que:
2
n1
cos
n
=
_
_
n/2
k=0
_
k
n
_
cos((2k n)), n non
n/2
k=0
_
k
n
_
cos((2k n)) +
_
n/2
n
_
, n par
2
n1
sen
n
=
_
_
n/2
k=0
(1)
k
_
k
n
_
sen((2k n)) , n non
n/2
k=0
(1)
k
_
k
n
_
sen((2k n)) + (1)
n/2
_
n/2
n
_
, n par
1.3.2 Identidades asociadas a los ngulos de un tringulo
Como en muchas aplicaciones a la geometra los ngulos que se usan son los
de un tringulo, las identidades donde aparecen ngulos A, B y C positivos
y tales que A+B+C = 2 son muy importantes. Nosotros solo supondremos
que A+B +C = 2 y no que son ngulos positivos. Daremos solo un par
de ejemplos para dar las ideas principales de cmo usar la hiptesis. Nos
referiremos a los problemas del nal del captulo (ver 1.3.5, pag. 16) para
muchos otros resultados.
Proposicin 14 Si los ngulos A, B y C son tales que A +B +C = 2
entonces
senA +senB +senC = 4 cos
A
2
cos
B
2
cos
C
2
.
Demostracin: Como
A+B
2
y
C
2
son complementarios usando (1.2.3, p.
7) (5) y (6) obtenemos:
senA+ senB +senC = 2 sen
A +B
2
cos
AB
2
+2 sen
C
2
cos
C
2
= 2 cos
C
2
(cos
A B
2
+cos
A+B
2
)
= 4 cos
A
2
cos
B
2
cos
C
2
Si utilizamos algunas substituciones de ngulos que por un lado preserven
el hecho que la suma de los ngulos sea dos rectos y por otro tengamos
alguna identidad que relacione el ngulo original con el nal podemos de
una identidad se pueden deducir muchas otras. Veremos un par de ejemplos.
entonces
sen2A +sen2B +sen2C = 4senAsenBsenC
Demostracin: Si = 2 2A, = 2 2B y = 2 2C entonces
+ + = 64 = 2, adems sen = sen 2A y cos

2
= sen A. Usando
el resultado de la proposicin anterior obtenemos el resultado.
entonces
cos
A
2
+cos
B
2
+cos
C
2
= 4cos
A
4
cos
B
4
cos
C
4
Demostracin: Si =
A
2
, =
B
2
y =
C
2
entonces
+ + = 3 = 2, adems sen = cos
A
2
y cos

2
= cos
2A
4
.
Usando el resultado de la primera proposicin obtenemos el resultado.
1.3 Aplicaciones 13
Proposicin 17 Si los ngulos A, B y C son tales que A + B + C =
entonces
cos
A
2
+ cos
B
2
cos
C
2
= 4 cos
2 +A
4
cos
2 +B
4
cos
2 C
4
Demostracin: Si =
A+2
2
, =
B+2
2
y =
C2
2
entonces ++ =
+ = 2, adems sen = cos
A
2
y sen = cos
C
2
. Usando el resultado
de la primera proposicin obtenemos el resultado.
1.3.3 Suma de series
En esta seccin se estudiarn algunas series asociadas a funciones trigonomtri-

cas. En muchas circunstancias es posible encontrar la suma, con ayuda de
las identidades trigonomtricas. Enunciaremos primero un lema general que
se aplicaremos posteriormente. Su demostracin es clara.
Lema 18 Sea x
n
para n = 1, ..., N los terminos de una serie tales que
existe una susecin y
n
tal que x
n
= y
n+1
y
n
para n = 1, ..., N. Entonces
= x
1
+x
2
+... +x
N
= y
N+1
y
1
.
Proposicin 19 Se tiene la identidad
= csc 2
0
+csc 2 + csc 2
2
+... +csc 2
n1
= cot

2
cot 2
n1
Demostracin: Se tiene las igualdades

csc 2
n
=
1
sen 2
n
=
sen(2
n
2
n1
)
sen2
n
sen 2
n1
= cot 2
n1
cot 2
n
,
de donde se obtiene el resultado.
= sen+sen(+)+... +sen(+(N1)) =
sen
N
2
sen

2
sen(+
N 1
2
)
Demostracin: Se tiene las igualdades ,
2sen

2
sen( +n) = cos( +
(2n 1)
2
) cos( +
(2n +1)
2
)
y por lo tanto
2 sen

2
= cos(

2
) cos( +
(2N 1)
2
) = sen
N
2
sen( +
N 1
2
)
= sen + cos( +) sen( +2) cos( +3) +...
=
sen
N(2+)
4
sen
2+
4
sen( +
(N 1)(2 +)
4
)
Demostracin: Los terminos de la serie son iguales a
sen( + (n 1)( +

2
))
y por lo tanto se reduce al caso anterior.
= sen
3
+ sen
3
3 +... +sen
3
(2N 1) = 3
sen
2
N
sen

sen
2
3N
sen 3
Demostracin: Usando[4:8], se obtiene que
4 = (3sensen3)+(3 sen3sen9)+...+(3 sen(2N1)sen 3(2N1))
y usando la proposicin [20:13] obtenemos que 4 = 3
sen Nsen N
sen

sen 3Nsen 3N
sen 3
.
Aunque no se ha estudiado las funciones inversas es conveniente enunciar
en este momento la siguiente proposicin.
arctan
x
1 +1 2 x
2
+arctan
x
1 +2 3 x
2
+...+arctan
x
1 +n (n + 1) x
2
= arctan(n + 1)x arctanx
Demostracin: Usando [??;??], se obtiene que
arctan
x
1 +n (n +1) x
2
= arctan(n + 1)x arctannx
1.3.4 Problemas
Concluimos este captulo presentando un lista de problemas. La idea prin-
cipal es que estos problemas sirvan como practica en la manipulacin de las
identidades trigonomtricas. Pero tambin se pueden ver como un catalogo
de identidades trigonomtricas.
Problema 25 Dado un ngulo (0, ) y el valor de sen encontrar el
valor de las otras cinco funciones trigonomtricas del ngulo en funcin
de sen .
1.3 Aplicaciones 15
Problema 26 Como en el problema anterior, dado un ngulo (0, ) y
el valor de de alguna de las funciones trigonomtricas encontrar el valor de
las otras cinco funciones trigonomtricas del ngulo en funcin del valor
dado.
Demostrar las siguientes identidades.
Problema 27
tan
2
1+tan
2

+
cot
2
1+cot
2

=
2sen
2
2
sen 2
Problema 28 sen( +

2
) =

2
2
(sen + cos ).
Problema 29 cos( +

2
) =

2
2
(cos sen).
Problema 30 sen( +) sen( ) = sen
2
sen
2
.
Problema 31 cos( +) cos( ) = cos
2
sen
2
.
Problema 32 cos( +) cos( ) = cos
2
cos
2
.
Problema 33 cos( ) sen( +) = (cos sen)(cos sen).
Problema 34 cos( +) +sen( ) = (cos + sen)(cos sen).
Problema 35
sen()
cos cos
+
sen()
cos cos
+
sen()
cos cos
= 0.
Problema 36
sen()
sen sen
+
sen()
sen sen
+
sen()
sen sen
= 0.
Problema 37 tan( + +) =
tan +tan +tan tan tan tan
1tan tan tan tan tan tan
.
Problema 38
sen +sen
cos +cos
= tan(
+
2
).
Problema 39
sen sen
cos +cos
= tan(
2
).
Problema 40
sen +sen
cos cos
= cot(
2
)
Problema 41
sen sen
cos cos
= cot(
+
2
).
En los siguientes problemas usaremos la denicin s = + +.
sens + sen(2 s) +sen(2 s) + sen(2 s) = 4 sencos cos .
sen(s 2) + sen(s 2) +sen(s 2) sens = 4 sen sen sen.
cos s + cos(2 s) + cos(2 s) +cos(2 s) = 4 cos cos cos
cos(s 2) +cos(s 2) cos(s 2) cos s = 4 sencos sen.
sen2 + sen2 + sen2 sen2s = 4 sen( +) sen( +) sen( +).
cos 2 + cos 2 +cos 2 +cos 2s = 4 cos( +) cos( +) cos( +).
cos( +) sen( ) + cos( +) sen( ) =
cos( +) sen( ) cos( +) sen( )
tan() +tan( ) +tan( ) = tan() tan( ) tan( ).
sen( ) +sen( ) + sen( ) + 4sen

2
sen

2
sen

2
= 0.
cos
2
()+cos
2
()+cos
2
() = 1+2 cos() cos() cos(
).
1.3.5 Problemas usando la igualdad A +B +C = 2
Problema 52 senA = sen(B +C).
Problema 53 cos A = cos(B +C).
Problema 54 tanA = tan(B +C).
Problema 55 cot A = cot(B +C).
Problema 56 sen2A+ sen2B + sen2C = 4 senAsenBsenC.
Problema 57 sen2Asen2B + sen2C = 4 cos AsenBcos C.
Problema 58 sen2A+ sen2B sen2C = 4senAcos Bcos C.
Problema 59 cos 2A+ cos 2B +cos 2C = 1 4 cos A cos B cos C.
Problema 60 tanA +tanB +tanC = tanAtanBtanC.
Problema 61 senA +senB +senC = 4 cos
A
2
cos
B
2
cos
C
2
.
Problema 62 senA +senB senC = 4 sen
A
2
sen
B
2
cos
C
2
.
Problema 63 cos A+ cos B + cos C = 1 + 4 sen
A
2
sen
B
2
sen
C
2
.
Problema 64 cos Acos B + cos C = 1 + 4 cos
A
2
sen
B
2
cos
C
2
.
Problema 65
sen A+sen Bsen C
sen A+sen B+sen C
= tan
A
2
tan
B
2
.
Problema 66 tan
A
2
tan
B
2
+tan
B
2
tan
C
2
+ tan
C
2
tan
A
2
= 1.
1.3 Aplicaciones 17
Problema 67
1+cos Acos B+cos C
1+cos A+cos Bcos C
= tan
B
2
cot
C
2
.
Problema 68 (cot A+cot B)(cot B+cot C)(cot C+cot A) = csc Acsc Bcsc C
Problema 69 cos
2
A+ cos
2
B + cos
2
C = 1 2cos Acos Bcos C.
Problema 70 cos
2
2A +cos
2
2B +cos
2
2C = 1 + 2cos 2Acos 2Bcos 2C.
Problema 71 sen
2 A
2
+ sen
2 B
2
+sen
2 C
2
= 1 2 sen
A
2
sen
B
2
sen
C
2
.
Problema 72
cot A+cot B
tan A+tan B
+
cot B+cot C
tan B+tan C
+
cot C+cot A
tan C+tan A
= 1.
Problema 73
tan A+tan B+tan C
(sen A+sen B+sen C)
2
=
tan
A
2
tan
B
2
tan
C
2
2 cos Acos B cos C
.
Problema 74 cos
A
2
+ cos
B
2
+cos
C
2
= 4 cos
A+B
4
cos
B+C
4
cos
C+A
4
.
Problema 75 cos
A
2
cos
B
2
+cos
C
2
= 4 cos
+A
4
cos
B
4
cos
+C
4
.
Problema 76 sen
A
2
+ sen
B
2
+ sen
C
2
= 1 +4 sen
A
4
sen
B
4
sen
C
4
.
This is page 19
2
El Tringulo
2.1 Propiedades basicas
En un tringulo ABC de lados a, b y c se tiene denidos los siguientes
conceptos geomtricos:
a) R = Radio del crculo circunscrito
b) = Area del tringulo
c) r = Radio del crculo inscrito
d) r
a
, r
b
, r
c
= Radios de los crculos excritos
e) s =
a+b+c
2
= Semipermetro del tringulo
f) Mediremos los ngulos en grados. Esto es que el ngulo recto mide
90
o
.
Los cuales aparecen en el siguiente teorema fundamental. Los resulta-
dos de este teorema los usaremos como axiomas para el estudio de las
relaciones entre las funciones trigonomtricas y la geometra del tringulo.
Estos axiomas son la base para demostrar todas las propiedades restantes,
ms aun cada uno de estos teoremas relacionan un concepto geomtrico
con las funciones trigonomtricas. De hecho son los nicos resultados que
demostraremos usando alguna propiedad geomtrica, para todas las otras
usaremos las identidades trigonomtricas de la seccin 1.1.2.
Teorema 1 (Fundamental de la Trigonometra)En todo tringulo se
satisfacen las siguientes propiedades:
20 2. El Tringulo
T1) A+B +C = 180
o
T2) 2R =
a
sen A
(ley de los senos)
T3) =
ab sen C
2
T4) tan(A/2) =
r
sa
T5) tan(A/2) =
ra
s
Demostracin: Para demostrar (T2), si el ngulo A es agudo tenemos
la siguiente situacin: en la gura BA
es un dimetro y por lo tanto

el A
BC es rectngulo y BAC = BA
C de lo anterior obtenemos:
senA = senA
=
BC
BA
=
a
2R
. Si el ngulo A es obtuso se deja como prob-
lema para el lector [77;22].
O
A
C
B
A
D
A B
C
X
Y
Z
I
r
r
r
x
x y
y
z
z
Para demostrar (T3) claramente la altura del tringulo es h = b senC.
Para demostrar (T4) sean X, Y y Z los puntos de contacto del crculo
inscrito con los lados del tringulo. Como el centro del crculo inscrito est
en la bisectriz de BAC tenemos que A/2 = IAZ y entonces tan(A/2) =
r
AZ
pero: AY = AZ = x, BZ = BX = y, CX = CY = z de donde se
obtiene que x +y +z = s, y +z = a y por lo tanto AZ = s a.
Para demostrar (T4) ver el problema (79, p. 22).
2.2 Teoremas generales
Teorema 2 En el ABC se tiene la igualdad:
c = a cos B +b cos A
Demostracin: De la ley de los senos (1 T1,p. 19) tenemos:
c = 2RsenC = 2Rsen(180
o
AB) = 2Rsen(A+B)
= a cos B +b cos A
2.2 Teoremas generales 21
Teorema 3 (Ley de los cosenos) En el ABC se tiene la igualdad:
c
2
= a
2
+b
2
2ab cos C
Demostracin: Por el teorema anterior tenemos
a = c cos B +b cos C
adems
c
2
= c
2
sen
2
B +c
2
cos
2
B = b
2
sen
2
C + (a b cos C)
2
= a
2
+b
2
2ab cos C
Teorema 4 (Ley de las Tangentes) En el ABC se tiene la igualdad:
a +b
a b
=
tan
_
A+B
2
_
tan
_
AB
2
_
Demostracin: Por la ley de los senos,
a+b
ab
=
2Rsen A+2Rsen B
2Rsen A2Rsen B
, por el
teorema (1.1.2.3, p. 7) tenemos que
a+b
ab
=
2 sen(
A+B
2
) cos(
AB
2
)
2 cos(
A+B
2
) sen(
AB
2
)
que implica
el teorema.
Teorema 5 En el ABC se tiene las igualdades:
S1) sen
2
(A/2) =
(sb)(sc)
bc
S2) cos
2
(A/2) =
s(sa)
bc
S3) tan
2
(A/2) =
(sb)(sc)
s(sa)
Demostracin: Claramente la tercera igualdad es consecuencia de las
otras dos. Como las dos primeras igualdades tiene una demostracin seme-
jante demostraremos nicamente la primera frmula. Para esto se usa la
ley de los cosenos y las identidades siguientes:
2 sen
2
(A/2) = 1 cos A = 1
b
2
+c
2
a
2
2bc
=
a
2
(b c)
2
2bc
=
(a +b c)(a +c b)
2bc
=
4(s b)(s c)
2bc
Teorema 6 En el ABC se tiene las expresiones para calcular el rea de
un tringulo.
1) =
_
s(s a)(s b)(s c)
2) = rs
3) = abc/4R
4) = 2R
2
senAsenBsenC
22 2. El Tringulo
Demostracin:Usando el teorema anterior vemos que:
2
=
a
2
b
2
sen
2
C
4
= a
2
b
2
sen
2
(C/2) cos
2
(C/2) = s(s a)(s b)(s c)
Usando la ley de los senos obtenemos:
=
ab sen C
2
=
abc
4R
= 2R
2
senA senB senC
Usando tan
2
(A/2) =
r
2
(sa)
2
=
(sb)(sc)
s(sa)
, obtenemos
r
2
s
2
= s(s a)(s b)(s c) =
2
2.2.1 Problemas.
Problema 77 Demostrar la ley de los senos en un tringulo ABC, donde
el ngulo A es obtuso.
O
A
C
B
A
Problema 78 Dado un tringulo ABC y su excrculo I
a
de centro I
a
y
radio r
a
, sean X, Y y Z los puntos de contacto del crculo exscrito con los
lados del tringulo. Demostrar que AZ = AY = s, BX = BZ = s b y
CX = CY = s a.
A
B
C
X
Y
Z
r
a
I
a
Problema 79 tan(A/2) =
ra
s
.
Problema 80
a+b
ab
=
cot(
C
2
)
tan(
AB
2
)
Problema 81 = r
a
(s a)
Problema 82
2
= rr
a
r
b
r
c
Problema 83 s = r
a
r
b
r
c
Problema 84
1
r
=
1
r
a
+
1
r
b
+
1
r
c
Problema 85 s
2
= r
a
r
b
+r
b
r
c
+r
c
r
a
Problema 86 r +4R = r
a
+r
b
+r
c
Problema 87 2 = R(acos A+b cos B +c cos C)
r = 4RsenA/2 senB/2 senC/2 = R(cos A +cos B +cos C 1)
r
a
= 4RsenA/2 cos B/2cos C/2 = R(cos A+ cos B + cos C +1)
Problema 90 Usar el problema 66, pag. 66 para demostrar el insiso 1)
del teorema 6 (ver [2]).
Problema 91 Demostrar que dados los segmentos a, b y c entonces existe
un tringulo con lados a, b y c sii

a
2
+b
2
c
2
2ab
< 1 (notar que no suponemos

que el tamao de los segmentos estn ordenados de ninguna forma).
2.2.2 Problemas. Identidades trigonomtricas en tringulos
Concluimos este captulo presentando un lista de problemas. Como en el
captulo 1 la idea principal es que estos problemas sirvan como practica en
la manipulacin de las identidades trigonomtricas. Pero tambin se pueden
ver como un catalogo de propiedades del tringulo.
En todo tringulo se tienen las siguientes identidades.
Problema 92 (a
2
b
2
) cot C +(b
2
c
2
) cot C + (c
2
a
2
) cot C = 0.
a(senB senC) +b(senC senA) +c(senA senB) = 0.
Problema 94 2(ab cos C +bc cos A +ca cos B) = a
2
+b
2
+c
2
.
Problema 95 2(a sen
2 C
2
+c sen
2 A
2
) = a +c b.
Problema 96
cos
2 A
2
a
+
cos
2 B
2
b
+
cos
2 C
2
c
=
s
2
abc
.
Problema 97
bc
a
cos
2 A
2
+
ca
b
cos
2 B
2
+
ab
c
cos
2 C
2
= 0
Problema 98 asen(B C) +b sen(C A) +c sen(A B) = 0.
Problema 99 cot A =
ca cos B
asen B
Problema 100
sen(AB)
sen(A+B)
=
a
2
b
2
c
2
.
24 2. El Tringulo
Problema 101
c sen(AB)
b sen(CA)
=
a
2
b
2
c
2
a
2
.
Problema 102
a
2
sen(BC)
sen B+sen C
+
b
2
sen(CA)
sen C+sen A
+
c
2
sen(AB)
sen A+sen B
= 0
Problema 103
a
2
sen(BC)
sen A
+
b
2
sen(CA)
sen B
+
c
2
sen(AB)
sen C
= 0
Problema 104 b
2
sen2C +c
2
sen2B = .
Problema 105 b cos
2 A
2
+a cos
2 B
2
= s.
Problema 106 b sen
2 A
2
+a sen
2 B
2
= s c.
Problema 107 s tan
A
2
tan
B
2
= s c.
Problema 108 Si tan =
2
ab
ab
sen
C
2
entonces c = (a b) sec .
Problema 109 Si tan =
a+b
ab
tan
C
2
entonces c = (a b) cos
C
2
sec .
Problema 110 Si sen =
2
bc
b+c
cos
A
2
entonces a sec = b +c.
Problema 111
rar
a
+
r
b
r
b
=
c
rc
.
Problema 112 r
a
+r
b
= c cot
C
2
.
Problema 113 (r
a
r)(r
b
+r
c
) = a
2
.
Problema 114 r
a
r
b
+r
b
r
c
+r
c
r
a
= s
2
.
Problema 115 r +r
a
+r
b
r
c
= 4Rcos C.
Problema 116 a
2
b
2
= 2Rc sen(AB).
Problema 117 (r
a
r)(r
b
r)(r
c
r) = 4Rr
2
.
Problema 118 (r
a
+r
b
)(r
b
+r
c
)(r
c
+r
a
) = 4R(r
a
r
b
+r
b
r
c
+r
c
r
a
).
Problema 119 (
1
r

1
ra
)(
1
r

1
rb
)(
1
r

1
rc
) =
4R
r
2
s
2
.
Problema 120
ab
rc
+
bc
ra
+
ca
r
b
= 0.
Problema 121 tan
A
2
+ tan
B
2
+ tan
C
2
=
ra+rb+rc
rarb+rbrc+rcra
.
Problema 122 4(cot A+cot B + cot C) = a
2
+b
2
+c
2
.
Problema 123 a
2
b
2
c
2
(sen2A+ sen2B +sen2C) = 32
3
.
Problema 124 a cot A+b cot B +c cot C = 2(R+r).
(a +b) tan
C
2
+(b +c) tan
A
2
+(c +a) tan
B
2
= 4R(cos A+cos B+cos C).
Problema 126 cos
2 A
2
+cos
2 B
2
+cos
2 C
2
= 2 +
r
2R
.
Problema 127
a sen A+b sen B+c sen C
4 cos
A
2
cos
B
2
cos
C
2
=
a
2
+b
2
+c
2
2s
.
Problema 128 (
a
2
sen A
+
b
2
sen B
+
c
2
sen C
) sen
A
2
sen
B
2
sen
C
2
= .
Problema 129
a
2
b
2
cos A+cos B
+
b
2
c
2
cos B+cos C
+
c
2
a
2
cos C+cos A
= 0
Problema 130 bc cot
A
2
+ca cot
B
2
+ab cot
C
2
= 4Rs
2
(
1
a
+
1
b
+
1
c

3
s
).
Los siguientes problemas son una lista de frmulas para calcular el rea
de un tringulo (ver [1]). Para algunas frmulas necesitamos la siguiente
notacin: las alturas del tringulo son h
a
, h
b
y h
c
y las podemos denir como
h
a
=
2
a
; las medianas del tringulo son m
a
, m
b
y m
c
y =
ma+mb+mc
2
.
Problema 131 =
1
4
2a
2
b
2
+2b
2
c
2
+ 2a
2
c
2
a
4
b
4
c
4
Problema 132 =
4
3
_
( m
a
)( m
b
)( m
c
)
=
1
3
_
2m
2
a
m
2
b
+ 2m
2
b
m
2
c
+2m
2
a
m
2
c
m
4
a
m
4
b
m
4
c
Problema 133 =
h
2
a
h
2
b
h
2
c
(hahb+hbhc+hcha)(hahb+hbhc+hcha)(hahbhbhc+hcha)(hahb+hbhchcha)
Problema 134 =
2
27R
_
(2m
2
a
+ 2m
2
b
m
2
c
)(2m
2
b
+2m
2
c
m
2
a
)(2m
2
c
+ 2m
2
a
m
2
b
)
Problema 135 =
_
1
2
Rh
a
h
b
h
c
=
1
2
3
abch
a
h
b
h
c
=
r
2
_
(r
a
+r
b
)(r
b
+r
c
)(r
c
+r
a
)
R
Problema 136 =
abc
ra+rb+rcr
=
r
2
(r
a
+r
b
)(r
b
+r
c
)(r
c
+r
a
)
abc
=
_
a
2
+b
2
+c
2
1
r
2
+
1
r
2
a
+
1
r
2
b
+
1
r
2
c
Problema 137 =
_
m
2
a
+m
2
b
+m
2
c
3
1
h
2
a
+
1
h
2
b
+
1
h
2
c
=
hahbhc
3
_
3
m
2
a
+m
2
b
+m
2
c
h
2
a
h
2
b
+h
2
b
h
2
c
+h
2
c
h
2
a
Problema 138 = 2R
2 h
a
h
b
h
c
abc
=
R
2s
(h
a
h
b
+h
b
h
c
+h
c
h
a
) =
h
a
h
b
h
c
8abc
(r
a
+
r
b
+r
c
r)
2
Problema 139 =
4
_
R
2
12
(m
2
a
+m
2
b
+m
2
c
)(h
2
a
h
2
b
+h
2
b
h
2
c
+h
2
c
h
2
a
)
Problema 140 =
m
2
a
+m
2
b
+m
2
c
3(cot A+cot B+cot C)
Problema 141 =
1
3
RsenAsenBsenC
_
ab
hc
+
bc
ha
+
ca
h
b
_
= R
3
h
a
h
b
h
c
senAsenBsenC
26 2. El Tringulo
2.2.3 Cuadrilteros
Teorema 7 Dado un cuadriltero convexo ABCD de lados a = AB, b =
BC, c = CD y d = DA su rea est dada por la frmula:
2
= (s a)(s b)(s c)(s d) abcd cos
2
_
A +C
2
_
donde s es el semipermetro.
Demostracin: Si = 4(ad+bc)
2
(a
2
+d
2
b
2
c
2
)
2
encontraremos
la siguiente identidad:
= 4(ad +bc)
2
(a
2
+d
2
b
2
c
2
)
2
=
_
(a +d)
2
(b c)
2
][(b +c)
2
(a d)
2
= (a +b +c d)(a +b +d c)(a +c +d b)(b +c +d a)

= 16(s a)(s b)(s c)(s d)
Usando T3) y la ley de los cosenos en los tringulos ABD y BCD
obtenemos las identidades siguientes:
a
2
+d
2
b
2
c
2
= 2ad cos A2bc cos C
4 = 2ad senA +2bc senC
elevando al cuadrado y sumando obtenemos:
16
2
+ (a
2
+d
2
b
2
c
2
)
2
= 4(a
2
d
2
+b
2
c
2
) 8abcdcos(A+C)
= 4(ad +bc)
2
16abcd
1 + cos(A +C)
2
y por lo tanto 16
2
= 16abcd
1+cos(A+C)
2
y usando la identidad anterior
obtenemos el resultado buscado.
Corolario 8 De todos los cuadriltero convexo ABCD de lados a = AB,
b = BC, c = CD y d = DA el de rea maxima es el cclico y su rea est
dada por la frmula:
2
= (s a)(s b)(s c)(s d)
A
B
C
D
a
b c
d
x
y
P

Teorema 9 Dado un cuadriltero convexo ABCD de diagonales x y y,
que se cortan en un ngulo , entonces su rea est dada por la frmula:
=
xy sen
2
Demostracin: En la gura anterior tenemos que:
(ABC) = (ABP) +(BPC)
=
AP PBsen(180
o
)
2
+
CP PBsen
2
=
x PBsen
2
anlogamente: (CDA) =
xPDsen
2
y por lo tanto:
=
x PBsen
2
+
x PDsen
2
=
xy sen
2
Los teoremas anteriores nos dicen que el rea de un cuadrngulo cclico
solo depende de las longitudes de sus lados y no del orden de los mismos;
adems el problema 144, pg. 29, demuestra que el radio del circuncrculo
tambin solo depende de las longitudes de sus lados. Estas propiedades son
compartidas por cualquier polgono convexo cclico. El siguiente teorema
dan la historia completa.
Teorema 10 Dados n reales a
1
,. . . ,a
n
(tales que el mayor de ellos es
menor que la suma los dems segmentos), entonces existen un crculo C
y un polgono P convexo A
1
...A
n
inscrito en C y tal que a
i
= A
i
A
i+1
.
Adems ni el radio del crculo C ni el rea del polgono A
1
...A
n
depende
del orden de los segmentos.
Demostracin: Sea A
1
A
2
un segmento de longitud a
1
, en su mediatriz
tomamos un punto O y sea C el crculoque pasa por A
1
, A
2
y O. Sea el
arco de C que contiene a O. Si la distancia de O al segmento A
1
A
2
es igual
a a
2
+... +a
n
entonces podemos tomar A
2
,..., A
n
tale que a
i
= A
i
A
i+1
para i = 2, ..., n. Cuando O se acerca al segmento A
1
A
2
el la longitud del
arco se aproxima a A
1
A
2
tanto como queramos; por lo tanto en algn
28 2. El Tringulo
A
1
A
2
A
3
A
4
A
5
A
6
O
FIGURE 2.1.
momento tendremos que A
n
= A
1
.
A
1
A
2
A
3
A
4
A
5
A
6
O
Si el centro O de C es un punto interior de P, entonces los tringulos
T
i
= OA
i
A
i+1
son tales que su rea
i
y ngulo
i,i+1
= A
i
OA
i+1
solo dependen del segmento a
i
; adems

n
i=1
i,i+1
= 360
o
. Por lo tanto
podemos ver a los los tringulos T
i
como piezas de un rompe cabezas que
podemos colocar en cualquier posicin y obtener otro polgono cclico con
lados iguales, aun que en otro orden obteniendo otros polgonos de la misma
rea =
n
i=1
i
, e inscritos en el mismo crculo C. Si el centro O de C no
es un punto interior de P hay uno de los tringulos, que podemos suponer
que es T
n
tal que el lado A
n
A
1
separa al centro de los otros vrtices A
2
,...,
A
n1
en este caso el rea de P es =

n1
i=1

i

n
pero el resto del
razonamiento es el mismo.
A
1
A
2
A
3
A
4
A
5
A
6
1,2
A
1
A
2
A
3
A
4
A
5
A
6
1,2
Nota: Claramente el hecho de exista el polgono cclico no implica que
se pueda construir con regla y comps. Sin embargo el teorema ??, pg.
??, da una construccin para el caso de un cuadrngulo.
Problema 142 En un cuadriltero convexo ABCD de lados a = AB,
b = BC, c = CD y d = DA y diagonales x y y su rea est dada por la
frmula:
2
= 4x
2
y
2
(a
2
+d
2
b
2
c
2
)
2
Problema 143 Dados cuatro segmentos a, b, c y d existe un cuadriltero
convexo ABCD de lados a = AB, b = BC, c = CD y d = DA sii s a,
s b, s c, s d son positivos (donde
a+b+c+d
2
). En este caso existe un
cuadriltero ciclico.
Problema 144 Dado un cuadriltero cclico convexo ABCD de lados a =
AB, b = BC, c = CD y d = DA y diagonales x = AC y y = BD, inscrito
en un crculo de radio R demostrar que:
x
2
=
(ad +bc)(ac +bd)
ab +cd
y
2
=
(ab +cd)(ac +bd)
ad +bc
R =
1
4
_
(ab +cd)(ac +bd)(ad +bc)
xy = ac +bd (Teorema de Ptolomeo)
x
y
=
ad +bc
ab +cd
30 2. El Tringulo
A
B
C
D
a
b
c
d
x
y
P
2.2.4 Tringulos esfricos
Dados una esfera, tres vrtices A, B y C en la esfera, que no estn en un
crculo mximo, denen un tringulo esfrico. La suma de los ngulos de
trngulo esfrico es mayor que , esto es consecuencia del teorema de esta
seccin.
El rea de una esfera de radio R es igual a 4R
2
.
Dados una esfera y dos semicrculos mximos que unen dos puntos an-
tipodales denen dos regiones de la esfera cada una se llama una lunula.
Un ejemplo de esto es la regin de la tierra contenida entre dos meridi-
anos. Claramente el rea de una lunula es proporcional al ngulo entre
los semicrculos mximos. Por lo tanto es igual a 2R
2
, si lo medimos en
radianes. Con ayuda de este resultado obtenemos la frmula para calcular
el rea de un tringulo esfrico.
Teorema 11 Dado un tringulo esfrico ABC su rea es igual a (A+
B +C )R
2
.
Demostracin: Los lados a y b (resp. b y c; resp. c y a) denen dos
lunulas L
C
y L
C
(resp. L
A
y L
A
, resp. L
B
y L
B
), L
C
contiene a ABC y
L
C
contiene al tringulo antipodal A
de ABC; cada una de rea

2CR
2
(resp. 2AR
2
; resp. 2BR
2
). Estas lunulas cubren la esfera, adems un
punto que no est en ABCA
esta en una sola de las lunulas; un

punto de ABC esta en tres de las lunulas L
A
, L
B
y L
C
, anlogamente
cad punto del antipoda de ABC esta en tres de las lunulas L
A
, L
B
y L
C
y por lo tanto el rea de ABC satisface la identidad
4(A+B +C)R
2
= 4R
2
+ 4
32 2. El Tringulo
This is page 33
3
Algoritmos
En este captulo se estudiarn las propiedades de las funciones trigonomtri-
cas que estn relacionadas con problemas de continuidad y de gracacin
el mtodo que usaremos es completamente elemental sin hacer uso de la
teora del clculo diferencial e integra. Sin embargo la desigualdad (2, p.
34) es suciente para calcular todos los limites que aparecen en los cursos
de clculo y que son necesarios para estudiar las propiedades analticas de
las funciones (ver captulo 5).
Uno de los problemas centrales de la trigonometra consiste en estudiar
los algoritmos para el clculo de la funcin E y de su inversa. Actualmente
este clculo se facilita gracias a las computadoras, sin embargo, es impor-
tante entender como se obtienen estos algoritmos. Nosotros estudiaremos
algunos de los algoritmos para estudiar la funcin E en la seccin (3.2, p.
35) y los de la funcin inversa de E en la seccin (??, p. ??), sin embargo
estos algoritmos son muy poco ecientes, para estudiar algoritmos ms e-
cientes necesitamos usar clculo diferecial e integral eso lo haremos en el
captulo 5 (ver tambin ??).
3.1 Propiedades de continuidad
3.1.1 Medida de reas
En esta seccin usaremos como medida de los ngulos los radianes. Es
geomtricamente claro que el rea de un sector circular es proporcional a
la longitud s del arco, usaando esta propiedad es facil demostrar el teorema
34 3. Algoritmos
siguiente. Para esto se usara la denicin del nmero , como la razn del
permetro de un crculo al dimetro del mismo. Adems de usar el hecho
de que = 3.14156295....
Teorema 1 El rea de un sector circular A est dada por r
2
s/2, donde r
es el radio del crculo y s la longitud del arco que dene al sector.
Demostracin: Como el rea de un sector circular es proporcional a la
longitud s del arco que dene al sector, la frmula del rea es de la forma
sr
2
donde r
2
es el rea del circulo. Por lo tanto debe ser tal que para
s = 2 se tenga 2r
2
= r
2
y por lo tanto = 1/2. .
3.1.2 Desigualdades de las Funciones Trigonomtricas
Para poder estudiar las propiedades de continuidad y diferenciabilidad
de las funciones trigonomtricas necesitamos los siguientes dos resultados.
Adems de demostrar que medir los ngulos en radianes la forma natural.
Con ayuda del la seccin anterior podemos demostrar el siguiente re-
sultado, el cual es la base del estudio de las propiedades analticas de las
funciones trigonomtricas. Adems de demostrar que medir los ngulos en
radianes la forma natural.
Teorema 2 Para todo real x (/2, /2), x = 0 se tienen las desigual-
dades siguientes:
0 < cos x <
senx
x
< 1
ademas de que =

2
.
Demostracin: En la gura vemos que el tringulo OUP esta con-
tenido en el sector OUP que a su vez est contenido en el tringulo OUT,
adems se tiene que: OCP OUT y por lo tanto UT =
sen x
cos x
calcu-
lando el doble del rea de las tres guras obtenemos: senx < x <
sen x
cos x
para
x > 0, que son desigualdades claramente equivalentes a las del teorema. El
caso cuando x es negativa se sigue del caso x > 0 recordando (1.1.v), p.
2).
O U
P
C
T
3.2 Clculo de las funciones trigonomtricas 35
Corolario 3 Las funciones trigonomtricas estan denidas en (0,

2
) y son
positivas en el intervalo. Ms aun:
{ R : sen = 0} = Z
{ R : cos = 0} = Z+
2
3.2 Clculo de las funciones trigonomtricas
Usaremos los resultados anteriores para dar un algoritmo para calcular las
funciones seno y coseno.
3.2.1 Reduccin a ngulos agudos
En esta seccin calcularemos los valores de las funciones seno y coseno re-
duciendo el problema al clculo de las funciones para ngulos en el intervalo
[0,

2
]. Para eso usaremos que para todo real existe un entero n tal que
= nr + donde esta en el intervalo [0,

2
].
Recordemos el concepto de congruencia, esto es que los nmeros enteros
a y b son congruentes mdulo n si n divide a a b y lo escribiremos como
a b (mod n). En particular cuando dividimos a a entre 4 y obtenemos
como residuo a b, entonces a y b son congruentes mdulo 4. Adems a
0 (mod 2) si y solo si a es un nmero par.
Teorema 4 Si n es un entero entonces:
A) sen n
2
=
_
_
_
1 si n 1 (mod 4)
1 si n 3 (mod 4)
0 si n 0 (mod 2)
B) cos n
2
=
_
_
_
1 si n 0 (mod 4)
1 si n 2 (mod 4)
0 si n 1 (mod 2)
C) Si es un real y n un entero tales que = n
2
+ entonces:
sen =
_
_
sen si n 0 (mod 4)
cos si n 1 (mod 4)
sen si n 2 (mod 4)
cos si n 3 (mod 4)
D) Si es un real y n un entero tales que = n
2
+ entonces:
cos =
_
_
cos si n 0 (mod 4)
sen si n 1 (mod 4)
cos si n 2 (mod 4)
sen si n 3 (mod 4)
Como consecuencia del teorema anterior se ve que si conocemos los val-
ores de las funciones seno y coseno en el intervalo [0,

2
], entonces conocemos
36 3. Algoritmos
el valor de estas funciones para todos los reales. Ms aun basta conocer los
valores en el intervalo [0,

4
] ya que sen = cos(
2
).
3.2.2 Caso del ngulo agudo
En esta subseccin se usan radianes para medir los ngulos y calcularemos
los valores de las funciones seno y coseno en ngulos en el intervalo [0, /2].
En este intervalo el valor del seno y del coseno es siempre mayor o igual
a cero, por lo tanto cuando tenemos que en una frmula aparece una raz
cuadrada se toma siempre el valor positivo. En particular daremos los val-
ores para /4, /3, /6. Si conocemos el valor de la funcin coseno para un
ngulo [0, /2] daremos frmulas para los valores del seno y del coseno
en el ngulo /2.
Teorema 5 Se tiene los siguientes valores de las funciones seno y coseno.
A) sen

4
= cos

4
=

2
2
.
B) sen

6
= cos

3
=
1
2
.
C) sen

3
= cos

6
=

3
2
.
Demostracin: Como

4
es complementario a si mismo tenemos sen

4
=
cos

4
que y por lo tanto 2 sen
2
4
= 1, de donde obtenemos A.
Como

6
es complementario a

3
tenemos sen

3
= cos

6
que y por lo tanto
sen

3
= 2sen

6
cos

6
= 2sen

6
sen

3
de donde obtenemos B. Anloga-
mente sen

6
= cos

3
y por lo tanto sen
2
6
+ cos
2
6
= sen
2
6
+
1
4
= 1 de
donde obtenemos C.
El siguiente teorema es una consecuencia inmediata de (1.1.2.3, p. 7).
Ser la base del algoritmo para calcular las funciones trigonomtricas.
Teorema 6 Si [0, /2] y se conoce cos se tiene los siguientes valores
de las funciones seno y coseno para el ngulo /2.
A) sen
a
2
=
_
1cos
2
.
B) cos

2
=
_
1+cos
2
.
Con ayuda de los teoremas anteriores podemos conocer los valores de
sen

2
n
y cos

2
n
de para n = 2, 3, .... Ms aun si =
k
n=2
a
n

2
n
, con a
n
igual
a cero o a uno, entonces (1.1.2.2, p. 6) nos dan formulas para calcular sen
y cos .
Adems si [0, /2) entonces es de la forma =

n=2
a
n

2
n
, con a
n
igual a cero o a uno. Por lo tanto si =
k
n=2
a
n

2
n
, entonces = + con
<

2
k
y por lo tanto | sen sen |< 2 y por lo tanto sen es una
aproximacin de sen , anlogamente cos es una aproximacin de cos .
Con ayuda de estos resultados podemos dar el siguiente algoritmo:
3.3 La funcin inversa 37
Algoritmo 7 Sea el valor del ngulo recto. Se tiene el siguiente algo-
ritmo que dado un nmero real aproxima los valores de las funciones
seno y coseno de .
Al 1) Dar un real positivo que representa el grado de aproximacin
deseado.
Al 2) Encontrar un entero n y un real [0, ] tal que = n +.
Al 3) Encontrar k tal

2
k
<

2
.
Al 4) De la expresin =

n=2
a
n

2
n
encontrar las a
i
, para i = 1, ..., k y
deniendo =
k
n=2
a
n

2
n
por el teorema anterior se ve que | sen sen | <
y que | cos cos | < .
Al 5) Calcular sen y cos .
Al 6) Expresar las funciones de en funcin de las de y usar las
aproximaciones por el ngulo .
3.2.3 Problemas
Problema 145 Enunciar y demostrar el teorema equivalente al teorema
(4, p. 4) para las funciones tangente y cotangente.
Problema 146 Si [0, ) entonces es de la forma =

n=1
a
n

2
n
,
con a
n
igual a cero o a uno. Dar un algoritmo para encontrar as a
i
, para
i = 1, ..., k.
Problema 147 Si [0, ) entonces es de la forma =

n=0
a
n

2
n
,
con a
n
igual a cero, a uno o a menos uno. Dar un algoritmo para encon-
trar as a
i
, para i = 0, ..., k. Dar ejemplos donde esta representacin es
mas eciente (en el sentido que necesita menos sumandos para expresar un
nmero dado) que la dada en el problema anterior.
3.3 La funcin inversa
3.3.1 Metodo de Arquimedes
En esta seccin y en la siguiente usaremos los radianes para medir los
ngulos. La funcin E no tiene una inversa porque no es inyectiva, sin
embargo, si la restringimos al intervalo (, ] es biyectiva y por lo tanto
podemos estudiar su inversa. La si P
1
S
1
entonces E
1
(P
1
) R no es
otra que la longitud del arco que une el punto P
1
= (c, s) con el punto
U = (1, 0) ( la consideramos negativa en el caso de que s sea negativo ).
No es posible dar un algoritmo exacto para el clculo de la inversa de
E, sin embargo, el mtodo de Arqumedes nos permite calcular la longitud
38 3. Algoritmos
del arco con la precisin que se desee. Este mtodo se basa en el siguiente
lema.
Lema 8 Sea P
1
un punto de S
1
y l
1
su distancia a U. Y sea P
2
el punto
que bisecta el arco P
1
U, entonces su distancia a U est dada por: l
2
=
_
2
_
4 l
2
1
Demostracin: Si UOP
1
= entonces l
1
= 2 sen y por lo tanto
l
2
= 2sen

2
y como
2 sen
2

2
= 1 cos = 1
_
1 sen
2
se tiene que
l
2
2
= 4 sen
2

2
= 2 2
_
1
_
l
2
1
2
_
2
O
P
P
1
l
2
P
2
l
2
Dado el punto P
1
= (c, s), si denimos l
1
=
_
(c 1)
2
+s
2
y denimos
P
n
para n = 2, 3, ... como el punto que bisecta el arco P
n1
U y l
n
como
la longitud de la secante P
n
U, entonces nl
n
se aproxima a la longitud del
arco P
1
U. En otras palabras E
1
(c, s) = lim
n
nl
n
. Es fcil implementar
un programa que calcule nl
n
, en una computadora, y por lo tanto nos de
la inversa de E con la aproximacin que necesitemos, sin embargo es muy
ineciente por lo que veremos en el captulo 5 un mtodo ms eciente.
Una de las razones por lo que es muy ineciente este algoritmo es por
que converge muy lentamente y otra de las razones es por que se estn
multiplicando dos nmeros reales uno que crece mucho y otro que tiende a
cero y esto causa muchos problemas con la precisin en la computadoras.
Si nos dan un nmero real c, tal que 1 < c < 1, siempre hay dos puntos
C y D de S
1
tales que c es la ordenada de C y D, esto es C = (c, s) y
D = (c, s) donde s =
1 c
2
. Por esta razn no existe la funcin inversa
de la funcin coseno ni an en el intervalo [, ], lo mismo pasa con la
funcin seno. Sin embargo si nos restringimos a:
cos : [0, ] [1, 1]
el coseno es biyectivo y por lo tanto existe su inverso.
3.3 La funcin inversa 39
3.3.2 Problemas
La substitucin t = tan

2
,ver [9], se puede usar en la solucin de ecua-
ciones en donde las incgnitas aparecen como argumentos de una o ms
funciones trigonomtricas. Esta substitucin tiene la ventaja de que todas
las funciones trigonomtricas de son expresiones racionales en . Si t = tan

2
obtenemos:
tan =
2t
1 t
2
t =
sen
1 +
1 sen
2
t
_
1 sen
2
= sen t
t
2
(1 sen
2
) = (sen t)
2
(1 +t
2
) sen = 2t
sen =
2t
1 +t
2
anlogamente:
cos =
1 t
2
1 +t
2
En las ecuaciones planteadas con funciones trigonomtricas es suciente
con dar la solucione donde el ngulo sea el ms pequeo. En cada uno de
los siguientes 10 problemas existe al menos una solucin donde el ngulo es
un mltiplo racional de . Encontrar estas soluciones y si hay otras dejarlas
indicadas.
Problema 148 4 cos = 3sec .
Problema 149 3 sec
2
= 8 tan 2.
Problema 150 4 sen = 3 csc .
Problema 151 tan = 2 sen.
Problema 152 sec
2
= 2 tan
2
.
Problema 153 csc
2
= 4 cot
2
.
Problema 154 2 cos
2
+ 4sen
2
= 3.
Problema 155 4 sen = 12sen
2
1.
Problema 156 1 + 2 sec
2
tan
2
sec
4
tan
4
= 0.
Problema 157 6 sen
2
11sen + 4 = 0.
Problema 158 Si sen =
4
5
entonces tan +sec = 3.
40 3. Algoritmos
Problema 159 sen
2
+sen
2
(
2
3
+) + sen
2
(
2
3
) = 3/2.
Problema 160 cos
2
9
cos
4
9
cos
8
9
= 1/8.
Problema 161 sen
2
9
sen
4
9
sen
8
9
=

3
8
.
Problema 162 tan(
2
+) =
1+tan
1tan
.
This is page 41
4
Funciones Hiperbolicas
En el primer captulo basamos la trigonometra en el estudio de la funcin
E : L S
1
siendo las funciones seno y coseno la expresin en coordenadas
de la funcin E. La propiedad central de S
1
que se uso para demostrar
el teorema (1.2, p. 2) fue que dado el puto E(y) existe una rotacin que
deja jo a S
1
y que manda E(y) al punto U = (1, 0). En el teorema (3.1,
p. 34) vimos que el rea del sector cicular UOE(x) es igual a x/2. Por lo
tanto podemos ver a las funciones trigonomtricas como expresiones de la
funcin A : R S
1
, donde A(x) es el punto tal que el rea del sector
cicular UOA(x) es igual a x/2. Podemos usar este de punto de vista para
estudiar las funciones hiperblicas.
Una formulacin ms detallada de lo anterior es la siguiente. Si Rot
O
(R
2
)
es el conjunto de rotaciones del plano con centro el origen. Si R Rot
O
(R
2
),
entonces R esta dada en forma matricial por: R(
x
y
) = (
cos
sen
sen
cos
)(
x
y
). Las
rotaciones preservan longitudes. Esto es, si es una curva del plano de lon-
gitud entonces el conjunto R() tiene longitud . Adems las rotaciones
satisfacen las siguientes propiedades:
r1) Las rotaciones preservan reas. Esto es, si A es un conjuto del plano
de rea entonces el conjunto R(A) tiene rea .
r2) det R = 1.
r3) Las rotaciones manda los crculos S
1
R
= {(x, y) : x
2
+ y
2
= R
2
} de
centro el origen y radio R en si mismos.
r4) Si P y Q S
1
R
entonces existe una nica rotacin R Rot
O
(R
2
) tal
que Q = R(P).
r5) Si S, T Rot
O
(R
2
) entonces ST y T
1
Rot
O
(R
2
).
42 4. Funciones Hiperbolicas
En la proxima seccin estudiaremos las transformaciones que tienen las
mismas propiedades respecto de la hiperbola x
2
y
2
= 1.
4.1 Hiperbola Equiltera
En esta seccin daremos un resumen de las pricipales propiedades geomtri-
cas de las hiprbolas equilteras. Sea H
1
k
= {(x, y)|x
2
y
2
= k, k > 0,
x > 0} una rama de una hiprbola equiltera, si k = 1 la llamaremos la
hiprbola unitaria H
1
. Si rotamos 45
o
los ejes coordenados entonces H
1
k
satisface la ecuacin xy = k/2.
Los puntos de H
1
k
satisfacen la propiedad de que los tringulos OAP
y OBQ tienen la misma rea, ms aun esta propiedad caracteriza a las
hiprbolas H
1
k
.
En esta seccin estudiaremos las transformaciones que son de la forma
R(
x
y
) =
_
a b
c d
__
x
y
_
que mandan a las hipbolas H
1
k
en si mismas,
preservan rea y tienen determinante positivo. Al conjunto de estas trans-
formaciones las llamaremos rotaciones hiperblicas y las denotaremos por
H(R
2
).
4.1 Hiperbola Equiltera 43
Claramente para cuaquier (0, ) la funcin T(
x
y
) = (
0
0
1/
)(
x
y
) =
(
x
y/
) es tal que manda a H
1
k
en si misma. Ademas del hecho que un
cuadrado de lado se transforma en un rectngulo de lados y / de
la misma rea es facil ver que T preserva reas y es de determinante igual
a 1. El punto U H
1
k
se transforma en el punto Q =
_
k,

k
_
H
1
k
,
por lo tanto si el punto Q(b,
k
b
) esta en H
1
k
entonces si tomamos =
b
k
obtenemos una transformacin T tal que manda el punto U = (
k,
k) al
punto Q = (b,
k
b
).
Si esta transformacin manda el punto P al punto R entonces el rea del
trapecio hiperblico V APU es la misma que el rea del trapecio hiperblico
BCRQ. Adems si P = (a,
k
a
) entonces R = T(
c
d
), esto es R = (
ab
k
,

k
ab
).
Usando este resultados obtenemos el siguiente resultado:
Teorema 1 Si en la gura se tiene que A = (a, 0), B = (b, 0), C = (c, 0) y
D = (d, 0), entonces las reas de los trapecios hiperblicos ABQP y CDSR
son iguales sii
b
a
=
d
c
Si giramos 45
o
los ejes coordenados la transformacin T(
x
y
) = (
x
y/
)
adquiere la forma T(
x
y
) =
_
a b
b a
__
x
y
_
donde a =
+
1
2
y b =

1
2
,
por lo tanto a > 0 y a
2
b
2
= 1. En esta forma T tiene las propiedades
siguientes:
Preserva reas.
Manda H
1
k
= {(x, y)|x
2
y
2
= k, k > 0, x > 0} en si mismas.
Dado (a, b) H
1
entonces T =
_
a b
b a
_
es tal que T(
1
0
) = (
a
b
).
Si H(R
2
) = {T|T(
x
y
) = (
x
y/
), > 0} o si giramos 45
o
los ejes coordena-
dos H(R
2
) = {T|T(
x
y
) =
_
a b
b a
__
x
y
_
, a > 0, a
2
b
2
= 1}, podemos
resumir los resultados anteriores en la siguiente proposicin.
Proposicin 2 El conjunto H(R
2
) satisface las propiedades:
h1) Si T H(R
2
) entonces T preserva reas.
h2) det T = 1.
h3) Si T H(R
2
) manda las hiperbolas H
1
k
en si mismas.
h4) Si P y Q H
1
R
entonces existe una nica transformacin R
H(R
2
) tal que Q = R(P).
h5) Si S, T H(R
2
) entonces ST y T
1
H(R
2
).
4.2 Logaritmo
Si H
1
2
es la rama {(x, y)|xy = 1, x > 0} de la hiprbola xy = 1, y para
x (0, ) sean los puntos V = (1, 0), A = (x, 0), P = (x,
1
x
) y U = (1, 1).
Entonces denimos la funcin ln:(0, ) R donde lnx es igual al rea del
trapecio hiperblico V APU. Claramente la funcin ln es continua (teorema
fundamental del calculo).
4.2 Logaritmo 45
FIGURE 4.1.
Las propiedades ms importantes de la funcin logaritmo estn dadas en
el teorema siguiente:
Teorema 3 La funcin logaritmo satiface las propiedades:
i) ln(xy) = ln(x) +ln(y) y ln(1) = 0.
ii) Si r R y x (0, ), entonces ln(x
r
) = r ln(x)
iii) ln es una funcin biyectiva entre (0, ) y R.
iv) Si e R es tal que ln(e) = 1 y x R entonces x = e
ln x
v) El rea del trapecio hiperblico ABQP es igual al rea del tringulo
hiperblico OQP.
Demostracin: Si V = (1, 0), A = (x, 0), B = (y, 0) y C = (xy, 0)
entonces la transformacin T H(R
2
) tal que T(V ) = B es tal que T(A0 =
C y por lo tanto el rea del trapecio hiperblico V APU es igual al rea
del tringulo hiperblico BCRQ, esto demuestra la parte i). Y esto implica
ii) para r racional y por continuidad para todo nmero real r. La parte
iii) se sigue del hecho de que la funcin ln es estrictamente creciente y
del hecho que ii) implica que hay valores arbitrariamente grandes tanto
negativos como positivos. La parte v) se sigue de que los tringulos OAP
FIGURE 4.2.
y OBQ tienen la misma rea y por lo tanto el tringulos OCP y el
trapecio ABQC tienen la misma rea.
Como la funcin ln es biyectiva existe un nmero real e R mayor que
1 tal que ln(e) = 1. Y por lo tanto si x R y denimos y = e
ln x
, entonces
lny = lnx lne = lnx y por lo tanto x = e
ln x
.
Daremos ahora una estimacin del nmero e.
Proposicin 4 El nmero e esta en el intervalo (2, 3).
Demostracin: En la gura se tiene los puntos: V = (1, 0), U(1, 1),
A = (2, 0), P = (2,
1
2
), B = (3, 0), Q = (3, 1/3), C = (2, 1), D = (1,
3
4
) y
E = (2,
1
4
). Con esta informacin obtenemos las siguientes desigualdedes.
Como el trapecio hiperblico V APU esta contenido en el cuadrado V ACD,
de rea uno, se tiene que ln(2) < 1 y por lo tanto 2 < e. Adems el trapecio
hiperblico V BQU contiene el trapecio V BED, de rea uno, por lo tanto
ln(3) > 1 y por lo tanto 3 > e. Por lo tanto e (2, 3).
4.3 Funciones Hiperblicas 47
4.3 Funciones Hiperblicas
Si P es un punto de H
1
= {(x, y)|x
2
y
2
= 1, x > 0} y es el doble del rea
del sector hiperblico UOP, que llamaremos el ngulo hiperblico, entonces
las coordenadas del punto P representan las funciones seno hipeblico y
seno hipeblico del ngulo hiperblico . Esto es P = (cosh, senh) y
obtenemos en teorema siguiente.
Proposicin 5 Las funciones seno y coseno hiperblicos satisfacen las
siguientes propiededes:
i) Las funciones seno y coseno hiperblicos estan denidas en R con
valores en R, esto es: senh, cosh : R R.
ii) Se tiene las identidades:
cosh(x y) = coshxcoshy senhxsenhy
senh(x y) = senhxcoshy coshxsenhy
iii) cosh0 = 1.
iv) Si x > 0 entonces senhx > 0.
Demostracin: Si los tringulos hiperblicos OUP, OUP y OUR tienen
reas iguales a y/2, y/2 y x/2 respectivamente y por lo tanto P =
(coshx, senhx), P = (coshx, senhx), Q = (cosh(x y), senh(x y))
y R = (coshy, senhy). Entonces la transformacin T = (
cosh y
senh y
senh y
cosh y
)
preserva reas y manda U a P, P a U y R a Q esto es (
cosh(xy)
senh(xy)
) =
(
cosh y
senh y
senh y
cosh y
)(
cosh x
senh x
), lo que demuestra el teorema.
De la misma forma que se demostraron los teoremas (1.6, p. 6) y (1.7,
p. 7) del captulo se demuestra ahora los siguientes teoremas.En todas
las expresiones algebraicas que siguen si se entender que los argumentos
usados son tales que no se anulan los denominadores.
Teorema 6 Las funciones seno y coseno hiperblicos satisfacen las sigu-
ientes propiedades:
i) cosh
2
x senh
2
x = 1
ii) cosh(x +y) = coshxcoshy +senhxsenhy.
iii) senh(x +y) = senhxcoshy +coshxsenhy.
iv) Se tiene las identidades: senh(x) = senhx, cosh(x) = coshx.
v) senh0 = 0
vi) 2senh
2 x
2
= coshx 1 =
senh
2
x
cosh x+1
vii) 2 cosh
2 x
2
= coshx +1 =
senh
2
x
cosh x1
viii) senh((0, )) (0, ), senh((, 0)) (, 0) y cosh(R) [1, )
Denicin 7 Denimos:
La funcin hiperblica tangente: tanh : R R, tanh(x) =
senh x
cosh x
La funcin hiperblica cotangente: coth : R{0} R, coth(x) =
cosh x
senh x
La funcin hiperblica secante: sech : R R, sec(x) =
1
cosh x
La funcin hiperblica cosecante: csch : R {0} R, csc(x) =
1
senh x
Proposicin 8 Las funciones seno y coseno hiperblicos satisfacen las
siguientes propiedades:
iii) tanh(x) = tanhx y coth(x) = cothx
iv) tanh
x
2
=
cosh x1
senh x
=
senh x
cosh x+1
v) tanh(x y) =
tanh xtanh y
1tanh xtanh y
vi) senhx +senhy = 2 senh(
x+y
2
) cosh(
xy
2
)
vii) senhx senhy = 2 cosh(
x+y
2
) senh(
xy
2
)
viii) coshx +coshy = 2 cosh(
x+y
2
) cosh(
xy
2
)
ix) coshx coshy = 2senh(
x+y
2
) senh(
xy
2
)
Denicin 9 Denimos la funcin exponencial: exp : R R, exp(x) =
coshx +senhx.
Las propiedades de las funciones hiperblicas nos dan las siguientes
propiedades de la funcin exponencial.
Teorema 10 La funcin exponencial satisface las siguientes propiedades:
i) exp(0) = 1
ii) exp(x +y) = exp(x) exp(y)
iii) exp(x) =
1
exp(x)
iv) exp(R) (0, )
ii) senhx =
exp(x)exp(x)
2
y coshx =
exp(x)+exp(x)
2
iv) Si Q entonces exp(x) = exp(x)

Las relaciones que hay entre las funciones hiperblicas y la funcin ex-
ponencial nos permite demostrar algunas propiedades como en el siguiente
ejemplo.
Ejemplo 11 Se tiene las identidades:
senh3x = 4 senh
3
x + 3senhx = 4 cosh
2
xsenhx senhx
cosh3x = 4 cosh
3
x 3 coshx = 3senh
2
xcoshx +cosh
3
x
Demostracin: Como senh3x =
exp(3x)exp(3x)
2
=
exp(x)
3
exp(x)
3
2
se
tiene que
senh3x =
(coshx + senhx)
3
(coshx senhx)
3
2
= 3cosh
2
xsenhx + senh
3
x
= 3(1 +senh
2
x) senhx + senh
3
x
= 4senh
3
x +3 senhx
la otra identidad se demuestra de la misma forma.
4.3.1 Problemas.
Los siguientes problemas sirven tanto para practicar el uso de las identi-
dades anteriores como para estudiar nuevas identidades.
Problema 163 senh2x = 2 senh xcoshx
Problema 164 cosh2x = cosh
2
x+senh
2
x = 1+2senh
2 x
2
= 2 cosh
2 x
2
1
Problema 165 Demostrar que si x R entonces coshx 1 y senhx <
coshx.
Problema 166 sech(x) = sechx y csch(x) = cschx
Problema 167 1 tanh
2
x = sech
2
x
Problema 168 coth
2
x 1 = csch
2
x
Problema 169 senh =
2 tanh

2
1tanh
2
2
.
Problema 170 cosh =
1+tanh
2
2
1tanh
2
2
.
4.3.2 Desigualdades de las Funciones Hiperblicas
Para poder estudiar las propiedades de continuidad y diferenciabilidad de
las funciones hiperblicas necesitamos el siguiente resultado, el cual es la
base del estudio de las propiedades analticas de las funciones trigonomtri-
cas.
Teorema 12 Para todo real x R, x = 0 se tienen las desigualdades
siguientes:
coshx >
senhx
x
> 1
Demostracin: En la gura vemos que el tringulo OUP esta contiene
al sector OUP que a su vez est contiene al tringulo OUT, adems se
tiene que: OQP OUT y por lo tanto UT =
senh x
cosh x
calculando el doble
del rea de las tres guras obtenemos: senhx > x >
senh x
cosh x
para x > 0, que
son desigualdades claramente equivalentes a las del teorema. El caso cuando
x es negativa se sigue del caso x > 0.
This is page 51
5
Analisis de las Funciones
Trigonomtricas e Hiperblicas
En este captulo estudiaremos las propiedades de las funciones trigonomtri-
cas e hiperblicas relacionadas con el clculo diferencial e integral. En par-
ticular daremos frmulas para calcular las derivadas de estas funciones.
Adems de las series de Taylor de las funciones seno y coseno, tanto en
el caso de las funciones trigonomtricas como en las funciones hiperblicas
as como de la funcin exponencial. El mtodo que usaremos es totalmente
elemental, aparte de los resultados previos solo se usara las deniciones
elementales y del teorema fundamental del clculo integral.
Los resultados de clculo diferencial e integral que necesitamos son los
siguientes:
Teorema 1 Si x es un real, entonces:
lim
n
x
n
n!
= 0
Teorema 2 Si s
n
: (a, b) (0, ) i = 1, 2, ... es una sucesin suce-
sin de funciones positivas tales que s
n
(x) > s
n+1
(x) y que adems para
x (a, b) tenemos que lim
n
s
n
(x) = 0 entonces existe el limite f(x) =
lim
n
n=1
(1)
n
s
n
(x) y adems |f(x)
N
n=1
s
n
(x)| < s
N
(x) s
N+1
(x).
Teorema 3 Si f, s
n
: (0, a) R son unas funcines continuas y a
n
una
sucesin de reales, tales que:
i) f(x) = a
0
+a
1
x +a
2
x
2
+... +a
n
x
n
+s
n
(x)
ii) Para toda x (a, b) se tiene que lim
n
_
x
0
s
n
(t) = 0
52 5. Analisis de las Funciones Trigonomtricas e Hiperblicas
iii) Se dene la funcin F(x) =
_
x
0
f(t)dt para x (0, a).
entonces la serie S
n
(x) = a
0
x+
a1x
2
2
+
a2x
3
3
+... +
anx
n+1
n+1
, converge a la
funcin F.
Problema 171 Demostrar los teoremas anteriores.
5.1 Funciones Trigonomtricas
El siguiente teorema nos da una estimacin de que tan bien sen( + ) y
cos( +) aproximan a sen y a cos cuando y + (0,

2
).
Proposicin 4 Las funciones seno y coseno son continuas, adems son
positivas en el intervalo (0,

2
). Ms aun si , + y (0,

2
):
i) La funcin seno es estrctamente creciente en el intervalo [0, ] ademas
| sen( +) sen | < .
ii) La funcion coseno es estrctamente decreciente en el intervalo [0, ]
ademas | cos( +) cos | < .
Demostracin: Usando el teorema (3.2, p. 34) se tiene la desigualdad
senx > xcos x y po lo tanto el seno es positivo en el intervalo (0,

2
). Lo
cual demuestra que todas las funciones trigonomtricas son positivas en el
intervalo (0,

2
).
Ademas si > 0 y , y + estan en (0,

2
) se tiene la igualdad
sen( +) sen = 2 cos( +

2
) sen

2
que demuestra que la funcin seno es estrictamente creciente, ademas us-
ando la desigualdad, |2 sen

2
| < , demuetra i). La proposicin ii) se sigue
de la igualdad
cos( +) cos = 2 sen( +

2
) sen

2
De la desigualdad sen < se siguen las desigualdades
| sen( +) sen | < 2sen

2
<
| cos( +) cos | < 2sen

2
<
que demuestran que las funciones seno y coseno son continuas.
Corolario 5 La restriccin de la funcin seno al intervalo [
2
,

2
] da una
biyeccin entre [
2
,

2
] y [1, 1]. La restriccin de la funcin coseno al
intervalo [0, ] da una biyeccin entre [0, ] y [1, 1].
5.1 Funciones Trigonomtricas 53
Demostracin: Como las funciones seno y coseno son estrictamente
crecientes y decrecientes respectivamente son funciones inyectivas, por esto,
lo nico que falta demostrar es que son suprayectivas y esto se sigue del
teorema del valor intermedio ya que son funciones continuas.
Teorema 6 Si (0,

2
) entonces:
A) 1

2
2
< cos < 1.
B)

3
4
< sen < .
Demostracin: Del teorema anterior se sigue que sen

2
<

2
y tan

2
>
2
. Por lo tanto cos = 12 sen
2
2
> 12(
2
)
2
> 1
2
2
de donde se sigue
A).
Para demostrar B) tenemos que
sen = 2sen

2
cos

2
= 2 tan

2
cos
2

2
= 2tan

2
(1 sen
2

2
) > 2
2
(1

2
4
)
Corolario 7 Se tiene los limites
lim
0
sen
= 1
lim
0
1 cos
= 0
Teorema 8 La funcin f : [0,

2
] R denida por f() =
sen
es una
funcin decreciente.
Demostracin: Si y + (0,

2
] y > 0 entonces
f() f( +) =
( +) sen sen( +)
( +)
=
sen(1 cos ) + sen cos sen
( +)
pero cada sumando del denominador es positivo ya que > sen y sen >
cos .
Corolario 9 La funcin f : (0,

2
] R denida por f() =
sen
es tal que
f((0,

2
]) [1,
2
].
Teorema 10 Se tiene las frmulas siguientes:
i) sen
= cos
ii) cos
= sen
Demostracin: Se tiene la frmula
sen( +) sen
=
2 cos( +
h
2
) sen

2
= cos( +

2
)
sen

2
2
de donde se sigue i). La propiedad ii) se demuestra de la misma forma.
Con ayuda de este resultado y del teorema fundamental del clculo in-
tegral obtenemos las series de Taylor de las funciones seno y coseno. Para
esto se dene los polinomios siguientes:
S
2n+1
() =

3
3!
+

5
5!
... +(1)
n

2n+1
(2n + 1)!
C
2n
() = 1

2
2!
+

4
4!
... +(1)
n

2n
(2n)!
que usando los teoremas (1, p. 51) y (2, p. 51) vemos que estos polinomios
denen series convergentes.
Teorema 11 Si > 0 se tienen las desigualdades:
S
4n1
() < sen < S
4n+1
()
C
4n2
() < cos < C
4n
()
Demostracin: Si > 0 de la desigualdad cos < 1 se sigue que:
_

0
cos x dx <
_

0
dx
sen <
5.1 Funciones Trigonomtricas 55
si integramos repetidamente obtenemos la siguiente sucesin de desigual-
dades
_

0
senx dx <
_

0
xdx
1 cos <

2
2!
cos > 1

2
2!
_

0
cos x dx >
_

0
(1
x
2
2!
)dx
sen >

3
3!
_

0
senx dx >
_

0
(x
x
3
3!
)dx
1 cos >

2
2!

4
4!
cos < 1

2
2!
+

4
4!
continuando de esta forma obtenemos por induccin el teorema.
Recordando las frmulas:
arctan =
_

0
dt
1 +t
2
1
1 +t
2
= 1 t
2
+t
4
... +(1)
2
t
2n
+
(1)
n+1
t
2n+2
1 +t
2
for n = 1, 2, .... Y denimos los polinomios
AT
2n+1
(x) = t
t
3
3
+
t
5
5
... +(1)
2
t
2n+1
2n +1
Teorema 12 Si x [1, 1] entonces
| arctan AT
2n+1
(x)| =
|x|
2n+3
2n +3
Usaremos este resultado para dar series que nos dan . Sin embargo esta
serie converge rpidamente slo si x esta muy cerca de cero. Por esta razn
daremos distintas formas para hacer el clculo, cada una de ellas ms e-
ciente que la anterior.
Usando este resultado obtenemos la siguiente frmula para calcular .
Aunque no es muy eciente podremos usar la idea para obtener otras formas
ms ecientes para calcular .
4
= arctan1 = 1
1
3
+
1
5

1
7
+
1
9

que converge muy lentamente. Para obtener una serie que converja ms
rpido necesitamos ngulos que estn ms cerca de cero.
Para obtener una formula ms eciente necesitamos las siguientes iden-
tidades. Si = arctan
1
2
y = arctan
1
3
entonces:
tan( +) =
tan +tan
1 tantan
=
1
2
+
1
3
1
1
2
1
3
= 1 = tan

4
y por lo tanto
4
= arctan
1
2
+arctan
1
3
esta frmula es de Charles Hutton (1776) y fue usada por W. Lehmann en
1853 para calcular con 261 cifras decimales.
Para obtener una formula aun ms eciente usaremos las siguientes iden-
tidades. Si = arctan
1
5
y = arctan
1
239
entonces:
tan2 =
2
5
1
1
25
=
5
12
tan4 =
10
12
1
25
144
=
120
119
tan(4 ) =
tan4 tan
1 + tantan
=
120
119

1
239
1 +
120
119
1
239
= 1 = tan

4
y por lo tanto
4
= 4 arctan
1
5
arctan
1
239
frmula obtenida por Machin en 1706 y usada por William Rutherford 1853
para calcular con 440 cifras decimales.
6
=
1
3
(1
1
3 3
+
1
3
2
5

1
3
3
7
+...
1
2
arctan = arctan

1 +
1 +
2
4
= 5arctan
1
7
+2 arctan
3
79
Problema 175 Si f : R R esta denida como f(x) =
x
1+
1+x
2
en-
tonces:
i) La funcin f es continua y creciente.
ii) f([, ]) = (1, 1)
iii) Para toda x, se tiene que |f(x)| < 1 y |f(f(x))| <
1
1+
2
.
iv) Si x R y denimos y
0
= x y y
i+1
= f(y
i
) entonces lim
i
y
i
= 0.
Problema 176 Usar los problemas anteriores para dar un algoritmo para
calcular arctanx, para toda x real.
Problema 177 Si p
n
= cos

2
cos

2
2
cos

2
n
entonces lim
n
p
n
=
sen
.
(Sugerencia: sen = 2 cos

2
sen

2
, sen = 2
2
cos

2
cos

2
2
sen

2
2
, etc.).
5.2 Funciones Hiperblicas
El siguiente teoremas nos da informacin en el caso hiperblico.
Proposicin 13 Las funciones hiperblicas y la funcin exponencial son
continuas, adems son positivas en el intervalo (0, ). Ms aun:
i) La funcin seno es estrctamente creciente en el intervalo [0, ).
ii) La funcion coseno es estrctamente creciente en el intervalo [0, )
iii) La funcin exponencial es estrctamente creciente en el intervalo
[0, )
Demostracin: Del teorema (4.12, p. 50) obtenemos la informacin
siguiente. De la desigualdad senhx > x se tiene que el seno hiperblico
es positivo en el intervalo (0, ). Ademas si h > 0 y x 0 se tiene la
igualdad se tiene que el coseno hiperblico es positivo para toda x R.
cosh(x +h) cosh x = 2 senh( x +
h
2
) senh
h
2
que demuestra que la funcin coseno hiperblico es estrictamente creciente
en [0, ).
Igualmente se tiene
senh(x +h) senh x = 2cosh( x +
h
2
) senh
h
2
que demuestra que la funcin seno hiperblico es estrictamente creciente en
(0, ). Lo cual demuestra que todas las funciones hiperblicas son positivas
en el intervalo en (0, ).
Si |h| < 1 se tiene la desigualdad
h < senhh < hcoshh < hcosh1
lo que demuestra que el seno hiperblico es continua en el cero. Ademas si
x > 0 y |h| < 1 se obtienen las desigualdades
| senh(x +h) senh x| < 2cosh( x +
1
2
)| senh
h
2
|
| cosh(x +h) cosh x| < 2senh( x +
1
2
)| senh
h
2
|
que demuetran que las funciones seno y coseno hiperblicas son continuas
en (0, ) y de ahi se sigue para todos los reales.
Corolario 14 Se tiene el limite:
lim
x0
senhx
x
= 1
Demostracin: Como el seno hiperblico es continuo en el origen se
tiene que lim
x0
senhx = 0. Ademas usando que coshx = 2 senh
2 x
2
+ 1 se
tiene las desigualdades
coshx 1 = 2senh
2
x
2
>
senhx
x
1 > 0
que demuestra el corolario.
Teorema 15 Se tiene las frmulas siguientes:
i) senh
x = coshx
ii) cosh
x = senhx
iii) exp
x = exp
x
Demostracin: Se tiene la frmula
senh(x +h) senhx
h
=
2 cosh(x +
h
2
) senh
h
2
h
= cosh(x +
h
2
)
senh
h
2
h
2
de donde se sigue i). La propiedad ii) se demuestra de la misma forma. La
propiedad iii) se sigue de i) y ii)
5.3 Funcin exponencial
Con ayuda de este resultado y del teorema fundamental del clculo integral
obtenemos las series de Taylor de la funcin exponencial. Para esto se dene
los polinomios siguientes:
E
n
(x) = 1 +
x
1!
+
x
2
2!
+
x
3
3!
+... +
x
n
n!
5.3 Funcin exponencial 59
y por lo tanto
E
n
(x) = 1
x
1!
+
x
2
2!

x
3
3!
+... +(1)
n
x
n
n!
que usando los teoremas (1. p. 51), (2, p. 51) y (3, p. 51) vemos que las
E
n
(x) denen una serie convergente.
Teorema 16 Si 0 < x < a se tienen las desigualdades:
E
n
(x) < expx < E
n
(x) +
x
n+1
(n + 1)!
expa
y ademas expx = lim
n
E
n
(x).
Si x > 0 se tienen las desigualdades:
E
2n1
(x) < exp(x) < E
2n
(x)
y ademas exp(x) = lim
n
E
n
(x).
Demostracin: Si 0 < x < a de la desigualdad exp(x) < 1 si inte-
gramos obtenemos la siguiente desigualdad:
_
x
0
exp(y)dy <
_
x
0
dy
1 exp(x) < x
por lo que se tiene 1 < expx < 1 xexpx < 1 xexpa. Si integramos
repetidamente obtenemos la siguiente sucesin de desigualdades:
_
x
0
dy <
_
x
0
expy dy <
_
x
0
(1 y expa)dy
x
1!
< expx 1 <
x
1!

x
2
2!
expa
_
x
0
(1 +
y
1!
)dy <
_
x
0
expy dy <
_
x
0
(1 +
y
1!

y
2
2!
expa)dy
x
1!
+
x
2
2!
< expx 1 <
x
1!
+
x
2
2!

x
3
3!
expa
continuando de esta forma obtenemos por induccin la propiedad i) del
teorema.
Si x > 0 de la desigualdad exp(x) < 1 obtenemos la siguiente sucesin
de desigualdades:
_
x
0
exp(y)dy <
_
x
0
dy
1 exp(x) <
x
1!
exp(x) > 1
x
1!
_
x
0
exp(y)dy >
_
x
0
(1
y
1!
)dy
1 exp(x) <
x
1!

x
2
2!
exp(x) > 1
x
1!
+
x
2
2!
continuando de esta forma obtenemos por induccin la propiedad ii) del
teorema.
Corolario 17 Para toda x R se tiene que exp(x) = lim
n
E
n
(x).
Daremos los desarrollos de Taylor de las funciones seno y coseno hiper-
blicas. Para esto denimos los polinomios:
SH
2n+1
(x) = x +
x
3
3!
+
x
5
5!
+... +
x
2n+1
(2n +1)!
CH
2n
(x) = 1 +
x
2
2!
+
x
4
4!
+... +
x
2n
(2n)!
con los que obtenemos el corolario:
Corolario 18 Para toda x R se tiene que:
senhx = lim
n
SH
2n+1
(x)
coshx = lim
n
CH
2n
(x)
En la proposicin (4.4, p. 46) se demostro que e (2, 3). Usando la
misma idea podemos dar mejores aproximaciones para el nmero e. Ms
aun podemos aproximar e
a
, para a R.
Proposicin 19 Para todo n, entero mayor que uno y a R se tiene las
desigualdades
(1 +
a
n
)
n
< e
a
< (1 +
a
n
)
n+a
5.4 Problemas 61
Demostracin: Si A = (1 +
a
n
, 0) se tiene P = ((1 +
a
n
,
n
n+a
) y por
lo tanto el rectangulo V APW tiene rea
a
n+a
. Y el rectangulo V AQU
tiene rea
a
n
. Adems el rectangulo V APW esta contenido en el trapecio
hiperblico V APU el cual esta contenido en el rectangulo V AQU. Por lo
tanto
a
n
> ln(1 +
a
n
) >
a
n +a
lo que implica las desigualdades
a > ln(1 +
a
n
)
n
a < ln(1 +
a
n
)
n+a
que son equivalentes a las desigualdades de la proposicin.
Corolario 20 Si a R entonces e
a
= lim
n
(1 +
a
n
)
n
.
5.4 Problemas
Seccin no escrita.
This is page 63
6
Aplicaciones de la Trigomometra
6.1 Resolucin de tringulos
Podemos decir que conocemos bien un tringulo cuando conocemos sus la-
dos y sus ngulos. Cuando se dan tres de estos elementos se puede tratar de
encontrar los otros tres. Sin embargo no siempre es posible hacerlo o hacerlo
de forma nica. En los siguientes problemas se dan tres de estos elementos
y se pide dar las frmulas para calcular los otros tres, es importante que
den varias formas de calcular los otros tres elementos y discutir las ventajas
de cada una de ellas. Especial cuidado se debe tener en dar las condiciones
para que existan soluciones y cuando estas son nicas, dar tanto razones
geomtricas como algebraicas A este proceso se le suele llamar el resolver
el tringulo.
Problema 178 Resolver un tringulo dado sus tres lados.
Problema 179 Resolver un tringulo dado dos de sus lados y el ngulo
comprendido.
Problema 180 Resolver un tringulo dado dos de sus ngulos y un lado.
Problema 181 Resolver un tringulo dado dos de sus lados y el ngulo
opuesto a uno de ellos.
Problema 182 Resolver un tringulo dado sus tres ngulos.
64 6. Aplicaciones de la Trigomometra
6.2 Aplicaciones a la geometra
Una de las primeras aplicaciones de la trigonometra fue a la geometra. En
esta seccin estudiaremos algunos ejemplos de esta teora.
6.2.1 Tringulo
Teorema 1 De los tringulos inscritos en un crculo de radio R el trin-
gulo equiltero es el mayor permetro y rea.
Demostracin: Si (A, B, C) son los ngulos de un tringulo su permetro
esta dada por 2R(senA + senB + senC), por lo que es suciente encon-
trar el mximo de la funcin senA + senB + senC. Si el tringulo no es
equiltero, podemos suponer que A = B, entonces:
senA+ senB = 2 sen
A+B
2
cos
AB
2
< 2 sen
A+B
2
= sen
A +B
2
+sen
A +B
2
y por lo tanto el tringulo isceles de ngulos (
A+B
2
,
A+B
2
, C) tiene un
permetro mayor.
El rea del tringulo esta dada por = 2R
2
senAsenBsenC, por lo
que es suciente encontrar el mximo de la funcin senAsenBsenC. De la
misma forma si el tringulo no es equiltero, podemos suponer que A = B,
entonces:
senAsenB =
cos(A +B) cos(A B)
2
<
cos(A +B) 1
2
= sen
A +B
2
sen
A +B
2
y por lo tanto el tringulo isceles de ngulos (
A+B
2
,
A+B
2
, C) tiene una
rea mayor.
En el tringulo ABC se tienen las alturas AD, BE y CF que se cortan
en el ortocentro H.
6.2 Aplicaciones a la geometra 65
el tringulo DEF se llama el tringulo pedal del tringulo ABC. De
la gura obtenemos el siguiente resultado:
Teorema 2 En el tringulo DEF, de ngulos agudos, se tiene:
i) Las rectas AD, BE y CF son las bicectrices. Ms aun
FDH = HDE = 90
o
A
ii) Los ngulos del tringulo DEF son D = 180
o
2A, E = 180
o
2B
y F = 180
o
2C.
iii) Los lados del tringulo DEF son d = a cos A = Rsen2A, e =
b cos B = Rsen2B y f = c cos C = Rsen2C.
iv) El rea del tringulo DEF es
1
2
R
2
sen2Asen2Bsen2C.
v) El radio del crculo circuncrito del tringulo DEF es
R
2
.
Demostracin: Como el crculo de diametro BC pasa por E y F, se
tiene que FDH = ABH = 90
o
A anlogamente HDE = 90
o
A y
por lo tanto se tiene i) y ii).
Se tiene que ACB = AFE porque ambos son complementarios del
ngulo DFE, igualmente ABC = AEF y por lo tanto ABC
AEF. Por lo tanto:
cos A =
AE
AB
=
EF
BC
=
d
a
que junto con la ley de los senos nos da iii). El rea del tringulo DEF
es
1
2
ef sen(180
o
2A) =
1
2
R
2
sen2Asen2Bsen2C. De la ley de los senos
vemos que el radio del crculo circuncrito del tringulo DEF es
d
2 sen D
=
Rsen 2A
2 sen(180
o
A)
=
R
2
.
Teorema 3 En un tringulo ABC se tiene que la distancia entre el in-
centro I al circuncentro O esta dada por:
OI
2
= R
2
2Rr
Demostracin: Prolongamos el segmento AI asta que corte el circuncr-
culo en el punto H. Trazamos el diametro HA
, que es perpendicular a BC,

unimos A
con C. Entonces HA
C = HAC =
A
2
.
Como el ngulo HIC es un ngulo exterior del HIC se tiene que
HIC =
A
2
+
C
2
. Tambien HCI = HCB +BCI =
A
2
+
C
2
. Y por lo
tanto HI = HC = 2Rsen
A
2
. Tambien AI =
r
sen
A
2
y por lo tanto HI AI =
2Rr. Pero usando el problema (190, p. 69) (ROI)(R +OI) = 2Rr.
Teorema 4 En un tringulo ABC se tiene las frmulas:
i) La distancia del ortocentro H al circuncentro O esta dada por:
HO
2
= R
2
8R
2
cos Acos Bcos C
ii) La distancia del vertice A al incentro I esta dada por:
AI = 4Rsen
B
2
sen
C
2
iii) La distancia del ortocentro H al incentro I esta dada por:
HI
2
= 2r
2
4R
2
cos Acos Bcos C
Demostracin: Usando la ley de los cosenos, para el tringulo AOH,
obtenemos:
HO
2
= AO
2
+AH
2
2AO AH cos HAO
ademas:
AHF = 90
o
HAF = 90
o
DAB = B
AO = R
AH = AF csc B = b cos Acsc B
= 2RsenBcos Acsc B = 2Rcos A
SAO = HAB OAB = (90
o
B) (90
o
C) = C B
por lo tanto obtenemos i) de la siguiente forma:
HO
2
= R
2
+ 4R
2
cos
2
A4R
2
cos Acos(C B)
= R
2
4R
2
cos A(cos(B +C) + cos(C B))
= R
2
8R
2
cos Acos Bcos C
Usando el problema (2.88, p. 23), obtenemos:
sen
A
2
=
r
AI
r = AI sen
A
2
= 4Rsen
A
2
sen
B
2
sen
C
2
Problema 183 En el tringulo ABC con C > 90
o
con tringulo pedal
DEF, se tiene:
i) Los ngulos del tringulo DEF son D = 2A, E = 2B y F =
2C 180
o
.
ii) Los lados del tringulo DEF son d = a cos A = Rsen2A, e =
b cos B = Rsen2B y f = c cos C = Rsen2C.
Problema 184 En el tringulo ABC se tiene que OH
2
= 9R
2
a
2
b
2
c
2
.
Problema 185 En el tringulo ABC con tringulo pedal DEF, se
tiene:
i) El semipermetro de DEF es 2RsenAsenBsenC.
ii) El radio del crculo inscrito de DEF es 2Rcos Acos Bcos C.
iii) Los radios de los crculos excritos son: 2Rcos AsenBsenC, 2RsenAcos BsenC
y 2RsenAsenBcos C.
Problema 186 Si h
a
, h
b
, h
c
son las alturas del tringulo, entonces
1
h
a
+
1
hb
+
1
hc
=
1
r
y
1
ha
+
1
hb

1
hc
=
1
rc
.
Problema 187 En la gura tenemos:
A
B C
a
b
c
D
x
p q
BD
DC
=
ABsenBAD
ACsenDAC
a x
2
= p b
2
+q c
2
a p q
(esta ltima igualdad se le conoce como el teorema de Stewart).
P
B
D
F
A
C
E
O
T
FIGURE 6.1.
Problema 188 Si en problema 187 la recta AD es la bisectriz del ngulo
BAC entonces
BD
DC
=
AB
AC
y si es la bisectriz exterior del ngulo BAC
entonces
BD
DC
=
AB
AC
. Adems:
x
2
= b c
_
1
a
2
(b +c)
2
_
Problema 189 Si en un tringulo ABC las bisectrices de los gulos A
y B son iguales, entonces a = b.
Problema 190 Si C es un crculo de radio r, P es un punto y PAB y
PCD son dos secantes entonces:
PA PB = PC PD
esta constante se llama la potencia de P respecto a C. Ademas si la
distancia de P al centro de C es d entonces la potencia de P respecto a C
es igual a d
2
r
2
. Si P es un punto exterior a C, entonces la potencia de
P respecto a C es igual a PT
2
.
Problema 191 Si en problema 187 BD = DC (esto es si AD es la me-
diana del ABC) entonces x
2
=
2(b
2
+c
2
)a
2
4
.
6.2.2 Cuadrilteros
A B
C
D
a
b
c
d
x
y
P
Teorema 5 Dado un cuadriltero convexo ABCD de lados a = AB, b =

BC, c = CD y d = DA su rea est dada por la frmula:
2
= (s a)(s b)(s c)(s d) abcdcos
2
(
A+C
2
)
donde s es el semipermetro.
Demostracin: Si = 4(ad+bc)
2
(a
2
+d
2
b
2
c
2
)
2
encontraremos
la siguiente identidad:
= 4(ad +bc)
2
(a
2
+d
2
b
2
c
2
)
2
=
_
(a +d)
2
(b c)
2
][(b +c)
2
(a d)
2
= (a +b +c d)(a +b +d c)(a +c +d b)(b +c +d a)

= 16(s a)(s b)(s c)(s d)
Usando T3) y la ley de los cosenos en los tringulos ABD y BCD
obtenemos las identidades siguientes:
a
2
+d
2
b
2
c
2
= 2ad cos A2bc cos C
4 = 2ad senA +2bc senC
elevando al cuadrado y sumando obtenemos:
16
2
+ (a
2
+d
2
b
2
c
2
)
2
= 4(a
2
d
2
+b
2
c
2
) 8abcdcos(A+C)
= 4(ad +bc)
2
16abcd
1 + cos(A +C)
2
y por lo tanto 16
2
= 16abcd
1+cos(A+C)
2
y usando la identidad anterior
obtenemos el resultado buscado.
Teorema 6 Dado un cuadriltero convexo ABCD de diagonales x y y,
que se cortan en un ngulo , entonces su rea est dada por la frmula:
=
xy sen
2
Demostracin: En la gura anterior tenemos que:
(ABC) = (ABP) +(BPC)
=
AP PBsen(180
o
)
2
+
CP PBsen
2
=
x PBsen
2
anlogamente: (CDA) =
xPDsen
2
y por lo tanto:
=
x PBsen
2
+
x PDsen
2
=
xy sen
2
Corolario 7 De todos los cuadriltero convexo ABCD de lados a = AB,
b = BC, c = CD y d = DA el de rea maxima es el cclico y su rea est
dada por la frmula:
2
= (s a)(s b)(s c)(s d)
Problema 192 En un cuadriltero convexo ABCD de lados a = AB,
b = BC, c = CD y d = DA y diagonales x y y su rea est dada por la
frmula:
2
= 4x
2
y
2
(a
2
+d
2
b
2
c
2
)
2
Problema 193 Dados cuatro segmentos a, b, c y d existe un cuadriltero
convexo ABCD de lados a = AB, b = BC, c = CD y d = DA sii s a,
s b, s c, s d son positivos (donde
a+b+c+d
2
). En este caso existe un
cuadriltero ciclico.
Problema 194 Dado un cuadriltero cclico convexo ABCD de lados a =
AB, b = BC, c = CD y d = DA y diagonales x = AC y y = BD, inscrito
en un crculo de radio R demostrar que:
x
2
=
(ad +bc)(ac +bd)
ab +cd
y
2
=
(ab +cd)(ac +bd)
ad +bc
R =
1
4
_
(ab +cd)(ac +bd)(ad +bc)
xy = ac +bd (Teorema de Ptolomeo)
x
y
=
ad +bc
ab +cd
A B
C
D
a
b
c
d
x
y
6.3 Aplicaciones a la topografa
Seccin no escrita.
6.4 Ecuaciones cbicas
En esta seccin estudiaremos las ecuaciones cbicas con coecientes reales.
La forma de la ecuacin es f(x) = a
3
x
3
+ a
2
x
2
+ a
1
x + a
0
con a
3
y a
0
distintas de cero. Daremos una condicin necesaria y suciente para que
una ecuacin cbica tenga tres races reales. En este caso daremos una
solucin usando las funciones trigonomtricas.
El estudio de las ecuaciones cbicas se har con ayuda de la grca de
la funcin y = f(x). Para esto se usarn varias transformaciones, que in-
cluyen cambio de escala en los ejes coordenados y cambio de origen de
las absisas. Cada una de estas transformaciones simplica la forma de la
ecuacin y permite encontrar las soluciones de la ecuacin original cono-
ciendo las soluciones de la ecuacin transformada. Ms aun cada una de
estas transformaciones es una transformacin biyectiva en los ejes coorde-
nados. Podemos suponer que a
3
= 1, esto se logra con la transformacin de
cambiar la escala en y por un factor de
1
a3
. Con la transformacin z = x,
con =
a2
3
, se obtiene la funcin y = f(z) = z
3
+Az +B y por esta razn
podemos suponer que esta es la forma de la ecuacin dada. Adems si
A = 0 o B = 0 entonces podemos encontrar fcilmente las soluciones de la
ecuacin (veo Problema 198, pag. 75).
El siguiente resultado implica que toda ecuacin cbica tiene al menos
una raz real.
Teorema 8 Si f(z) = z
3
+ Az + B entonces la funcin f : R R es
suprayectiva.
6.4 Ecuaciones cbicas 73
Demostracin: Como f(x) = x
3
(1
A
x
2
+
B
x
3
) es claro que si tomamos
x > 4max{|A|, |B|, 1} entonces f(x) <
x
3
2
y f(x) >
x
3
2
. Por lo tanto
f adquiere valores arbitrariamente grandes y negativos as como valores
arbitrariamente grandes y positivos. El teorema del valor intermedio nos
dice que f es suprayectiva.
Estudiando la derivada de la funcin f daremos ahora una condicin
necesaria para que la ecuacin tenga tres races reales.
Teorema 9 Si la funcin y = f(x) = z
3
+Az +B no es siempre creciente,
entonces A < 0.
Demostracin: Como f
= 3x
2
+A entonces la funcin f es creciente
en x excepto si la ecuacin 3x
2
+A = 0 tiene dos races reales diferentes.
Por lo tanto si A 0 entonces f(x) = z
3
+Az +B es siempre creciente
y solo puede tener una raz.
En la ecuacin es f(x) = x
3
Ax+B con A > 0. Usando la substitucin
x = z y multiplicando por
4
3
, obtenemos 4z
3
4A
2
z+
4B
3
que si escogemos
a =
_
4A
3
se obtiene la forma f(x) = 4x
3
3x C con C =
3B
A
_
3
4A
,
y por lo tanto podemos suponer que C > 0.
Supondremos ahora que la funcin no es siempre creciente. Por lo tanto
la forma de la ecuacin es f(x) = x
3
3x C.
Teorema 10 La ecuacin 4x
3
3xC tiene tres races reales si y solo si
C [1, 1].
Demostracin: En este caso la funcin es creciente en (,
1
2
) y
(
1
2
, ) y decreciente en (
1
2
,
1
2
). Es claro que la ecuacin tiene tres races
reales si y solo si la funcin f es no negativa en
1
2
y no positiva en
1
2
. Pero estas condiciones son: f(
1
2
) =
1
2
+
3
2
C = 1 C 0 y
f(1/2) =
1
2

3
2
C = 1 C 0.
Corolario 11 La ecuacin x
3
Ax + B, con A > 0 ecuacin tiene tres
races reales si y solo si 27B
2
< 4A
3
.
Comparando 4x
3
3x C con las identidades
4 cos
3

3
3cos

3
cos = 0
4 cosh
3

3
3 cosh

3
cosh = 0
4 senh
3

3
+ 3 senh

3
senh = 0
obtenemos el siguiente teorema, el cual nos da las raices reales de una
ecuacin cbica.
Teorema 12 En la ecuacin f(x) = 4x
3
3x C con C > 0 entonces se
tienen los casos:
i) Si f(x) = 4x
3
3xC con C (0, 1], entonces si cos = C, las races
reales de la ecuacin son cos

3
, cos
+2
3
y cos
+4
3
.
ii) Si f(x) = 4x
3
3x C con C [1, ), entonces si cosh = C, la
raz real de la ecuacin es cosh

3
.
iii) Si f(x) = 4x
3
+ 3x C con C (0, ), entonces si senh = C, la
raz real de la ecuacin es senh

3
.
Demostracin: La demostracin de i) usa la periodicidad del coseno.
Por lo tanto si f(x) = 4x
3
3x C tiene tres raices reales y C = cos ,
sus raices son cos

3
, cos
2
3
= cos
2
3
cos

3
sen
2
3
sen

3
=
1
2
cos

3

3
2
sen

3
. Esto es si una de sus raices es , etonces sus otras raices son:
1
2

3
2
1
2
. En el caso de que la ecuacin f(x) = 4x
3
+3x+C, con
= 1, tenga una raiz las otras raices son de la misma forma, esto es de
la forma
1
2

3
2

2
, para verlo necesitamos el siguiente teorema.
Teorema 13 Si es una raiz de f(x) = 4x
3
+ 3x + C, con = 1,
entonces las otras raices son

2

3
2
_
( +
2
).
Demostracin: Dividiendo f(x) entre x , obtenemos
4x
3
+ 3x +C = (x )(4x
2
+4x +3 + 4
2
)
de donde obtenemos el teorema.
Como sen
2
3
=

3
2
y cos
2
3
=
1
2
, las otras raices tienen la forma
cos
2
3
sen
2
3
_
( +
2
). Ademas se tiene el corolario.
Corolario 14 En la ecuacin f(x) = 4x
3
3xC con C > 0 entonces se
tienen los casos:
i) Si f(x) = 4x
3
3xC con C (0, 1], entonces si cos = C, las races
de la ecuacin son cos

3
,
1
2
cos

3

3
2
sen

3
.
ii) Si f(x) = 4x
3
3x C con C [1, ), entonces si cosh = C, las
races de la ecuacin son cosh

3
,
1
2
cosh

3
i
3
2
senh

3
.
iii) Si f(x) = 4x
3
+ 3x C con C (0, ), entonces si senh = C, las
races de la ecuacin son senh

3
,
1
2
senh

3
i
3
2
cosh

3
.
6.4.1 Problemas
Terminaremos esta seccin con una serie de ejercicios enfocados en recor-
dar las propiedades ms elementales de la teora de los polinmios, con
coecientes reales. En estos ejercicios se usara la notacion P(X) = a
n
X
n
+
a
n1
X
n1
+...+a
1
X+a
0
, con a
n
= 0 y a
i
R para i = 0,...,n para denotar
un polinmio de grado n y por
1
,
2
,...,
n
sus raices (reales o complejas).
Los resultados se necesitan para n 4, pero son validos en general.
6.4 Ecuaciones cbicas 75
Problema 195 P(X) = a
n
(X
1
)(X
2
)...(X
n
)
Problema 196 Los coecientes de P satisfacen las siguientes identidades:
i
=
a
n1
a
n
i<j
j
=
a
n2
a
n
2
...
n
= (1)
n
a
0
a
n
Problema 197 Demostrar que en un tringulo ABC se tiene que r
a
, r
b
y r
c
son las raices de la ecuacin cbica x
3
(
s
+ 4R)x
2
+s
2
x s = 0.
Problema 198 Encontrar las soluciones de la ecuacin z
3
+Az +B = 0
cuando A = 0 o B = 0.
Problema 199 Demostrar que en un tringulo ABC se tiene que r, r
a
,
r
b
y r
c
son las raices de la ecuacin x
4
(
2
s
+4R)x
3
+(s
2
+

2
+4sR
s
2
)x
2
2sx +
2
= 0.
Problema 200 Si R entonces si P(X) = (X )Q(X) + r, donde
r R, entonces r = P(). Esto es X divide a P(X) sii es una raiz
de P(X).
Problema 201 Si CR es una raiz de P(X) entonces es una raiz
de P(X).
Problema 202 Si el grado de P(X) es impar entonces P(X) tiene al
menos una raiz real.
Problema 203 Si , + y son las raices de 4x
3
+3x+C entonces
+ 2 = 0 y 2 +
2
2
=
3
4
. Por lo tanto si es una raiz entonces
las otras raices son

2

3
2
_
( +
2
) (ver (13, p. 74)).
Problema 204 Si X = Y , con R entonces
Q(Y ) = P(X) = P(Y ) = a
n
Y
n
+ (a
n1
na
n
)Y
n1
+...
por lo tanto si =
an1
nan
se tiene se anula el coeciente de Y
n1
.
This is page 77
References
[1] M. Baker, A Collection of Formulae for the Area of a Plane Triangle,
Ann. of Math. I, 134-138; and Ann. of Math. V, 11-18.
[2] O. Barney, Herons Remarkable Triangle Area Formula, Mathematics
Teacher, 86, 161-163.
[3] P Beckmann, A History of (PI), St. MartinS Press, 1974.
[4] C. Velarde, Aproxicin de Funciones Mediante Maquinas Digitales: El
Algoritmo Cordic, preprint, (1983).
[5] A. Guinand, Euler Lines, Tritangent Center, and their Triangles, Am.
Math. Monthly, 90 (1984), 290-300.
[6] H. S. Hall y S. R. Knight, Trigonometra Elemental, UTEHA, Mxico
1981.
[7] R. S. Hatcher, Some Little-Know Recipes for , Mathematics Teacher,
66 (1973), 470-474.
[8] E. J. McShane, The Addition Formulas for the Sine and Cosine, Am.
Math. Monthly, 48, (1941), 688-689.
[9] R. W. Wagner, A Substitution for Solving Trigonometric Equations,
Am. Math. Monthly, 54 (1947), 220-221.

Trigo No Me Tria

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Trigo No Me Tria

Caricato da

Copyright:

Formati disponibili

i

Problema 1 Demostrar que: sen = OS, cos = OC, tan = UT,

) son las coordenadas cartesianas de P y

) son las coordenadas polares de P entonces:

En esta seccin se estudiarn algunas series asociadas a funciones trigonomtri-

Demostracin: Se tiene las igualdades

es un dimetro y por lo tanto

< 1 (notar que no suponemos

= (a +b +c d)(a +b +d c)(a +c +d b)(b +c +d a)

de ABC; cada una de rea

esta en una sola de las lunulas; un

4.3 Funciones Hiperblicas 49

, que es perpendicular a BC,

Teorema 5 Dado un cuadriltero convexo ABCD de lados a = AB, b =

= (a +b +c d)(a +b +d c)(a +c +d b)(b +c +d a)

Potrebbero piacerti anche