Números Complejos

1.
Números complejos
MSc. Raúl Castro Vidal UNMSM-FIEE

20/09/2022 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)
(Notación 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 números complejos, se denota por C:
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
20/09/2022 MSc. Raúl Castro Vidal UNMSM-FIEE 2
(0,1) se llama la unidad imaginaria y se denota por:
i  (0,1)
(Los ingenieros eléctricos a menudo usan “j” para evitar confusiones

con el símbolo “i”, que asocian a la intensidad eléctrica).
Un número complejo z = (x,y) se escribe comúnmente
como (notación algebraica o binómica, “afijo” en textos
de antaño):
z=x+iy
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
número real.
MSc. Raúl Castro Vidal UNMSM-FIEE 3
20/09/2022
Suma y producto de números complejos
“En la facultad teníamos un profesor
z1  x1  iy1 cojo al que llamábamos el complejo.
Tenía una pierna real y otra imaginaria.”
Sean:
z 2  x2  iy2 Memorias de un estudiante
de matemáticas
Parte real Parte imaginaria

Suma
z1  z 2  ( x1  x2 )  i ( y1  y2 )
Producto
z1 z 2  ( x1 x2  y1 y2 )  i ( x1 y2  x2 y1 )
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:
(4  5i )(2  3i )  [4  2  (5i )  3i ]  [4  3i  (5i )  2]

 (8  15)  i (12  10)  23  2i

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  z 2  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
z z z2 = z1, siempre que z20.
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.
Ejemplo:
Sean z1=18 + 3i z2 = -7 + 2i
Calcular:
Re(z1) = 18, Re(z2) = -7
Im(z1) = 3, Im(z2) = 2
z1+z2 = 11 + 5i, z1-z2 = 25+i
z1z2 = (18+3i)(-7+2i) = -132 + 15i

Complejo conjugado
El complejo conjugado z de un número complejo z = x + i y
se define como:
z  x  iy También se suele denotar como : z  *
zz 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
zz zz
Re( z )  Im( z ) 
2 2i 8
20/09/2022 MSc. Raúl Castro Vidal UNMSM-FIEE
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
Observemos que:
z z  ( x  iy )( x  iy )  x  y
2 2
En la práctica, obtenemos el cociente de dos números

complejos z1 / z2 multiplicando el numerador y
denominador de por el complejo conjugado de z2.
x1  iy1 x1  iy1 x2  iy2

 
x2  iy2 x2  iy2 x2  iy2
x1 x2  y1 y2 x2 y1  x1 y2
 i
x2  y 2
2 2
x2  y 2
2 2
20/09/2022 MSc. Raúl Castro Vidal 10

UNMSM-FIEE
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 z 2
z1 (18  3i )(-7  2i ) -120  57i  z1 

   
 

z2 7 2
2 2
53  z2 
1 1 i i
(2)     i
i i i 1
A pesar de la sencillez del conjugado y sus propiedades,
nos permite demostrar fácilmente cosas como esta:
Sea la ecuación:  0   1 z  ...   n z n

 0  i  C.
Si p es una raíz de la ecuación, entonces p es raíz de la ecuación:
 0   1 z  ...   n z n  0
Y en particular, si  i   , i  1,..., n , p y p son raíces de la

misma ecuación, y obtenemos el conocido teorema que nos dice
que: las raíces no reales de la ecuación anterior con coeficientes
reales, aparecen en parejas de raíces conjugadas.
Un número es trascendente (o trascendental) si no es raíz de ningún polinomio (no
nulo) con coeficientes enteros (o racionales). En este sentido, número trascendente
es antónimo de número algebraico (Wikipedia). 12
a) z  1  i
Sol.:
b) z  1 / 5  13 / 5i
c) z  1 / 2
Sol.: z1  y  iy
z 2   y  iy , y  
Demuestra el teorema del binomio para números complejos:

n
 n  n i i donde n es un entero positivo.
( z0  z1 )     z0 z1
n
i  0  i  MSc. Raúl Castro Vidal UNMSM-FIEE

Sugerencia: Usa inducción. 13
20/09/2022
La aventura de la ecuación cúbica
"Cardano y Tartaglia. Las matemáticas en el Renacimiento italiano".
Francisco Martín Casalderrey, editorial Nivola
"El desarrollo económico y comercial en la Italia del siglo

XII creó necesidades formativas nuevas. Junto con la seda y
las especias se importan el sistema de numeración hindú, el
álgebra árabe y las obras matemáticas de la antigua Grecia.
Las escuelas de ábaco difunden estos nuevos conocimientos
formando a comerciantes y artesanos.
Al comenzar el siglo XVI se empiezan a dar las condiciones
para que las matemáticas avancen. Del Ferro y Tartaglia
resuelven la ecuación de tercer grado, Ferrari la de cuarto y
Cardano publica ambas soluciones en medio de una gran
polémica.
Todos los protagonistas de esta historia son hombres del
Renacimiento, polémicos, ávidos de saber y llenos de ideas."
Francisco Martín Casalderrey
La tragicomedia del nacimiento de los números complejos
Luca Pacioli había comparado la dificultad de

la resolución de la ecuación de tercer grado con
el viejo problema de la cuadratura del
círculo.
Luca Pacioli (1445 - 1517)
"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)
Resolver la ecuación de tercer grado se había convertido en un

desafío intelectual digno de los mejores matemáticos de la época.
Escipione del Ferro (1465-1526) fue el primero
en encontrar (1505-1515) una solución general
para la ecuación cúbica del tipo (¿Marciano?) :
"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 
En 1496 se convirtió en uno de los 5 titulares de

la cátedra de matemáticas. Aunque diversas
fuentes lo describen como un gran algebrista, no
han sobrevivido originales de su obra.
Mantener los hallazgos
matemáticos en secreto fue
común hasta el siglo XVIII.
Del Ferro, poco antes de morir,
reveló el secreto a su yerno
(para asegurar su sucesión en
su cátedra) y a su alumno
Antonio María del Fiore, un
matemático mediocre.
En el siglo XVI cualquier

matemático o erudito podía ser
desafiado a una disputa
públicamente. Muchas veces
había una apuesta de por
medio... Estaba en juego la
reputación, la conservación de
su puesto de trabajo en la
universidad e incluso el
incremento de su salario.
20/09/2022 MSc. Raúl Castro Vidal (www.lolitabrain.com) 17
UNMSM-FIEE
Buscando ese crédito, del Fiore desafió en 1535 al matemático Niccolò
Tartaglia. Tartaglia era su apodo (tartamudo) a causa de un sablazo que
recibió en la boca con 12 años a manos de un soldado francés. Fue dado
por muerto, pero gracias al tesón de su madre y a "un perro que le lamió
las heridas" (¿?¡!) logró sobrevivir. Siempre llevó barba para ocultar su
rostro desfigurado.
Tartaglia procedía de una familia muy
pobre: "Tuvo que abandonar sus estudios de
lectura y escritura del alfabeto al llegar a la
letra k porque la familia se quedó sin dinero
para pagar al tutor." (La ecuación jamás
resuelta, Mario Livio).
Tartaglia alcanzó reputación en Venecia al
resolver algunos problemas para los
ingenieros del Arsenal veneciano (45º). Su
Niccolò Fontana Tartaglia
fama llegó a oídos de del Fiore que, (1499-1557)
18
pertrechado
20/09/2022 con "su secreto", lo retó... MSc. Raúl Castro Vidal UNMSM-FIEE
La noche del 12 de febrero de
1535 en Venecia, Tartaglia se
enfrentaba a la lista de 30
problemas de su rival Antonio
María del Fiore.
Al cabo de 8 días debía

consignar las soluciones ante
notario...
Del Fiore perdió
estrepitosamente: no pudo
resolver ninguno de los 30
problemas que le propuso
Tartaglia. Sin embargo
Tartaglia fue capaz de
redescubrir la fórmula
extraterrestre de del Ferro.
Tartaglia se convirtió en una

celebridad matemática.
El resultado de la contienda se extendió como la pólvora por
toda Italia y llegó a oídos de Gerolamo Cardano (1501-
1576). Cardano fue un personaje singular. Como estudiante
se sustentó gracias al juego: cartas, dados, ajedrez... usando
los que fueron primeros rudimentos de la teoría de la
probabilidad (Liber de ludo aleae).
Cardano ganó muchos debates, y a pesar de sus modales

rudos y vocingleros, a mediados de siglo se había
convertido en uno de los médicos más famosos de Europa. Gerolamo Cardano
(1501-1576)
En esa época estaba redactando su segundo libro y
encontró sumamente atractiva la idea de incluir la fórmula
para la ec. de tercer grado. Trató en vano de deducirla, y
decidió convencer a Tartaglia para que le revelara su
secreto.
"Juro ante ti por los Santos Evangenlios y por mi fe de caballero, no solo no
publicar jamás tus descubrimientos si me los revelas, sino que también prometo y
comprometo mi fe como verdadero cristiano que los escribiré en clave para que
después de mi muerte nadie pueda comprenderlos." (25 de marzo de 1539, versión
de Tartaglia).
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.
“Divide 10 en dos partes, de modo que una

5   15
por la otra den 40.” x(10-x)=40". Solución “intrigante” o
20/09/2022 MSc. Raúl Castro Vidal
cantidades "sofísticas". 21
UNMSM-FIEE
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  
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
Pero en otros ... : x3  15 x  4; x  3 121  2  3 121  2

Cardano sabía que x = 4 es solución de esta ecuación.
Rafael Bombelli (1526-1572) resolvió la situación operando
como lo hacemos hoy con números complejos.
Ejercicio: Demuestra que la ecuación de tercer grado:
t 3  a1t 2  a2t  a3  0
1
se reduce bajo el cambio de variable: t  x  a1
3
a:
x 3  px  q
cuyas soluciones son:
2 3 2 3
q q  p 3 q q  p
x            
3
2 2  3  2 2  3 
Confirma que los números complejos son necesarios

incluso para encontrar las raíces reales de:
20/09/2022
t 3  19t  30  0 24
60 años después de Bombelli:
“A pesar de que podemos

pensar que la ecuación
x3 - 6x2 + 13x - 10 = 0 tiene
tres raíces, únicamente una
de ellas es real, la cual es 2, y
las otras dos…son
simplemente imaginarias.”
René Descartes René Descartes
(1596-1650) "La Géométrie" (1637)
Gottfried von Leibnitz
(1646 – 1716) “Los números imaginarios
son un excelente y
maravilloso refugio del
Espíritu Santo, una especie de
anfibio entre ser y no ser”
Otros términos que han sido

usados para referirse a los
números complejos incluyen :
“Sofisticados” (Cardano)
“Sin sentido” (Néper)
“Inexplicables” (Girard)
“Incomprensibles” (Huygens)
“Imposibles” (Diversos autores)
Leonhard Euler Con Euler los imaginarios se
(1707 – 1783) incorporan definitivamente en la
Matemática.
“… formulam 1 littera i …”
Leonhard Euler (1777)
i2 = -1; introdujo la notación binómica.

Demostró que el conjunto de los números
“imaginarios” era cerrado para las
cuatro operaciones básicas, así como
para la potenciación y la radicación.
“Estos números no son nada,

ni menos que nada, lo cual
necesariamente los hace
imaginarios, o imposibles”. 27
UNMSM-FIEE
Visualizar los números complejos

“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)
“¿Qué es un número complejo?” Gauss dio la respuesta
satisfactoria definitiva en 1831 al establecer la
interpretación geométrica: x+iy → (x,y).
¿Qué significa un Anteriores a Gauss:
número complejo?
Caspar Wessel
(1745 - 1818)
Primera representación
geométrica en 1797.
Jean Argand
(1768 - 1822)
Idem y además consideró
i como una rotación de 90º.
Jhon Wallis (1616 - 1703)
“Algebra”(1673)
“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.
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 
20/09/2022 MSc. Raúl Castro Vidal UNMSM-FIEE no está definido. 32
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
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
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
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
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
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
Encontrar u y v para: (89 2  1012 )(1112  1332 )  u 2  v 2
El matemático italiano Leonardo de Pisa escribió en

Liber quadratorum (1225)
1202 el Liber Abaci, un texto en el que se explica
Leonardo de Pisa (Fibonacci) como sumar, restar, multiplicar y dividir con
(1170-1250) numerales hindo-arábigos.
UNMSM-FIEE
(89  101 )(111  133 )  u  v
2 2 2 2 2 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
(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 números complejos
en el plano complejo En la suma (y la resta)
los números complejos
y se comportan como vectores.
z1
z1  z2
z2 x
z2  z1

UNMSM-FIEE
y
3z1
z1 2
x
 z1
C con la suma y el producto por un escalar posee estructura

de espacio vectorial, isomorfo a R2.
El conjunto {1, i} es base de ese espacio. Y podemos
identificar C con los vectores libres del plano R2. Pero
recordemos que C tiene algo más: el producto complejo.
Desigualdad triangular | z1  z 2 || z1 |  | z 2 |
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, ...
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
Extrayendo la raíz cuadrada (recordemos que el

módulo es siempre positivo), la desigualdad triangular
queda demostrada.
Ejercicio: Demostrar que | z1  z 2 || z1 |  | z 2 |
Ejercicio: Demostrar que | z1  z 2 || z1 |  | z 2 |
Podemos generalizar la desigualdad triangular:
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.
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
z  r cos   i sin   En ingeniería:

r
r cis
Ejemplo:
Escribir el siguiente número complejo z1=1+i,
en forma polar y trigonométrica:
y módulo:
z1  1  i r1  z1  (1) 2  (1) 2  2
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  z  2  /4
20/09/2022
 4 4 
1
46
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 

Dos números complejos
  y
 arctan x  x0 serán iguales sii:
  


| z1 || z 2 |
 y
arctan    , x  0, y  0
 x Arg z1  Arg z 2


Arg z  arctan y    , x  0, y  0
  x


 , x  0, y  0
 2


  , x  0, y  0
 2

Propiedades 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 

Usemos las relaciones trigonométricas siguientes para
la suma de ángulos:
cos  1   2   cos  1 cos  2  sin  1 sin  2
sin( 1   2 )  sin  1 cos  2  cos  1 sin  2
Obtenemos que:
z1 z 2 | z1 || z 2 | cos(1   2 )  i sin(1   2 )
1   2  arg( z1 z2 )
arg( z1 z 2 )  {1   2  2n : n  Z } 

{1  2n : n  Z }  { 2  2n : n  Z }  arg z1  arg z 2
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

arg( z 2 )  arg z  arg z
Pero recordemos que en general: arg( z )  2 arg z

2
Observemos 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

Ejercicio: demostrar que
arg( z1 / z 2 )  arg z1  arg z 2
Y que en general:
Arg( z1 / z 2 )  Arg z1  Arg z 2

Multiplicación en forma trigonométrica
En realidad ya tenemos la solución 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  
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
20/09/2022 55
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
Producto de números complejos en el plano complejo
y zz z2
1 2
Observa que los

triángulos azul y
rojo son semejantes.
1
2 z1
1
1 x 57
20/09/2022 MSc. Raúl Castro Vidal UNMSM-
FIEE
Potencias de i
i  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

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 )

¿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
2 Supón que hay dos soluciones
v v d
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...
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.
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 )  (ds ' )  (dx' )  (dy ' )  (dz ' )
2 2 2 2 2
Albert Einstein
(1879 – 1955)
Invariancia frente a rotaciones
Métrica euclidiana y/o translaciones

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
20/09/2022 MSc. Raúl Castro Vidal UNMSM- 64
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:
(ds )  (cdt )  (dx)  (dy )  (dz )

2 2 2 2 2
¡Pero es incorrecto! La métrica así definida no es invariante bajo

las transformaciones de Lorentz. Para comprobarlo, supón que
el movimiento es solo en el eje x, y calcula:
(ds )  (ds ' )  (cdt ' )  (dx' )  (dy ' )  (dz ' )
2 2 2 2 2 2
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

UNMSM-FIEE
¿Cómo 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
Demostrar que de esta manera (ds)2 es invariante bajo

las transformaciones de Lorentz. Observa que usando ic(dt)
o lo que es lo mismo c(idt), ¡tenemos un “tiempo imaginario”!
“Las consideraciones sobre el espacio y el tiempo que quisiera
presentarles surgieron en el seno de la física experimental, y en
ello radica su fuerza. Son radicales. De ahora en adelante el
espacio en sí mismo y el tiempo en sí mismo están condenados
a ser sombras; sólo un tipo de unión entre los dos conservará
una realidad independiente”.
Hermann Minkowski
(1864 – 1909)
División en forma polar
Pensemos que la división es la operación inversa del producto:

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
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  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 69
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
20/09/2022 70
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.
20/09/2022 --Mary Ellen Curtin 71
El teorema de Moivre es una máquina de
generar identidades trigonométricas. Por ejemplo:
cos 3  i sin 3  (cos   i sin  )  3
cos   3i cos  sin   3 cos  sin   i sin 

3 2 2 3
Igualando las partes reales e imaginarias:
cos 3  cos   3 cos  sin 

3 2
sin 3  3 cos  sin   sin 

2 3

UNMSM-FIEE
Utilizando las siguientes identidades conseguimos
otra manera ingeniosa de derivar identidades trigonométricas:
z  cos   i sin 
1 1
 z  cos   i sin 
z
1
z  z  2 cos 
z  z  1 n
 2 cos ( )
n n
z  cos(n )  i sin(n )
n
n
z  cos(n )  i sin(n )
n
z zn
 2 cos(n ) 73
UNMSM-FIEE
Por ejemplo:
n6 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
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
 cos ( )  cos(6 )  cos(4 ) cos(2 ) 
6
32 16 32 16

UNMSM-FIEE
Ejercicio: Sumar Dn ( x) 
1 1 
2  2  cos x  cos(2 x)  ...  cos(nx)
 
n n
S 1 :  cos( kx )
k 0
S 2 :  sin( kx )
k 0
z : cos x  i sin x
n 1
n
z 1
z k  cos(kx)  i sin( kx) 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 75
UNMSM-FIEE
Raíces de z
wn z
¿Por qué solo hasta n-1? 76

UNMSM-FIEE
Resumiendo:
    2k     2k  
n
z  r  cos
n
  i sin   
  n   n 
k  0, 1, ⋯, n  1
donde z  r cos   i sin  

UNMSM-FIEE
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

UNMSM-FIEE
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  i sin )  0.2320  1.1664i
1/ 8
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
UNMSM-FIEE
Ejemplo: haya la raíz quinta de la unidad. Ecuación
1  1(cos 0  i sin 0 ) z 1
n
ciclotómica
  0  2 k   0  2 k  
5
1  1  cos 
5
  i sin    k  0 , 1, ⋯ , 4
  n   n 
w 0  cos 0  i sin 0  1
 2   2 
w1  cos    i sin  
 5   5 
 4   4 
w 2  cos    i sin  
 5   5 
 6   6 
w 3  cos    i sin  
 5   5 
 8   8 
w 4  cos    i sin  
 5   5 
20/09/2022
Ejercicio: Encuentra las raíces cúbicas de 1 - i
MSc. Raúl Castro Vidal 80
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
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
20/09/2022
2 2 2 MSc. 2 Raúl Castro Vidal 82
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

UNMSM-FIEE
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

UNMSM-FIEE
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
Un producto infinito para  :
             
sin   2 sin   cos   22 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 

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 

  2   1  cos 
cos    Usando reiteradamente
en el producto infinito
cos   
4 2 2 2
2 2 2 2 2 2 2
 ...
 2 2 2

Potenciación de exponente racional
Sean m Z , n  N , con m, n primos entre sí.
m
 
m
 z n 
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 
Los n valores ( para k  0,1,..., n 1 ) son distintos.

Supongamos que para k y k ' se obtuviese el mismo nº complejo.
Sería entonces:
m
j  2 k '    m j  2 k    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 n son primos entre si, todo factor de n deberá estar en k ' k ,
es decir n k ' k . Imposible pues k ' k  n

Ya podemos encontrar todas las soluciones
de una ecuación como:
z  23  0  z  n  23
n
Serán n soluciones.
O las soluciones de ecuaciones como:
z n/m
 1  0  z  (1) n m
¿Cuántas soluciones tiene?

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.
Además: supongamos que hemos simplificado

hasta alcanzar m/n. Tomemos una solución de las
n posibles.
Al elevarla a n/m debería darnos z, ¡pero nos dará
m valores y solo uno de ellos es z!
Propiedades 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 propiedades son
Ley conmutativa: fáciles de probar
escribiendo z en
z1 + z2 = z2 + z1 forma algebraica
z1 z2 = z2 z1 x+iy, y usando las
Ley asociativa: correspondientes
propiedades de los
(z1 + z2) + z3 = z1 + (z2 + z3)
números reales.
(z1 z2) z3 = z1 (z2 z3)
Ley distributiva:
z1 (z2 + z3) = z1 z2 + z1 z3
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 (Identidad para el producto)
z · z-1 = z-1 · z = 1 (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 números complejos.
Carecen de sentido expresiones como z > 0 o z1 < z2, por ejemplo.
20/09/2022 93
UNMSM-FIEE
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º)
Con la suma y el producto matricial clásico, y teniendo en

cuenta que toda matriz no cero de este tipo es invertible,
tenemos un cuerpo.
El módulo es igual a la raíz cuadrada del determinante.
¿A qué corresponde el conjugado de z en forma matricial?

A pesar de las diferencias entre N, Z, Q, R y C,
poseen muchas propiedades comunes como
la conmutatividad y la asociatividad de la suma y
el producto, la distributividad del producto respecto
a la suma o la existencia de elemento unidad
para la multiplicación.
¿Se puede ampliar más el concepto de
número de modo que se conserven
estas propiedades?
Según el teorema de Frobenius

no es posible un campo mayor
que C. F. Frobenius
20/09/2022
(1849 - 1917) 97
Sir William Rowan Hamilton (1805 - 1865)
Hamilton intentó extender los números
complejos a "tres dimensiones". Hasta
convencerse de que necesitaba cuatro:
cuaterniones. Los cuaterniones son números
complejos en cuatro dimensiones en lugar de
dos (Hamilton 1843).
Cuaterniones
Así un cuaternión q se expresa como:
q = a + ib +jc + kd donde a,b,c,d son números reales.
{1, i, j, k} hacen de base en el hiperespacio de los
Parte Imaginaria
cuaterniones. {1, i} era la base estándar para los
Parte Real
números complejos, simplemente se añaden dos
vectores unitarios, j y k, perpendiculares entre sí.
Cuaterniones
Suma:
La suma se realiza análogamente a como se hace con números
complejos:
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):
Como se puede apreciar en esta regla de multiplicación de los

elementos de la base, el producto entre cuaterniones es asociativo y
no conmutativo. 99
Así el producto será:
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:
100
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).
Sorprendentemente, esta propiedad

El software de vuelo del Space
viene al pelo para describir Shuttle usaba cuaterniones para el
rotaciones en 3 dimensiones. control de navegación y vuelo. Su
uso conseguía compacidad de
código, velocidad de cómputo y
evitaba aparición de singularidades
en los cálculos. 101
Las rotaciones 3D no son conmutativas:
180 grados de
diferencia
dependiendo del
orden de las
rotaciones.
180 grados es el equivalente al cambio de signo en la multiplicación de cuaterniones. Los

cuaterniones tienen las propiedades adecuadas para describir rotaciones y en particular
composición de rotaciones. Los cuaterniones se usan para las rotaciones en los gráficos de
ordenador (a partir de ahora puedes decir cuando manejes la PS2 que estás computando
cuaterniones) y en GPS.

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
inverso 1/h. La base de cuatro Canal Real, donde Hamilton durante
elementos posee la misma un paseo dedujo las reglas para los
notación que la de cuaterniones, 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
“... 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". 104
TOPOLOGIA EN EL CONJUNTO
COMPLEJO
20/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 105

Conjuntos de puntos en el plano complejo
Un conjunto S de puntos en el plano complejo es
cualquier colección finita o infinita de puntos en el plano
complejo. Por ejemplo las soluciones de una ecuación
cuadrática, los puntos de una línea, los puntos del interior
de un círculo, etc.
¿Qué lugares geométricos describen las siguientes ecuaciones?
  Arg z  
La ecuación Arg z=  define una semirecta infinita de pendiente
. Entonces la desigualdad anterior define un sector infinito
comprendido entre las semirectas infinitas Arg z=  y Arg z= .
  Arg( z  z o )   (...)
106
20/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE
Un conjunto de puntos S se llama abierto si cada punto de
S tiene un vecindad constituida enteramente por puntos que
pertenecen a S. Por ejemplo los puntos del interior de un
círculo o un cuadrado.
El complementario de un conjunto de puntos S es el

conjunto de todos los puntos que no pertenecen a S.
Un conjunto de puntos S se llama cerrado si su

complementario es abierto. Ej.: los puntos sobre el círculo y
su borde o una región poligonal y su frontera, son cerrados
puesto que sus complementarios (los puntos exteriores a
la circunferencia o al poligono) son abiertos.

La distancia entre dos puntos z y a es |z-a|. De modo que un
círculo C de radio  y centrado en a, puede expresarse como:
y z
 ¿C es abierto o cerrado?
a
y
x
i
En particular, el circunferencia de radio
unidad centrado en el origen puede x
1
escribirse como: |z| = 1
UNAC-FIEE
Los puntos dentro del círculo C vienen representados por:
|z-a| <  (un entorno abierto centrado en a).
Bola abierta
y z
 B(a,  )  {z  C / | z  a | 
a
0 < |z-a| <  define un entorno punteado

x
o reducido.
Bola cerrada
z
B(a,  )  {z  C / | z  a | }
y

a |z-a|   define un entorno
circular cerrado centrado en a.
x
UNAC-FIEE
y
1
a El anillo abierto de radios 1 y 2, viene
2
dado por: 1 < |z-a| < 2
x

(1) Determina la región en el plano complejo dada por:
y 4
|z-3-i| ≤ 4
3+i
Es la región circular cerrada de radio 4 x
con centro en 3+i.
(2) Determina las regiones: (a) |z|<1; (b) |z| ≤ 1; (c) |z| >1
(a) Círculo unidad abierto (b) Círculo unidad cerrado (c) Exterior del círculo unidad.

UNAC-FIEE
Re(z)  1 (No es un conjunto abierto).

¿Qué lugar geométrico describe la siguiente ecuación?
| z  2 |  | z  2 | 5
Una elipse de focos en -2 y 2 (suma de distancias a
los focos igual a 5) con semieje mayor igual a 5/2).
Ejercicio: ¿Qué representan las

siguientes ecuaciones?
(a ) | z  a |  | z  b | c
-2 2 (b) | z  a |  | z  b | c
(c) | z  a |  | z  b | c
¿Qué lugar geométrico describen las siguientes ecuaciones:
(d ) | z  a |  | z  b | c
(e) | z  2 | Re( z )  3
( f ) | z  i | Im z  1
Nota: Busca las definiciones de parábola e hipérbola.

UNAC-FIEE
• Un punto interior de un conjunto S es un punto para el que
podemos encontrar un entorno o vecindad cuyos puntos
pertenecen todos a S. Por ejemplo, el centro de un círculo.
y z

a
• Un punto frontera de un conjunto S es un punto tal que

todo entorno alrededor de él contiene puntos que pertenecen a
S y que no pertenecen a S. Por ejemplo los puntos que forman
la frontera de un círculo.
UNAC-FIEE
• Si un punto no es interior ni frontera de un conjunto de
puntos S, entonces es un punto exterior a S.
• Entonces, si S es abierto no posee puntos frontera, solo

puntos interiores. Si S es cerrado posee también a sus puntos
frontera.
• Algunos conjuntos no son ni abiertos ni cerrados. Contienen

algunos puntos frontera. Por ejemplo un entorno punteado.
• El plano complejo C es abierto y cerrado a la vez. No posee
puntos frontera.

UNAC-FIEE
• Una región es un conjunto formado por un dominio, más,
quizás, algunos o todos sus puntos frontera (Cuidado:
algunos autores usan región para indicar dominio).
• Un conjunto es acotado si todo punto de S está dentro de
algún círculo |z| = R. En caso contrario es no acotado.
• Un punto de S se dice que es de acumulación si cada
entorno punteado del mismo contiene al menos un punto de S.
Entonces, si S es cerrado contiene a todos sus puntos de
acumulación.
• Un punto no es de acumulación si existe un entorno
punteado del mismo que no contenga puntos de S. P.ej.:
Todos los puntos del conjunto S = {i/n} (n = 1,2,...) no son de
acumulación a excepción del cero.
UNAC-FIEE
Semiplanos infinitos y
Semiplano superior: el conjunto de todos los
puntos z = x+iy tales que y > 0 o Im(z) > 0. x
Inferior: z = x+iy tales que y < 0 o Im(z) < 0.

y
Derecho: y
x z = x+iy tales que x > 0 o Re(z) > 0.

x
y Izquierdo:
z = x+iy tales que x < 0 o Re(z) < 0
x
¿Qué regiones describen?
(a) Im(z) = 0, (b) Im(z) = a,
(c) Re(z) = 0, (d) Re(z) = a
UNAC-FIEE
UNAC-FIEE
Conjuntos conexos
Un conjunto S se llama conexo si cualquier par de sus puntos pueden
conectarse mediante un camino formado por puntos que pertenecen a S.
Un abierto conexo se denomina dominio (en algunos textos se denomina
región). P.ej.: todo entorno es un dominio.
¿Son los siguientes conjuntos de puntos dominios?
Un anillo
y abierto
y
Un disco abierto 

1
 a
2
a

x
x y
Un cuadrado abierto  No existe camino entre

el triángulo inferior y el
sin diagonal.
triángulo superior.
20/09/2022 MSc. Raúl Castro Vidalx 121
UNAC-FIEE
UNAC-FIEE
Teorema: CONJUNTO
CONNEXO
Cualesquiera dos puntos de

un dominio pueden unirse
por medio de una línea
poligonal contenida en el
dominio.

UNAC-FIEE
  Arg z  
  Arg( z  z o )   (...)
124



y z
a
y
x
i
1
UNAC-FIEE
Bola abierta
y z
 B(a,  )  {z  C / | z  a | 
a

x
o reducido.
Bola cerrada
z
B(a,  )  {z  C / | z  a | }
y

x
UNAC-FIEE
y
1
2
dado por: 1 < |z-a| < 2
x

y 4
|z-3-i| ≤ 4
3+i
con centro en 3+i.

UNAC-FIEE

| z  2 |  | z  2 | 5

(a ) | z  a |  | z  b | c
-2 2 (b) | z  a |  | z  b | c
(c) | z  a |  | z  b | c
(d ) | z  a |  | z  b | c
(e) | z  2 | Re( z )  3
( f ) | z  i | Im z  1

UNAC-FIEE
y z

a

UNAC-FIEE

frontera.

puntos frontera.

UNAC-FIEE
acumulación.
UNAC-FIEE

y
Derecho: y

x
y Izquierdo:
x
(a) Im(z) = 0, (b) Im(z) = a,
(c) Re(z) = 0, (d) Re(z) = a
UNAC-FIEE
UNAC-FIEE
Conjuntos conexos
Un anillo
y abierto
y

1
 a
2
a

x
x y

sin diagonal.
UNAC-FIEE
UNAC-FIEE
Teorema: CONJUNTO
CONNEXO

dominio.

UNAC-FIEE
  Arg z  
  Arg( z  z o )   (...)
142



y z
a
y
x
i
1
UNAC-FIEE
Bola abierta
y z
 B(a,  )  {z  C / | z  a | 
a

x
o reducido.
Bola cerrada
z
B(a,  )  {z  C / | z  a | }
y

x
UNAC-FIEE
y
1
2
dado por: 1 < |z-a| < 2
x

y 4
|z-3-i| ≤ 4
3+i
con centro en 3+i.

UNAC-FIEE

| z  2 |  | z  2 | 5

(a ) | z  a |  | z  b | c
-2 2 (b) | z  a |  | z  b | c
(c) | z  a |  | z  b | c
(d ) | z  a |  | z  b | c
(e) | z  2 | Re( z )  3
( f ) | z  i | Im z  1

UNAC-FIEE
y z

a

UNAC-FIEE

frontera.

puntos frontera.

UNAC-FIEE
acumulación.
UNAC-FIEE

y
Derecho: y

x
y Izquierdo:
x
(a) Im(z) = 0, (b) Im(z) = a,
(c) Re(z) = 0, (d) Re(z) = a
UNAC-FIEE
UNAC-FIEE
Conjuntos conexos
Un anillo
y abierto
y

1
 a
2
a

x
x y

sin diagonal.
UNAC-FIEE
UNAC-FIEE
Teorema: CONJUNTO
CONNEXO

dominio.

UNAC-FIEE
TEMA DE LECTURA
APLICACIONES DE LOS NUEMROS COMPLEJOS

FIEE
UNMSM-FIEE
FIEE
The Complex Number Song
(Tune:John Brown's Body)
Mine eyes have seen the glory of the Argand diagram

They have seen the i's and thetas of De Moivre's mighty plan
Now I can find the complex roots with consummate elan
With the root of minus one
Complex numbers are so easy

In Cartesian co-ordinates the complex plane is fine

But the grandeur of the polar form this beauty doth outshine
You be raising i+40 to the power of 99
You'll realise your understanding was just second rate

When you see the power and magic of the complex conjugate
Drawing vectors corresponding to the roots of minus eight
(Probably) Mrs P.E.Perella

Números Complejos

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Números Complejos

Cargado por

Copyright:

Formatos disponibles

1.

MSc. Raúl Castro Vidal UNMSM-FIEE

(Notación en componentes o coordenadas cartesianas).

El conjunto de números complejos, se denota por C:

(Los ingenieros eléctricos a menudo usan “j” para evitar confusiones

Parte real Parte imaginaria

(4  5i )(2  3i )  [4  2  (5i )  3i ]  [4  3i  (5i )  2]

20/09/2022 MSc. Raúl Castro Vidal UNMSM-FIEE 5

z1+z2 = 11 + 5i, z1-z2 = 25+i

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

20/09/2022 MSc. Raúl Castro Vidal UNMSM-FIEE 7

z  x  iy También se suele denotar como : z  *

En la práctica, obtenemos el cociente de dos números

x1  iy1 x1  iy1 x2  iy2

20/09/2022 MSc. Raúl Castro Vidal 10

z1 (18  3i )(-7  2i ) -120  57i  z1 

Sea la ecuación:  0   1 z  ...   n z n

Si p es una raíz de la ecuación, entonces p es raíz de la ecuación:

Y en particular, si  i   , i  1,..., n , p y p son raíces de la

Demuestra el teorema del binomio para números complejos:

i  0  i  MSc. Raúl Castro Vidal UNMSM-FIEE

"El desarrollo económico y comercial en la Italia del siglo

Luca Pacioli había comparado la dificultad de

Luca Pacioli (1445 - 1517)

Resolver la ecuación de tercer grado se había convertido en un

En 1496 se convirtió en uno de los 5 titulares de

En el siglo XVI cualquier

Al cabo de 8 días debía

Tartaglia se convirtió en una

Cardano ganó muchos debates, y a pesar de sus modales

“Divide 10 en dos partes, de modo que una

Pero en otros ... : x3  15 x  4; x  3 121  2  3 121  2

Confirma que los números complejos son necesarios

“A pesar de que podemos

Otros términos que han sido

i2 = -1; introdujo la notación binómica.

“Estos números no son nada,

20/09/2022 MSc. Raúl Castro Vidal UNMSM-FIEE 28

(5) | z1 z 2 || z1 || z 2 |; | z1 z 2 ⋯ z n || z1 || z 2 |⋯ | z n |

Encontrar u y v para: (89 2  1012 )(1112  1332 )  u 2  v 2

El matemático italiano Leonardo de Pisa escribió en

(1) ( z z )( ww)  ( zw)( z w)  ( zw)( zw)  t t

(2) ( z z )( ww)  ( z w)( zw)  t t zw  t

20/09/2022 MSc. Raúl Castro Vidal 40

C con la suma y el producto por un escalar posee estructura

Extrayendo la raíz cuadrada (recordemos que el

Ejercicio: Demostrar que | z1  z 2 || z1 |  | z 2 |

Podemos generalizar la desigualdad triangular:

z  r cos   i sin   En ingeniería:

20/09/2022 MSc. Raúl Castro Vidal UNMSM-FIEE 47

20/09/2022 MSc. Raúl Castro Vidal UNMSM-FIEE 48

arg( z1 z 2 )  arg z1  arg z 2

Recordemos que el argumento está multivaluado:

arg z1  {1  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 

arg( z1 z 2 )  {1   2  2n : n  Z } 

20/09/2022 MSc. Raúl Castro Vidal UNMSM-FIEE 52

Pero recordemos que en general: arg( z )  2 arg z

Observemos que, sin embargo, para el argumento principal:

Así que, en general: Arg( z1 z 2 )  Arg z1  Arg z 2

arg( z1 / z 2 )  arg z1  arg z 2

Arg( z1 / z 2 )  Arg z1  Arg z 2

20/09/2022 MSc. Raúl Castro Vidal UNMSM-FIEE 54