1.

Números complejos

MSc. Raúl P. Castro Vidal UNAC -FIEE

2/04/2024 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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -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 P. Castro Vidal UNAC -FIEE 3
2/04/2024
 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  iy 2 Memorias de un estudiante
de matemáticas

Parte real Parte imaginaria

Suma

z1  z2  ( x1  x2 )  i( y1  y2 )
Producto

z1 z2  ( x1 x2  y1 y2 )  i( x1 y2  x2 y1 )
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 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

(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

2/04/2024 MSc. Raúl P. Castro Vidal UNAC - 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 z20.
x1 x2  y1 y2 x2 y1  x1 y2
Ejercicio:
z i
demostrar
que es cierto. x2  y 2
2 2
x2  y 2
2 2

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 6

 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

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 7

 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 z 2 )
Es sencillo
demostrar z1  z2  z1  z2 z1 z2  z1 z2
que: z1  z2  z1  z2 z1 / z2  z1 / z2
zz zz
Re( z )  Im( z ) 
2 2i 8
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE
 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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 9
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  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

2/04/2024 MSc. Raúl P. Castro Vidal 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 z2  (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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 11
 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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 13
 a) z  1  i
Sol.:
b) z  1 / 5  13 / 5i
c) z  1 / 2

Sol.: z1  y  iy
z2   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

2/04/2024 i  0  i  Sugerencia: Usa inducción.

MSc. Raúl P. Castro Vidal UNAC -FIEE 14
 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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 15
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.
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 16
 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.
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 17
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.
2/04/2024 MSc. Raúl P. Castro Vidal (www.lolitabrain.com) 18
 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)
19
pertrechado
2/04/2024 con "su secreto", lo retó... MSc. Raúl P. Castro Vidal UNAC -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.
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 20
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).
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 21
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
2/04/2024 MSc. Raúl P. Castro Vidal
cantidades "sofísticas". 22
 y Soluciones geométricas
2
x
x  mx  n
2
y

t 3  a1t 2  a2t  a3  0
1
x
t  x  a1
3 3
x
x  px  q
3
p, q  
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 23
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

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.
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 24
 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:
x3  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:

2/04/2024
t 3  19t  30  0 25
MSc. Raúl P. Castro Vidal UNAC -FIEE
 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)
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 26
 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)
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 27
 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”. 28
2/04/2024 MSc. Raúl P. Castro Vidal
 Visualizar los números complejos

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 29

“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).
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 30
 ¿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)
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -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.
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -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 2  y 2 | z |2
 Argumento:
x (Re)  y
Eje real  : arg z  arctan  
x
El argumento está multivaluado. Para z = 0, el ángulo 
2/04/2024 MSc. Raúl P. Castro Vidal UNAC - 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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC - 34
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/04/2024
 {2.55  2k MSc. (k P.Castro
} Raúl 0, 1Vidal ) -FIEE Arg z  2.55
, UNAC 35
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)  ( z2  0)
z2 z2
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 36
 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
2/04/2024 MSc. Raúl P. Castro Vidal 37
 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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -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

Encontrar u y v para: (892  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.
2/04/2024 MSc. Raúl P. Castro Vidal 39
 (892  1012 )(1112  1332 )  u 2  v 2
z  a  ib w  c  id t  u  iv 3.5542  23.0482
| z | | w | | t |
2 2 2
6262  23.3122
(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 |
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 40
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

2/04/2024 MSc. Raúl P. Castro Vidal 41

 y
3 z1
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.
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 42
Desigualdad triangular | z1  z2 || z1 |  | z2 |

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, ...
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 43
Demostremos la desigualdad triangular:

| z1  z2 |  ( z1  z2 )( z1  z2 )  ( z1  z2 )( z1  z2 ) 
2

z1 z1  z1 z2  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 || z2 |  | z2 |  (| z1 |  | z2 |)
2 2 2 2

Extrayendo la raíz cuadrada (recordemos que el

módulo es siempre positivo), la desigualdad triangular
queda demostrada.
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 44
 Ejercicio: Demostrar que | z1  z2 || z1 |  | z2 |
Ejercicio: Demostrar que | z1  z2 || z1 |  | z2 |

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.
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 45
 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 
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 46
 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  z1  2  / 4
2/04/2024
 4 4 MSc. Raúl P. Castro Vidal UNAC -FIEE 47
 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 

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 48

 Dos números complejos
  y
 arctan   x0 serán iguales sii:
 x


| 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

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 49

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 50
Propiedades del argumento

arg( z1 z2 )  arg z1  arg z2

Recordemos que el argumento está multivaluado:

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

arg z2  { 2  2n : n  Z }

z1 z2 | z1 | cos 1  i sin 1  | z2 | cos 2  i sin 2  

| z1 || z2 | cos 1 cos 2  sin 1 sin 2   isin 1 cos 2  cos 1 sin 2 

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 51
 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 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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 52
 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

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 53

 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( 1)  

2

 
Arg( i)  Arg( i)     
2 2

Así que, en general: Arg( z1z2 )  Arg z1  Arg z2

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 54
Ejercicio: demostrar que

arg( z1 / z2 )  arg z1  arg z2

Y que en general:

Arg( z1 / z2 )  Arg z1  Arg z2

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 55

 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 z2 argz1 z2   arg z1  arg z2

z1 z2  z1 z2
arg z1 z2   arg z1  arg z2
2/04/2024 56
MSc. Raúl P. Castro Vidal UNAC -FIEE
 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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 57
 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 58
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -
 Potencias de i
i  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

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 59

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 60
 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 )

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 61

 ¿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...
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 62
 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.
2/04/2024 MSc. Raúl P. Castro Vidal UNAC - 63
 Relatividad especial: la importancia de i
Distancia espacial
(teorema de Pitágoras)

s 2  ( x1  x2 ) 2  ( y1  y2 ) 2  ( z1  z 2 ) 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

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 64

 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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC - 65
 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) 2  (cdt ) 2  (dx) 2  (dy) 2  (dz ) 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) 2  (ds' ) 2  (cdt ' ) 2  (dx' ) 2  (dy' ) 2  (dz ' ) 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

2/04/2024 MSc. Raúl P. Castro Vidal 66

 ¿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)
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 67
División en forma polar
Pensemos que la división es la operación inversa del producto:

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 68

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 69
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -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  cos0  (2) Ídem para: 1 / z z
y
z  x  iy  r (cos   i sin  )
1 1
 [cos(  )  i sin(  )]
z r x
1 1 / z
 (cos   i sin  )
r
2/04/2024 MSc. Raúl P. Castro Vidal
y z 70
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 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 71
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -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.
2/04/2024 --Mary Ellen Curtin 72
MSc. Raúl P. Castro Vidal UNAC -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

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

2/04/2024 MSc. Raúl P. Castro Vidal 73

 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 n cos n ( )

z  cos( n )  i sin( n )
n

z  n  cos( n )  i sin( n )
z z
n n
 2 cos( n ) 74
2/04/2024 MSc. Raúl P. Castro Vidal
Por ejemplo:
n6 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 )

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

2/04/2024 MSc. Raúl P. Castro Vidal 75

 1 1 
Ejercicio: Sumar Dn ( x)   2  cos x  cos( 2 x)  ...  cos( nx)
2
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/04/2024 MSc. Raúl P. Castro Vidal
2 76
Raíces de z

w z n

¿Por qué solo hasta n-1? 77

2/04/2024 MSc. Raúl P. Castro Vidal
 Resumiendo:

    2k     2k  
n
z  r  cos
n
  i sin   
  n   n 
k  0, 1, , n  1
donde z  r cos  i sin  

2/04/2024 MSc. Raúl P. Castro Vidal 78

 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

2/04/2024 MSc. Raúl P. Castro Vidal 79

 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
2/04/2024 MSc. Raúl P. Castro Vidal 80
 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 

2/04/2024
Ejercicio: Encuentra las raíces cúbicas de 1 - i
MSc. Raúl P. Castro Vidal 81
 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  z n 1 )  1  z  z  ...  z
2

Sol.: z1  2  i
z2  2  i

Sol.: z  1
2/04/2024 MSc. Raúl P. Castro Vidal 82
 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/04/2024
2 2 2 MSc. 2 Raúl P. Castro Vidal 83
 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

2/04/2024 MSc. Raúl P. Castro Vidal 84

 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

2/04/2024 MSc. Raúl P. Castro Vidal 85

 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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 86
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 

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 87

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/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 88

   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

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 89

 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 

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

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 90

 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?

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 91
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!
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 92
 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 = z 2 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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 93
 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.

2/04/2024 94
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 95
2/04/2024 MSc. Raúl P. Castro Vidal 96
 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?

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 97

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
2/04/2024
MSc. Raúl P. Castro Vidal UNAC -FIEE
(1849 - 1917) 98
 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í.
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 99
 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. 100
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE
 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:

101
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 101
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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE
en los cálculos. 102
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.

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 103

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
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 104
“... 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". 105
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE
 APLICACIONES DE LOS NUEMROS COMPLEJOS

2/04/2024 MSc. Raúl P. Castro Vidal 106

2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 107
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 108
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 109
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 110
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 111
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 112
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 113
2/04/2024 MSc. Raúl P. Castro Vidal UNAC - 114
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 115
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 116
2/04/2024 MSc. Raúl P. Castro Vidal 117
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 118
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 119
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 120
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 121
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 122
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 123
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 124
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 125
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 126
2/04/2024 MSc. Raúl P. Castro Vidal UNAC - 127
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 128
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 129
2/04/2024 MSc. Raúl P. Castro Vidal UNAC - 130
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 131
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 132
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 133
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 134
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 135
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 136
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 137
2/04/2024 MSc. Raúl P. Castro Vidal UNAC - 138
 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

Complex numbers are so easy
Complex numbers are so easy
With the root of minus one

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
With the root of minus one

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
With the root of minus one
(Probably) Mrs P.E.Perella
2/04/2024 MSc. Raúl P. Castro Vidal UNAC -FIEE 139