Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Números complejos
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
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM -FIEE 2
(0,1) se llama la unidad imaginaria y se denota por:
i (0,1)
z1 z 2 ( x1 x2 ) i ( y1 y2 )
Producto
z1 z 2 ( x1 x2 y1 y2 ) i ( x1 y2 x2 y1 )
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM - 4
FIEE
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
(2) Esto nos permite una manera práctica de operar.
Por ejemplo:
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
z z z2 = z1, siempre que z20.
2
x1 x2 y1 y2 x2 y1 x1 y2
Ejercicio:
z i
x2 y 2 x2 y 2
demostrar 2 2 2 2
que es cierto.
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM -FIEE 6
Ejemplo:
Sean z1=18 + 3i z2 = -7 + 2i
Calcular:
Re(z1) = 18, Re(z2) = -7
Im(z1) = 3, Im(z2) = 2
zz z1 z 2 z1 z 2 2 Re( z1 z2 )
Es sencillo
demostrar z1 z 2 z1 z 2 z1 z 2 z1 z 2
que: z1 z 2 z1 z 2 z1 / z 2 z1 / z 2
zz zz
Re( z ) Im( z )
2 2i 8
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM -
Por ejemplo: z x iy x iy x iy z
z1 z 2 ( x1 iy1 ) ( x2 iy2 ) ( x1 x2 ) i ( y1 y2 )
( x1 x2 ) i ( y1 y2 ) ( x1 iy1 ) ( x2 iy2 )
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
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM - 9
FIEE
Observemos que:
z z ( x iy )( x iy ) x y
2 2
0 1 z ... n z n 0
Sol.: z1 y iy
z 2 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 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
25/05/2021 23
Lic. Raúl P. Castro Vidal UNMSM -FIEE
Forma general de la ecuación cúbica y solución:
x px q
3
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
25/05/2021
t 3 19t 30 0 25
Lic. Raúl P. Castro Vidal UNMSM -FIEE
60 años después de Bombelli:
“… formulam 1 littera i …”
Leonhard Euler (1777)
Jean Argand
(1768 - 1822)
Idem y además consideró
i como una rotación de 90º.
Jhon Wallis (1616 - 1703)
“Algebra”(1673)
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM -FIEE 31
“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.
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM -FIEE 32
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 y | z |
2 2 2
Argumento:
x (Re) y
Eje real : arg z arctan
x
El argumento está multivaluado. Para z = 0, el ángulo
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM -FIEE no está definido. 33
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
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM - 34
FIEE
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 ,⋯}
25/05/2021
{2.55 2k }Lic. Raúl
(k P.Castro , ⋯UNMSM
0, 1Vidal ) - Arg z 2.55 35
FIEE
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
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
25/05/2021 Lic. Raúl P. Castro Vidal 37
UNMSM -FIEE
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 ) , z2 (1 i )
2 2
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM -FIEE 38
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
z a ib w c id t u iv 3.554 2 23.0482
| z | | w | | t |
2 2 2
626 23.312
2 2
z1
z1 z2
z2 x
z2 z1
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, ...
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM - 44
FIEE
Demostremos la desigualdad triangular:
| z1 z 2 | ( z1 z 2 )( z1 z 2 ) ( z1 z 2 )( z1 z 2 )
2
z1 z1 z1 z 2 z 2 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 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.
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM -FIEE 46
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 r0 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
25/05/2021 4 Vidal UNMSM -FIEE
4 Lic. Raúl P. Castro 48
Ejemplo: Módulo:
Ídem para z2=-1-i : r2 z 2 (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( z 2 ) 3 / 4
z 2 1 i
3 3
z 2 2 3 / 4 z 2 2 cos i sin
4 4
Obtenemos que:
z1 z 2 | z1 || z 2 | cos(1 2 ) i sin(1 2 )
1 2 arg( z1 z2 )
Arg[(i ) ] Arg(1)
2
Arg(i ) Arg(i )
2 2
Y que en general:
z1 z 2 z1 z 2
argz1 z 2 arg z1 arg z 2
25/05/2021 Lic. Raúl P. Castro Vidal 57
UNMSM -FIEE
Producto de números complejos en el plano complejo
z
y z z1 z 2
r r1r2
z2
r2
r1 z1
1 2 2
1
x
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM -FIEE 58
Producto de números complejos en el plano complejo
y zz z2
1 2
i i
3
i 14
i
i5 i
i 1
6
1 1
⋮
i
Por ejemplo:
i 254
(i ) i 1(1) 1
4 63 2
3
i z Re(iz ) Im z
2 Prueba que:
i z Re( z ) Im(iz )
s 2 ( x1 x2 ) 2 ( y1 y2 ) 2 ( z1 z2 ) 2
(ds ) 2 (dx) 2 (dy ) 2 (dz ) 2
(ds ) (ds ' ) (dx' ) (dy ' ) (dz ' )
2 2 2 2 2
Albert Einstein
(1879 – 1955)
Invariancia frente a rotaciones
Métrica euclidiana y/o translaciones
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
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM - 66
FIEE
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:
t vx / c 2 t ' t '
Por ejemplo: t' dt ' dx dt
1 (v / c ) 2 x t
v / c2 1
dt ' dx dt
1 (v / c ) 2
1 (v / c ) 2
z1 z1
z
y z2
r1
r1 r
z2 r2
r2 z
1 2
1 2
x
25/05/2021 Lic. Raúl P. Castro Vidal UNMSM - 70
FIEE
Ejemplos: (1) Usando la forma trigonométrica, 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 cos0 (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
25/05/2021 Lic. Raúl P. Castro Vidal
y z 71
UNMSM -FIEE
Fórmula 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, ...
Ejercicio:
cos i sin n
cos(n ) i sin( n ) Demostrar
por inducción.
Sol.: z i , k Z
25/05/2021 72
Lic. Raúl P. Castro Vidal UNMSM -FIEE
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.
25/05/2021 --Mary Ellen Curtin 73
Lic. Raúl P. Castro Vidal UNMSM -FIEE
El teorema de Moivre es una máquina de
generar identidades trigonométricas. Por ejemplo:
cos 3 i sin 3 (cos i sin ) 3
z cos(n ) i sin(n )
n
n
z cos(n ) i sin(n )
n
z zn
2 cos(n ) 75
25/05/2021 Lic. Raúl P. Castro Vidal
UNMSM -FIEE
Por ejemplo:
n6 z z 1 6
2 cos ( ) ;
6 6
z z 1 6
z 6 6 z 4 ...
6 4 2
( z z ) 6( z z ) 15( z z ) 20
6 4 2
32 16 32 16
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.
25/05/2021 Lic. Raúl P. Castro Vidal
2 77
UNMSM -FIEE
Raíces de z
wn z
2k 2k
n
z r cos
n
i sin
n n
k 0, 1, ⋯, n 1
donde z r cos i sin
/ 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
25/05/2021
Ejercicio: Encuentra las raíces cúbicas de 1 - i
Lic. Raúl P. Castro Vidal 82
UNMSM -FIEE
Ejercicio: Sea zk cualquier raíz enésima de la unidad,
prueba que:
n 1
1 z k z ...z
2
k k 0, si z k 1
Nota: Si 1, z1, z2, ..., zn-1 son las raíces de la unidad, demuestra:
n 1
( z z1 )( z z 2 )...( z z n 1 ) 1 z z ... z
2
Sol.: z1 2 i
z2 2 i
Sol.: z 1
25/05/2021 Lic. Raúl P. Castro Vidal 83
UNMSM -FIEE
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
25/05/2021
2 2 2 Lic. 2 Raúl P. Castro Vidal 84
UNMSM -FIEE
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
(1)(1) 1; (1)(1) 1;
1 1 1; i 1;
2
1 1
2
cos i sin cos sin i 2 sin cos
2
sin 2 sin cos
2 2
25/05/2021 Lic. Raúl P. Castro Vidal 87
UNMSM -FIEE
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
2
cos k
Producto infinito
de Viète para
k 2 2
2 2 2 2 2 2 2
...
2 2 2
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
z 23 0 z n 23
n
Serán n soluciones.
z n/m
1 0 z (1) n m
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:
102
25/05/2021 Lic. Raúl P. Castro Vidal 102
UNMSM -FIEE
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.
Roger Penrose,
"El camino a la realidad". 106
25/05/2021 Lic. Raúl P. Castro Vidal
UNMSM -FIEE
APLICACIONES DE LOS NUEMROS COMPLEJOS