Prof.

Enrique Mateus Nieves

Doctorado en Educacin Matemtica

Identidades Trigonomtricas

Una identidad trigonomtrica es una igualdad entre expresiones que contienen funciones
trigonomtricas y es vlida para todos los valores del ngulo en los que estn definidas las funciones (y
las operaciones aritmticas involucradas).

Notacin: se define sen2 como (sen )2. Lo mismo se aplica a las dems funciones trigonomtricas.

Relacin pitagrica sen 2 cos 2 1

sen
Identidad de la razn tan
cos

De estas dos identidades, se puede extrapolar la siguiente tabla. Sin embargo, ntese que estas ecuaciones
de conversin pueden devolver el signo incorrecto (+ ). Por ejemplo, si sen 21 la conversin
propuesta en la tabla indica que cos 1 - sen 2 2
3
, aunque es posible que cos 2
3
. Para
obtener la nica respuesta correcta se necesitar saber en qu cuadrante est .

Funciones de ngulos negativo

sen - sen cos - cos tan - tan

cot - Cot sec - sec csc - Csc

 Prof. Enrique Mateus Nieves
Doctorado en Educacin Matemtica

Frmulas de adicin.
sen sen cos cos sen cos cos cos sen sen
tan tan cot tan 1
tan cot
1 tan tan cot cot

Funciones trigonomtricas en funcin de las otras cinco.

En
trminos Sen Cos Tan cotan Sec Csc
de
tan 1 sec 2 1 1
sen sen 1 cos 2
1 tan 2
1 cot 2
sec Csc

1 Cot 1 Csc 2 1
Cos 1 sen 2 Cos
1 tan 2
1 cot 2
sec Csc
sen 1 cos 2 1 1
Tan Tan sec 2 1
1 sen 2
cos cot Csc 2 1

1 sen 2 Cos 1 1
cot cot Csc 2 1
sen 1 cos 2
tan sec 2 1

1 1 1 cot 2 Csc
Sec 1 tan 2 Sec
1 sen 2
cos cot Csc 2 1

1 1 1 tan 2 sec
Csc 1 cot 2 Csc
ses 1 cos 2 tan sec 2 1

Identidades de ngulos mltiples

Si Tn es el n-simo Polinomio de Chebyshev entonces cos nx Tn cos x

Formula de De Moivre: cos nx i sen nx cos x i sen x

Identidades para ngulos doble, triple y medio

Pueden obtenerse remplazndolo y por x (o sea sen x x sen 2 x ) en las identidades

anteriores, y usando el teorema de Pitgoras para los dos ltimos (a veces es til expresar la identidad en
trminos de seno, o de coseno solamente), o bien aplicando la frmula de De Moivre cuando n 2 .
 Prof. Enrique Mateus Nieves
Doctorado en Educacin Matemtica

Frmula del ngulo doble

sen 2 2sen cos cos 2 cos 2 - sen 2

2 tan cos 2 2 cos 2 1

sen 2 2 tan cot tan
cos 2 1 2 sen 2 tan 2 Cot 2
1 tan 2 1 tan 2 2
1 tan 2
cos 2
1 tan 2

Frmula del ngulo triple

sen 3 3sen 4 sen3 3 tan tan 3
cos 3 4 cos 3 3 cos tan 3
1 3 tan 2
Frmula del ngulo medio

tan Csc cot
2

1 cos 1 cos 1 cos

sen cos tan cot csc cot
2 2 2 2 2 1 cos 2

sen
tan
2 1 cos

sen
Producto infinito de Euler: cos cos cos cos n
2 4 8 n1 2

Identidades para la reduccin de exponentes

Resuelve las identidades tercera y cuarta del ngulo doble para sen2 x y cos2 x .

Sen 1 - cos 2 3sen - sen 3

sen2 sen3
2 4

Cos 1 cos 2 3sen - sen3

cos5
10 cos 5cos 3 cos 5
cos 2 cos3
2 4 16

Otros 1 - cos 4 sen 3 2

sen2 cos 2 sen 3 cos3
8 8
 Prof. Enrique Mateus Nieves
Doctorado en Educacin Matemtica

Paso de producto a suma

Puede probarse usando el teorema de la suma para desarrollar los segundos miembros.
cos cos cos cos
cos cos sen sen
2 2
sen sen sen sen
sen cos cos sen
2 2

Deduccin de la identidad

cos cos
cos cos Sabemos por el teorema de la suma y la resta que:
2
cos cos cos sen sen Si separamos la suma de la resta quedan entonces los dos posibles
casos:
i. cos cos cos sen sen
ii. cos cos cos sen sen
Si tomamos la ecuacin i y despejamos cos cos nos queda que:
iii. cos cos cos sen sen
Y si sumamos el miembro de la derecha de la ecuacin ii al miembro izquierdo de la ecuacin iii, y para
mantener la igualdad se suma el lado izquierdo de la ecuacin ii en el lado derecho de la ecuacin iii (al sumar la
misma cantidad a ambos miembros de la ecuacin la nueva ecuacin sigue siendo cierta), quedara:

cos cos sen sen cos cos cos sen sen cos -
Simplificando el elemento sen sen y sumando cos cos quedara:

2 cos cos cos cos Y por ltimo multiplicando ambos lados de la ecuacin por
queda:
cos cos
cos cos
2
Nota:

Este procedimiento tambin se puede aplicar para demostrar el origen de las otras dos ecuaciones
simplemente cambiando los valores.
cos cos
Usando iii y el resultado anterior se obtiene tambin: sen sen Notar el
2
cambio de signo.
 Prof. Enrique Mateus Nieves
Doctorado en Educacin Matemtica

Funciones trigonomtricas inversas

Las tres funciones trigonomtricas inversas comnmente usadas son:

Arcoseno es la funcin inversa del seno de un ngulo. Se nota arcsen . El significado geomtrico es: el
arco cuyo seno es dicho valor. La funcin arcoseno real es una funcin - 1,1 0 ,2 , es decir, no est
definida para cualquier nmero real. Esta funcin puede expresarse mediante la siguiente serie de Taylor:

- 2 x 1

1 x3 1 3x5 1 3 5 x 7
arcsen x -1 x 1
2 3 2 4 5 2 4 6 7

2 x1

Arcocoseno es la funcin inversa del coseno de un ngulo. Se nota arccos . El significado

geomtrico es: el arco cuyo coseno es dicho valor. Es una funcin similar a la anterior, de hecho puede

definirse como: arcsen arsen
2
Arcotangente es la funcin inversa de la tangente de un ngulo. Se nota arctan . El significado
geomtrico es: el arco cuya tangente es dicho valor. A diferencia de las anteriores la funcin
arcotangente est definida para todos los reales. Su expresin en forma de serie es:

x3 x5 x7
x 3 5 7 x 1
arctan .

1 1 1
con x 1, con x -1
2 x 3 x 3 5 x 5

2 , si x 0
arctan ar cot
, si x 0
2

arctan arctan arctan
1 -
 Prof. Enrique Mateus Nieves
Doctorado en Educacin Matemtica

Series de potencias
A partir de la definicin anterior pueden establecerse que las funciones seno y coseno son funciones
analticas cuya serie de Maclaurin viene dada por:

sen

1k x 2 k 1 x x 3 x 5 x 7
k 0 2k 1! 1! 3! 5! 7!

cos

1 x 2 k
k

x x2 x4 x6

k 0 2k ! 0! 2! 4! 6!

Estas identidades son a veces usadas como las definiciones de las funciones seno y coseno. Con
frecuencia se utilizan como el punto de partida para el tratamiento riguroso de las funciones
trigonomtricas y sus aplicaciones (por ejemplo en las Series de Fourier), debido a que la teora de las
series infinitas puede ser desarrollada a partir de la base del sistema de nmeros reales,
independientemente de cualquier consideracin geomtrica. La diferenciabilidad y continuidad de estas
funciones es entonces establecida a partir de las definiciones de series por s misma.

Relacin con la exponencial compleja

Existe una relacin importante entre la exponenciacin de nmeros complejos y las funciones
trigonomtricas segn la frmula de Euler: e i cos i sen

Esta relacin puede probarse usando el desarrollo en serie de Taylor para la funcin exponencial y el
obtenido en la seccin anterior para las funciones seno y coseno. Separando ahora en parte real e
imaginaria en la expresin anterior se encuentran las definiciones de seno y coseno en trminos de
exponenciales complejas:

ei e i ei e i
cos ; sen
2 2i

A partir de ecuaciones diferenciales

Las funciones seno y coseno satisfacen la igualdad: y y Es decir, la segunda derivada de cada
funcin es la propia funcin con signo inverso. Dentro del espacio funcional de dos dimensiones V, que
consiste en todas las soluciones de esta ecuacin,

La funcin seno es la nica solucin que satisface la condicin inicial y0 , y 0 1,0

Y
La funcin coseno es la nica solucin que satisface la condicin inicial y0 , y 0 0,1
 Prof. Enrique Mateus Nieves
Doctorado en Educacin Matemtica

Dado que las funciones seno y coseno son linealmente independientes, juntas pueden formar la base de V.
Este mtodo para definir las funciones seno y coseno es esencialmente equivalente a utilizar la frmula de
Euler. Adems esta ecuacin diferencial puede utilizarse no solo para definir al seno y al coseno, con ella
tambin se pueden probar las identidades trigonomtricas de las funciones seno y coseno. Adems, la
observacin de que el seno y el coseno satisfacen y y implica que son funciones eigen del operador
de la segunda derivada.

La funcin tangente es la nica solucin de la ecuacin diferencial no lineal y 1 y 2 satisfaciendo la

condicin inicial y(0) = 0. Existe una interesante prueba visual de que la funcin tangente satisface esta
ecuacin diferencial.

Referencias:

Stewart, J. Clculo. Trascendentes tempranas.Cengage Learning. Sexta edicin. 2008. Texto gua del curso. Stewart.
Weisstein, E.W: CRC Concise Encyclopedia of Mathematics. Chapman & Hall 1999

Heath, Sir Thomas (1921) (en ingls). A history of Greek Mathematics vol. 1. Londres, Inglaterra: Oxford University Press. OCLC 2014918.
Esquema del desarrollo histrico de la matemtica pgs. pg. 6. Universidad Nacional del Nordeste.

J J O'Connor y E F Robertson. Abu Abdallah Mohammad ibn Jabir Al-Battani (en ingls) (html). Consultado el 08-06-2008. La
trigonometria rab, Al-Battani, Abul-Wafa, Ibn Yunus, Nasir al-Tusi (en cataln) (html). Consultado el 08-06-2008. Al-Kashi, Gamshid
ibn Messaoud (en francs).

Vite, Franois (1579). Canon mathematicus seu ad triangula. Lutetia Mettayer. OCLC165919384.
Boyer, Carl B.; Uta C. Merzbach (1968). A History of Mathematics. New York: Estados Unidos: John Wiley & Sons. pp. 439445. ISBN 0-
471-54397-7.