Trigonometra sin dibujitos

Silva
Eduardo Viruena
3 de abril de 2013
Definicion
1. Dados dos numeros

enteros no negativos a, b, a b, se define el coeficiente del binomio de a y b, as:



a!
a
:=
b
b!(a b)!
Definicion
2 (Serie). Sea {an } una sucesion de numeros

reales. Definimos la serie

{{an }} as:
( n
)
X
{{an }} :=
ak
k=0

es decir, la serie {{an }} es la sucesion de sumas parciales de la sucesion {an }.

Definicion
3 (Suma de una serie). Si el lmite de la serie {{an }} existe, entonces a
dicho numero

le llamaremos la suma de la serie {{an }} y escribiremos:

ak := lm

k=0

n
X

ak

(1)

k=0

Definicion
4 (Producto de dos series). El producto de dos series de numeros

reales:
{{an }} y {{bn }} se define as:
(( n
))
X
{{an }} {{bn }} :=
ak bnk
(2)
k=0

seno). La funcion seno es la funcion:

Definicion
5 (Funcion
sen : R

R
sen() :=

X
(1)k 2k+1
k=0

(2k + 1)!

es decir, la funcion seno, evaluada en un punto , es la suma de la serie:



(1)k 2k+1
2k + 1

(3)

Observacion
1. sen(0) = 0.
Observacion
2. La funcion seno es una funcion impar.
Demostracion. Sea R
sen() =
=
=

X
(1)k ()2k+1
k=0

X
k=0

(2k + 1)!
(1)k (1)2k+1 2k+1
(2k + 1)!
(1)k (1)2k+1
(2k + 1)!

k=0

k=0

(1)k 2k+1
(2k + 1)!

= sen()

coseno). La funcion coseno es la funcion:

Definicion
6 (Funcion
cos : R

cos() :=

X
(1)k 2k
k=0

(2k)!

es decir, la funcion coseno, evaluada en un punto , es la suma de la serie:



(1)k 2k
2k
Observacion
3. cos(0) = 1.
Observacion
4. La funcion coseno es una funcion par.

(4)

Demostracion.
cos() =
=
=
=

X
(1)k ()2k
k=0

X
k=0

X
k=0

X
k=0

(2k)!
(1)k (1)2k 2k
(2k)!
(1)k 2k
(2k)!
(1)k 2k
(2k)!

= cos()

Proposicion
1. Para cualesquiera que sean y R:
sen( + ) = sen() cos() + cos() sen()

(5)

Demostracion.
sen() cos() =
=
=
=

X
(1)k 2k+1 X (1)k 2k

(2k + 1)!
(2k)!

k=0
n
X
X

n=0 k=0
X
n
X
n=0 k=0
n
X
X
n=0 k=0

k=0

2k+1

(1)
(1)nk 2(nk)

(2k + 1)!
(2(n k))!
(1)k 2k+1 (1)nk 2n2k

(2k + 1)!
(2n 2k)!
(1)k 2k+1 (1)nk 2n+12k1

(2k + 1)!
(2n + 1 2k 1)!
n

(1)n X
(2n + 1)!
2k+1 2n+1(2k+1)
(2n
+
1)!
((2n
+
1)

(2k
+
1))!

(2k
+
1)!
n=0
k=0


n 
X
(1)n X 2n + 1
2k+1 2n+1(2k+1)
=
2k + 1
(2n
+
1)!
n=0
=

k=0

X
(1)k 2k X (1)k 2k+1

cos() sen() =
(2k)!
(2k + 1)!

k=0
X
n
X

n=0 k=0

k=0

(1)
(2k)!

2k

(1)nk 2(nk)+1
(2(n k) + 1)!
3

X
n
X
(1)k 2k
n=0 k=0

(2k)!

(1)nk 2n2k+1
(2n 2k + 1)!

(2n + 1)!
(1)n X
2k 2n+12k
(2n
+
1)!
(2n
+
1

2k)!

(2k)!
n=0
k=0

n 

n X
X
(1)
2n + 1
=
2k 2n+12k .
2k
(2n + 1)!
=

n=0

k=0

Ahora, sumando las expresiones de sen() cos() y de cos() sen():

sen() cos() + cos() sen() =

n 

X
(1)n X 2n + 1
2k+1 (2n+1)(2k+1)
=
2k + 1
(2n
+
1)!
n=0
k=0


n 
X
(1)n X 2n + 1
+
2k (2n+1)2k
2k
(2n
+
1)!
n=0
k=0

n 

n
X
X
(1)
2n + 1
2k+1 (2n+1)(2k+1)
=
2k + 1
(2n
+
1)!
n=0
k=0
!

n 
X
2n + 1
2k (2n+1)2k
+

.
2k
k=0

Debemos hacer notar que las sumas en el parentesis son los terminos impares
y pares de una misma suma:

n 
X
2n + 1
r (2n+1)r
r
r=0

que, por el teorema del binomio de Newton, es igual a ( + )2n+1 . De manera

que tenemos entonces:
sen() cos() + cos() sen() =

X
(1)n
( + )2n+1 = sen( + ),
(2n
+
1)!
n=0

Corolario 1. Si sustituimos por en la identidad del seno de la suma (ec. 5)

obtenemos:
sen( ) = sen() cos() + cos() sen()
= sen() cos() cos() sen()
de donde:
sen( ) = sen() cos() cos() sen()

(6)

Corolario 2. Para cualquiera que sea R:

sen(2) = 2 sen() cos()

(7)

anterior (ec. 5) tomemos = .

Demostracion. En la proposicion
sen( + ) = sen() cos() + sen() cos()
= 2 sen() cos().

Proposicion
2. Para cualesquiera que sean y R:
cos( + ) = cos() cos() sen() sen()

Demostracion.

X
(1)k 2k X (1)k 2k
cos() cos() =

(2k)!
(2k)!

=
=

k=0
X
n
X

n=0 k=0
n
X
X
n=0 k=0

k=0

(1)
(2k)!

2k

(1)nk 2(nk)
(2(n k))!

(1)k 2k (1)nk 2n2k

(2k)!
(2n 2k)!

n
(1)n X
(2n)!
=
2k 2n2k
(2n)!
(2k)!

(2n 2k)!
n=0
k=0


n 
X
(1)n X 2n
=
2k 2n2k
2k
(2n)!
n=0
k=0

X
(1)k 2k+1 X (1)k 2k+1
sen() sen() =

(2k + 1)!
(2k + 1)!

=
=
=
=

k=0
X
n
X

n=0 k=0
X
n
X
n=0 k=0
X
n
X
n=0 k=0
X
n
X
n=0 k=0

k=0

2k+1

(1)
(1)nk 2(nk)+1

(2k + 1)!
(2(n k) + 1)!
(1)k 2k+1 (1)nk 2n2k+1

(2k + 1)!
(2n 2k + 1)!
(1)k 2k+1 (1)nk 2n+22k1

(2k + 1)!
(2n + 2 2k 1)!
(1)k 2k+1 (1)nk (2n+2)(2k+1)

(2k + 1)!
((2n + 2) (2k + 1))!
5

(8)


n
X
(1)n X
(2n + 2)!
2k+1 2n+2(2k+1)
(2n
+
2)!
(2n
+
2

(2k
+
1))!

(2k
+
1)!
n=0
k=0

n 

X
(1)n X 2n + 2
=
2k+1 2n+2(2k+1)
2k + 1
(2n + 2)!

n=0

k=0

En esta suma podemos hacer un cambio de ndice: r := n + 1 y obtenemos

sen() sen() =

r1 

X
(1)r1 X

(2r)!

r=1

k=0

r1 
X
(1)r X
r=1

(2r)!

k=0

2r
2k + 1

2r
2k + 1

2k+1 2r(2k+1)
2k+1 2r(2k+1)

Esta suma puede empezarse en r = 0 porque la suma interior no aporta sumandos pues tiene un ndice inicial mayor que el final.
sen() sen() =

r1 

X
(1)r X
r=0

(2r)!

k=0

2r
2k + 1

2k+1 2r(2k+1)

Ahora, hagamos la resta de cos() cos() y sen() sen():



n 
X
(1)n X 2n
2k 2n2k
cos() cos() sen() sen() =
2k
(2n)!
+

n=0

k=0

n n1
X

(1)
(2n)!
n=0

k=0

2n
2k + 1

2k+1 2n(2k+1) .

Debemos hacer notar que las sumas en el parentesis son los terminos impares
y pares de una misma suma:

n 
X
2n
r 2nr
r
r=0

que, por el teorema del binomio de Newton, es igual a ( + )2n . De manera

que tenemos entonces:
cos() cos() sen() sen() =

X
(1)n
( + )2n = cos( + ),
(2n)!
n=0

Corolario 3. Para cualquiera que sea R:

cos2 () + sen2 () = 1
6

(9)

 anterior (ec. 8) podemos tomar

Demostracion. Sea R. En la proposicion
= y obtenemos:
cos( ) = cos() cos() sen() sen()
cos(0) = cos() cos() + sen() sen()
2

// coseno par, seno impar

1 = cos () + sen ().

Corolario 4. Si sustituimos por en la identidad del coseno de la suma (ec. 8),

obtenemos:
cos( ) = cos() cos() sen() sen()
= cos() cos() + sen() sen()
de donde:
cos( ) = cos() cos() + sen() sen()

(10)

Corolario 5. Para cualquiera que sea R:

cos(2) = cos2 () sen2 ()

anterior (ec. 8) tomemos = .

Demostracion. En la proposicion
cos( + ) = cos() cos() sen() sen()
cos(2) = cos2 () sen2 ().

Proposicion
3. Para cualesquiera que sean y R:
1
(sen( + ) + sen( ))
2
1
cos() sen() = (sen( + ) sen( ))
2
1
cos() cos() = (cos( + ) + cos( ))
2
1
sen() sen() = (sen( + ) + sen( ))
2
sen() cos() =

(11)
(12)
(13)
(14)

Demostracion. Recordemos las las ec. (5) y (6):

sen( + ) = sen() cos() + cos() sen()
sen( ) = sen() cos() + cos() sen()
sumandolas obtenemos:
sen( + ) + sen( ) = 2 sen() cos()
1
sen() cos() = (sen( + ) + sen( ))
2
restandolas obtenemos:
sen( + ) sen( ) = 2 cos() sen()
1
cos() sen() = (sen( + ) sen( )).
2
Recordemos las ec. (8) y (10):
cos( + ) = cos() cos() sen() sen()
cos( ) = cos() cos() + sen() sen()

Sumandolas obtenemos:
cos( + ) + cos( ) = 2 cos() cos()
1
cos() cos() = (cos( + ) + cos( ))
2
restandolas obtenemos:
cos( + ) cos( ) = 2 sen() sen()
1
sen() sen() = (cos( + ) cos( ))
2

Corolario 6. En las ecuaciones de la proposicion anterior podemos hacer las sustituciones:

B =

A = + ,
y de ellas obtener:
=

A+B
,
2

AB
2

entonces, las identidades ahora son:






A+B
AB
sen(A) + sen(B) = 2 sen
cos
2
2




A+B
AB
sen(A) sen(B) = 2 cos
sen
2
2




A+B
AB
cos(A) + cos(B) = 2 cos
cos
2
2




A+B
AB
cos(A) cos(B) = 2 sen
sen
2
2
Definicion
7. La funcion tangente se define as:


2k + 1
:kZ

tan : R
2

(15)
(16)
(17)
(18)

R
tan() :=

sen()
cos()

(19)

Observacion
5. La funcion tangente es impar.
seno es impar y la funcion
coseno es par, teneDemostracion. Como la funcion
mos:
sen()
cos()
sen()
=
cos()
sen()
=
cos()
= tan()

tan() =

Proposicion
4. Supongamos que , R, que tanto tan() como tan() estan
definidas y que tan() tan() 6= 1, entonces:
tan( + ) =

tan() + tan()
1 tan() tan()

(20)

Demostracion.
sen( + )
cos( + )
sen() cos() + cos() sen()
=
cos() cos() sen() sen()

tan( + ) =

sen() cos()
cos() cos()
cos() cos()
cos() cos()

cos() sen()
cos() cos()
sen() sen()
cos() cos()

tan() 1 + 1 tan()
1 1 tan() tan()
tan() + tan()
=
1 tan() tan()
=

Corolario 7. Si en la proposicion anterior (ec. 20), sustituimos por , obtenemos:

tan( ) =

tan() + tan()
1 tan() tan()

Pero como la funcion tangente es impar:

tan( ) =

tan() tan()
1 + tan() tan()

Corolario 8. Sea R, si tan() esta definida, y si tan2 () 6= 1, entonces:

tan(2) =

2 tan()
1 tan2 ()

anterior (ec. 20), tomemos = .

Demostracion. En la proposicion
tan() + tan()
1 tan() tan()
2 tan()
tan(2) =
1 tan2 ()

tan( + ) =

Continuara...

10

(21)