Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Nmeros complejos
1
2
Un nmero complejo z es un par ordenado de nmeros
reales x e y, escrito como:
z = (x,y) (William R. Hamilton)
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
3
(0,1) se llama la unidad imaginaria y se denota por:
i (0,1)
z1 z2 ( x1 x2 ) i( y1 y2 )
Producto
z1 z2 ( x1 x2 y1 y2 ) i( x1 y2 x2 y1 )
5
Ejemplos:
(1) i 2 (0 i)(0 i) (0 1) i(0 0) 1
De modo que podemos sustituir siempre:
i 1
2
i i 1 1 2
1 1
(2) Esto nos permite una manera prctica de operar.
Por ejemplo:
6
La resta y la divisin se definen como operaciones
inversas de la suma y la multiplicacin respectivamente
Resta (operacin inversa a la suma)
z1 z2 z Qu es z ? z + z2 = z1
z ( x1 x2 ) i( y1 y2 )
Divisin (operacin inversa al producto)
z1 Qu es z ? Es un nmero complejo tal que:
z
z z z2 = z1, siempre que z20.
2
Ejercicio: x1 x2 y1 y2 x2 y1 x1 y2
demostrar z i
que es cierto. x2 y2
2 2
x2 y2
2 2
7
Ejemplo:
Sean z1=18 + 3i z2 = -7 + 2i
Calcular:
Re(z1) = 18, Re(z2) = -7
Im(z1) = 3, Im(z2) = 2
8
Complejo conjugado
El complejo conjugado z de un nmero complejo z = x + i y
se define como:
zz z1 z2 z1 z2 2 Re( z1 z2 )
Es sencillo
demostrar z1 z2 z1 z2 z1 z2 z1 z2
que: z1 z2 z1 z2 z1 / z2 z1 / z2
zz zz
Re( z ) Im( z )
2 2i 9
Por ejemplo: z x iy x iy x iy z
z1 z2 ( x1 iy1 ) ( x2 iy 2 ) ( x1 x2 ) i( y1 y2 )
( x1 x2 ) i ( y1 y2 ) ( x1 iy1 ) ( x2 iy 2 )
z1 z 2
z1 z2 ( x1 x2 y1 y2 ) i ( x1 y2 x2 y1 )
( x1 x2 y1 y2 ) i ( x1 y2 x2 y1 )
( x1 iy1 )( x2 iy 2 ) z1 z2
z z ( x iy ) ( x iy ) 2 x
x Re( z )
2 2 2 10
Observemos que:
z z ( x iy )( x iy ) x y
2 2
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
x2 y 2
2 2
x2 y 22
11
Ejemplos:
(1) Sean de nuevo: z1=18 + 3i z2 = -7 + 2i
z1 (18 3i)(-7-2i) -120-57i
z2 7 2
2 2
53
z1 z2 (18-3i)(-7-2i) -132-15i z1 z2
0 1 z ... n z n 0
Sol.: z1 y iy
z2 y iy , y
"El crculo y el cuadrado sobre estas lneas presentan la misma rea aunque no existe un
mtodo geomtrico que permita pasar de la figura de la izquierda a la de la derecha."
(Wikipedia)
"Incgnitas y cubos
igual a nmeros"
La Universidad de Bolonia, fundada x 3 px q p, q
en 1088, es la ms antigua de Europa.
2 3 2 3
q q p 3 q q p
x 3
2 2 3 2 2 3
t 3 a1t 2 a2t a3 0
x
1
t x a1
3 3
x
x px q
3
p, q
21
Forma general de la ecuacin cbica y solucin:
x 3 px q p, q
2 3 2 3
q q p 3 q q p
x 3
2 2 3 2 2 3
Funcionaba bien en algunos casos, como:
x3 6 x 20 ; x 3 108 10 3 108 10
formulam 1 littera i
Leonhard Euler (1777)
Eje imaginario
Mdulo: r : z x y 2 2
(Im)
Tambin llamado valor absoluto
(el mdulo de un real es su valor absoluto)
z
| z | Re z, | z | Im z, | z || z |
r y zz x 2 y 2 | z |2
Argumento:
x (Re) y
Eje real : arg z arctan
x
El argumento est multivaluado. Para z = 0, el ngulo
no est definido. 27
Ejemplo:
Dibujar el nmero complejo z = -3-2i en el plano complejo y
evaluar mdulo y argumento
y Mdulo:
r z (3) 2 (2) 2
13 La calculadora
no distingue
3 Argumento:
x 2 2
arg z arctan arctan
r 2 3 3
{ 146.3, 33.7, 213.7,}
3 2i
El argumento est multivaluado. 3.73 rad 28
Determinacin o valor principal
Para que sea nico, basta con imponer la condicin
adicional de que pertenezca a un cierto intervalo semiabierto
I de longitud 2 (como [0,2 ), ( , ], etc).
Escoger este intervalo I se conoce como
tomar una determinacin del argumento. Arg z
Se denomina determinacin principal o
valor principal a Arg z, el valor de en
el rango:
: Argz
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 ,}
{2.55 2k } (k 0, 1, ) Argz 2.55 29
30
Ejercicios: Demostrar que
(1) Re z | Re z || z |
(2) Im z | Im z || z |
( Nota :| z | (Re z ) (Im z ) )
2 2 2
(3) | z || z |
(4) z z | z | 2
(5) | z1 z 2 || z1 || z 2 |; | z1 z 2 z n || z1 || z 2 | | z n |
z1 z1
(6) ( z 2 0)
z2 z2
31
Ejercicio:
z x iy x iy x iy x y
2 2
1
z x iy x iy x iy x y
2 2
z
y
Grficamente el conjugado
es una reflexin respecto
x al eje real.
y z 32
33
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 , z2 )
3 1
c) z1 (1 i ) , z 2 (1 i )
2 2
34
Suma y resta de nmeros complejos
en el plano complejo
En la suma (y la resta)
los nmeros complejos
y se comportan como vectores
z1
z1 z2
z2 x
z2 z1
Prueba que si |z1| = |z2| = |z3| y z1 + z2 +z3 = 0,
entonces estamos hablando de los vrtices
de un tringulo equiltero.
Sugerencia:
Muestra que |z1-z2|2 = |z2-z3|2 = |z3-z1|2 35
y
3 z1
z1 2
x
z1
y El mdulo de z
es equivalente a
z1 la distancia
| z1 z2 |
z1 z2 euclidiana del
vector libre (x,y).
| z1 | La distancia entre
z1 y z2 es |z1-z2|.
| z2 | z2 x As disponemos de
un espacio mtrico
donde podemos
definir lmites,
Qu significa que |z1| > |z2|? continuidad, ...
37
Demostremos la desigualdad triangular:
| z1 z 2 | ( z1 z 2 )( z1 z2 ) ( z1 z 2 )( z1 z 2 )
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 || z2 | | z2 | (| z1 | | z 2 |)
2 2 2 2
n n
z
j 1
j | z j |
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.
39
Forma polar y trigonomtrica
A partir de las coordenadas polares (r,) tenemos:
x r cos
y r sin
z
z x iy
r y r cos ir sin
x
z r Forma polar
Utilizamos el
Forma trigonomtrica r 0 argumento principal
r1 argumento:
1 1
2 arg z1 arctan
x 1
1 { / 4 2n } (n 0,1,)
1 Arg( z1 ) / 4
z1 2 cos i sin z1 2 / 4
4 4 41
Ejemplo: Mdulo:
dem para z2=-1-i : r2 z2 (1) 2 (1) 2 2
y Argumento:
1
1 arg z 2 arctan
x 1
1
2 { / 4 2n } (n 0,1, )
r2 2 Arg( z2 ) 3 / 4
z2 1 i
3 3
z2 2 3 / 4 z2 2 cos i sin
4 4
Nota: tan(1) = tan(2) = 1, pero z2 est en el tercer
cuadrante, as que 2 = -3/4.
42
Dos nmeros complejos
y
arctan x0 sern iguales sii:
x
| z1 || z2 |
y
arctan , x 0, y 0
x Arg z1 Arg z2
Arg z arctan y , x 0, y 0
x
, x 0, y 0
2
, x 0, y 0
2
43
44
Propiedades del argumento
arg z1 {1 2n : n Z }
arg z2 { 2 2n : n Z }
Obtenemos que:
z1 z2 | z1 || z2 | cos(1 2 ) i sin(1 2 )
1 2 arg( z1 z2 )
arg( z1 z2 ) {1 2 2n : n Z }
{1 2n : n Z } { 2 2n : n Z } arg z1 arg z2
46
Tengamos en cuenta que arg z es un conjunto. Y en general
dado 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 ) arg i arg i 2 arg i
2
47
Hemos demostrado en particular que para z1= z2 = z:
Arg[( i ) ] Arg( 1)
2
Arg( i ) Arg( i )
2 2
Y que en general:
49
Multiplicacin en forma trigonomtrica
En realidad ya tenemos la solucin a partir de las propiedades
del argumento:
z z1 z2 r1 cos 1 i sin 1 r2 cos 2 i sin 2
r1r2 [cos 1 cos 2 sin 1 sin 2
isin 1 cos 2 cos 1 sin 2 ]
r1r2 [cos(1 2 ) i sin(1 2 )]
z1 z2 z1 z2
arg z1 z2 arg z1 arg z2
50
Producto de nmeros complejos en el plano complejo
z
y z z1 z2
r r1r2
z2
r2
r1 z1
1 2 2
1
x
51
Producto de nmeros complejos en el plano complejo
y zz z2
1 2
i 3 i
i 1
4
i
i i
5
i 6 1
1 1
i
Por ejemplo:
i (i ) i 1(1) 1
254 4 63 2
53
54
y
Multiplicar por i es equivalente a
girar 90 grados en sentido anti-
z horario (operador rotacin):
iz iz ir (cos i sin )
r ( sin i cos )
x r[cos( / 2) i sin( / 2)]
3
2 i z
i z "The number you have
dialed is imaginary.
55
56
Qu significa un d
x=0
nmero complejo?
Bus parado en el T corriendo
t 0 xb 0 x p d semforo (arrancando) para pillarlo
1 2 a v
t 0 xb at x p d vt
2
1 2
Alcanzar el bus en T: xb (T ) x p (T ) , aT d vT
2
2 Supn que hay dos soluciones
v v d
T 2 reales. Qu significan T+ y T-?
a a a Y si hay una nica solucin real?
Si:
v2 T es un tiempo complejo y no alcanzars el bus.
d
2a Pero adems tiene significado fsico...
57
Supongamos que perdemos el bus:
2 2
v v d v d v
T 2 i 2
a a a a a a
y queremos saber en qu momento estuvimos ms cerca...
1 2
s xb x p s at d vt En que instante s es mnimo?
2
ds v
0 t
dt a
Es decir: el tiempo
correspondiente a la
parte real del tiempo
complejo T.
58
Divisin en forma polar
Pensemos que la divisin es la operacin inversa del producto:
z1 z1
z
y z2
r1
r1 r
z2 r2
r2 z
1 2
1 2
x
60
Ejemplos: (1) Usando la forma trigonomtrica, evaluar: i
2 2i
i cos / 2 i sin / 2
i 2 2i 8 cos / 4 i sin / 4
i
1
cos / 4 i sin / 4
2 2i 8
2 2i
1 cos 0 (2) dem para: 1 / z z
y
z x iy r (cos i sin )
1 1
[cos( ) i sin( )] x
z r
1 1/ z
(cos i sin )
r y z 61
Frmula de Moivre Abraham de Moivre (1667 - 1754)
Potencias enteras de complejos
en forma polar:
z r cos i sin
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 r cos n i sin n
n n
n 0, 1, ...
cos i sin n
cos(n ) i sin(n )
Ejercicio: Demostrar por induccin. 62
Sol.: z i , k Z
63
El teorema de Moivre es una mquina de
generar identidades trigonomtricas. Por ejemplo:
cos 3 i sin 3 (cos i sin )
3
64
Otra manera ingeniosa de derivar identidades trigonomtricas:
z cos i sin
1
z 1 cos i sin
z
z z 2 cos
1
z z 1 n
2 n cos n ( )
z n cos(n ) i sin(n )
z n
cos(n ) i sin(n )
z n z n 2 cos(n )
65
Por ejemplo:
n6 z z 1 6
2 cos ( ) ;
6 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 )
32 16 32 16
66
Ejercicio: Sumar Dn ( x)
1 1
2 2 cos x cos(2 x) ... cos(nx)
n n
S1 : cos(kx) S 2 : sin(kx) z : cos x i sin x
k 0 k 0
n 1
n
z 1
z cos(kx) i sin(kx)
k
S1 iS 2 z k
k 0 z 1
z n 1 1 cos[(n 1) x] i sin[(n 1) x] 1
S1 Re Re
z 1 (cos x 1) i sin x
cos(nx) cos[(n 1) x] cos x 1
2 2 cos x
En teora de series de 2n 1
sin x
Fourier la funcin 1 1 1 2
Dn ( x) S1
Dn(x) se llama 2 2 2 2 sin x
ncleo de Dirichlet.
2 67
Races de z
2k 2k
n
z r cos
n
i sin
n n
k 0, 1, , n 1
donde z r cos i sin
/ 2 2k / 2 2k
wk 1 (cos
1/ 3
i sin )
3 3
3 1
k 0, w0 cos i sin i
6 6 2 2
5 5 3 1
k 1, w1 cos i sin i
6 6 2 2
3 3
k 2, w2 cos i sin i
2 2
70
Encontrar la raz cuarta de z = 1 + i.
Con r = 2 , = arg z = /4; tenemos:
/ 4 2k / 4 2k
wk 2 (cos
1/ 8
i sin )
4 4
k 0, w0 2 (cos
1/ 8
i sin ) 1.1664 0.2320i
16 16
9 9
k 1, w1 2 (cos
1/ 8
i sin ) 0.2320 1.1664i
16 16
17 17
k 2, w2 2 (cos
1/ 8
i sin ) 1.1664 0.2320i
16 16
25 25
k 3, w3 2 (cos
1/ 8
i sin ) 0.2320 1.1664i
16 16
71
z 1
Ejemplo: races de la unidad n Ecuacin
1 1(cos 0 i sin 0) ciclotmica
0 2k 0 2k
5
1 1 cos
5
i sin k 0, 1, , 4
n n
w0 cos 0 i sin 0 1
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 72
Ejercicio: Sea zk cualquier raz ensima de la unidad,
prueba que:
n 1
1 zk z ...z
2
k k 0, si zk 1
Nota: Si 1, z1, z2, ..., zn-1 son las races de la unidad, demuestra:
n 1
( z z1 )( z z2 )...( z zn1 ) 1 z z ... z
2
Sol.: z1 2 i
z2 2 i
Sol.: z 1
73
Falacia (Del lat. fallaca).
1. f. Engao, fraude o mentira con que se intenta daar a alguien.
2. f. Hbito de emplear falsedades en dao ajeno.
Real Academia Espaola
1 1 1 1 1 1
; ;
1 1 1 1 1 1
i 1 i 1 i 3 1 3
; ;
1 i 2 2i 2 2i 2i 2i
i 3 1 3 i 2 3i i 3i
i i ;
2 2i 2i 2i 2 2i 2i 2i
1 3 1 3
; 1 2
2 2 2 2 74
El segundo paso (extraer races a ambos lados) puede parecer
el origen de la falacia, pero no lo es. Basta con determinar el
valor principal en ambas races.
El tercer paso es el origen de la falacia. No existe regla que garantice
que:
a a
b b
excepto si a>0 y b>0.
La nica manera de que dos nmeros u y v (u,v distintos de cero)
tengan el mismo cuadrado es que u = v o u = -v. En nuestro caso,
podamos haber escrito:
a a a a
b b b b
75
1 1 1 1 1 1
; ;
1 1 1 1 1 1
De esta manera no se produce falacia.
Observemos que pasa lo mismo con:
(1)(1) 1; (1)(1) 1;
1 1 1; i 1;
2
1 1
De hecho, si operamos con i, sin pensar que es -1,
todo funciona correctamente.
76
Un producto infinito para :
cos i sin 1/ 2
cos i sin
2 2
Elevando al cuadrado a ambos lados:
2
cos i
sin
cos sin i 2 sin cos
2
2 2 2
2
Igualando las partes imaginarias
sin 2 sin cos
2 2
77
Un producto infinito para :
sin 2 sin cos 22 sin cos cos
2 2 4 4 2
2 sin cos (Aplicamos el resultado encontrado al ngulo mitad. )
4 4
Aplicndolo reiteradamente...
sin 2 cos cos ... cos n sin n
n
2 4 2 2
78
Dividiendo la igualdad entre :
sin n
sin 2
cos cos ... cos n n
2 4 2
2n
sin
cos cos cos ...
2 4 8
2
cos cos cos ...
2 4 8 16
2
cos k
Producto infinito
de Vite para
k 2 2
79
Tomando = /4:
2 1 cos
cos Usando reiteradamente
cos
4 2 en el producto infinito
2 2
2 2 2 2 2 2 2
...
2 2 2
80
Potenciacin de exponente racional
Sean m Z , n N , con m , n primos entre s.
m
z n
m 1
n
Se define z
Si z r cos j isen j , entonces:
m m m m
z n r n
cos ( j 2 k ) i sen ( j 2 k ) con k 0 ,1 ,..., n 1 .
n n
Como m y n son primos entre si, todo factor de n deber estar en k ' k ,
es decir n k ' k . Imposible pues k ' k n
81
Ya podemos encontrar todas las soluciones
de una ecuacin como:
z 23 0 z n 23
n
Sern n soluciones.
z n / m 1 0 z n (1) m
85
86
87
88
89
Representacin matricial de los nmeros complejos
x y 1 0 0 1
z x y
y x 0 1 1 0
Acta como 1 Acta como i
(una rotacin de 90)
Cuaterniones
Producto:
El producto se realiza componente a componente de acuerdo con las
leyes de combinacin y producto de los elementos de la base (Reglas
de Hamilton):
Cuaternin conjugado:
Dado el cuaternin , su
conjugado se escribe como:
Cociente entre cuaterniones:
El cociente entre cuaterniones se obtiene rpidamente a
partir de la frmula del inverso de un cuaternin:
94
94