Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P.

No 1
Variable Compleja - lgebra y Topologa en Complejos

T. P. No 1 - EJERCICIOS RESUELTOS
Enunciado
10. Verificar que si x \ , k ` :

1
sen n + x
2

eikx = x
k = n
sen
2
obtener en consecuencia
n

a)

b)

1
sen n + x
2
1

cos kx = 2 + x
k =1
2sen
2
n

Resolucin
Resuelto por: Miguel Goldstein
Revisado por: Gustavo M. Murmis - Eduardo G. Murmis - Ariel Burman
a) Esta igualdad la podemos demostrar con dos mtodos
Mtodo 1:
Comencemos por desarrollar
n

x
sen eikx
2 k = n

(1)

Reemplazando eikx = cos ( kx ) + i sen ( kx ) , en (1) obtenemos

n
n
x
x
sen eikx = sen ( cos ( kx ) + i sen ( kx ) )
2 k = n
2 k = n

Y si tenemos en cuenta que sen

( 2x ) no depende de k , lo podemos introducir en

la sumatoria, y luego distribuyendo resulta:

n

x
sen eikx = cos ( kx ) sen
2 k = n
k = n

( 2x ) + i sen ( kx ) sen ( 2x )

Aplicando las identidades trigonomtricas,

n

( (

x
sen eikx = 2i cos kx 2x cos kx + 2x

2 k = n
k = n

2009

) ) + 12 ( sen ( kx + 2x ) sen ( kx 2x ) )
Pg. 1 de 5

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 1

Variable Compleja - lgebra y Topologa en Complejos

( ((

) )

) ))

((

( ((

) )

) ))

((

x
sen eikx = 2i cos k 12 x cos k + 12 x + 12 sen k + 12 x sen k 12 x

2 k = n
k = n

Separemos esta sumatoria en dos, para facilitar su estudio:

n

i
2

1
2

((

) )

((

) )

((

) )

((

) )

cos k 1 x cos k + 1 x
2
2

sen k + 1 x sen k 1 x
2
2

k = n

k = n

(3)

(4)

Analizando la sumatoria (3), observamos que para cada trmino de la misma, se

((

) )

suma cos k 12 x

((

) )

que es igual al valor de cos k + 12 x que se resta en el

trmino anterior. Por lo tanto estos dos valores se cancelan entre s.

Por ejemplo, sumando los trminos con k = 2 y k = 3 , tendramos:

((

) )

((

) )

((

) )

((

) )

cos 2 12 x cos 2 + 12 x + cos 3 12 x cos 3 + 12 x =

= cos (1,5 x ) cos ( 2,5 x ) + cos ( 2,5x ) cos ( 3,5x ) =

= cos (1,5 x ) cos ( 3,5 x )

de donde observamos claramente que el trmino de cos ( 2,5x ) se anula, y
queda restando el trmino cuyo argumento es ms grande, y sumando el
trmino cuyo argumento es ms chico. Generalizando esta idea, en nuestro
caso que tenemos la sumatoria desde n hasta +n , toda la sumatoria se
reducira a
n

i
2

k = n

((

) )

((

) )

((

) )

((

) )

cos k 1 x cos k + 1 x = i cos n 1 x cos n + 1 x

2
2
2
2

Si tenemos en cuenta que el coseno es una funcin par nos queda

n

i
2

k = n

((

) )

((

) )

((

) )

((

) )

cos k 1 x cos k + 1 x = i cos n + 1 x cos n + 1 x = 0

2
2
2
2

(5)

Con esto demostramos que la sumatoria de la expresin (3) es igual a 0

n

En la expresin

((

(4),

) )

1
2

k = n

((

) )

((

) )

sen k + 1 x sen k 1 x , observamos que el

2
2

((

) )

trmino sen k 12 x , que se resta, es igual al trmino sen k + 12 x

del

anterior k , que se suma y por lo tanto se cancelan.

Resulta entonces,

2009

Pg. 2 de 5

(2)

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 1

Variable Compleja - lgebra y Topologa en Complejos

1
2

k = n

((

) )

((

) )

((

) )

((

) )

sen k + 1 x sen k 1 x = 1 sen n + 1 x sen n 1 x

2
2
2
2

Si tenemos en cuenta que el seno es una funcin impar, nos queda

((

) )

((

) )

((

) )

((

) )

((

) )

) )

((

) ))

sen n 12 x = sen n + 12 x = sen n + 12 x

Y podemos finalmente obtener

n

1
2

k = n

((

) )

((

) )

sen k + 1 x sen k 1 x = 1 2sen n + 1 x = sen n + 1 x

2
2
2
2

(6)

Reemplazando (5) y (6) en (2) nos queda:

n

x
sen eikx =
2 k = n
=

( ((

) )

((

) ))

( ((

((

) )

i cos k 1 x cos k + 1 x + 1 sen k + 1 x sen k 1 x =

2
2
2
2
2
2

k = n

= 0 + sen n + 12 x

Por lo tanto,
n

1
x
sen eikx = sen n + x
2
2 k = n

Pasando sen

( 2x ) dividiendo al segundo miembro,

n

eikx

k = n

1
sen n + x
2

=
x
sen
2

Mtodo 2:
Desarrollando la sumatoria,
n

eikx = einx + ... + 1 + ... + einx

k = n

Multiplicando y dividiendo por einx ,

n
1
eikx = einx 1 + ... + einx + ... + ei 2nx
k = n

2009

Pg. 3 de 5

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 1

Variable Compleja - lgebra y Topologa en Complejos

La expresin entre parntesis es la suma parcial de una serie geomtrica de

razn eix y puede por lo tanto expresarse como sumatoria de la siguiente
manera:
n
1 2 n ix k
ikx
e
=

e
einx k =0
k = n

( )

Considerando que la ltima sumatoria es una suma parcial de una serie

geomtrica, se la puede reemplazar usando
n
1 z n +1
k
.
z
=

1 z
k =0
Por lo tanto, la sumatoria se reduce a
n

ikx

k = n

1 1 e (

y si multiplicamos y dividimos por e

ikx

i 2x

e inx e (

i n +1) x

1 eix

einx

i 2 n +1) x

1 eix

, obtenemos

i n + 12 x

k = n

i 2x

e
e

i n + 12 x

i 2x

Multiplicando y dividiendo por 2i , la sumatoria se convierte en

e

eikx =

k = n

Finalmente,
n

eikx =

k = n

i n + 12 x

e
2i

ix

e 2 e
2i

i n + 12 x
i 2x

((

) )

sen n + 12 x
x
sen
2

b) Reemplazando con eikx = cos ( kx ) + i sen ( kx ) en la expresin demostrada en la

parte a), obtenemos
n

cos ( kx ) + i sen ( kx ) =

sen

k = n

( ( n + 12 ) x )
sen

Separando en dos sumatorias,

n

k = n

k = n

cos ( kx ) + i sen ( kx ) =

2009

sen

( 2x )

( ( n + 12 ) x )
sen

( 2x )

Pg. 4 de 5

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 1

Variable Compleja - lgebra y Topologa en Complejos

De la igualdad de nmeros complejos resulta que la parte real del primer

miembro debe ser igual a la parte real del segundo miembro, y por lo tanto,
n

cos ( kx ) =

((

) )

sen n + 12 x
sen

k = n

( 2x )

Analicemos la sumatoria del coseno:

n

cos ( kx ) =

k = n

k = n

k =0

k =1

cos ( kx ) + cos ( kx ) + cos ( kx )

Haciendo un cambio de variable k k para la primer sumatoria, resulta

n

k = n

k =1

k =1

cos ( kx ) = cos ( kx ) + 1 + cos ( kx )

Si tenemos en cuenta que el coseno es una funcin par,

n

k = n

k =1

k =1

k =1

cos ( kx ) = cos ( kx ) + 1 + cos ( kx ) = 1 + 2 cos ( kx )

Entonces,
n

1 + 2 cos ( kx ) =

sen

k =1

( ( n + 12 ) x )
sen

( 2x )

y operando finalmente,

1
sen n + x
2
1

cos ( kx ) = 2 + x
k =1
2sen
2
n

2009

Pg. 5 de 5