Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Números complejos
1
Un número complejo z es un par ordenado de números
reales x e y, escrito como:
z = (x,y) (William R. Hamilton)
C : ( x, y) : x, y
Dos números complejos son iguales si y sólo si sus partes
reales e imaginarias son iguales:
(x1,y1) = (x2,y2) sii x1= x2 , y1= y2
2
(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 )
4
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 1
2
1
(4 5i )( 2 3i ) [4 2 (5i ) 3i ] [4 3i (5i ) 2]
(8 15) i (12 10) 23 2i
5
La resta y la división se definen como operaciones
inversas de la suma y la multiplicación respectivamente
Resta (operación inversa a la suma)
z1 z2 z ¿Qué es z ? z + z2 = z1
z ( x1 x2 ) i( y1 y2 )
División (operación inversa al producto)
z1 ¿Qué es z ? Es un número complejo tal que:
z
z2 z z2 = z1, siempre que z20.
Ejercicio: x1 x2 y1 y2 x2 y1 x1 y2
demostrar z i
que es cierto. x2 y 2
2 2
x2 y 2
2 2
6
Ejemplo:
Sean z1=18 + 3i z2 = -7 + 2i
Calcular:
Re(z1) = 18, Re(z2) = -7
Im(z1) = 3, Im(z2) = 2
7
Complejo conjugado
El complejo conjugado z de un número complejo z = x + i y
se define como:
zz z1 z 2 z1 z 2 2 Re( z1 z 2 )
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 8
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 9
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 y2
2 2
x2 y2 2
10
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 z 2 (18-3i )(-7-2i ) -132-15i z1 z2
0 1 z ... n z n 0
Sol.: z1 y iy
z2 y iy , y
"El círculo y el cuadrado sobre estas líneas presentan la misma área aunque no existe un
método geométrico que permita pasar de la figura de la izquierda a la de la derecha."
(Wikipedia)
"Incógnitas y cubos
x 3 px q p, q igual a números"
La Universidad de Bolonia, fundada
en 1088, es la más antigua de Europa. 2 3 2 3
q q p q q p
x3 3
2 2 3 2 2 3
1 [Solve x3 + cx = d]
2 [Find u, v such that u - v = d
and uv = (c/3)3 ]
3 [Then x = 3 u 3 v ]
22
Cardano generalizó la solución de Tartaglia y
su alumno Ludovico Ferrari (1522 - 1565)
en 1540 encontró solución para ecs. de cuarto
grado. En 1542 Cardano y Ferrari
consiguieron permiso para rebuscar entre los
papeles de del Ferro, donde ¡encontraron la
famosa fórmula! Puesto que Tartaglia no
había sido el primer descubridor, podían
publicarla.
Ars Magna (1545): Considerada como la
fecha de nacimiento de los números complejos
y el principio del álgebra moderna. Resolución
de ecuaciones de tercer y cuarto grado.
25
y Soluciones geométricas
2
x
x mx n
2
y
t 3 a1t 2 a2t a3 0
x
1
t x a1
3 3
x
x px q
3
p, q
26
Forma general de la ecuación cúbica y solución:
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:
x 3 6 x 20 ; x 3 108 10 3 108 10
“… formulam 1 littera i …”
Leonhard Euler (1777)
32
“Nuestra aritmética (...),
constituye la creación
de los tiempos modernos,
(...).
A los números enteros se
han agregado las fracciones;
a las cantidades racionales,
las irracionales;
a las positivas, las negativas; Karl Friedrich Gauss
y a las reales, las imaginarias”. (1777-1855)
“Números íntegros complexos”
K. F. Gauss (1831)
Jean Argand
(1768 - 1822)
Idem y además consideró
i como una rotación de 90º.
Jhon Wallis (1616 - 1703)
“Algebra”(1673)
34
“La visualización de los números
reales mediante los puntos de una
recta o de los números complejos
mediante los puntos del plano no
solamente penetró sin gran resistencia
en el análisis, sino que se puede decir
con razón que, en el caso de los
números complejos, esta
visualización (Argand, Gauss) fue
lo que hizo posible vencer la fuerte
oposición de la comunidad
matemática al dar carta de ciudadanía
a los números complejos”.
Miguel de Guzmán El rincón de la pizarra: ensayos de
(1936-2004) visualización en análisis matemático.
35
El plano complejo (Plano z, de Argand o de Gauss)
Eje imaginario
Módulo: r : z x y 2 2
(Im)
También llamado “valor absoluto”
(el módulo 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. 36
Ejemplo:
Dibujar el número complejo z = -3-2i en el plano complejo y
evaluar módulo y argumento
y Módulo:
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 37
Determinación o valor principal
Para que sea único, basta con imponer la condición
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 determinación del argumento. Arg z
Se denomina determinación principal o
valor principal a Arg z, el valor de en
el rango:
: 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 , }
{2.55 2k } (k 0, 1, ) Arg z 2.55 38
39
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 z2 z n || z1 || z 2 | | z n |
z1 z1
(6) ( z 2 0)
z2 z2
40
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
Gráficamente el conjugado
es una reflexión respecto
x al eje real.
y z 41
42
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
43
Ejercicio: Demostrar que para a, b, c, d enteros siempre
existen u y v enteros tal que: (a 2 b 2 )(c 2 d 2 ) u 2 v 2
z1
z1 z2
z2 x
z2 z1
49
y
3 z1
z1 2
x
z1
y El módulo 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 métrico
donde podemos
definir límites,
¿Qué significa que |z1| > |z2|? continuidad, ...
51
Demostremos la desigualdad triangular:
| z1 z2 | ( z1 z2 )( z1 z2 ) ( 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 z2 | | z1 | 2 | z1 || z 2 | | z2 | (| z1 | | z2 |)
2 2 2 2
n n
z
j 1
j | z j |
j 1
(n 2, 3, ...)
Ejercicio:
Demostrar por inducción.
Hemos demostrado que es cierto para n = 2.
Supongamos que es cierto para n y demostremos
que entonces es también cierto para n+1.
53
Forma polar y trigonométrica
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 trigonométrica 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 55
Ejemplo: Módulo:
Ídem para z2=-1-i : r2 z2 (1) 2 (1) 2 2
y Argumento:
1
1 arg z 2 arctan
x 1
1 { / 4 2n } (n 0,1, )
2
r2 2 Arg( z 2 ) 3 / 4
z2 1 i
3 3
z 2 2 3 / 4 z 2 2 cos i sin
4 4
56
Dos números complejos
y
arctan x0 serán iguales sii:
x
| z1 || z2 |
y
, x 0, y 0
arctan
x Arg z1 Arg z2
Arg z arctan y , x 0, y 0
x
, x 0, y 0
2
, x 0, y 0
2
57
58
Propiedades del argumento
Obtenemos que:
z1 z2 | z1 || z2 | cos(1 2 ) i sin( 1 2 )
1 2 arg( z1 z2 )
61
arg( z 2 ) arg z arg z
Pero recordemos que en general: arg( z 2 ) 2 arg z
Observemos que, sin embargo, para el argumento principal:
Arg( i) Arg( i)
2 2
Y que en general:
63
Multiplicación en forma trigonométrica
En realidad ya tenemos la solución a partir de las propiedades
del argumento:
z z1 z2 r1 cos1 i sin 1 r2 cos2 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
64
Producto de números complejos en el plano complejo
z
y z z1 z2
r r1r2
z2
r2
r1 z1
1 2 2
1
x
65
Producto de números 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 254
(i ) i 1(1) 1
4 63 2
67
68
y Multiplicar por i es equivalente a
girar 90 grados en sentido anti-horario
(operador rotación):
z iz ir (cos i sin ) r ( sin i cos )
iz r[cos( / 2) i sin( / 2)]
"The number you have dialed is
imaginary. Please rotate your
x phone 90 degrees and try
again." Anonimus
3
i z Re( iz ) Im z
2 Prueba que:
i z Re( z ) Im( iz )
69
¿Qué significa un d
x=0
número complejo?
Bus parado en el Tú corriendo
t 0 xb 0 x p d semáforo (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
v v
2
d Supón que hay dos soluciones
T 2 reales. ¿Qué significan T+ y T-?
a a a ¿Y si hay una única solución real?
Si:
v2 T es un tiempo complejo y no alcanzarás el bus.
d
2a Pero además tiene significado físico...
70
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 más cerca...
1 2
s xb x p s at d vt ¿En que instante s es mínimo?
2
ds v
0 t
dt a
Es decir: el tiempo
correspondiente a la
parte real del tiempo
complejo T.
71
Relatividad especial: la importancia de i
Distancia espacial
(teorema de Pitágoras)
s 2 ( x1 x2 ) 2 ( y1 y2 ) 2 ( z1 z2 ) 2
(ds) 2 (dx) 2 (dy ) 2 (dz ) 2
(ds) 2 (ds' ) 2 (dx' ) 2 (dy ' ) 2 (dz ' ) 2
Albert Einstein
(1879 – 1955)
Invariancia frente a rotaciones
Métrica euclidiana y/o translaciones
72
Transformaciones
de Lorentz
x vt
x'
1 (v / c ) 2
Transformaciones
y' y
de Galileo
z' z
x' x vt
t vx / c 2
y' y t'
1 (v / c ) 2
z' z
t' t
73
En vez de hablar de distancia entre eventos (posiciones) en el espacio
tridimensional, los físicos hablan de intervalos entre eventos en
el espacio cuatro-dimensional espaciotiempo. Parece razonable
definir la métrica de ese espaciotiempo como:
74
¿Cómo hacer (ds)2 invariante? Lo que Minkowski descubrió
es que en vez de usar c(dt) debemos tomar ic(dt).
76
División de números complejos en el plano complejo
z1 z1
z
y z2
r1
r1 r
z2 r2
r2 z
1 2
1 2
x 77
Ejemplos: (1) Usando la forma trigonométrica, evaluar: i
2 2i
i cos / 2 i sin / 2
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 ) n 0, 1, ...
Ejercicio:
cos i sin n
cos( n ) i sin( n ) Demostrar
por inducción.
Sol.: z i , k Z 79
Amazon.com Review
At the very beginning of his book on i, the square root of
minus one, Paul Nahin warns his readers: "An Imaginary
Tale has a very strong historical component to it, but that
does not mean it is a mathematical lightweight. But don't
read too much into that either. It is *not* a scholarly
tome meant to be read only by some mythical, elite
group.... Large chunks of this book can, in fact, be read
and understood by a high school senior who has paid
attention to his or her teachers in the standard fare of pre-
college courses. Still, it will be most accessible to the
million or so who each year complete a college course in
freshman calculus.... But when I need to do an integral,
let me assure you I have not fallen to my knees in
dumbstruck horror. And neither should you."
Nahin is a professor of electrical engineering at the
University of New Hampshire; he has also written a
number of science fiction short stories. His style is far
more lively and humane than a mathematics textbook
while covering much of the same ground. Readers will
end up with a good sense for the mathematics of i and for
its applications in physics and engineering.
--Mary Ellen Curtin 80
El teorema de Moivre es una máquina de
generar identidades trigonométricas. Por ejemplo:
cos 3 i sin 3 (cos i sin )
3
81
Utilizando las siguientes identidades conseguimos
otra manera ingeniosa de derivar identidades trigonométricas:
z cos i sin
1
z cos i sin
1
z
z z 2 cos
1
z z
1 n
2 cos ( )
n n
z cos( n ) i sin( n )
n
z n cos( n ) i sin( n )
z z
n n
2 cos( n ) 82
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
83
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 teoría de series de 2n 1
sin x
Fourier la función 1 1 1 2
Dn ( x) S1
Dn(x) se llama 2 2 2 2 sin x
núcleo de Dirichlet.
2 84
Raíces de z
w z n
2k 2k
n
z r cos
n
i sin
n n
k 0, 1, , n 1
donde z r cos i sin
86
Ejercicio: Encontrar la raíz cúbica de z = i.
Usando en la fórmula anterior r = 1, = arg z = /2:
/ 2 2 k / 2 2 k
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
87
Encontrar la raíz 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
88
z 1
Ejemplo: haya la raíz quinta de la unidad. n Ecuación
1 1(cos 0 i sin 0) ciclotómica
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 raíces cúbicas de 1 - i 89
Ejercicio: Sea zk cualquier raíz enésima 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 raíces de la unidad, demuestra:
n 1
( z z1 )( z z2 )...( z zn 1 ) 1 z z ... z
2
Sol.: z1 2 i
z2 2 i
Sol.: z 1
90
Falacia (Del lat. fallacĭa).
1. f. Engaño, fraude o mentira con que se intenta dañar a alguien.
2. f. Hábito de emplear falsedades en daño ajeno.
Real Academia Española
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
2
i 3 1 3 i 3i i 3i
i i ;
2 2i 2i 2i 2 2i 2i 2i
1 3 1 3
; 1 2
2 2 2 2 91
El segundo paso (extraer raíces a ambos lados) puede parecer
el origen de la falacia, pero no lo es. Basta con determinar el
valor principal en ambas raíces.
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 números u y v (u,v distintos de cero)
tengan el mismo cuadrado es que u = v o u = -v. En nuestro caso,
podíamos haber escrito:
a a a a
ó
b b b b
92
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:
93
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
sin 2 sin cos
2 2
94
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
Aplicándolo reiteradamente...
sin 2 cos cos ... cos n sin n
n
2 4 2 2
95
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 Viète para
k 2 2
96
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
97
Potenciación 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
98
Ya podemos encontrar todas las soluciones
de una ecuación como:
z 23 0 z n 23
n
Serán n soluciones.
z n/m
1 0 z (1)
n m
102
103
104
105
106
Representación matricial de los números complejos
x y 1 0 0 1
z x y
y x 0 1 1 0
Actúa como 1 Actúa como i
(una rotación de 90º)
Cuaterniones
Producto:
El producto se realiza componente a componente de acuerdo con las
leyes de combinación y producto de los elementos de la base (Reglas
de Hamilton):
Cuaternión conjugado:
Dado el cuaternión , su
conjugado se escribe como:
Cociente entre cuaterniones:
El cociente entre cuaterniones se obtiene rápidamente a
partir de la fórmula del inverso de un cuaternión:
111
111
Es el precio que se paga por
obtener un álgebra consistente con
los cuaterniones es la falta de
conmutatividad. En general, el
producto q· q´ de dos cuaterniones
no es igual que el producto q´· q
(como ocurre con el producto
matricial estándar, por ejemplo).
180 grados de
diferencia
dependiendo del
orden de las
rotaciones.
113
Hamilton desarrolló también otra
álgebra alternativa: la de los
números hipercomplejos. En
vez de sacrificar la
conmutatividad, sacrificó la
existencia de inverso. En el
álgebra hipercompleja no todo
elemento h distinto de 0 posee El puente de Brougham sobre el
Canal Real, donde Hamilton durante
inverso 1/h. La base de cuatro un paseo dedujo las reglas para los
elementos posee la misma cuaterniones.
notación que la de cuaterniones,
pero las reglas de multiplicación
son distintas:
i j = k, j k = -i, k i = -j
j i = k, k j = -i, i k = -j
i i = j j = -k k = -1 i j k = 1 114
“... los números complejos
componen una notable
unidad con la naturaleza.
Es como si la propia
naturaleza estuviera tan
impresionada por el
alcance y consistencia del
sistema de los números
complejos como lo estamos
nosotros, y hubiera
confiado a estos números
las operaciones detalladas
de su mundo en sus
escalas más minúsculas”.
Roger Penrose,
"El camino a la realidad". 115
The Complex Number Song
(Tune:John Brown's Body)