1

1. Nmeros complejos
2
" Pitgoras es probablemente el
matemtico ms conocido, pero
tambin es clebre en el mbito ms
general de la historia de la cultura.
Su figura es una de las ms
apasionantes e interesantes de la
historia del pensamiento.
Racionalista y mstico, filsofo y
telogo, matemtico y
experimentador, hombre de carne y
hueso y personaje mtico; Pitgoras
es el inductor de una parte
considerable de los elementos
culturales que han ido conformando
la tradicin del pensamiento
occidental" .
Pedro Miguel Gonzlez Urbaneja
3
4
Pitgoras de Samos (siglo VI

a.C.)
" La matemtica como ciencia terica
es un invento pitagrico" .
Contemporneo de Buda, de Confucio y de
Lao-Tse, los fundadores de las principales
religiones orientales. Se ha llegado a dudar de
su existencia.
Mathema: "lo que se ensea".
Filosofa: "amor a la sabidura".
La Tierra era una esfera.
El lucero del alba y el de la tarde
era el mismo astro: Venus.
Nmeros pares e impares.
Introdujo en Grecia las medidas y pesos.
La clave para comprender el orden del
universo estaba en los nmeros.
5
La escuela pitagrica
Pitgoras huy

de Samos

debido al dictador Polcrates, y fund

en el sur de Italia, en Crotona, una escuela donde enseaba su
filosofa matemtica.
En ella, los discpulos (hombres
y mujeres, de cualquier raza,
religin o estrato social. La
primera mujer cientfica: Teano)
de primer grado, llamados
akusmticos

(escuchantes)
aprendan la doctrina durante 5
aos, en los que no se les
permita ver a Pitgoras.
Los ms aptos pasaban al segundo grado, donde adquiran
conocimientos ms profundos. Ya podan hablar con Pitgoras, y
se les llamaba matemticos

(conocedores).
6
Tocar el agua cuando truene. Nunca
ponerse un anillo. Nunca mear hacia el
sol. Vegetariano estricto. Pero: nunca
comer habas (al parecer Pitgoras las
aborreca). Transmigracin

de las almas
(Metempsicosis vs. cristianismo).
Cuando los crotonenses

vieron que
todos los cargos polticos estaban
ocupados por pitagricos, arremetieron
contra la escuela y la quemaron.
Pitgoras, en ropa interior, sali

huyendo...
Cosmos: universo ordenado y accesible
al intelecto. La armona del universo.
La secta pitagrica
Todo es nmero.
7
8
9
10
11
Boscone alchemico,

de Tobia Rav, un pintor italiano heredero de la
antigua escuela pitagrica, filtrada a travs de la tradicin hebrea de la
Gematra, donde todo es nmero. Su obra plasma ese pensamiento

en
imgenes. www.tobiarava.com/
" Todo es nmero"
12
13
"No es digno de llamarse hombre aquel que desconoce
que la diagonal de un cuadrado es inconmensurable
con el lado." Sophie Germain
Los pitagricos pensaban que todo poda representarse por
razones de nmeros enteros. Cuando Hipaso

de Metaponto

demostr

que 2 no era expresable como cociente de enteros, y
rompi

la regla de silencio de la secta, revelando al mundo la
existencia de estos nuevos nmeros...
Sonidos de la ciencia:
Programa 47:
La armona de los mundos
14
Nmeros irracionales
1
1

2
Todo nmero racional puede escribirse
como n/m, donde n y m son enteros sin factores
en comn.
Demostracin (1).

Es 2 racional? Supongamos que s:
2 = n/m. Elevando al cuadrado: 2 = n
2
/m
2
y n
2
= 2m
2
.
De modo que n
2
es un entero par n es par.
Entonces podemos escribir: n = 2p. As

2m
2
= 4p
2
; m
2
= 2p
2
.
Contradiccin! (Reduccin al absurdo)
Nuestra suposicin inicial es incorrecta
2 no puede escribirse como una fraccin de enteros.
Y de nuevo como m
2
es un entero par m es par.
15
Esttica matemtica
Compara la demostracin anterior, con la siguiente:
Demostracin (2).

Es 2 racional? Supongamos que s:
2 = n/m. Elevando al cuadrado: 2 = n
2
/m
2
y n
2
= 2m
2
.
Todo entero puede descomponerse como un producto nico de
nmeros primos. As en n
2
intervienen cierta coleccin de
primos idnticos en parejas (est elevado al cuadrado).
Idem

para m
2
.
Pero, en 2m
2
hay un 2 "desemparejado" Contradiccin!
Nuestra suposicin inicial es incorrecta
2 no puede escribirse como una fraccin de enteros.
"No me cabe duda alguna de que 9 de cada 10 matemticos profesionales diran
que la demostracin (?) les causa mayor deleite esttico."
The Mathematical Experience, P.J. Davis y R. Hersh
16
Puede ser racional un nmero irracional
elevado a un nmero irracional?
(Test

de sensibilidad a la elegancia matemtica)
( )
2
2
Es racional
Es irracional ( ) ( ) 2 2 2
2
2
2
= =

Hemos conseguido contestar la pregunta sin ni siquiera

saber si es racional o irracional!
( )
2
2
2
2
o
Por ejemplo:
Por cierto, no fue hasta 1930 que se demostr que es irracional y trascendental.
17
Un nmero complejo z

es un par ordenado de nmeros
reales x

e y, escrito como:
z = (x,y)
(Notacin 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
Dos nmeros complejos son iguales si y slo si sus partes
reales e imaginarias son iguales:
(x
1

,y
1

) = (x
2

,y
2

) sii

x
1

= x
2
, y
1

= y
2
{ } = , : ) , ( : y x y x C
El conjunto de nmeros complejos, se denota por C:
(William R. Hamilton)
18
(0,1) se llama la unidad imaginaria y se denota por:
(Los ingenieros elctricos a menudo usan j para evitar confusiones
con el smbolo i, que asocian a la intensidad elctrica).
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
nmero real.
z

= x

+ i y
Un nmero complejo z = (x,y)

se escribe comnmente
como (notacin algebraica o binmica, afijo en textos
de antao):
) 1 0 ( , i =
19
Suma y producto de nmeros complejos
Suma
) ( ) (
2 1 2 1 2 1
y y i x x z z + + + = +
) ( ) (
1 2 2 1 2 1 2 1 2 1
y x y x i y y x x z z + + =
Producto
Sean:
2 2 2
1 1 1
iy x z
iy x z
+ =
+ =
Parte real Parte imaginaria
En la facultad tenamos un profesor
cojo al que llambamos el complejo.
Tena una pierna real y otra imaginaria.
Memorias de un estudiante
de matemticas
20
i i
i i i i i i
2 23 ) 10 12 ( ) 15 8 (
] 2 ) 5 ( 3 4 [ ] 3 ) 5 ( 2 4 [ ) 3 2 )( 5 4 (
+ = + + =
+ + + = +
1 ) 0 0 ( ) 1 0 ( ) 0 )( 0 (
2
= + + = + + = i i i i
(1)
(2)
Ejemplos:
De modo que podemos sustituir siempre:
1
2
= i
Esto nos permite una manera prctica de operar.
Por ejemplo:
( ) 1 1 1 1
2
= = = i i
21
La resta y la divisin se definen como operaciones
inversas de la suma y la multiplicacin respectivamente
Resta
Divisin
(operacin inversa a la suma)
(operacin inversa al producto)
z z z =
2 1
z
z
z
=
2
1
2
2
2
2
2 1 1 2
2
2
2
2
2 1 2 1
y x
y x y x
i
y x
y y x x
z
+

+
+
+
=
Qu es z ?

Es un nmero complejo tal que:
z z
2

= z
1

, siempre que z
2

0.
Qu es z ? z + z
2

= z
1
) ( ) (
2 1 2 1
y y i x x z + =
Ejercicio:
demostrar
que es cierto.
22
Calcular:
Re(z
1

) = 18, Re(z
2

) = -7
Im(z
1

) = 3,

Im(z
2

) = 2
z
1

+z
2

= 11 + 5i,

z
1

-z
2

= 25+i
z
1

z
2

= (18+3i)(-7+2i) = -132 + 15i
Ejemplo:
Sean z
1

=18 + 3i

z
2

= -7 + 2i
23
Complejo conjugado
Es sencillo
demostrar
que:
El complejo conjugado de un nmero complejo z = x + i y
se define como:
z
2 1 2 1 2 1 2 1
2 1 2 1 2 1 2 1
/ / z z z z z z z z
z z z z z z z z
= =
= + = +
iy x z = ( )
*
z : como denotar suele se Tambin
z z =
i
z z
z
z z
z
2
) Im(
2
) Re(

=
+
=
) Re( 2
2 1 2 1 2 1
z z z z z z = +
24
2 1
2 2 1 1 2 1 2 1
2 1 2 1 2 2 1 1 2 1
) ( ) ( ) ( ) (
) ( ) ( ) ( ) (
z z
iy x iy x y y i x x
y y i x x iy x iy x z z
+ =
+ = + + =
+ + + = + + + = +
Por ejemplo:
2 1 2 2 1 1
1 2 2 1 2 1 2 1
1 2 2 1 2 1 2 1 2 1
) )( (
) ( ) (
) ( ) (
z z iy x iy x
y x y x i y y x x
y x y x i y y x x z z
=
= +
= + + =
) Re(
2
2
2
) ( ) (
2
z x
x iy x iy x z z
= = =
+ +
=
+
z iy x iy x iy x z = + = = + =
25
2 2
) )( ( y x iy x iy x z z + = + =
Observemos que:
En la prctica, obtenemos el cociente de dos nmeros
complejos z
1
/ z
2

multiplicando el numerador y
denominador de por el complejo conjugado de z
2

.
2
2
2
2
2 1 1 2
2
2
2
2
2 1 2 1
2 2
2 2
2 2
1 1
2 2
1 1
y x
y x y x
i
y x
y y x x
iy x
iy x
iy x
iy x
iy x
iy x
+

+
+
+
=

+
+
=
+
+
26
i
i
i
i
i i
=

=
1
1 1
(1)
(2)
Ejemplos:
2 1 2 1
15 132 ) 2 7 )( 3 18 ( z z i - - i - - i - z z = = =
Sean de nuevo: z
1

=18 + 3i

z
2

= -7 + 2i
53
57 120
2 7
) 2 7 )( 3 18 (

z
z
2 2
2
1
i - -

i - - i
=
+
+
=

=
+
=
+
+ +
=
2
1
2 2
2
1
53
57 120
2 7
) 2 7 )( 3 18 (

z
z
z
z i -

i - i
27
Sea la ecuacin:
0 ...
1 0
= + + +
n
n
z z

C.

Si p es una raz de la ecuacin, entonces p es raz de la ecuacin:

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


Y en particular, si
i
, n i ,..., 1 = , p y p son races de la
misma ecuacin, y obtenemos el conocido teorema que nos dice
que: las races no reales de la ecuacin anterior con coeficientes
reales, aparecen en parejas de races conjugadas.
A pesar de la sencillez del conjugado y sus propiedades,
nos permite demostrar fcilmente cosas como esta:
Un nmero es trascendente (o trascendental) si no es raz de ningn polinomio (no
nulo) con coeficientes enteros (o racionales). En este sentido, nmero trascendente
es antnimo de nmero algebraico (Wikipedia).
28
29
Sol.:
( )
2 / 1 c)
5 / 13 5 / 1 b)
1 a)
=
+ =
=
z
i z
i z
Sol.:
+ =
+ =
y iy y z
iy y z
,
2
1
i i n
n
i
n
z z
i
n
z z
1 0
0
1 0
) (

=

= +
Demuestra el teorema del binomio para nmeros complejos:
donde n

es un entero positivo.
Sugerencia: Usa induccin.
30
La aventura de la ecuacin cbica
"Cardano y Tartaglia. Las matemticas en el Renacimiento italiano".
Francisco Martn Casalderrey, editorial Nivola
"El desarrollo econmico y comercial en la Italia del siglo
XII

cre necesidades formativas nuevas. Junto con la seda y
las especias se importan el sistema de numeracin hind, el
lgebra rabe y las obras matemticas 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 matemticas avancen. Del Ferro y Tartaglia

resuelven la ecuacin de tercer grado, Ferrari la de cuarto y
Cardano

publica ambas soluciones en medio de una gran
polmica.
Todos los protagonistas de esta historia son hombres del
Renacimiento, polmicos, vidos de saber y llenos de ideas."
Francisco Martn Casalderrey
31
La tragicomedia del nacimiento de los nmeros complejos
Luca Pacioli (1445 - 1517)
Luca Pacioli haba comparado la dificultad de
la resolucin de la ecuacin de tercer grado con
el viejo problema de la cuadratura del
crculo.
"El crculo y el cuadrado sobre estas lneas presentan la misma rea aunque no existe un
mtodo geomtrico que permita pasar de la figura de la izquierda

a la de la derecha."
(Wikipedia)
Resolver la ecuacin de tercer grado se haba convertido en un
desafo intelectual digno de los mejores matemticos de la poca.
32
3
3 2
3
3 2
3
3 2 2 3 2 2
,

+ =
= +
p q q p q q
x
q p q px x
Escipione del Ferro (1465-1526) fue el primero
en encontrar (1505-1515) una solucin general
para la ecuacin cbica del tipo (Marciano?) :
La Universidad de Bolonia, fundada
en 1088, es la ms antigua de Europa.
En 1496 se convirti en uno de los 5 titulares de
la ctedra de matemticas. Aunque diversas
fuentes lo describen como un gran algebrista, no
han sobrevivido originales de su obra.
"Incgnitas y cubos
igual a nmeros"
33
(www.lolitabrain.com)
En el siglo XVI cualquier
matemtico o erudito poda ser
desafiado a una disputa
pblicamente. Muchas veces
haba una apuesta de por
medio... Estaba en juego la
reputacin, la conservacin de
su puesto de trabajo en la
universidad e incluso el
incremento de su salario.
Mantener los hallazgos
matemticos en secreto fue
comn hasta el siglo XVIII.
Del Ferro, poco antes de morir,
revel el secreto a su yerno
(para asegurar su sucesin en
su ctedra) y a su alumno
Antonio Mara del Fiore, un
matemtico mediocre.
34
Niccol Fontana Tartaglia
(1499-1557)
Buscando ese crdito, del Fiore desafi en 1535 al matemtico Niccol
Tartaglia. Tartaglia

era su apodo (tartamudo) a causa de un sablazo que
recibi en la boca con 12 aos a manos de un soldado francs. Fue dado
por muerto, pero gracias al tesn de su madre y a "un perro que le lami
las heridas" (?!) logr sobrevivir. Siempre llev barba para ocultar su
rostro desfigurado.
Tartaglia

proceda 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 ecuacin jams
resuelta, Mario Livio).
Tartaglia

alcanz reputacin en Venecia al
resolver algunos problemas para los
ingenieros del Arsenal veneciano (45). Su
fama lleg a odos de del Fiore que,
pertrechado con "su secreto", lo ret...
35
La noche del 12 de febrero de
1535 en Venecia, Tartaglia se
enfrentaba a la lista de 30
problemas de su rival Antonio
Mara del Fiore.
Al cabo de 8 das deba
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 frmula
extraterrestre de del Ferro.
Tartaglia

se convirti en una
celebridad matemtica.
36
El resultado de la contienda se extendi como la plvora por
toda Italia y lleg a odos 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 teora 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 haba
convertido en uno de los mdicos ms famosos de Europa.
Gerolamo Cardano
(1501-1576)
"Juro ante ti por los Santos Evangenlios

y por mi fe de caballero, no solo no
publicar jams tus descubrimientos si me los revelas, sino que tambin prometo y
comprometo mi fe como verdadero cristiano que los escribir en clave para que
despus de mi muerte nadie pueda comprenderlos." (25 de marzo de 1539, versin
de Tartaglia).
En esa poca estaba redactando su segundo libro y
encontr sumamente atractiva la idea de incluir la frmula
para la ec. de tercer grado. Trat en vano de deducirla, y
decidi convencer a Tartaglia

para que le revelara su
secreto.
37
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 x
3

+ cx

= d]
2

[Find u, v

such that u -

v = d
and uv

= (c/3)
3

]
3

[Then x

= ]
3 3
v u
38
Cardano

generaliz la solucin de Tartaglia

y
su alumno Ludovico Ferrari (1522 -

1565)

en 1540 encontr solucin para ecs. de cuarto
grado. En 1542 Cardano

y Ferrari

consiguieron permiso para rebuscar entre los
papeles de del Ferro, donde encontraron la
famosa frmula! Puesto que Tartaglia

no
haba sido el primer descubridor, podan
publicarla.
Ars

Magna (1545):

Considerada como la
fecha de nacimiento de los nmeros complejos
y el principio del lgebra moderna. Resolucin
de ecuaciones de tercer y cuarto grado.
Divide 10 en dos partes, de modo que una
por la otra den 40. x(10-x)=40".
15 5
Solucin intrigante o
cantidades "sofsticas".
39
40
Sonidos de la ciencia:
Programa 98:
La tragicomedia de la
ecuacin de tercer grado
41
x
y
2
x
n mx x + =
2
x
y
3
x
= + q p q px x ,
3
1
3 2
2
1
3
3
1
0
a x t
a t a t a t
=
= + + +
Soluciones geomtricas
42
Rafael Bombelli (1526-1572) resolvi la situacin operando
como lo hacemos hoy con nmeros complejos.
3
3 2
3
3 2
3
3 2 2 3 2 2
,

+ =
= +
p q q p q q
x
q p q px x
Forma general de la ecuacin cbica y solucin:
Funcionaba bien en algunos casos, como:
3 3 3
10 108 10 108 ; 20 6 + = = + x x x
Pero en otros ... :
3 3 3
2 121 2 121 ; 4 15 + = = + x x x
Cardano

saba que x = 4 es solucin de esta ecuacin.
43
0
3 2
2
1
3
= + + + a t a t a t
3
3 2
3
3 2
3 2 2 3 2 2

+ =
p q q p q q
x
Ejercicio:

Demuestra que la ecuacin de tercer grado:
1
3
1
a x t = se reduce bajo el cambio de variable:
a:
q px x = +
3
cuyas soluciones son:
Confirma que los nmeros complejos son necesarios
incluso para encontrar las races reales de:
0 30 19
3
= + t t
44
Ren Descartes
(1596-1650)
60 aos despus de Bombelli:
A pesar de que podemos
pensar que la ecuacin
x
3

- 6x
2

+ 13x -

10 = 0 tiene
tres races,

nicamente una
de ellas es real, la cual es 2, y
las otras dosson
simplemente imaginarias.
Ren

Descartes
"La Gomtrie" (1637)
45
Los nmeros imaginarios
son un excelente y
maravilloso refugio del
Espritu Santo, una especie de
anfibio entre ser y no ser
Gottfried von Leibnitz
(1646 1716)
Otros trminos que han sido
usados para referirse a los
nmeros complejos incluyen :
Sofisticados

(Cardano)
Sin sentido

(Nper)
Inexplicables

(Girard)
Incomprensibles

(Huygens)
Imposibles

(Diversos autores)
46
Estos nmeros no son nada,
ni menos que nada, lo cual
necesariamente los hace
imaginarios, o imposibles.

formulam littera i

Leonhard

Euler

(1777)
1
Leonhard Euler
(1707 1783)
Con Euler

los imaginarios se
incorporan definitivamente en la
Matemtica.
i
2
= -1; introdujo la notacin binmica.
Demostr que el conjunto de los nmeros
imaginarios era cerrado para las
cuatro operaciones bsicas, as como
para la potenciacin y la radicacin.
47
Visualizar los nmeros complejos
48
Karl Friedrich Gauss
(1777-1855)
Nmeros ntegros complexos
K. F. Gauss (1831)
Nuestra aritmtica (...),
constituye la creacin
de los tiempos modernos,
(...).
A los nmeros enteros se
han agregado las fracciones;
a las cantidades racionales,
las irracionales;
a las positivas, las negativas;
y a las reales, las imaginarias.
Qu es un nmero complejo? Gauss dio la respuesta
satisfactoria definitiva en 1831 al establecer la
interpretacin geomtrica: x+iy (x,y).
49
Caspar Wessel
(1745 -

1818)
Primera representacin
geomtrica en 1797.
Jean Argand
(1768 -

1822)
Idem

y adems consider
i

como una rotacin de 90.
Jhon Wallis (1616 -

1703)
Algebra(1673)
Qu significa un
nmero complejo?
Anteriores a Gauss:
50
Miguel de Guzmn
(1936-2004)
La visualizacin de los nmeros
reales mediante los puntos de una
recta o de los nmeros complejos
mediante los puntos del plano no
solamente penetr sin gran resistencia
en el anlisis, sino que se puede decir
con razn que, en el caso de los
nmeros complejos, esta
visualizacin (Argand, Gauss) fue
lo que hizo posible vencer la fuerte
oposicin de la comunidad
matemtica al dar carta de ciudadana
a los nmeros complejos.
El rincn de la pizarra: ensayos de
visualizacin en anlisis matemtico.
51
(Im)
2 2
: y x z r + = =

= =
x
y
z arctan arg :
El plano complejo (Plano z, de Argand

o de Gauss)
Mdulo:
Tambin llamado valor absoluto
(el mdulo de un real es su valor absoluto)
Argumento:
z
x
y

r
(Re)
Eje real
Eje imaginario
Para z = 0, el ngulo

no est

definido.
2 2 2
| |
| | | | , Im | | , Re | |
z y x z z
z z z z z z
= + =
=
El argumento est multivaluado.
52
x
y

r
13
) 2 ( ) 3 (
2 2
=
+ = = z r
} , 7 . 213 , 7 . 33 , 3 . 146 {
3
2
arctan
3
2
arctan arg
=

= = z
3
2
rad 73 . 3
Ejemplo:
Dibujar el nmero complejo z = -3-2i

en el plano complejo y
evaluar mdulo y argumento
Mdulo:
Argumento:
i 2 3
La calculadora
no distingue
El argumento est multivaluado.
53
+ = < z Arg :
) , 1 , 0 ( } 2 55 . 2 {
} , 4 55 . 2 , 2 55 . 2 , 55 . 2 , 2 55 . 2 { arg

= =
+ + =
k k
z

z Arg
55 . 2 Arg = z
Determinacin o valor principal
Ejemplo:

supongamos que
Para que

sea nico, basta con imponer la condicin
adicional de que pertenezca a un cierto intervalo semiabierto
I de longitud
...) , 2 , 1 , 0 ( } 2 {Arg : arg = + = k k z z
). etc ], , ( ), 2 , 0 [ como ( 2
Escoger este intervalo I se conoce como
tomar una determinacin del argumento.
Se denomina determinacin principal o
valor principal a Arg

z, el valor de

en
el rango:
54
55
Ejercicios:

Demostrar que
) 0 ( ) 6 (
| | | || | | | |; || | | | ) 5 (
| | ) 4 (
| | | | ) 3 (
) ) (Im ) (Re | :| (
| | | Im | Im ) 2 (
| | | Re | Re ) 1 (
2
2
1
2
1
2 1 2 1 2 1 2 1
2
2 2 2
=
= =
=
=
+ =


z
z
z
z
z
z z z z z z z z z z
z z z
z z
z z z Nota
z z z
z z z
n n

56
Ejercicio:
1
2 2
2 2
=
+
+
=
+

=
+

=
+
+
=
y x
y x
iy x
iy x
iy x
iy x
iy x
iy x
z
z
x
z
y
z
y
Grficamente el conjugado
es una reflexin respecto
al eje real.
57
58
Sol.:
=
+ =
x x i x z
y iy z
, 2 b)
, 2 / 3 a)
Sol.:
( )
) 1 (
2
1
, ) 1 (
2
3
c)
) , ( 2 1 , 2 4 b)
7 1 , 1 a)
2 1
2 1 2 1
2 1
i z i z
z z y i z i z
i z i z
= + =
= + =
= + =
59
2 2 2 2 2 2
) )( ( v u d c b a + = + +
Ejercicio: Demostrar que para a, b, c, d

enteros siempre
existen u

y v

enteros tal que:
2 2 2 2 2 2
) 133 111 )( 101 89 ( v u + = + +
Encontrar u

y v

para:
Liber

quadratorum

(1225)
Leonardo de Pisa (Fibonacci)
(1170-1250)
El matemtico italiano Leonardo de Pisa escribi en
1202 el Liber Abaci, un texto en el que se explica
como sumar, restar, multiplicar y dividir con
numerales hindo-arbigos.
60
2 2 2 2 2 2
) 133 111 )( 101 89 ( v u + = + +
ad bc v bd ac u
ad bc i bd ac id c ib a iv u
t zw
t t zw zw w z zw w w z z
t w z
iv u t id c w ib a z
+ = =
+ + = + + = +
=
= = =
=
+ + +
| |
) ( ) ( ) )( (
) )( ( ) )( ( ) )( ( ) 1 (
| | | | | |
2 2 2
2 2
2 2
312 . 23 626
048 . 23 554 . 3
+
+
| |
) ( ) ( ) )( (
) )( ( ) )( ( ) 2 (
ad bc v bd ac u
ad bc i bd ac id c ib a iv u
t w z t t w z w z w w z z
= + =
+ + = + = +
= = =
61
"Una pareja de conejos tarda un mes en
alcanzar la edad frtil, a partir de ese
momento cada vez engendra una pareja
de conejos, que a su vez, tras ser frtiles
engendrarn cada mes una pareja de

conejos. Cuntos conejos habr al cabo
de un determinado nmero de meses?"
62
The On-Line Encyclopedia of Integer Sequences
N. J. A. Sloane (http://www.research.att.com/~njas/sequences/)
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.
San Diego: Academic

Press.
Base de datos con ms de 100.000 sucesiones de nmeros enteros.
Capaz de identificar una sucesin a partir de sus primeros trminos.
No solo hay ejemplos de combinatoria o teora de nmeros, sino
tambin de otras reas como: diseo de circuitos (combinaciones de
funciones booleanas), qumica (nmeros de steres con n

tomos de
carbono), fsica (diagramas de Feynman

con n

vrtices) y biologa
(estructuras secundarias de ARN con n

nucletidos).
63
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
nmero y devuelve de dnde puede surgir. Por ejemplo, no le
preguntamos cunto vale e/

+ 1 y nos devuelve
1.8652559794322, como en una calculadora estndar. Sino al
revs: introducimos 1.8652559794322 y nos sugiere e/

+ 1 como
posible fuente del mismo.
La base de datos de constantes matemticas 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
Inverse Symbolic Calculator
Simon Plouffe (http://oldweb.cecm.sfu.ca/projects/ISC/)
64
Suma y resta de nmeros complejos
en el plano complejo
x
y
1
z
2
z
2 1
z z +
1 2
z z
En la suma (y la resta)
los nmeros complejos
se comportan como vectores
Prueba que si |z
1

| = |z
2

| = |z
3

| y z
1
+ z
2
+z
3

= 0,
entonces estamos hablando de los vrtices
de un tringulo equiltero.
Sugerencia:
Muestra que |z
1

-z
2

|
2

= |z
2

-z
3

|
2

= |z
3

-z
1

|
2
65
x
y
1
z
2
3
1
z
1
z
C con la suma y el producto por un escalar posee estructura
de espacio vectorial, isomorfo a R
2
.
El conjunto {1, i}

es base de ese espacio. Y podemos
identificar C con los vectores libres del plano R
2
. Pero
recordemos que C tiene algo ms: el producto complejo.
66
Desigualdad triangular
El mdulo de z
es equivalente a
la distancia
euclidiana del
vector libre (x,y).
La distancia entre
z
1

y z
2

es |z
1

-z
2

|.
As disponemos de
un espacio mtrico
donde podemos
definir lmites,
continuidad, ...
| |
2 1
z z +
x
y
1
z
2
z
2 1
z z +
| |
1
z
| |
2
z
| | | | | |
2 1 2 1
z z z z + +
Qu significa que

|z
1

| > |z
2

|?
67
2
2 1
2
2 2 1
2
1
2
2 1
2 2
| || | 2 | | | | 2 | | 2 ) Re( 2
1 2 2 1 1 1
2 1 2 1 2 1 2 1
2
2 1
|) | | (| | | | || | 2 | | | |
) )( ( ) )( ( | |
2 1 2 1 2 1 2 1
z z z z z z z z
z z z z z z z z
z z z z z z z z z z
z z z z z z z z
+ = + + +
+ + +
= + + = + + = +
= =

Demostremos la desigualdad triangular:
Extrayendo la raz cuadrada (recordemos que el
mdulo es siempre positivo), la desigualdad triangular
queda demostrada.
68
Podemos generalizar la desigualdad triangular:
...) , 3 , 2 ( | |
1 1
=

= =
n z z
n
j
j
n
j
j
Ejercicio:
Demostrar por induccin.
Hemos demostrado que es cierto para n = 2.
Supongamos que es cierto para n

y demostremos
que entonces es tambin cierto para n+1.
Ejercicio:

Demostrar que
| | | | | |
2 1 2 1
z z z z +
Ejercicio:

Demostrar que
| | | | | |
2 1 2 1
z z z z
69
z
x
y

sin
cos
r y
r x
=
=
sin cos ir r
iy x z
+ =
+ =
( ) sin cos i r z + =
0 > r
A partir de las coordenadas polares (r,)

tenemos:
Forma polar y trigonomtrica
Utilizamos el
argumento principal

r z = Forma polar
Forma trigonomtrica

cis r
r
En ingeniera:
70
x
y
i z + =1
1
1
1
2

1
r

+ =
4
sin
4
cos 2
1

i z
2 ) 1 ( ) 1 (
2 2
1 1
= + = = z r
argumento:
4 / ) Arg(
) , 1 , 0 ( } 2 4 / {
1
1
arctan arg
1 1
1


= =
= =

=
z
n n
z

Ejemplo:
Escribir el siguiente nmero complejo z
1

=1+i,
en forma polar y trigonomtrica:
mdulo:
4 /
1
2

= z
71

= =
4
3
sin
4
3
cos 2 2
2
4 / 3
2

i z z
2 ) 1 ( ) 1 (
2 2
2 2
= + = = z r
Argumento:
x
y
i z = 1
2
1
1
2

2
r
Ejemplo:
dem

para z
2

=-1-i :
Mdulo:
Nota:

tan(
1

) = tan(
2

) = 1, pero z
2

est

en el tercer
cuadrante, as que
2
= -3/4.
4 / 3 ) Arg(
) , 1 , 0 ( } 2 4 / {
1
1
arctan arg
2 2
2


= =
=
=

=
z
n n
z

72

< =
> =
< <

< +

>

=
0 , 0 ,
2
0 , 0 ,
2
0 , 0 , arctan
0 , 0 , arctan
0 arctan
Arg
y x
y x
y x
x
y
y x
x
y
x
x
y
z

2 1
2 1
Arg Arg
| | | |
z z
z z
=
=
Dos nmeros complejos
sern iguales sii:
73
74
Propiedades del argumento
2 1 2 1
arg arg ) arg( z z z z + =
} : 2 { arg
} : 2 { arg
2 2
1 1
Z n n z
Z n n z
+ =
+ =


( ) ( ) = + + =
2 2 2 1 1 1 2 1
sin cos | | sin cos | | i z i z z z
( )
( )} sin cos cos sin
sin sin cos cos { | || |
2 1 2 1
2 1 2 1 2 1


+
+
i
z z
Recordemos que el argumento est multivaluado:
75
2 1 2 1
2 1 2 1
arg arg } : 2 { } : 2 {
} : 2 { ) arg(
z z Z n n Z n n
Z n n z z
+ = + + +
= + + =


[ ]
) arg(
) sin( ) cos( | || |
2 1 2 1
2 1 2 1 2 1 2 1
z z
i z z z z
+
+ + + =


( )
2 1 2 1 2 1
2 1 2 1 2 1
sin cos cos sin ) sin(
sin sin cos cos cos


+ = +
= +
Usemos las relaciones trigonomtricas siguientes para
la suma de ngulos:
Obtenemos que:
76
i i i i arg 2 arg arg ) arg(
2
+ =
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:
} : 2 2 / { arg Z n n i + =
} : 2 { arg arg Z n n i i + = +
} : 4 { arg 2 Z n n i + =
i i i
i i i
arg arg arg 2
arg 2 arg arg
+
+
77
Hemos demostrado en particular que para z
1

= z
2
= z:
z z z arg arg ) arg(
2
+ =
Pero recordemos que en general: z z arg 2 ) arg(
2

Observemos que, sin embargo, para el argumento principal:

= = +
= =
2 2
) Arg( ) Arg(
) 1 Arg( ] ) Arg[(
2
i i
i
As que, en general:
2 1 2 1
Arg Arg ) Arg( z z z z +
78
Ejercicio: demostrar que
2 1 2 1
Arg Arg ) / Arg( z z z z
2 1 2 1
arg arg ) / arg( z z z z =
Y que en general:
79
)] sin( ) [cos(
2 1 2 1 2 1
+ + + = i r r
2 1 2 1
z z r r r = =
( )
2 1 2 1
arg arg arg z z z z + =
( )
2 1 2 1
2 1 2 1
arg arg arg z z z z
z z z z
+ =
=
Multiplicacin en forma trigonomtrica
En realidad ya tenemos la solucin a partir de las propiedades
del argumento:
( ) ( )
2 2 2 1 1 1 2 1
sin cos sin cos i r i r z z z + + = =
( )
( )] sin cos cos sin
sin sin cos cos [
2 1 2 1
2 1 2 1 2 1


+
+ =
i
r r
80
x
y
1

1
r
1
z
2
z
2
r
2

z
2 1
r r r =
2 1
+ =
2 1
z z z =
Producto de nmeros complejos en el plano complejo
81
x
y
1

1
z
2
z
2

2 1
z z
Producto de nmeros complejos en el plano complejo
1
1

Observa que los

tringulos azul y
rojo son semejantes.
82
Potencias de i
1 ) 1 ( 1 ) (
2 63 4 254
= = = i i i

1
1
1
6
5
4
3
2
=
=
=
=
=
i
i i
i
i i
i
1 1
i
i
Por ejemplo:
83
84
Multiplicar por i es equivalente a
girar 90 grados en sentido anti-

horario (operador rotacin):
"The number you have
dialed is imaginary.
Please rotate your phone
90 degrees and try again."
Anonimus
)] 2 / sin( ) 2 / [cos(
) cos sin (
) sin (cos



+ + + =
+ =
+ =
i r
i r
i ir iz
x
y
z
z i
2
z i
3
iz
Prueba que:
) Im( ) Re(
Im ) Re(
iz z
z iz
=
=
85
86
Qu significa un
nmero complejo?
Bus parado en el
semforo (arrancando)
T corriendo
para pillarlo
d
v a
x = 0
vt d x at x t
d x x t
p b
p b
+ = =
= = =
2
2
1
0
0 0
Alcanzar el bus en T:
a
v
d
2
2
>
T es un tiempo complejo y no alcanzars el bus.
Pero adems tiene significado fsico...
Supn que hay dos soluciones
reales. Qu significan T
+

y T
-

?
Y si hay una nica solucin real?
vT d aT T x T x
p b
+ = =
2
2
1
, ) ( ) (
a
d
a
v
a
v
T 2
2

=
Si:
87
vt d at s x x s
p b
+ =
2
2
1
En que instante s es mnimo?
a
v
t
dt
ds
= = 0
Es decir: el tiempo
correspondiente a la
parte real del tiempo
complejo T.
y queremos saber en qu momento estuvimos ms cerca...
2 2
2 2

=
a
v
a
d
i
a
v
a
d
a
v
a
v
T
Supongamos que perdemos el bus:
88
2 2 2 2 2
2 2 2 2
2
2 1
2
2 1
2
2 1
2
) ' ( ) ' ( ) ' ( ) ' ( ) (
) ( ) ( ) ( ) (
) ( ) ( ) (
dz dy dx ds ds
dz dy dx ds
z z y y x x s
+ + = =
+ + =
+ + =
Relatividad especial: la importancia de i
Distancia espacial
(teorema de Pitgoras)
Mtrica euclidiana
Invariancia

frente a rotaciones
y/o translaciones
Albert Einstein
(1879

1955)
89
t t
z z
y y
vt x x
=
=
=
=
'
'
'
'
Transformaciones
de Galileo
Transformaciones
de Lorentz
2
2
2
) / ( 1
/
'
'
'
) / ( 1
'
c v
c vx t
t
z z
y y
c v
vt x
x

=
=
=

=
90
En vez de hablar de distancia entre eventos (posiciones) en el espacio
tridimensional, los fsicos hablan de intervalos entre eventos en
el espacio cuatro-dimensional espaciotiempo. Parece razonable
definir la mtrica de ese espaciotiempo

como:
2 2 2 2 2
) ( ) ( ) ( ) ( ) ( dz dy dx cdt ds + + + =
Pero es incorrecto! La mtrica as definida no es invariante bajo
las transformaciones de Lorentz. Para comprobarlo, supn que
el movimiento es solo en el eje x, y calcula:
2 2 2 2 2 2
) ' ( ) ' ( ) ' ( ) ' ( ) ' ( ) ( dz dy dx cdt ds ds + + + =
dt
c v
dx
c v
c v
dt
dt
t
t
dx
x
t
dt
c v
c vx t
t
2 2
2
2
2
) / ( 1
1
) / ( 1
/
'
' '
'
) / ( 1
/
'

=
Por ejemplo:
91
Cmo hacer (ds)
2

invariante? Lo que Minkowski

descubri
es que en vez de usar c(dt)

debemos tomar ic(dt).
2 2 2 2 2 2
) ( ) ( ) ( ) ( ) ( dz dy dx dt c ds + + + =
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 fsica experimental, y en
ello radica su fuerza. Son radicales. De ahora en adelante el
espacio en s mismo y el tiempo en s mismo estn condenados
a ser sombras; slo un tipo de unin entre los dos conservar
una realidad independiente.
Hermann Minkowski
(1864 1909)
92
Sean z
1

= r
1

(cos
1

+i sin
1

)

y

z
2

= r
2

(cos
2

+i sin
2

).
Queremos z = z
1

/z
2

. Entonces: z z
2

= z
1

.
De modo que: |z

z
2

| = |z|

|z
2

| = |z
1

|
|z|

= |z
1

|/|z
2

|
arg(z

z
2

) = arg(z) + arg(z
2

) = arg(z
1

)
arg(z) = arg(z
1

) -

arg(z
2

)
As que:
Pensemos que la divisin es la operacin inversa del producto:
z
1

/z
2

= (r
1

/r
2

)[cos(
1

-
2

)+i sin (
1

-
2

)]
Divisin en forma polar
93
1
z
Divisin de nmeros complejos en el plano complejo
x
y
2 1
=
z
2
z
2
r
2

1
r
1

2
1
r
r
r =
2
1
z
z
z =
94
i
i
2 2

( ) ( )
( ) ( ) [ ] 4 / sin 4 / cos 8 2 2
2 / sin 2 / cos


+ =
+ =
i i
i i
i 2 2
i
( ) ( ) [ ] 4 / sin 4 / cos
8
1
2 2
+ =

i
i
i
Ejemplos:
(1) Usando la forma trigonomtrica, evaluar:
x
z
y
z
y
z / 1
(2) dem

para:
z / 1
( )
) sin (cos
1
)] sin( ) [cos(
1 1
) sin (cos
0 cos 1



i
r
i
r z
i r iy x z
=
+ =
+ = + =
=
95
Frmula de Moivre
Potencias enteras de complejos
en forma polar:
( )
( )
( )
( )
( ) ... , 1 , 0 sin cos
) 2 sin( ) 2 cos(
) sin( ) cos(
2 sin 2 cos
sin cos
2 2
1 1
2 2
= + =
+ =
+ =
+ =
+ =


n n i n r z
i r z
i r z
i r z
i r z
n n

( ) ) sin( ) cos( sin cos n i n i

n
+ = +
Abraham de Moivre (1667 - 1754)
Ejercicio: Demostrar por induccin.
96
Sol.:
Z k i z = ,
97
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
98


3 2 2 3
3
sin sin cos 3 sin cos 3 cos
) sin (cos 3 sin 3 cos
i i
i i
+
= + = +
El teorema de Moivre

es una mquina de
generar identidades trigonomtricas. Por ejemplo:
Igualando las partes reales e imaginarias:


3 2
2 3
sin sin cos 3 3 sin
sin cos 3 cos 3 cos
=
=
99
Otra manera ingeniosa de derivar identidades trigonomtricas:
( ) ) ( cos 2
cos 2
sin cos
1
sin cos
1
1
1

n n
n
z z
z z
i z
z
i z
= +
= +
= =
+ =

) cos( 2
) sin( ) cos(
) sin( ) cos(

n z z
n i n z
n i n z
n n
n
n
= +
=
+ =

100
16
5
) 2 cos(
32
15
) 4 cos(
16
3
) 6 cos(
32
1
) ( cos
) ( cos 2 20 ) 2 cos( 30 ) 4 cos( 12 ) 6 cos( 2
6
6 6
+ + =
= + + +


Por ejemplo:
( ) ( ) = + + = + = + =

... 6 ; ) ( cos 2 6
4 6
6
1 6 6
6
1
z z z z z z n
= + + + + + +

20 ) ( 15 ) ( 6 ) (
) 2 cos( 2
2 2
) 4 cos( 2
4 4
) 6 cos( 2
6 6


z z z z z z
101
Ejercicio:

Sumar

+ + + + = ) cos( ... ) 2 cos( cos

2
1
2
1
) ( nx x x x D
n

x i x z kx S kx S
n
k
n
k
sin cos : ) sin( : ) cos( :
0
2
0
1
+ = = =

= =

=
+

= = +
n
k
n
k
z
z
z iS S
0
1
2 1
1
1
x
x x n nx
x i x
x n i x n
z
z
S
n
cos 2 2
1 cos ] ) 1 cos[( ) cos(
sin ) 1 (cos
1 ] ) 1 sin[( ] ) 1 cos[(
Re
1
1
Re
1
1

+ +
=
=

+
+ + +
=

=
+

+
=

+ =
2
sin 2
2
1 2
sin
2
1
2
1
2
1
) (
1
x
x
n
S x D
n

En teora de series de
Fourier la funcin
D
n

(x) se llama
ncleo de Dirichlet.
) sin( ) cos( kx i kx z
k
+ =
102
Si z = w
n
, entonces w se llama la raz ensima de z y
podemos escribirla como:
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:
w
n

= R
n
[cos(n) + i sin(n)] = r(cos + i sin)

r = R
n
,

o R =
n
r
y

n = +2k

o

= /n + 2k/n
tomando los valores k = 0,1,...., n-1, obtendremos las n races.
n
z w =
Races de z
Por qu solo hasta n-1?
103
1 , , 1 , 0
2
sin
2
cos
=

+
+

+
=
n k
n
k
i
n
k
r z
n n

donde ( ) sin cos i r z + =
Los n valores se equireparten en un crculo de radio
n
r
con centro en el origen, constituyendo los vrtices de
un polgono regular de n caras.
El valor de
n
z

obtenido al tomar el valor principal de
arg(z)

y k = 0

en la frmula de arriba se asume como valor
principal de w =
n
z
Resumiendo:
104
Ejercicio: Encontrar la raz cbica de z = i.
Usando en la frmula anterior r = 1, = arg z

= /2:
i i w k
i i w k
k
i
k
w
k
2
1
2
3
6
5
sin
6
5
cos , 1
2
1
2
3
6
sin
6
cos , 0
)
3
2 2 /
sin
3
2 2 /
(cos 1
1
0
3 / 1
+ = + = =
+ = + = =
+
+
+
=



i i w k = + = =
2
3
sin
2
3
cos , 2
2

105
Encontrar la raz cuarta de z = 1

+ i.
Con r = 2

, = arg z

= /4; tenemos:
i i w k
i i w k
k
i
k
w
k
1664 . 1 2320 . 0 )
16
9
sin
16
9
(cos 2 , 1
2320 . 0 1664 . 1 )
16
sin
16
(cos 2 , 0
)
4
2 4 /
sin
4
2 4 /
(cos 2
8 / 1
1
8 / 1
0
8 / 1
+ = + = =
+ = + = =
+
+
+
=



i i w k
i i w k
1664 . 1 2320 . 0 )
16
25
sin
16
25
(cos 2 , 3
2320 . 0 1664 . 1 )
16
17
sin
16
17
(cos 2 , 2
8 / 1
3
8 / 1
2
= + = =
= + = =


106
Ejemplo: races de la unidad

=
= + =
=

+
+

+
=
+ =
5
8
sin
5
8
cos
5
6
sin
5
6
cos
5
4
sin
5
4
cos
5
2
sin
5
2
cos
1 0 sin 0 cos
4 , , 1 , 0
2 0
sin
2 0
cos 1 1
) 0 sin 0 (cos 1 1
4
3
2
1
0
5 5





i w
i w
i w
i w
i w
k
n
k
i
n
k
i

1 =
n
z
Ecuacin
ciclotmica
Ejercicio: Encuentra las races cbicas de 1 -

i
107
Ejercicio:

Sea z
k

cualquier raz ensima de la unidad,
prueba que:
1 , 0 ... 1
1 2
= + + +

k
n
k k k
z si z z z
Nota: Si 1, z
1

, z
2

, ..., z
n-1

son las races de la unidad, demuestra:
1 2
1 2 1
... 1 ) )...( )( (

+ + + + =
n
n
z z z z z z z z z
Sol.:
i z
i z
=
+ =
2
2
2
1
Sol.:
1 = z
108
Falacia (Del lat.

fallaca).
1. f. Engao, fraude o mentira con que se intenta daar a alguien.
2. f. Hbito de emplear falsedades en dao ajeno.
Real Academia Espaola
2 1 ;
2
3
2
1
2
3
2
1
2
3
2 2
3
2
;
2
3
2
1
2
3
2
2
3
2
1
2
3
2
;
2
1
2
;
1
1
1
1
1
1
;
1
1
1
1
;
1
1
1
1
2
= + = +
+ = +

+ =

+
+ = + = =

=

i
i
i
i
i
i i
i i
i
i
i
i
i i i
i
i
i
i
i
109
El segundo paso (extraer races a ambos lados) puede parecer
el origen de la falacia, pero no lo es. Basta con determinar el
valor principal en ambas races.
El tercer paso es el origen de la falacia. No existe regla que garantice
que:
b
a
b
a
=
excepto si a>0

y b>0.
La nica manera de que dos nmeros u

y v

(u,v

distintos de cero)
tengan el mismo cuadrado es que u = v

o u = -v. En nuestro caso,
podamos haber escrito:
b
a
b
a

b
a
b
a
= =
110
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 ( ; 1 ) 1 )( 1 (
2
= = =
= =
i
De hecho, si operamos con i, sin pensar que es -1,
todo funciona correctamente.
111

=
2
cos
2
sin 2 sin

Igualando las partes imaginarias

Un producto infinito para :
Elevando al cuadrado a ambos lados:
( )

= +
2
sin
2
cos sin cos
2 / 1

i i

= +
2
cos
2
sin 2
2
sin
2
cos sin cos
2 2

i i
112

=
n n
n
2
sin
2
cos ...
4
cos
2
cos 2 sin

(Aplicamos el resultado encontrado al ngulo mitad. )

Aplicndolo reiteradamente...
=

2
cos
4
cos
4
sin 2 2
2
cos
2
sin 2 sin
4
cos
4
sin 2

Un producto infinito para :
113
...
16
cos
8
cos
4
cos
2
2
...
8
cos
4
cos
2
cos
sin
2
2
sin
2
cos ...
4
cos
2
cos
sin

= =

n
n
n
n

=
2
2
cos
2
k
k

Producto infinito
de Vite para

Dividiendo la igualdad entre :

114
...
2
2 2 2
2
2 2
2
2 2
2
cos 1
2
cos
2
2
4
cos
+ + +
=
+
=

Usando reiteradamente
en el producto infinito
Tomando

= /4:
115
Potenciacin de exponente racional
Sean

m
Z
, n

N , con n m, primos entre s.

Se define
m
n n
m
z z

=
1
Si
( )
isen r z
+ =
cos , entonces:

+ + + =
) k 2 (
n
m
sen i ) k 2 (
n
m
cos r z
n
m
n
m
con 1 n ,..., 1 , 0 k
=
.
Los n valores ( para 1 ,..., 1 , 0
=
n k ) son distintos.
Supongamos que para k y ' k se obtuviese el mismo n

complejo.
Sera entonces:
( ) ( )
p k
n
m
k
n
m
2 2 ' 2
+ + = +
, es decir: p
n
m
k
n
m
k
+ =
' .
O sea, ) ' ( ) ' ( k k m pn k k
n
m
p
= =
Como m y n son primos entre si, todo factor de n deber

estar en k k

' ,
es decir
k k n

'
. Imposible pues
n k k
<
'
116
Ya podemos encontrar todas las soluciones
de una ecuacin como:
Sern n soluciones.
O las soluciones de ecuaciones como:
Cuntas soluciones tiene?
n
n
z z 23 0 23 = = +
n
m m n
z z ) 1 ( 0 1
/
= = +
117
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.
Adems: supongamos que hemos simplificado
hasta
alcanzar m/n. Tomemos una solucin de las n
posibles.
Al elevarla a n/m debera darnos z, pero nos dar

m valores y solo uno de ellos es z!
118
Ley de clausura:
z
1
+ z
2
y

z
1
z
2
pertenecen

a

C.
Ley asociativa:
(z
1
+ z
2

) + z
3

= z
1
+ (z
2
+ z
3

)
(z
1
z
2

) z
3

= z
1
(z
2
z
3

)
Ley distributiva:
z
1
(z
2
+ z
3

) = z
1
z
2
+ z
1
z
3
Las propiedades son
fciles de probar
escribiendo z en
forma algebraica
x+iy, y usando las
correspondientes
propiedades de los
nmeros reales.
Propiedades algebraicas
La suma y el producto dotan
a C de estructura de cuerpo.
Ley conmutativa:
z
1
+ z
2

= z
2

+ z
1
z
1
z
2

= z
2

z
1
119
0+z = z+0 = z

(Neutro para la suma)
z

+(-z) = (-z)+z = 0

(Opuesto para la suma)
z 1 = 1

z = z

(Identidad para el producto)
z

z
-1

= z
-1
z = 1

(Inverso para el producto)
{C,+,}

con las propiedades anteriores es un cuerpo.
No es posible ordenar el conjunto de los nmeros complejos.
Carecen de sentido expresiones como z > 0

o z
1

< z
2

, por ejemplo.
z

0 = 0

z = 0

(Neutro para el producto)
(Para todo z distinto de 0)
120
121
122
123
124
Representacin matricial de los nmeros complejos

=
0 1
1 0
1 0
0 1
y x
x y
y x
z
Acta como 1 Acta como i
(una rotacin de 90)
Con la suma y el producto matricial clsico, y teniendo en
cuenta que toda matriz no cero de este tipo es invertible,
tenemos un cuerpo.
El mdulo es igual a la raz cuadrada del determinante.
A qu corresponde el conjugado de z en forma matricial?
125
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 multiplicacin.
Segn el teorema de Frobenius
no es posible un campo mayor
que C.
Se puede ampliar ms el concepto de
nmero de modo que se conserven
estas propiedades?
F. Frobenius
(1849 -

1917)
126
Sir William Rowan Hamilton (1805 - 1865)
Hamilton intent extender los nmeros
complejos a "tres dimensiones". Hasta
convencerse de que necesitaba cuatro:
cuaterniones. Los cuaterniones son nmeros
complejos en cuatro dimensiones en lugar de
dos (Hamilton 1843).
Parte
Imaginaria
Parte
Real
As un cuaternin q se expresa como:
q = a + ib +jc + kd donde a,b,c,d son nmeros reales.
{1, i, j, k} hacen de base en el hiperespacio de los
cuaterniones. {1, i} era la base estndar para los
nmeros complejos, simplemente se aaden dos
vectores unitarios, j y k, perpendiculares entre s.
Cuaterniones
127
Cuaterniones
Como se puede apreciar en esta regla de multiplicacin de los
elementos de la base, el producto entre cuaterniones es asociativo y
no conmutativo.
Suma:
La suma se realiza anlogamente a como se hace con nmeros
complejos:
Producto:
El producto se realiza componente a componente de acuerdo con las
leyes de combinacin y producto de los elementos de la base (Reglas
de Hamilton):
128
As el producto ser:
Cuaternin conjugado:
Dado el cuaternin , su
conjugado se escribe como:
Cociente entre cuaterniones:
El cociente entre cuaterniones se obtiene rpidamente a
partir de la frmula del inverso de un cuaternin:
128
129
El software de vuelo del Space

Shuttle

usaba cuaterniones

para el
control de navegacin y vuelo. Su
uso consegua compacidad de
cdigo, velocidad de cmputo y
evitaba aparicin de singularidades
en los clculos.
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 estndar, por ejemplo).
Sorprendentemente, esta propiedad
viene al pelo para describir
rotaciones en 3 dimensiones.
130
Las rotaciones 3D no son conmutativas:
180 grados es el equivalente al cambio de signo en la multiplicacin de cuaterniones. Los
cuaterniones tienen las propiedades adecuadas para describir rotaciones y en particular
composicin de rotaciones. Los cuaterniones se usan para las rotaciones en los grficos de
ordenador (a partir de ahora puedes decir cuando manejes la PS2 que ests computando
cuaterniones) y en GPS.
180 grados de
diferencia
dependiendo del
orden de las
rotaciones.
131
Hamilton desarroll

tambin otra
lgebra alternativa: la de los
nmeros hipercomplejos. En
vez de sacrificar la
conmutatividad, sacrific

la
existencia de inverso. En el
lgebra hipercompleja

no todo
elemento h distinto de 0 posee
inverso 1/h. La base de cuatro
elementos posee la misma
notacin que la de cuaterniones,
pero las reglas de multiplicacin
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
El puente de Brougham

sobre el
Canal Real, donde Hamilton durante
un paseo dedujo las reglas para los
cuaterniones.
132
... los nmeros 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 nmeros
complejos como lo estamos
nosotros, y hubiera
confiado a estos nmeros
las operaciones detalladas
de su mundo en sus
escalas ms minsculas.
Roger Penrose,
"El camino a la realidad".
133
The Complex Number Song
(Tune:John Brown's Body)
Mine eyes have seen the glory of the Arganddiagram
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