10.

Números complejos

1
 Un número complejo z es un par ordenado de números
reales x e y, escrito como:
z = (x,y) (William R. Hamilton)

(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
(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. 3
 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 )
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

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 − 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

Ejercicio: x1 x2 + y1 y2 x2 y1 − x1 y2
demostrar z= + i
que es cierto. x2 + y 2
2 2
x2 + y 2
2 2
6
Ejemplo:
Sean z1=18 + 3i z2 = -7 + 2i

Calcular:
Re(z1) = 18, Re(z2) = -7
Im(z1) = 3, Im(z2) = 2

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

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

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 + 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
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 − iy2 ) = z1 z 2

z + z ( x + iy ) + ( x − iy ) 2 x
= = = x = Re( z )
2 2 2 9
Observemos que:

z z = ( x + iy )( x − iy ) = x + y
2 2

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 2
x2 + y 2
2 2
x2 + y 22
10
 Ejemplos:
(1) Sean de nuevo: z1=18 + 3i z2 = -7 + 2i
z1 (18 + 3i )(-7-2i ) -120-57i
= =
z2 7 +2
2 2
53
z1 z 2 = (18-3i )(-7-2i ) = -132-15i = z1 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
11
 A pesar de la sencillez del conjugado y sus propiedades,
nos permite demostrar fácilmente cosas como esta:
α 0 + α 1 z + ...α +
i ∈ α n z n
=

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

α 0 + α 1 z + ... + α n z n
= 0

Y en particular, si , , y son raíces de la

αi ∈ℜ
i = 1,..., n p p

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
13
 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 −i i
n
( z0 + z1 ) = ∑   z0 z1
n donde n es un entero positivo.
i =0  i 
Sugerencia: Usa inducción. 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
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.
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
igual a números"
La Universidad de Bolonia, fundada x 3 + px = q p, q ∈ ℜ
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.
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.
(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)
pertrechado con "su secreto", lo retó... 19
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.
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 sustento 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). 21
The poem in which he revealed the
secret of solving the cubic to Cardan:
When the cube and the things together
Are equal to some discrete number, 1
Find two other numbers differing in
this one.
Then you will keep this as a habit
That their product shall always be
equal
Exactly to the cube of a third of the
things. 2
The remainder then as a general rule
Of their cube roots subtracted
Will be equal to your principal thing.3

1 [Solve x3 + cx = d]
2 [Find u, v such that u - v = d

and uv = (c/3)3 ]
3 [Then x = 3
u −3 v ]
22
Cardano generalizó la solución de Tartaglia y
su alumno Ludovico Ferrari (1522 - 1565)
en 1540 encontró solución para ecs. de cuarto
grado. En 1542 Cardano y Ferrari
consiguieron permiso para rebuscar entre los
papeles de del Ferro, donde ¡encontraron la
famosa fórmula! Puesto que Tartaglia no
había sido el primer descubridor, podían
publicarla.
Ars Magna (1545): Considerada como la
fecha de nacimiento de los números complejos
y el principio del álgebra moderna. Resolución
de ecuaciones de tercer y cuarto grado.

“Divide 10 en dos partes, de modo que una

5 ± − 15
por la otra den 40.” x(10-x)=40". Solución “intrigante” o
cantidades "sofísticas". 23
24
Sonidos de la ciencia:
Programa 98:
La tragicomedia de la
ecuación de tercer grado

25
 y Soluciones geométricas
2
x
x = mx + n
2
y

t 3 + a1t 2 + a2t + a3 = 0
x
1
t = x − a1
3 3
x
x + px = q
3
p, q ∈ ℜ
26
Forma general de la ecuación cúbica y solución:

x 3 + px = q p, q ∈ ℜ
2 3 2 3
q q  p 3 q q  p
x= 3 +   −  − − +   − 
2 2  3  2 2  3 
Funcionaba bien en algunos casos, como:

x 3 + 6 x = 20 ; x = 3 108 + 10 − 3 108 − 10

Pero en otros ... : x 3 + 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.
27
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:
t 3 − 19t + 30 = 0 28
 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)
29
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)
30
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”. 31
Visualizar los números complejos

32
“Nuestra aritmética (...),
constituye la creación
de los tiempos modernos,
(...).
A los números enteros se
han agregado las fracciones;
a las cantidades racionales,
las irracionales;
a las positivas, las negativas; Karl Friedrich Gauss
y a las reales, las imaginarias”. (1777-1855)
“Números íntegros complexos”
K. F. Gauss (1831)

“¿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). 33
 ¿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)
34
 “La visualización de los números
reales mediante los puntos de una
recta o de los números complejos
mediante los puntos del plano no
solamente penetró sin gran resistencia
en el análisis, sino que se puede decir
con razón que, en el caso de los
números complejos, esta
visualización (Argand, Gauss) fue
lo que hizo posible vencer la fuerte
oposición de la comunidad
matemática al dar carta de ciudadanía
a los números complejos”.
Miguel de Guzmán El rincón de la pizarra: ensayos de
(1936-2004) visualización en análisis matemático.
35
El plano complejo (Plano z, de Argand o de Gauss)

Eje imaginario
Módulo: r := z = x + y 2 2
(Im)
También llamado “valor absoluto”
(el módulo de un real es su valor absoluto)
z
| z |≥ Re z , | z |≥ Im z , | z |=| z |
r y zz = x 2 + y 2 =| z |2
θ Argumento:
x (Re)  y
Eje real θ := arg z = arctan 
x
El argumento está multivaluado. Para z = 0, el ángulo θ
no está definido. 36
 Ejemplo:
Dibujar el número complejo z = -3-2i en el plano complejo y
evaluar módulo y argumento

y Módulo:
r = z = (−3) 2 + (−2) 2
= 13 La calculadora
θ no distingue
−3 Argumento:
x −2 2
θ = arg z = arctan  = arctan 
r −2  −3 3
= { − 146.3°, 33.7°, 213.7°, }
− 3 − 2i
El argumento está multivaluado. 3.73 rad 37
Determinación o valor principal
Para que θ sea único, basta con imponer la condición
adicional de que pertenezca a un cierto intervalo semiabierto
I de longitud 2π (como [0,2π ), (−π , π ], etc).
Escoger este intervalo I se conoce como
tomar una determinación del argumento. Arg z
Se denomina determinación principal o
valor principal a Arg z, el valor de θ en
el rango:
− π < θ := Arg z ≤ +π
arg z := {Arg z + 2kπ } (k = 0, ±1, ±2, ...)
Ejemplo: supongamos que
arg z = { − 2.55 − 2π , − 2.55, − 2.55 + 2π , − 2.55 + 4π , }
= {−2.55 ± 2kπ } (k = 0, 1, ) Arg z = −2.55 38
39
Ejercicios: Demostrar que

(1) Re z ≤| Re z |≤| z |
(2) Im z ≤| Im z |≤| z |
( Nota :| z | = (Re z ) + (Im z ) )
2 2 2

(3) | z |=| z |
(4) z z =| z | 2

(5) | z1 z 2 |=| z1 || z 2 |; | z1 z 2  z n |=| z1 || z 2 | | z n |

z1 z1
(6) = ( z 2 ≠ 0)
z2 z2
40
Ejercicio:

z x + iy x − iy x − iy x +y
2 2
= = = = =1
z x + iy x + iy x + iy x +y
2 2

z
y
Gráficamente el conjugado
es una reflexión respecto
x al eje real.

−y z 41
42
 Sol.: a) z = 3 / 2 + iy , y ∈ ℜ
b) z = x ± i 2 x , x ∈ ℜ

Sol.: a) z1 = 1 + i , z2 = −1 − 7i
b) ( z1 = 4 + 2i , z 2 = 1 − 2i ) y ( z1 , z 2 )
3 1
c) z1 = (1 + i ) , z 2 = (1 − i )
2 2
43
 Ejercicio: Demostrar que para a, b, c, d enteros siempre
existen u y v enteros tal que: (a 2 + b 2 )(c 2 + d 2 ) = u 2 + v 2

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.
44
 (89 2 + 1012 )(1112 + 1332 ) = u 2 + v 2
z ≡ a + ib w ≡ c + id t ≡ u + iv 3.554 2 + 23.0482
| z | | w | =| t |
2 2 2
626 2 + 23.312 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 |
45
"Una pareja de conejos tarda un mes en
alcanzar la edad fértil, a partir de ese
momento cada vez engendra una pareja
de conejos, que a su vez, tras ser fértiles
engendrarán cada mes una pareja de
conejos. ¿Cuántos conejos habrá al cabo
de un determinado número de meses?"
46
The On-Line Encyclopedia of Integer Sequences
N. J. A. Sloane (http://www.research.att.com/~njas/sequences/)

Base de datos con más de 100.000 sucesiones de números enteros.

Capaz de identificar una sucesión a partir de sus primeros términos.

No solo hay ejemplos de combinatoria o teoría de números, sino

también de otras áreas como: diseño de circuitos (combinaciones de
funciones booleanas), química (números de ésteres con n átomos de
carbono), física (diagramas de Feynman con n vértices) y biología
(estructuras secundarias de ARN con n nucleótidos).

Sloane, N. J. A. 1973. A Handbook of Integer Sequences. New York: Academic Press.

Sloane, N. J. A. 1994. "An On-Line Version of the Encyclopedia of Integer Sequences."
The Electronic Journal of Combinatorics. Vol. 1, Feature F1.
Sloane, N. J. A., and Simon Plouffe. 1995. The Encyclopedia of Integer Sequences. 47
San Diego: Academic Press.
 Inverse Symbolic Calculator
Simon Plouffe (http://oldweb.cecm.sfu.ca/projects/ISC/)
Como en el caso de la Encyclopedia of Integer Sequences, Simon
Plouffe ha desarrollado el Inverse Symbolic Calculator, o ISC. La
calculadora es inversa en el sentido de que utiliza como entrada un
número y devuelve “de dónde puede surgir”. Por ejemplo, no le
preguntamos cuánto vale e/π + 1 y nos devuelve
1.8652559794322, como en una calculadora estándar. Sino al
revés: introducimos 1.8652559794322 y nos sugiere e/ π + 1 como
posible fuente del mismo.

La base de datos de constantes matemáticas de ISC tiene alrededor

de 9 millones de entradas y su creador aspira a que tenga hasta 10
millones.

Brian Hayes, "A Question of Numbers", American Scientist, January-February 1996 48

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 + z 2
z2 x
z 2 − z1
Prueba que si |z1| = |z2| = |z3| y z1 + z2 +z3 = 0,
entonces estamos hablando de los vértices
de un triángulo equilátero.
Sugerencia:
Muestra que |z1-z2|2 = |z2-z3|2 = |z3-z1|2 49
 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.
50
Desigualdad triangular | z1 + z 2 |≤| z1 | + | z 2 |

y El módulo de z
es equivalente a
z1 la distancia
| z1 + z 2 |
z1 + z 2 euclidiana del
vector libre (x,y).

| z1 | La distancia entre
z1 y z2 es |z1-z2|.
| z2 | z2 x Así disponemos de
un espacio métrico
donde podemos
definir límites,
¿Qué significa que |z1| > |z2|? continuidad, ...
51
 Demostremos la desigualdad triangular:

| z1 + 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.
52
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.
53
Forma polar y trigonométrica
A partir de las coordenadas polares (r,θ) tenemos:
x = r cosθ
y = r sin θ
z
→ z = x + iy
r y = r cosθ + ir sin θ
θ
x
z = rθ Forma polar
Utilizamos el
Forma trigonométrica r >0 argumento principal

z = r (cosθ + i sin θ ) En ingeniería:

r∠θ
r cisθ
54
 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
 4 4 55
 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 
Nota: tan(θ1) = tan(θ2) = 1, pero z2 está en el tercer
cuadrante, así que θ2 = -3π/4.
56
 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

57
58
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 )}
59
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 z 2 )

arg( z1 z 2 ) = {θ1 + θ 2 + 2nπ : n ∈ Z } =

{θ1 + 2nπ : n ∈ Z } + {θ 2 + 2nπ : n ∈ Z } = arg z1 + arg z 2
60
Tengamos en cuenta que arg z es un conjunto. Y en general
dado un conjunto A, A+A no es igual a 2A. Por ejemplo:

arg i = {π / 2 + 2nπ : n ∈ Z }
arg i + arg i = {π + 2nπ : n ∈ Z }
2 arg i = {π + 4nπ : n ∈ Z }
arg i + arg i ≠ 2 arg i
2 arg i ⊂ arg i + arg i
arg(i ) = arg i + arg i ≠ 2 arg i
2

61
Hemos demostrado en particular que para z1= z2 = z:

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( z1 z 2 ) ≠ Arg z1 + Arg z 2

62
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

63
 Multiplicación en forma trigonométrica
En realidad ya tenemos la solución a partir de las propiedades
del argumento:
z = z1 z 2 = 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
64
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
65
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 66
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

67
68
 y
Multiplicar por i es equivalente a
girar 90 grados en sentido anti-
z horario (operador rotación):
iz iz = ir (cos θ + i sin θ )
= r (− sin θ + i cos θ )
x = r[cos(θ + π / 2) + i sin(θ + π / 2)]

3
2 i z
i z "The number you have
dialed is imaginary.

Prueba que: Re(iz ) = − Im z Please rotate your phone

90 degrees and try again."
Re( z ) = Im(iz ) Anonimus

69
70
 ¿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...
71
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.
72
Relatividad especial: la importancia de i
Distancia espacial
(teorema de Pitágoras)

s = ( x1 − x2 ) + ( y1 − y2 ) + ( z1 − z 2 )
2 2 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

73
 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
74
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

75
 ¿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)
76
División en forma polar
Pensemos que la división es la operación inversa del producto:

Sean z1 = r1(cosθ1+i sinθ1) y z2 = r2(cosθ2+i sinθ2).

Queremos z = z1/z2 . Entonces: z z2 = z1.
De modo que: |z z2| = |z| |z2| = |z1|
|z| = |z1|/|z2|
arg(z z2) = arg(z) + arg(z2) = arg(z1)
arg(z) = arg(z1) - arg(z2)
Así que:

z1/z2 = (r1/r2)[cos(θ1-θ2)+i sin (θ1-θ2)]

77
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
78
 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 79
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, ...

(cos θ + i sin θ ) n
= cos(nθ ) + i sin( nθ )
Ejercicio: Demostrar por inducción. 80
Sol.: z = ±i , k ∈ Z

81
Amazon.com Review
At the very beginning of his book on i, the square root of
minus one, Paul Nahin warns his readers: "An Imaginary
Tale has a very strong historical component to it, but that
does not mean it is a mathematical lightweight. But don't
read too much into that either. It is *not* a scholarly
tome meant to be read only by some mythical, elite
group.... Large chunks of this book can, in fact, be read
and understood by a high school senior who has paid
attention to his or her teachers in the standard fare of pre-
college courses. Still, it will be most accessible to the
million or so who each year complete a college course in
freshman calculus.... But when I need to do an integral,
let me assure you I have not fallen to my knees in
dumbstruck horror. And neither should you."
Nahin is a professor of electrical engineering at the
University of New Hampshire; he has also written a
number of science fiction short stories. His style is far
more lively and humane than a mathematics textbook
while covering much of the same ground. Readers will
end up with a good sense for the mathematics of i and for
its applications in physics and engineering.
--Mary Ellen Curtin 82
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

83
Otra manera ingeniosa de derivar identidades trigonométricas:

z = cos θ + i sin θ
1
= z −1 = cos θ − i sin θ
z
z + z = 2 cos θ
−1

(z + z ) −1 n
= 2 n cos n (θ )

z n = cos(nθ ) + i sin( nθ )
z −n
= cos(nθ ) − i sin( nθ )
z n + z − n = 2 cos(nθ )
84
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

85
Ejercicio: Sumar Dn ( x) =
1 1 
2π  2 + cos x + cos(2 x) + ... + cos(nx)

n n
S1 := ∑ cos(kx) S 2 := ∑ sin( kx) z := cos x + i sin x
k =0 k =0
n +1
n
z −1
z = cos(kx) + i sin( kx)
k
S1 + iS 2 = ∑ z =k

k =0 z −1

 z n +1 − 1   cos[(n + 1) x] + i sin[(n + 1) x] − 1 
S1 = Re   = Re   =
 z −1   (cos x − 1) + i sin x 
cos(nx) − cos[(n + 1) x] − cos x + 1
=
2 − 2 cos x
En teoría de series de  2n + 1 
sin  x
Fourier la función 1  1  1  2 
Dn ( x) =  − + S1 =
Dn(x) se llama 2π  2  2π 2 sin  x 
núcleo de Dirichlet.  
2 86
Raíces de z

Si z = wn, entonces w se llama la raíz enésima de z y

podemos escribirla como:
w= z
n

que posee n distintos valores. Es decir n√z está multivaluada.

Sean w = R(cosφ + i sinφ), z = r(cosθ + i sinθ)
Entonces por el teorema de Moivre:
wn = Rn[cos(nφ) + i sin(nφ)] = r(cosθ + i sinθ)
⇒ r = Rn, o R = n√r
y nφ = θ+2kπ o φ = θ/n + 2kπ/n
tomando los valores k = 0,1,...., n-1, obtendremos las n raíces.
¿Por qué solo hasta n-1? 87
 Resumiendo:

  θ + 2kπ   θ + 2kπ  
n
z = r  cos
n
 + i sin   
  n   n 
k = 0, 1,  , n − 1
donde z = r (cos θ + i sin θ )

Los n valores se equireparten en un círculo de radio n√r

con centro en el origen, constituyendo los vértices de
un polígono regular de n caras.
El valor de n√z obtenido al tomar el valor principal de
arg(z) y k = 0 en la fórmula de arriba se asume como valor
principal de w = n√z
88
Ejercicio: Encontrar la raíz cúbica de z = i.
Usando en la fórmula anterior r = 1, θ = arg z = π/2:

π / 2 + 2kπ π / 2 + 2kπ
wk = 1 (cos
1/ 3
+ i sin )
3 3
π π 3 1
k = 0, w0 = cos + i sin = + i
6 6 2 2
5π 5π 3 1
k = 1, w1 = cos + i sin =− + i
6 6 2 2
3π 3π
k = 2, w2 = cos + i sin = −i
2 2

89
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
90
 z =1
Ejemplo: raíces de la unidad n Ecuación
1 = 1(cos 0 + i sin 0) ciclotómica
  0 + 2kπ   0 + 2kπ 
5
1 = 1  cos
5
 + i sin    k = 0, 1,  , 4
  n   n 
w0 = cos 0 + i sin 0 = 1
 2π   2π 
w1 = cos  + i sin  
 5   5 
 4π   4π 
w2 = cos  + i sin  
 5   5 
 6π   6π 
w3 = cos  + i sin  
 5   5 
 8π   8π 
w4 = cos  + i sin  
 5   5 
Ejercicio: Encuentra las raíces cúbicas de 1 - i 91
 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
92
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
i 3 1 3 i 2 3i i 3i
i +  = i + ; + = +
 2 2i   2i 2i  2 2i 2i 2i
1 3 1 3
− + = + ; 1= 2
2 2 2 2 93
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
94
 −1 1 −1 1 −1 1
= ; = ; =−
1 −1 1 −1 1 −1
De esta manera no se produce falacia.
Observemos que pasa lo mismo con:

(−1)(−1) = 1; (−1)(−1) = 1;
− 1 − 1 = 1; i = 1;
2
−1 = 1
De hecho, si operamos con i, sin pensar que es √-1,
todo funciona correctamente.
95
 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
96
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 

97
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 
98
 Tomando ө = π/4:

π  2 θ  1 + cos θ
cos  = Usando reiteradamente
cos  =
4 2 en el producto infinito
2 2

2 2 2+ 2 2+ 2+ 2
= ...
π 2 2 2

99
 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 ϕ + isen ϕ ) , entonces:

m m  m m 
z n =r n
 cos ( ϕ + 2 k π) + i sen ( ϕ + 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
(ϕ + 2 k ' π ) = m (ϕ + 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

100
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 = n (−1) m

¿Cuántas soluciones tiene?

101
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! 102
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 = z 2 + z 1 forma algebraica
z1 z 2 = z 2 z 1 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
103
 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.

104
105
106
107
108
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?

109
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
(1849 - 1917) 110
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í. 111
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. 112
 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:

113
113
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

viene al pelo para describir
El software de vuelo del Space
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. 114
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.

115
Hamilton desarrolló también otra
álgebra alternativa: la de los
números hipercomplejos. En
vez de sacrificar la
conmutatividad, sacrificó la
existencia de inverso. En el
álgebra hipercompleja no todo
elemento h distinto de 0 posee El puente de Brougham sobre el
Canal Real, donde Hamilton durante
inverso 1/h. La base de cuatro un paseo dedujo las reglas para los
elementos posee la misma cuaterniones.
notación que la de cuaterniones,
pero las reglas de multiplicación
son distintas:
i j = k, j k = -i, k i = -j
j i = k, k j = -i, i k = -j
i i = j j = -k k = -1 i j k = 1 116
“... 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". 117
 The Complex Number Song
(Tune:John Brown's Body)

M ine eyes have seen the glory of the Argand diagram

They have seen the i's and thetas of De M oivre's m ighty plan
N ow I can find the com plex roots w ith consum m ate elan
W ith the root of m inus one

Com plex num bers are so easy

Com plex num bers are so easy
Com plex num bers are so easy
W ith the root of m inus one

I n Cartesian co-ordinates the com plex plane is fine

But the grandeur of the polar form this beauty doth outshine
You be raising i+40 to the pow er of 99
W ith the root of m inus one

You'll realise your understanding w as just second rate

W hen you see the pow er and m agic of the com plex conjugate
Draw ing vectors corresponding to the roots of m inus eight
W ith the root of m inus one
(Probably) Mrs P.E.Perella
118