Está en la página 1de 20

Facultad de Ingenier´ıa UNLP

Matem´atica C

VII N´umeros Complejos

2016

2

7.1. Conceptos b´asicos

7.1.1. Introducci´on

Los n´umeros complejos constituyen una extensi´on de los n´umeros reales, que permi- te obtener todas las ra´ıces de cualquier polinomio. El conjunto de n´umeros complejos, denotado por la letra C, forma as´ı lo que se denomina un conjunto algebraicamente ce- rrado. Geom´etricamente, un n´umero complejo puede representarse mediante un punto en un plano. El concepto de n´umero compejo extiende pues la recta real a un espacio bidimensional, denominado plano complejo. Los n´umeros complejos son adem´as utilizados, como veremos, en la representaci´on de funciones trigonom´etricas y por ende, de funciones peri´odicas, siendo por lo tanto su uso muy extendido en Ingenier´ıa y F´ısica (representaci´on de corriente alterna, an´alisis de Fourier, etc.). Asimismo, proporcionan una representaci´on alternativa de vectores en dos dimensiones, la cual resulta muy conveniente en ciertos problemas bidimensionales (utili- zada por ejemplo en din´amica de fluidos, electromagnetismo, etc.). La Mec´anica Cu´antica est´a tambi´en formulada en t´erminos de una funci´on de onda compleja. En este curso los utilizaremos en los pr´oximos dos cap´ıtulos (autovalores y ecuaciones diferenciales). Hist´oricamente, su introducci´on se atribuye al matem´atico italiano Girolamo Cardano (siglo XVI), en el marco de su soluci´on de ecuaciones c´ubicas y cu´articas.

7.1.2. Definici´on

Comenzamos por definir el n´umero i (unidad imaginaria), que satisface

i 2 = 1

De esta forma, la ecuaci´on

z 2 = 1

tendr´a las ra´ıces z = i y z = i. Mencionemos que en ciertos contextos se utilizan otras notaciones para la unidad imaginaria (por ejemplo, en ingenier´ıa el´ectrica se utiliza j en lugar de i, ya que i denota la corriente el´ectrica). Un n´umero complejo es de la forma

z = x + y i,

x, y R

donde tanto x como y son n´umeros reales. La parte real de z es x, y la parte imaginaria de z es y (tambi´en un n´umero real!):

Re(z) = x,

Im(z) = y

Ejercicio: Hallar la parte real e imaginaria de a) z = 2 3i, b) z = i.

Un n´umero complejo cuya parte imaginaria es 0 es identificado como un n´umero real. Por ejemplo, 5 = 5 + 0i, 0 = 0 + 0i. Tambi´en, 0 + yi = yi. Un n´umero complejo no nulo cuya parte real es 0, tal como 5i, se

´

7.1. CONCEPTOS B ASICOS

dice que es imaginario o imaginario puro.

Adem´as, yi = iy, y x + yi = yi + x. Por

ejemplo, 1 + 2i = 1 + i2 = 2i + 1.

3

Dos n´umeros complejos z 1 = x 1 + iy 1 , z 2 = x 2 + iy 2 , son iguales si y s´olo si tanto sus partes reales como imaginarias son respectivamente iguales:

x 1 + y 1 i = x 2 + y 2 i

x 1 = x 2 ,

y 1 = y 2

(x 1 , x 2 ,

y 1 , y 2 R)

Por ejemplo, x + yi = 2 + 3i implica x = 2, y = 3 si x e y son reales.

Como hemos mencionado, el conjunto de todos los n´umeros complejos se denota con la letra C:

C = {x + iy,

x R, y R}

Podemos representar un n´umero complejo z = x + yi mediante un par ordenado (x, y). Este par corresponde a un punto o vector en el plano cartesiano, que en este contexto se denomina plano complejo.

Im z

z x yi y 0 x
z
x yi
y
0
x

Re z

7.1.3.

Conjugaci´on

El conjugado de un n´umero complejo z = x + iy se lo denota como z¯ o z , y se lo define como

z¯ = x iy

de forma que Re(¯z) = Re(z), Im(¯z) = Im(z).

Im z

Por ejemplo, i = i, 1 + 2i = 1 2i y 1 2i = 1 + 2i y .

Geom´etricamente, conjugar corresponde a reflejar z respecto del eje real.

Obviamente,

z¯ ¯ = z (o sea, (z ) = z).

z x yi y 0 x y z x yi
z
x yi
y
0
x
y
z
x yi

Re z

4

7.1.4. Suma de n´umeros complejos

Dados dos n´umeros complejos z 1 = x 1 + y 1 i, z 2 = x 2 + y 2 i, su suma se define como

z 1 + z 2 =

(x 1 + x 2 ) + (y 1 + y 2 )i

Por ejemplo, (1 + 2i) + (3 4i) = 4 2i.

Geom´etricamente, z 1 + z 2 corresponde al vector suma de los vectores que representan a z 1 y z 2 .

La resta z 1 z 2 es la suma de z 1 y el opuesto z 2 = x 2 y 2 i de z 2 :

z 1 z 2 = (x 1 x 2 ) + (y 1 y 2 )i

Im z

z 1 z 2 z 2 z 1 0
z
1 z 2
z
2
z
1
0

Re z

Por ejemplo, (1 + 2i) (3 4i) = 2 + 6i, (1 + 2i) (1 + 2i) = 0. Ejercicio: Indique el significado geom´etrico de z 1 z 2 .

Problema 1: Mostrar que el conjugado de una suma es la suma de los conjugados: y que el conjugado de una resta es la resta de los conjugados:

z 1 ± z 2 = z 1 ± z 2

Problema 2: Mostrar que es posible expresar la parte real y la parte imaginaria de un n´umero complejo z en t´erminos de z y su conjugado z¯:

Re(z) = z + z¯ ,

2

Im(z) = z 2i z¯

7.1.5. Producto de dos n´umeros complejos

A partir de la propiedad b´asica i 2 = 1, el producto de dos n´umeros complejos z 1 z 2 = (x 1 + y 1 i)(x 2 + y 2 i) se realiza aplicando la propiedad distributiva (respecto de la suma) y asociativa (respecto del producto):

 

(x 1 + y 1 i)(x 2 + y 2 i)

=

x 1 (x 2 + y 2 i) + y 1 i(x 2 + y 2 i)

 
 

=

x 1 x 2 + x 1 y 2 i + y 1 x 2 i y 1 y 2

=

(x 1 x 2

y 1 y 2 ) + (x 1 y 2 + y 1 x 2 )i

(1.1)

Por ejemplo,

 

(1 + 2i)(3 4i)

=

3 4i + 2i(3 4i) = 3 4i + 6i + 8

 
 

=

11 + 2i

 

(1.2)

´

7.1. CONCEPTOS B ASICOS

5

Problema 4: Probar que el conjugado de un producto es el producto de los conjugados:

z 1 z 2 = z 1 z 2

En particular, el producto de un n´umero complejo z por un n´umero real α,

α(x + yi) = αx + αyi

corresponde, geom´etricamente, a la multiplicaci´on del vector que representa a z por el escalar real α. Por ejemplo, 3(1 + i) = 3 + 3i.

Im z

Por otro lado, el producto de un n´umero complejo z por la unidad imaginaria i,

i(x + yi) = y + xi

corresponde, geom´etricamente, a rotar el vector que representa a z un ´angulo de 90 o en sentido antihorario. Por ejemplo, i1 = i, ii = 1, i(1 + i) = 1 + i.

i z y xi

z Π 2
z
Π 2

0

x yi

Problema 5: Probar el enunciado general anterior, recordando que la matriz que representa a dicha rotaci´on en la base can´onica de R 2 es

R = 0 1

1

0

(1.3)

de forma que R(

En consecuencia, multiplicar un n´umero complejo z por un n´umero imaginario αi (α real) corresponde, geom´etricamente, a rotar z un ´angulo de 90 o en sentido antihorario y luego multiplicar el vector resultante por el escalar real α.

x y ) = ( y ).

x

Re z

El significado geom´etrico de multiplicar a z por un n´umero complejo arbitrario, (α+)z = αz +iβz, puede obtenerse sumando αz y el vector rotado iβz, pero es m´as f´acil visualizar el resultado final por medio de la representaci´on polar de un n´umero complejo, que discutiremos luego. Potencias de i: Las potencias pares son reales: i 2 = 1, i 4 = (i 2 ) 2 = 1 y en general,

i 2n = (i 2 ) n = (1) n

(1.4)

Las potencias impares son en cambio imaginarias: i 1 = i, i 3 = (i 2 )i = i y en general,

i 2n+1 = i 2n i = (1) n i

(1.5)

Ejercicio: Graficar las potencias de i en el plano complejo.

6

7.1.6. Valor absoluto de un n´umero complejo

El valor absoluto (o m´odulo) de un n´umero complejo z se define como

|z| = x 2 + y 2

(1.6)

y es la longitud del vector que lo representa en el plano complejo. El m´odulo |z| es siempre

un n´umero real no negativo. Por ejemplo: |3+4i| = 3 2 + 4 2 = 25 = 5, |i| = 1, |−2| = 2.

Es posible expresar |z| mediante z y su conjugado z¯ como

|z| = zz¯

En efecto, si z = x + yi, con x, y reales, zz¯ = (x + yi)(x iy) = x 2 (iy) 2 = x 2 +y 2 = |z| 2 .

Problema 6: Probar que |z| = 0 si y s´olo si z = 0. Problema 7: Probar que |z¯| = |z|. Problema 8: Para z 1 , z 2 complejos generales, probar que

|z 1 z 2 | = |z 1 ||z 2 |

||z 1 | − |z 2 ||| ≤ |z 1 + z 2 | ≤ |z 1 | + |z 2 |

Problema 9: Probar que |z 1 z 2 | es, geom´etricamente, la distancia entre z 1 y z 2 .

7.1.7. Inverso de un n´umero complejo

El inverso (o rec´ıproco) z 1 de un n´umero complejo z

= 0 es el n´umero complejo que

satisface

zz 1 = 1

Para obtenerlo, vimos en el punto anterior que zz¯ = |z| 2 = 0 si z

= 0. Por lo tanto,

zz/|z| 2 ) = |z| 2 /|z| 2 = 1

de donde

z 1

=

z¯ 2 = |z|

x yi x 2 + y 2 ,

z

= 0

(1.7)

Notamos aqu´ı que el cociente z/α de un n´umero complejo z = x + yi por un n´umero real

= 0 se define como (1)z, es decir, z/α = x/α+(y/α)i. Por ejemplo, (2+4i)/2 = 1+2i.

α

Problema 10: Si z = x + yi

zz 1

b = y/|z| 2 .

= 0, probar, escribiendo z 1 = a + ib, que la ecuaci´on

x/|z| 2 ,

=

1

(o sea,

xa yb + (xb + ya)i

=

1 + 0i) implica necesariamente a =

Podemos ahora definir

1

z

= z 1 =

z

|z| 2

´

7.1. CONCEPTOS B ASICOS

resultado que puede obtenerse multiplicando numerador y denominador de

ejemplo, 1

i

2 = i:

i

i

=

1

i

= i

7

1 por z¯. Por

z

verific´andose que i(i) = i 2 = 1. Como segundo ejemplo,

1

1 + i =

1

1 i

1 + i 1 i

= 1 i

2

=

1

2 2 i

1

verific´andose que (1 + i)(1 i)/2 = 1.

Problema 11: Probar que para z

= 0,

1

z = z

1

1

z

=

1

|z|

7.1.8. Cociente de dos n´umeros complejos

Dados ahora dos n´umeros complejos z 1 y z 2 , con z 2 = 0, definimos el cociente como

z 1

z 2

=

z 1 z

1

2

=

z 1 z¯ 2

|z 2 | 2

(x 1 + iy 1 )(x 2 iy 2 )

=

x 2 2 + y

2

2

(1.8)

En la pr´actica, se obtiene este resultado multiplicando numerador y denominador por z¯ 2 . Por ejemplo:

1 + i

3 + 4i =

(1 + i)(3 4i)

(3 + 4i)(3 4i) = 7 i

25

Problema 12: Probar que para z 2 = 0,

z 1 , z 2 = z z 2 1
z
1
,
z 2 = z z 2 1

z

1

z

2

=

|z 1 | |z 2 |

7.1.9. Representaciones reales y propiedades algebraicas

El conjunto C de los n´umeros complejos puede ser considerado como el conjunto R 2 de pares ordenados (x, y) de n´umeros reales, con la suma y producto definidos por

(x 1 , y 1 ) + (x 2 , y 2 )

=

(x 1 + x 2 , y 1 + y 2 )

(1.9)

(x 1 , y 1 ) · (x 2 , y 2 )

=

(x 1 x 2 y 1 y 2 , x 1 y 2 + y 1 x 2 )

(1.10)

Puede mostrarse que el producto as´ı definido resulta conmutativo y asociativo (z 1 z 2 = z 2 z 1 , (z 1 z 2 )z 3 = z 1 (z 2 z 3 ), para z j = (x j , y j ), j = 1, 2, 3), y distributivo con la suma:

8

z 1 (z 2 + z 3 ) = z 1 z 2 + z 1 z 3 . De esta forma, denotando a los elementos de la base can´onica como 1 = (1, 0) y i = (0, 1), tenemos

i · i = (0, 1) · (0, 1) = (1, 0) = (1, 0) = 1

con 1 · 1 = 1 y 1 · i = i. Adem´as, podemos escribir

(x, y) = x(1, 0) + y(0, 1) = x1 + yi

con lo cual recuperamos la notaci´on est´andar z = x + yi si identificamos x con x1.

Los n´umeros complejos pueden ser tambi´en representados por matrices reales de 2 × 2 de la forma

z

=

=

x

y

y

x

xI + yR ,

= x

1

0

x, y R

0

1

+ y 0 1

1

0

(1.11)

(1.12)

donde I

definida en (1.3). Obtenemos, con el producto matricial usual, I.I = I, I.R = R.I = R, y

la matriz de rotaci´on

=

1

0

0

1

es la matriz identidad y R

0

1

1

0

=

R.R

=

0

1

1

0

0

1

1 = 1

0

0

1 0 = I

(1.13)

por lo que el par I, R constituye una representaci´on matricial real de 1 e i, jugando R el rol de la unidad imaginaria i. Si z 1 = x 1 I + y 1 R, z 2 = x 2 I + y 2 R, obtenemos, con la suma y producto matricial usual,

z 1 + z 2 = (x 1 + x 2 )I + (y 1 + y 2 )R

z 1 .z 2 = z 2 .z 1 = (x 1 x 2 y 1 y 2 )I + (x 1 y 2 + y 1 x 2 )R

con lo cual, identificando 1 = I y i = R, recuperamos las reglas de suma y producto de los n´umeros complejos. Adem´as, el determinante de la matriz (1.11) es el m´odulo de z:

x

y

y

x

= x 2 + y 2 = |z|

Como estructura algebraica, el conjunto de n´umeros complejos es, al igual que los n´umeros reales o racionales, un cuerpo. Una estructura algebraica {F, +, ·}, donde F es

un cierto conjunto de n´umeros y +, · son operaciones binarias cerradas entre ellos, es un cuerpo (o campo) si:

i) La suma satisface las propiedades de asociatividad, conmutatividad, existencia de ele- mento neutro (0, tal que z +0 = z z F ) y opuesto (z F ∃ −z tal que z +(z) = 0). ii) El producto es tambi´en asociativo y conmutativo, con existencia de elemento neutro 1

(z · 1 = z z F ) e inverso z 1 z

= 0 (tal que z · z 1 = 1)

´

7.1. CONCEPTOS B ASICOS

9

Finalmente, considerando escalares reales, el conjunto de los n´umeros complejos C R forma un espacio vectorial de dimensi´on 2: Todo complejo z = x1 + yi es la combina- ci´on lineal de 1 e i, con coeficientes reales x, y, siendo {1, i} linealmente independientes (x1 + yi = 0 x = 0, y = 0).

Si consideramos en cambio escalares complejos, C C es un espacio vectorial de dimen- si´on 1 (Probar!).

7.1.10. Ra´ıces de polinomios

Mediante los n´umeros complejos, es posible encontrar todas las ra´ıces de un polinomio de grado arbitrario n 1, y as´ı escribir el mismo como el producto de n polinomios elementales de grado 1.

Consideremos primero un polinomio de grado 2, P 2 (z) = az 2 + bz + c, con a

= 0, y la

correspondiente ecuaci´on cuadr´atica

az 2 + bz + c = 0,

(a

= 0)

(1.14)

Sabemos que las ra´ıces est´an dadas por la muy conocida f´ormula

z ± = b ± b 2 4ac

2a

Problema 13: Obtener la f´ormula (1.15), completando cuadrados.

Problema 14: Probar que para a

= 0,

az 2 + bz + c = a(z z + )(z z )

(1.15)

(1.16)

Para a, b y c reales, las ra´ıces z ± ser´an entonces:

i) Reales y distintas si b 2 > 4ac ii) Reales e iguales si b 2 = 4ac iii) Complejas conjugadas si b 2 < 4ac :

En

este caso b 2 4ac = (4ac b 2 ), con 4ac b 2 > 0, y por lo tanto,

z ± = b ± i 4ac b 2

2

con z = z + . Mediante la introducci´on de los n´umeros complejos, podemos entonces obtener siempre ra´ıces de la ecuaci´on cuadr´atica (1.15), a´un si b 2 > 4ac, y as´ı escribir el polinomio az 2 + bz + c en la forma factorizada (1.16). Por ejemplo, la ecuaci´on

z 2 + 2z + 2 = 0

posee las ra´ıces complejas conjugadas

z ± = 2 ± 4 8

2

= 2 ± 2i

2

= 1 ± i

10

Ejercicio: Verificar que z ± = 1 ± i satisfacen z 2 + 2z + 2 = 0. Ejercicio: Verificar que z 2 + 2z + 2 = (z + 1 i)(z + 1 + i)

La f´ormula (1.15) es v´alida tambi´en para a, b, c complejos si a

= 0 (veremos luego

como obtener ra´ıces de n´umeros complejos), aunque en este caso las ra´ıces complejas no aparecer´an necesariamente como pares conjugados.

Los resultados anteriores se generalizan a polinomios de grado arbitrario n 1. Si

P n (z) = a n z n + a n1 z n1 +

+ a 1 z + a 0 ,

a n = 0

(1.17)

es un polinomio de grado n 1, donde los coeficientes (constantes) a i , i = 0, reales o complejos, la ecuaci´on

, n, pueden ser

P n (z) = 0

posee siempre al menos una ra´ız (real o compleja). Este enunciado constituye el teorema

fundamental del algebra e indica que el cuerpo de los n´umeros complejos es algebraicamente cerrado.

M´as aun, existir´an siempre n ra´ıces z 1 , z 2 ,

distintas,

, z n , en general complejas y no necesariamente , n y

tales que P n (z i ) = 0 para i

=

1,

P n (z) = a n (z z 1 )(z z 2 )

(z z n )

(1.18)

Como las ra´ıces pueden repetirse, esta igualdad suele escribirse como

donde i = 1,

z 1 ,

P n (z) = a n (z z 1 ) m 1 (z z 2 ) m 2

(z z k ) m k

, z k denotan ahora ra´ıces distintas (z i

= z j

si

i

=

j),

con 1

, k, denota la multiplicidad de la ra´ız i´esima (1 m i n, m 1 +

n,

+ m k = n).

k

(1.19)

y

m i ,

Si los coeficientes a i del polinomio son todos reales, entonces las ra´ıces complejas aparecen siempre en pares conjugados.

Problema 15: Probar el enunciado anterior, mostrando primero que si los coeficientes son

reales P n (z) = P n (z).

´

7.1. CONCEPTOS B ASICOS

11

7.1.11.

Problemas

1) Realizar las siguientes operaciones, expresando el resultado como z = x + yi, con x, y R:

a) (1 2i)(3 + 4i)

1

25

d)

1

+ i

i

 

3 + 4i

i

g) 2 + i

1 + i +

1 + i

e)

 

f)

1

3 4i

3 i

1 + 1/i

2) Determinar la parte real, la parte imaginaria y el m´odulo de los resultados de las operaciones anteriores.

3) Hallar todas las ra´ıces de las siguientes ecuaciones, y escribir el polinomio correspon- diente en la forma factorizada (1.16) o (1.18)–(1.19):

a)

d)

z 2 2z + 2 = 0

z

2

+ 2iz = 0

4) Resolver el sistema

ix + y = i x + iy = 2

b) 2z 2 + 4 = 0

e) z 2 + 2iz 1 = 0

c) 2z 2 + 2z + 1 = 0 f ) z 4 1 = 0

5) Indicar el error en a) 1 = 1 1 = (1)(1) = 1 = 1

y

b) 1

i

=

1 =

√ 1
1

1 1 = 1 = i.

6) Mostrar que la ecuaci´on

|z| = r,

r > 0

corresponde geom´etricamente a un c´ırculo de radio r centrado en el origen, y

|z z 0 | = r,

r > 0

a un c´ırculo de radio r centrado en z 0 .

7) Mostrar que si z 1 = x 1 + y 1 i, z 2 = x 2 + y 2 i,

Re(z 1 z¯ 2 ) = x 1 x 2 + y 1 y 2

por lo que Re(z 1 z¯ 2 ) es el producto escalar de (x 1 , y 1 ) y (x 2 , y 2 ). Dar tambi´en una interpretaci´on geom´etrica a Im(z 1 z¯ 2 ).

b)

i + (2 + 4i)(2

2i )

c) 5 +

3 + 4i

12

7.2. Representaci´on polar y f´ormula de Euler

7.2.1. Forma polar de un n´umero complejo

A partir del gr´afico, vemos que podemos expresar la parte real e imaginaria de

z = x + iy como

x = |z| cos φ,

y = |z| sen φ

donde

|z| = x 2 + y 2

es el valor absoluto de z y φ es el angulo´

con el eje real en el plano complejo, denominado argumento de z o arg(z). Este ´angulo satisface

que forma z

tan φ = y/x

y

Im z

z x yi z sin Φ z Φ 0 x
z
x yi
z sin Φ
z
Φ
0
x

z cos Φ Re z

y el cuadrante al que pertenece queda determinado por los signos de x e y. Normalmente se toma φ (π, π] (valor principal), pero φ + 2resulta equivalente a φ n entero.

Podemos entonces expresar z = x + iy en t´erminos de |z| y φ como

z = |z|(cos φ + i sen φ)

(2.20)

Esta expresi´on se denomina representaci´on polar del n´umero complejo.

Por ejemplo, si z

φ = π/4. Por lo tanto

= 1 + i ⇒ |z| = 2 y tan φ = 1, con x > 0, y

1 + i = 2(cos π/4 + i sen π/4)

Ejercicio: Verificar esta igualdad.

Problema 1: Probar que argz) = argz)

> 0, por lo que

´

´

7.2. REPRESENTACI ON POLAR Y F ORMULA DE EULER

13

La forma polar resulta muy conveniente par el producto y cociente: Si

entonces

z 1 = |z| 1 (cos φ 1 + i sen φ 1 ),

z 2 = |z| 2 (cos φ 2 + i sen

φ 2 )

z 1 z 2 = |z 1 ||z 2 | [cos(φ 1 + φ 2 ) + i sen(φ 1 + φ 2 )]

o sea, |z 1 z 2 | = |z 1 ||z 2 |,

Y si z 2 = 0,

arg(z 1 z 2 ) = arg(z 1 ) + arg(z 2 ).

z 2

|z 2 | [cos(φ 1 φ 2 ) + i sen(φ 1 φ 2 )]

(2.21)

(2.22)

o sea, |z 1 /z 2 | = |z 1 |/|z 2 | y arg(z 1 z 2 ) = arg(z 1 ) arg(z 2 ).

Problema 2: Probar (2.21), utilizando cos(φ 1 + φ 2 ) = cos φ 1 cos φ 2 sen φ 1 sen φ 2 ,

sen(φ 1 + φ 2 ) = sen(φ 1 ) cos φ 2 + cos φ 1 sen φ 2 . Problema 3: Probar (2.22), partiendo de z 1 /z 2 = z 1 z¯ 2 /|z 2 | 2 y el resultado de los dos problemas anteriores.

z 1

= |z

1

|

Podemos ver as´ı el significado geom´etrico del producto z 1 z 2 : Equivale a rotar z 2 un angulo´ φ 1 en sentido antihorario, y multiplicar el vector resultante por el escalar real |z 1 |:

Im z

z 3 z 1 z 2 Φ 3 Φ 1 Φ 2 z 3 z
z
3 z 1 z 2
Φ
3 Φ 1 Φ 2
z 3 z 1 z 2
Φ
z
3
2
Φ
z
2
1
Φ
1
0

Re z

14

7.2.2. F´ormula de Euler:

La forma polar resulta en realidad m´as c´omoda cuando se utiliza con la famosa f´ormula de Euler para la exponencial de un n´umero imaginario:

 

e iφ = cos φ + i sen φ

 

(2.23)

Demostremos primero esta igualdad: Definiendo e iφ por medio de la serie exponencial, y separando en t´erminos pares e impares, obtenemos, utilizando (1.4) y (1.5) (i 2n = (1) n , i 2n+1 = (1) n i),

 
 

 

e iφ =

() n

n!

 
 

n=0

2n

i 2n+1 φ 2n+1

(2n + 1)!

 
 

=

i 2n

φ

(2n)! +

 

n=0

n=0

(1) n φ 2n

(2n)!

(1) n φ 2n+1

(2n + 1)!

 

=

+ i

 

n=0

n=0

 

=

cos φ + i sen φ

 

(2.24)

Con este resultado podemos tambi´en evaluar la exponencial de un n´umero complejo general como

 
 

e x+yi = e x e yi = e x (cos y + i sen y)

(2.25)

donde x e y son reales. Por ejemplo, e 2+i = e 2 [cos(1) + i sen(1)].

Podemos ahora expresar z en la froma polar como

 
 

z = |z| e iφ

 

(2.26)

donde φ = arg(z).

Por ejemplo,

i = e iπ/2

ya que |i| = 1 y arg(i) = π/2. Se comprueba que e iπ/2 = cos π/2 + i sen π/2 = 0 + i = i. Tambi´en,

1 = e

ya que | − 1| = 1, arg(1) = π. Se comprueba que e iπ = cos π + i sen π = 1 + 0i = 1.

Ejercicio: Mostrar que

1 + i

2

= e iπ/4

´

´

7.2. REPRESENTACI ON POLAR Y F ORMULA DE EULER

Problema 4: Probar que si z = |z|e iφ z¯ = |z|e iφ y, si z

= 0,

1

z =

1

|z| e

15

Problema 5: Probar que |e iφ | = 1, y |αe iφ | = |α| (α, φ reales).

Dado que

e 1 e 2 = e i(φ 1 +φ 2 ) ,

e

1

e

2

= e i(φ 1 φ 2 )

resulta entonces obvio, utilizando la forma polar (2.26), que

z 1 z 2 = |z| 1 e iφ 1 |z 2 |e iφ 2 = |z 1 ||z 2 | e i(φ 1 +φ 2 )

z

1

z 2

=

|z| 1 e iφ 1

=

|z| 2 e iφ 2

|z 1 |

|z 2 |

e i(φ 1 φ 2 ) ,

z 2

= 0

(2.27)

(2.28)

y por lo tanto obtener las f´ormulas (2.21)–(2.22). Resulta tambi´en obvio que |z 1 z 2 | =

|z 1 ||z 2 |, arg(z 1 z 2 ) = arg(z 1 )+arg(z 2 ), y |z 1 /z 2 | = |z 1 |/|z 2 |, arg(z 1 /z 2 ) = arg(z 1 )arg(z 2 ).

7.2.3. Potencias de un n´umero complejo

Mediante la forma polar (2.23), resulta muy sencillo calcular cualquier potencia z n para todo n natural o entero: Dado que (e iφ ) n = e inφ , obtenemos

z n

(|z|e iφ ) n

e inφ

=

= |z| n

= |z| n [cos() + i sen()]

(2.29)

(2.30)

La ultima´

Estas expresiones son v´alidas para n = 0, 1, 2,

expresi´on se denota normalmente f´ormula de De Moivre.

., y si z

= 0, tambi´en para n = 1, 2,

Ejercicio: Probar que

(1 + i) n

=

2 n/2 [cos(nπ/4) + i sen(nπ/4)]

y que por ejemplo, (1 + i) 2

= 2i, (1 + i) 20 = 2 10 , (1 + i) 4 = 1

4 .

16

7.2.4. Ra´ıces en´esimas de la unidad

Consideremos ahora la ecuaci´on

z n = 1

para n 1. Como 1 = e i0 = e i2kπ para cualquier k entero, vemos que todo n´umero complejo z = e i2kπ/n satisface z n = 1:

(e i2kπ/n ) n = e i2kπ = cos(2) + i sen(2) = 1

k = 0, ±1, ±2,

Por lo tanto, obtenemos as´ı n ra´ıces distintas

z 0 = 1,

z 1 = e i2π/n ,

z 2 = e i4π/n ,

, z n1 = e i(n1)2π/n

ya que z n = e in2π/n = e i2π = 1 = z 0 . Las n ra´ıces de z n = 1 pueden entonces escribirse como

(2.31)

Todas las ra´ıces satisfacen |z k | = 1, por lo que est´an sobre el c´ırculo unidad | z | = 1. Obviamente, z 0 = 1 n. Las ra´ıces aparecen en pares conjugados: z¯ k = z nk , pues e i2πk/n = e i2π(nk)/n . La suma de todas las ra´ıces es 0:

e i2kπ/n = cos(2kπ/n) + i sen(2kπ/n) ,

z k

=

k = 0,

, n 1,

z 0 + z 1 +

+ z n1 = 0