Fundamentos de la Matemtica

Kevin Pichucho Gonzaga

Universidad Central del Ecuador
July 26, 2017

Abstract
Usando identidades trigonometricas y induccin se demostrara la siguente
sucecin para n 2 N:
Ejercicio 12, Pg. 202, seccin 5.12, Analisis Matemtico Lara y Arroba 6o
edicin.
Demuestre por induccin que:
sin[ 12 (n+1) ] sin( 21 n )
a) sin + sin 2 + ::: + sin n = sin( 2 )
Usamos el metodo de induccin para demostrar debido a que n 2 N:
sin[ 21 (n+1) ] sin( 12 n )
sin + sin 2 + ::: + sin n = sin( ) 2
sin[ 12 (k+1) ] sin( 21 k )
Hipotesis inductiva: sin + sin 2 + ::: + sin k = sin( 2 )
sin[ 12 (k+2) ] sin( 21 (k+1) )
Tesis inductiva: sin +sin 2 +:::+sin k +sin(k+1) = sin( 2 )
Sumamos a ambos lados de la igualdad de la hipotesis sin(k + 1)
Tenemos:
sin[ 21 (k+1) ] sin( 12 k )
sin( )
+ sin(k + 1) =
2
sin[ 21 (k+1) ] sin( 12 k )+sin( 2 ) sin(k+1)
sin( 2 )
=
Usamos la identidad cos( + ) = cos cos sin sin y tenemos
1
cos 2 (k+1) cos( 12 k ) cos(( 21 (k+1) )+( 12 k ))+sin( 2 ) sin(k+1)
sin( 2 )
=
Usamos la identidad cos( + ) = cos cos sin sin y tenemos
1
cos 2 (k+1)cos( 12 k ) cos(( 21 (k+1) )+( 12 k ))+cos( 2 ) cos(k+1) cos(( 2 )+(k+1) )
sin( 2 )
=
cos 21 (k+1) cos( 12 k ) cos( 21 (2k+1))+cos( 2 ) cos(k+1) cos( 21 (2k+3))
sin( 2 )
=
cos 2 k cos( 2 + 2 k ) cos( 2 +k )+cos 2 cos( +k ) cos( 2 +k )
1 1 1 1 1 3

sin( 2 )
=
Usamos la identidad cos cos = cos( 2 + ) + cos( 2 )
1 1 1 1 1 1
2 cos( 2 k + 2 + 2 k )+ 2 cos( 2 k ( 12 + 12 k )) cos( 12 +k )+ 21 cos( 21 + +k )+ 12 cos( 21 ( +k )) cos( 32 +k )
sin( 2 )
=
1
2 cos( 12 +k )+ 21 cos( 1
2 ) cos( 1
2 +k )
+ 21 cos( 32 +k )+ 21 cos( 1
2 k ) cos( 3
2 +k )
sin( 2 )
=
Sabemos que cos( ) = cos( )
1
2 cos( 12 )+ 21 cos( 21 +k ) cos( 12 +k )+ 21 cos( ( 12 +k ))+ 12 cos( 32 +k ) cos( 32 +k )
sin( 2 )
=

1
1
2 cos 1
2
1
2 cos( 12 +k )+ 12 cos( 12 +k ) 1
2 cos( 32 +k )
sin( 2 )
=
1
2 cos 1
2
1
2 cos( 3
2 +k )
sin( 2 )
=
1
2 cos 1
2 + 12 cos( 32 +k ) 1
2 cos( 32 +k ) 1
2 cos( 32 +k )
sin( 2 )
=
1 1 1 1 1
2 cos( 2 )+ 2 cos( 2 (2k+3)) cos 2 (2k+3)
sin( 2 )
=
1 1 1 1 1
cos( (2k+3))+ cos( ) cos (2k+3)
2 2 2
sin( 2 )
2 2
=
1 1 1 1 1 1 1
cos( (k+2)+ (k+1))+ cos( (k+2) 2 (k+1)) cos 2 (2k+3)
2 2 2 2 2
sin( 2 )
=
Usamos la identidad cos cos = cos( 2 + ) + cos( 2 )
cos 12 (k+2) cos 12 (k+1) cos 12 (2k+3)
sin( 2 )
=
cos( 12 (k+2) ) cos( 12 (k+1) ) cos(( 21 (k+2) )+( 12 (k+1) ))
sin( 2 )
=
Usamos la identidad cos( + ) = cos cos sin sin y tenemos
sin[ 21 (k+2) ] sin( 12 (k+1) )
sin( 2 )
)Queda demostrado que se cumple para todo n 2 N.