Un nmero complejo z es un par ordenado de nmeros

reales x e y, escrito como:

z = (x,y)

(William R. Hamilton)

(Notacin en componentes o coordenadas cartesianas).

x se llama la parte real de z:
Re(z) := x
y se llama la parte imaginaria de z:
Im(z) :=y

El conjunto de nmeros complejos, se denota por C:

C : ( x, y ) : x, y
Dos nmeros complejos son iguales si y slo
si sus partes reales e imaginarias son iguales:
(x1,y1) = (x2,y2) sii x1= x2 , y1= y2
1

(0,1) se llama la unidad imaginaria y se denota por:

i (0,1)
(Los ingenieros elctricos a menudo usan j para
evitar confusiones
con el smbolo i, que asocian a la intensidad
elctrica).

Un nmero complejo z = (x,y) se escribe comnmente

como (notacin algebraica o binmica, afijo en textos
de antao):

z=x+i
y

Si x = 0 (z = i y), entonces z se dice que es un imaginario puro. Si y =

0 (z = x), entonces z se comporta como un nmero real.
2

Suma y producto de nmeros complejos

En la facultad tenamos un profesor

cojo al que llambamos el complejo.
1 Tena una pierna real y otra imaginar
Memorias de un estudiante
2 de matemticas

z1 x1 iy

Sean:

z 2 x2 iy
Parte real

Suma

Parte imaginaria

z1 z 2 ( x1 x2 ) i ( y1 y2 )
Producto

z1 z 2 ( x1 x2 y1 y2 ) i ( x1 y2 x2 y1 )
3

Ejemplos:
(1)

i (0 i )(0 i ) (0 1) i (0 0) 1
2

De modo que podemos sustituir siempre:

i 1
2

i i 1 1

1 1

(2)Esto nos permite una manera prctica de operar.

Por ejemplo:

(4 5i )( 2 3i ) [4 2 (5i ) 3i ] [4 3i (5i ) 2]
(8 15) i (12 10) 23 2i
4

Ejemplo:

Sean z1=18 + 3i

z2 = -7 + 2i

Calcular:

Re(z1) = 18,
Im(z1) = 3,
z1+z2 = 11 + 5i,

Re(z2) = -7
Im(z2) = 2
z1-z2 = 25+i

z1z2 = (18+3i)(-7+2i) = -132 +

15i
5

Ejercicio
Sea Z1=4-2i y Z2=3+5i
Determinar.
a) Re(x)
b)Im(z)
c)Z1+Z2
d)Z2-Z1
e)Z1Z2

Complejo conjugado
omplejo conjugado z de un nmero complejo z = x + i y

efine como:

z x iy
Es sencillo
demostrar
que:

zz

Tambin se suele denotar como : z

*

z1 z 2 z1 z 2 2 Re( z1 z 2 )

z1 z 2 z1 z 2
z1 z 2 z1 z 2

z1 z 2 z1 z 2
z1 / z 2 z1 / z 2

zz
Re( z )
2

zz
Im( z )
2i

Por ejemplo:

z x iy x iy x iy z

z1 z 2 ( x1 iy1 ) ( x2 iy 2 ) ( x1 x2 ) i ( y1 y2 )
( x1 x2 ) i ( y1 y2 ) ( x1 iy1 ) ( x2 iy 2 )
z1 z 2

z1 z 2 ( x1 x2 y1 y2 ) i ( x1 y2 x2 y1 )
( x1 x2 y1 y2 ) i ( x1 y2 x2 y1 )
( x1 iy1 )( x2 iy 2 ) z1 z 2
z z ( x iy ) ( x iy ) 2 x

x Re( z )
2
2
2

Observemos que:

z z ( x iy )( x iy ) x y
2

En la prctica, obtenemos el cociente de dos nmeros

complejos z1 / z2 multiplicando el numerador y
denominador de por el complejo conjugado de z2.

x1 iy1 x1 iy1 x2 iy 2

x2 iy 2 x2 iy 2 x2 iy 2
x1 x2 y1 y2
x2 y1 x1 y2
i 2
2
2
2
x2 y 2
x2 y 2

Ejemplos:
(1)

Sean de nuevo:

z1=18 + 3i

z2 = -7 + 2i

z1 (18 3i )(-7-2i )
-120-57i

2
2
z2
7 2
53
z1 z 2 (18-3i )(-7-2i ) -132-15i z1 z2

z1 (18 3i )(-7 2i )
-120 57i z1

2
2
7 2
53
z2
z2
(2)

1 1 i i

i
i i i 1

10

A pesar de la sencillez del conjugado y sus propiedades,

nos permite demostrar fcilmente cosas como esta:

Un nmero es trascendente (o trascendental) si no es raz de

ningn polinomio (no nulo) con coeficientes enteros (o
racionales). En este sentido, nmero trascendente es antnimo
12

13

Sol.:

a) z 1 i
b) z 1 / 5 13 / 5 i
c) z 1 / 2

Sol.: z1 y iy
z 2 y iy , y

emuestra el teorema del binomio para nmeros complejos:

n n i i donde n es un entero positivo.

( z0 z1 ) z0 z1
Sugerencia: Usa induccin.
i 0 i
n

14

plano complejo
Eje imaginario

(Plano z, de Argand o de Gauss)

Mdulo:

(Im)

Tambin llamado valor absoluto

(el mdulo de un real es su valor
absoluto)

z
r

r : z x y
2

| z | Re z , | z | Im z , | z || z |

zz x 2 y 2 | z |2
Argumento:

(Re)
Eje real

y
: arg z arctan
x

Para z = 0, el ngulo
El argumento est multivaluado.

no est definido.

15

Ejemplo:

Dibujar el nmero complejo z = -3-2i en el plano complejo y

evaluar mdulo y argumento
Mdulo:

r
3 2i

r z (3) 2 (2) 2
13

Argumento:

x
2

La calculadora
no distingue

2
2
arg z arctan
arctan
3
3
{ 146.3, 33.7, 213.7, }

El argumento est multivaluado.

3.73 rad 16

eterminacin o valor principal

ara que sea nico, basta con imponer la condicin

dicional de que pertenezca a un cierto intervalo semiabierto
de longitud

2 (como [0,2 ), ( , ], etc ).

scoger este intervalo I se conoce como

mar una determinacin del argumento.
e denomina determinacin principal o
alor principal a Arg z, el valor de en
rango:

Arg z

: Arg z
arg z : {Arg z 2k }

(k 0, 1, 2, ...)

Ejemplo: supongamos que

arg z { 2.55 2 , 2.55, 2.55 2 , 2.55 4 ,}

Arg z 2.5517
{2.55 2k } (k 0, 1, )

18

(1) Re z | Re z || z |
(2) Im z | Im z || z |
( Nota :| z | (Re z ) (Im z ) )
2

(3)

| z || z |

( 4)

z z | z |

(5)

| z1 z 2 || z1 || z 2 |; | z1 z 2 z n || z1 || z2 | | z n |

( 6)

z1
z1

z2
z2

( z 2 0)

Ejercicio:

x y
z x iy x iy x iy

1
2
z x iy x iy x iy
x y
2

z
x

Grficamente el conjugado
es una reflexin respecto al eje
real.

20

Sol.: a) z 3 / 2 iy , y
b) z x i 2 x , x

Sol.: a) z1 1 i , z2 1 7i

b) z1 4 2i , z 2 1 2i y ( z1 , z 2 )

3
1
c) z1
(1 i ) , z 2
(1 i )
2
2

23


Ejercicio:
Demostrar que para a, b, c,
d enteros siempre
existen u y v enteros tal que:(
Encontrar u y v para:

(89 2 1012 )(1112 1332 ) u 2 v 2

z a ib

w c id

t u iv

| z |2 | w |2 | t |2
(1) ( z z )( ww) ( zw)( z w) ( zw)( zw) t t
zw t
u iv (a ib )(c id ) (ac bd ) i (bc ad )
u | ac bd | v bc ad
(2) ( z z )( ww) ( z w)( zw) t t
zw t
u iv (a ib )(c id ) (ac bd ) i (bc ad )
u ac bd v | bc ad |

Suma y resta de nmeros complejos

en el plano complejo

En la suma (y la resta)
los nmeros complejos
se comportan como vecto

z1
z 2 z1

z2

z1 z 2
x

Prueba que si |z1| = |z2| = |z3| y z1 + z2 +z3

entonces estamos hablando de los vrtices
de un tringulo equiltero.
Sugerencia:
Muestra que |z1-z2|2 = |z2-z3|2 = |z3-z1|227

z1
z1

3z1
2

con la suma y el producto por un escalar posee estructura

e espacio vectorial, isomorfo a R2.
conjunto {1, i} es base de ese espacio. Y podemos
entificar C con los vectores libres del plano R2. Pero
cordemos que C tiene algo ms: el producto complejo.

28

Desigualdad
triangular

| z1 z2 || z1 | | z 2 |

y
z1

z1 z2

| z1 z 2 |

El mdulo de z
es equivalente a
la distancia
euclidiana del
vector libre (x,y).

La distancia entre
z1 y z2 es |z1-z2|.
As disponemos de
| z2 | z
2
un espacio mtrico
donde podemos
definir lmites,
Qu significa que |z1| > |z2continuidad,
|?
... 29
| z1 |

mostremos la desigualdad triangular:

| z1 z 2 | ( z1 z 2 )( z1 z 2 ) ( z1 z 2 )( z1 z2 )
2

z1 z1

z1 z 2 z2 z1

z2 z2

2 Re( z1 z 2 ) 2| z1 z 2 | 2| z1 || z 2 | 2| z1 || z 2 |

| z1 z 2 | | z1 | 2 | z1 || z 2 | | z 2 | (| z1 | | z 2 |)
2

rayendo la raz cuadrada (recordemos que el

dulo es siempre positivo), la desigualdad trian
eda demostrada.
31

| z1 z2 || z1 | | z 2 |

Ejercicio: Demostrar que

| z1 z2 || z1 | | z2 |

Ejercicio: Demostrar que

Podemos generalizar la desigualdad triangular:

z | z
j 1

j 1

(n 2, 3, ...)

Ejercicio:
Demostrar por induccin.
Hemos demostrado que es cierto para n = 2.
Supongamos que es cierto para n y demostremos
que entonces es tambin cierto para n+1.

32

Forma polar y trigonomtrica

A partir de las coordenadas polares (r,) tenemos:

z
r

x r cos
y r sin

z x iy
r cos ir sin

x
Forma trigonomtrica

z r cos i sin

z r
r 0

Forma polar

Utilizamos el
argumento
principal

En ingeniera:

r cis

33

Ejemplo:
Escribir el siguiente nmero complejo z1=1+i,
en forma polar y trigonomtrica:

mdulo:

r1 z1 (1) 2 (1) 2 2

z1 1 i

r1

argumento:

1
arg z1 arctan
1
{ / 4 2n } (n 0,1, )
1 Arg( z1 ) / 4

z1 2 cos i sin
4
4

z1 2 / 4

34

Ejemplo:

Mdulo:

dem para z2=-1-i :

r2 z 2 (1) 2 (1) 2 2

Argumento:

r2

x
1

z 2 1 i

z 2 2 3 / 4

1
arg z 2 arctan

1
{ / 4 2n } (n 0,1, )
2 Arg( z2 ) 3 / 4

3
3
z 2 2 cos i sin

4
4

Nota: tan(1) = tan(2) = 1, pero z2 est en el tercer

cuadrante, as que 2 = -3/4.

35

y
arctan x

x0

y
arctan , x 0, y 0
x

Dos nmeros complejos

sern iguales sii:

| z1 || z 2 |
Arg z1 Arg z 2

Arg z arctan y , x 0, y 0

,
x 0, y 0

,
x 0, y 0

2
36

37

opiedades del argumento

arg( z1 z 2 ) arg z1 arg z 2

Recordemos que el argumento est multivaluado:

arg z1 {1 2n : n Z }
arg z 2 { 2 2n : n Z }
z1 z 2 | z1 | cos 1 i sin 1 | z 2 | cos 2 i sin 2
| z1 || z 2 | { cos 1 cos 2 sin 1 sin 2
i sin 1 cos 2 cos 1 sin 2 }

38

Usemos las relaciones trigonomtricas siguientes para la suma

de ngulos:

cos1 2 cos 1 cos 2 sin 1 sin 2

sin( 1 2 ) sin 1 cos 2 cos 1 sin 2
Obtenemos que:

z1 z2 | z1 || z 2 | cos(1 2 ) i sin( 1 2 )

1 2 arg( z1 z 2 )
arg( z1 z2 ) {1 2 2n : n Z }
{1 2n : n Z } { 2 2n : n Z } arg z1 arg z2
39

ngamos en cuenta que arg z es un conjunto. Y en general

do un conjunto A, A+A no es igual a 2A. Por ejemplo:

arg i { / 2 2n : n Z }
arg i arg i { 2n : n Z }
2 arg i { 4n : n Z }
arg i arg i 2 arg i

2 arg i arg i arg i

arg( i 2 ) arg i arg i 2 arg i
40

Hemos demostrado en particular que para z1= z2

= z:

arg( z ) arg z arg z

2

2
Pero recordemos que en general:
arg( z )

2 arg z

bservemos que, sin embargo, para el argumento principal:

Arg[( i ) ] Arg( 1)
2

Arg( i ) Arg( i )
2 2
As que, en general:

Arg( z1 z 2 ) Arg z1 Arg z 2

41

Ejercicio: demostrar que

arg( z1 / z 2 ) arg z1 arg z2

Y que en general:

Arg( z1 / z 2 ) Arg z1 Arg z2

42

Multiplicacin en forma trigonomtrica

En realidad ya tenemos la solucin a partir de las propiedad

del argumento:

z z1 z 2 r1 cos 1 i sin 1 r2 cos 2 i sin 2

r1r2 [ cos 1 cos 2 sin 1 sin 2
i sin 1 cos 2 cos 1 sin 2 ]

r1r2 [cos(1 2 ) i sin( 1 2 )]

r r1r2 z1 z 2

arg z1 z 2 arg z1 arg z 2

z1 z 2 z1 z 2

arg z1 z 2 arg z1 arg z 2

43

cto de nmeros complejos en el plano co

z z1 z2

y
r r1r2

z2
r2
1 2

z1

r1
1

x
44

cto de nmeros complejos en el plano co

z2

y zz
1 2

Observa que los

tringulos azul y
rojo son semejantes.

1
2

z1
1

45

Potencias de i

i 1
2

i i
3

i 1
4

i
1

i i
5

i 6 1

1
i

Por ejemplo:

i (i ) i 1(1) 1
254

4 63

46

47

Qu significa un
nmero complejo?

x=0

t 0 xb 0

x p d

1 2
t 0 xb at
2

Bus parado en el
semforo (arrancando)

x p d vt

Alcanzar el bus en T:
2

v
d
v
T 2
a
a
a

T corriendo
para pillarlo
v

1 2
xb (T ) x p (T ) ,
aT d vT
2
Supn que hay dos soluciones reales. Qu
significan T+ y T-?
Y si hay una nica solucin real?

Si:

v2
d
2a

T es un tiempo complejo y no alcanzars el bus.

Pero adems tiene significado fsico...

48

Supongamos que perdemos el bus:

2

v
d v
d v
v
T 2 i 2
a
a a
a a
a

y queremos saber en qu momento estuvimos ms cerca...

s xb x p

ds
0
dt

1 2
s at d vt En que instante s es mnimo?
2

v
t
a

Es decir: el tiempo correspondiente a

la
parte real del tiempo
complejo T.
49

Relatividad especial: la importancia de

Distancia espacial
(teorema de Pitgoras)

s 2 ( x1 x2 ) 2 ( y1 y2 ) 2 ( z1 z 2 ) 2
(ds ) 2 (dx) 2 (dy ) 2 (dz ) 2
(ds ) (ds ' ) (dx' ) (dy ' ) (dz ' )
2

Albert Einstein

(1879 1955)

Invariancia frente a rotaciones

y/o translaciones
Mtrica euclidiana
50

Transformaciones
de Lorentz

x vt

x'
Transformaciones
de Galileo

x' x vt
y' y
z' z
t' t

1 (v / c ) 2

y' y
z' z
t'

t vx / c 2
1 (v / c )

51

En vez de hablar de distancia entre eventos

(posiciones) en el espacio
tridimensional, los fsicos hablan de intervalos entre
eventos en
el espacio cuatro-dimensional espaciotiempo. Parece
2
2
2
2
2
(ds ) definir
(cdt )lamtrica
(dx) (de
dy ) ese
(dz
)
razonable
espaciotiempo
como:
ero es incorrecto! La mtrica as definida no es invariante ba
s transformaciones de Lorentz. Para comprobarlo, supn que
movimiento es solo en el eje x, y calcula:

(ds ) (ds ' ) (cdt ' ) (dx' ) (dy ' ) (dz ' )
2

Por ejemplo:

t'
dt '

t vx / c 2

t '
t '
dt ' dx dt
x
t

1 (v / c ) 2
v / c2
1 (v / c )

dx

1
1 (v / c )

dt
52

Cmo hacer (ds)2 invariante? Lo que Minkowski descubri

es que en vez de usar c(dt) debemos tomar ic(dt).

(ds ) 2 c 2 (dt ) 2 (dx) 2 (dy ) 2 (dz ) 2

emostrar que de esta manera (ds)2 es invariante bajo

s transformaciones de Lorentz. Observa que usando ic(dt)
o que es lo mismo c(idt), tenemos un tiempo imaginario!

Las consideraciones sobre el espacio y el tiempo que quisi

presentarles surgieron en el seno de la fsica experimental,
ello radica su fuerza. Son radicales. De ahora en adelante e
espacio en s mismo y el tiempo en s mismo estn condena
a ser sombras; slo un tipo de unin entre los dos conserva
una realidad independiente.

Hermann Minkowski
(1864 1909)

53

ivisin en forma polar

Pensemos que la divisin es la operacin inversa del producto:

Sean z1 = r1(cos1+i sin1) y z2 = r2(cos2+i

sin2).
Queremos z = z1/z2 . Entonces: z z2 = z1.
De modo que: |z z2| = |z| |z2| = |z1|

|z| = |z1|/|z2|
arg(z z2) = arg(z) + arg(z2) =
arg(z1)
1) - arg(z
z1arg(z)
/z2 = =
(r1arg(z
/r2)[cos(
1-22))+i sin
As que:
(1-2)]

54

n de nmeros complejos en el plano comp

z1
z
z2

z1
y

r1

z2

r1
r
r2

r2

1 2

55


i
(1)
Usando
la
forma
trigonomtrica,
evaluar:
Ejemplos:

i cos / 2 i sin / 2

2 2i 8 cos / 4 i sin / 4

1 cos 0

2 2i

2 2i

i
1
cos / 4 i sin / 4

2 2i
8
(2) dem para:
1/

z x iy r (cos i sin )
1 1
[cos( ) i sin( )]
z r
1
(cos i sin )
r

x
y

1/ z

56

Frmula de MoivreAbraham de Moivre

Potencias enteras de
complejos
en forma
polar:
z r cos
i sin

(1667 -

1754)

z 2 r 2 cos 2 i sin 2

z 1 r 1 cos( ) i sin( )

z 2 r 2 cos( 2 ) i sin( 2 )

z n r n cos n i sin n

cos i sin

n 0, 1, ...

cos( n ) i sin( n )

Ejercicio: Demostrar por induccin.

57

teorema de Moivre es una mquina de

nerar identidades trigonomtricas. Por ejemp

cos 3 i sin 3 (cos i sin )

3

cos 3i cos sin 3 cos sin i sin

3

gualando las partes reales e imaginarias:

cos 3 cos 3 cos sin

3

sin 3 3 cos sin sin

2

58

a manera ingeniosa de derivar identidades trigonomtricas:

z cos i sin
1
z 1 cos i sin
z
z z 1 2 cos

z z

1 n

2 n cos n ( )

z cos( n ) i sin( n )
n

cos( n ) i sin( n )

z z
n

2 cos( n )

59

Por ejemplo:

n6

z z

1 6

2 cos ( ) ;
6

z z

1 6

z 6 6 z 4 ...

( z 6 z 6 ) 6( z 4 z 4 ) 15( z 2 z 2 ) 20



2 cos(6 )

2 cos(4 )

2 cos(2 )

2 cos(6 ) 12 cos( 4 ) 30 cos( 2 ) 20 26 cos 6 ( )

1
3
15
5
6
cos ( ) cos(6 ) cos( 4 ) cos( 2 )
32
16
32
16

60

Ejercicio: Sumar
n

S1 : cos( kx)
k 0

1
Dn ( x)
2
n

2 cos x cos( 2 x) ... cos( nx)

S 2 : sin( kx)
k 0

z k cos( kx) i sin( kx)

z : cos x i sin x

n 1
z
1
k
S1 iS 2 z
z 1
k 0
n

z n 1 1
cos[( n 1) x] i sin[( n 1) x] 1
Re

S1 Re
(cos x 1) i sin x

z 1
cos( nx) cos[( n 1) x] cos x 1

2 2 cos x
En teora de
series de
Fourier la
funcin
D (x) se llama

1
Dn ( x)

2n 1
sin
x
1
1
2

S1
2
2 2 sin x

2 61

Races de z
Si z = wn, entonces w se llama la raz ensima de z y
podemos escribirla como:
n

w z

que posee n distintos valores. Es decir nz est multivaluada.

Sean w = R(cos + i sin),
z = r(cos + i sin)
Entonces por el teorema de Moivre:
wn = Rn[cos(n) + i sin(n)] = r(cos + i sin)

r = Rn, o R = nr
y
n = +2k
o
= /n + 2k/n
tomando los valores k = 0,1,...., n-1, obtendremos las n races.

Por qu solo hasta n-1?

62

Resumiendo:

2k
2k
z r cos
i sin

n
n

k 0, 1, , n 1
n

donde z r cos i sin

Los n valores se equireparten en un crculo de

radio nr
con centro en el origen, constituyendo los
vrtices de
un polgono regular de n caras.
El valor de nz obtenido al tomar el valor
principal de
63

Encontrar la raz cuarta de z = 1 +

i.
Con r = 2 , = arg z = /4;
/ 4 2k
/ 4 2k
1/ 8
tenemos:
wk 2 (cos
i sin
)
4

k 0, w0 2 (cos i sin ) 1.1664 0.2320i

16
16
9
9
1/ 8
k 1, w1 2 (cos i sin ) 0.2320 1.1664i
16
16
1/ 8

17
17
k 2, w2 2 (cos
i sin
) 1.1664 0.2320i
16
16
25
25
1/ 8
k 3, w3 2 (cos
i sin
) 0.2320 1.1664i
16
16
1/ 8

64

Ejemplo: races de la
unidad
1 1(cos 0 i sin 0)

z 1
n

0 2k
0 2k
1 1 cos
i sin
n
n

w0 cos 0 i sin 0 1

Ecuacin
ciclotmica

k 0, 1, , 4

2
2
w1 cos
i sin

5
5
4
4
w2 cos
i sin

5
5
6
6
w3 cos
i sin

5
5
8
8
w4 cos
i sin

5
5
Ejercicio: Encuentra las races cbicas de 1 - i

65

Ejercicio: Sea zk cualquier raz ensima de la

unidad, prueba que:

1 z k zk2 ...z kn 1 0, si z k 1

: Si 1, z1, z2, ..., zn-1 son las races de la unidad, demue

( z z1 )( z z2 )...( z z n 1 ) 1 z z ... z
2

n 1

Sol.: z1 2 i
z2 2 i

Sol.: z 1
66


Un producto infinito para

cos i sin

1/ 2

cos i sin
2
2

Elevando al cuadrado a ambos lados:

2
cos isin
cos 2 sin 2 i 2 sin 2 cos 2


2

Igualando las partes imaginarias

sin 2 sin cos
2
2
67


Un producto infinito para

sin 2 sin
2

cos 2 2 sin cos cos
2
4
4
2

cos(Aplicamos

el resultado encontrado al ngulo mitad.
4

4

2 sin

Aplicndolo reiteradamente...

sin 2 cos cos ... cos n sin n
2
4
2
2
n

68


sin n

... cos n

4
2
2n

cos ...
4
8

cos cos
...
4
8
16

Dividiendo la igualdad entre :

sin

cos cos

sin

cos cos

cos
2

Producto infinito
de Vite para

2

cos k
k 2 2

69

Tomando = /4:

2

cos
2
4
2
2

Usando reiteradamente
en el producto infinito

2 2
2

1 cos

cos
2
2

2 2 2
...
2

70

Potenciacin de exponente racional

Sean m Z , n N , con m, nprimos entre s.
m

z n
Se define z

Si z r cos isen , entonces:

m
n

m
m
r n cos ( 2k ) isen ( 2k )
n
n

con k 0,1,...,n 1.

Los nvalores ( parak 0,1,...,n 1) son distintos.

k' obtuviese el mismo n complejo.
Supongamos que parak y se
Sera entonces:
m
2k' m 2k 2 p , es decir: k' m k m p .
n
n
n
n
m
O sea, p (k' k) pn m(k' k)
n
Como m y son
n primos entre si, todo factor de
ndeber estar enk' k ,
es decirn k' k. Imposible pues k' k n

71

Ya podemos encontrar todas las soluciones

de una ecuacin como:

z 23 0 z n 23
n

Sern n soluciones.
O las soluciones de ecuaciones como:

n/m

1 0 z (1)
n

Cuntas soluciones tiene?

72

Cualquier complejo elevado a m est univaluado,

nos proporcionar un nico valor.
Si m/n es irreducible, tendremos n soluciones. Si
es reducible, m/n = p/q, y tendremos q < n
soluciones distintas.
Es importante, por tanto, simplificar m/n siempre.
Adems: supongamos que hemos simplificado
hasta
alcanzar m/n. Tomemos una solucin de las n
posibles.
Al elevarla a n/m debera darnos z, pero nos dar
m valores y solo uno de ellos es z!
73

ropiedades algebraicas
La suma y el producto dotan
a C de estructura de cuerpo.
Ley de clausura:

z1 + z2 y z1 z2 pertenecen a C.

Las
Ley conmutativa:
propiedades
son
z1 + z2 = z2 + z1
fciles de
z1 z2 = z2 z1
probar
Ley asociativa:
escribiendo z en
(z1 + z2) + z3 = z1 + (z2 + z3forma
)
algebraica x+iy,
(z1 z2) z3 = z1 (z2 z3)
y usando las
correspondiente
Ley distributiva:
s propiedades
z1 (z2 + z3) = z1 z2 + z1 z3
de los
74
nmeros reales.

0+z = z+0 = z

(Neutro para la suma)

z +(-z) = (-z)+z = 0

(Opuesto para la suma)

z 0 = 0 z = 0 (Neutro para el producto)

z 1 = 1 z = z
z z-1 = z-1 z = 1

(Identidad para el producto)

(Inverso para el producto)

(Para todo z distinto de 0)

{C,+,} con las propiedades anteriores es un cuerpo.

No es posible ordenar el conjunto de los nmeros
complejos.
Carecen de sentido expresiones como z > 0 o z1 < z2,
por ejemplo.
75

76

77

78

79

Representacin matricial de los nmeros complejos

x y
1 0
0 1
x
y

z
0
y x
0 1
1

Acta como 1 Acta como i

(una rotacin de 90)

Con la suma y el producto matricial clsico, y teniendo en

cuenta que toda matriz no cero de este tipo es invertible,
tenemos un cuerpo.
El mdulo es igual a la raz cuadrada del determinante.

A qu corresponde el conjugado de z en forma matricial?

80