Vous êtes sur la page 1sur 94

1.

Nmeros complejos

1
2
Un nmero complejo z es un par ordenado de nmeros
reales x e y, escrito como:
z = (x,y) (William R. Hamilton)

(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

El conjunto de nmeros complejos, se denota por C:

C : ( x, y) : x, y
Dos nmeros complejos son iguales si y slo si sus partes
reales e imaginarias son iguales:
(x1,y1) = (x2,y2) sii x1= x2 , y1= y2
3
(0,1) se llama la unidad imaginaria y se denota por:

i (0,1)

(Los ingenieros elctricos a menudo usan j para evitar confusiones


con el smbolo i, que asocian a la intensidad elctrica).

Un nmero complejo z = (x,y) se escribe comnmente


como (notacin algebraica o binmica, afijo en textos
de antao):
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
nmero real. 4
Suma y producto de nmeros complejos
En la facultad tenamos un profesor
z1 x1 iy1 cojo al que llambamos el complejo.
Tena una pierna real y otra imaginaria.
Sean:
z2 x2 iy 2 Memorias de un estudiante
de matemticas

Parte real Parte imaginaria


Suma

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

z1 z2 ( x1 x2 y1 y2 ) i( x1 y2 x2 y1 )
5
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 2
1 1
(2) Esto nos permite una manera prctica de operar.
Por ejemplo:

(4 5i)(2 3i) [4 2 (5i) 3i] [4 3i (5i) 2]


(8 15) i(12 10) 23 2i

6
La resta y la divisin se definen como operaciones
inversas de la suma y la multiplicacin respectivamente
Resta (operacin inversa a la suma)
z1 z2 z Qu es z ? z + z2 = z1

z ( x1 x2 ) i( y1 y2 )
Divisin (operacin inversa al producto)
z1 Qu es z ? Es un nmero complejo tal que:
z
z z z2 = z1, siempre que z20.
2

Ejercicio: x1 x2 y1 y2 x2 y1 x1 y2
demostrar z i
que es cierto. x2 y2
2 2
x2 y2
2 2
7
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

8
Complejo conjugado
El complejo conjugado z de un nmero complejo z = x + i y
se define como:

z x iy Tambin se suele denotar como : z *

zz z1 z2 z1 z2 2 Re( z1 z2 )
Es sencillo
demostrar z1 z2 z1 z2 z1 z2 z1 z2
que: z1 z2 z1 z2 z1 / z2 z1 / z2
zz zz
Re( z ) Im( z )
2 2i 9
Por ejemplo: z x iy x iy x iy z

z1 z2 ( x1 iy1 ) ( x2 iy 2 ) ( x1 x2 ) i( y1 y2 )
( x1 x2 ) i ( y1 y2 ) ( x1 iy1 ) ( x2 iy 2 )
z1 z 2

z1 z2 ( x1 x2 y1 y2 ) i ( x1 y2 x2 y1 )
( x1 x2 y1 y2 ) i ( x1 y2 x2 y1 )
( x1 iy1 )( x2 iy 2 ) z1 z2

z z ( x iy ) ( x iy ) 2 x
x Re( z )
2 2 2 10
Observemos que:

z z ( x iy )( x iy ) x y
2 2

En la prctica, obtenemos el cociente de dos nmeros


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 y 2
2 2
x2 y 22
11
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 z2

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
12
A pesar de la sencillez del conjugado y sus propiedades,
nos permite demostrar fcilmente cosas como esta:

Sea la ecuacin: 0 1 z ... n z n 0 i C.

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

0 1 z ... n z n 0

Y en particular, si i , i 1,..., n , 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.
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). 13
14
a) z 1 i
Sol.:
b) z 1 / 5 13 / 5i
c) z 1 / 2

Sol.: z1 y iy
z2 y iy , y

Demuestra el teorema del binomio para nmeros complejos:


n n i i
n
( z0 z1 ) z0 z1
n donde n es un entero positivo.
i 0 i
Sugerencia: Usa induccin. 15
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
16
La tragicomedia del nacimiento de los nmeros complejos

Luca Pacioli haba comparado la dificultad de


la resolucin de la ecuacin de tercer grado con
el viejo problema de la cuadratura del
crculo.

Luca Pacioli (1445 - 1517)

"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.
17
Escipione del Ferro (1465-1526) fue el primero
en encontrar (1505-1515) una solucin general
para la ecuacin cbica del tipo (Marciano?) :

"Incgnitas y cubos
igual a nmeros"
La Universidad de Bolonia, fundada x 3 px q p, q
en 1088, es la ms 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 ctedra de matemticas. Aunque diversas
fuentes lo describen como un gran algebrista, no
han sobrevivido originales de su obra.
18
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.

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.
(www.lolitabrain.com) 19
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
Niccol Fontana Tartaglia
fama lleg a odos de del Fiore que,
(1499-1557)
pertrechado con "su secreto", lo ret... 20
y Soluciones geomtricas
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
21
Forma general de la ecuacin cbica y solucin:

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:

x3 6 x 20 ; x 3 108 10 3 108 10

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


Cardano saba que x = 4 es solucin de esta ecuacin.
Rafael Bombelli (1526-1572) resolvi la situacin operando
como lo hacemos hoy con nmeros complejos.
22
Ejercicio: Demuestra que la ecuacin 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 nmeros complejos son necesarios


incluso para encontrar las races reales de:
t 3 19t 30 0 23
60 aos despus de Bombelli:

A pesar de que podemos


pensar que la ecuacin
x3 - 6x2 + 13x - 10 = 0 tiene
tres races, nicamente una
de ellas es real, la cual es 2, y
las otras dosson
simplemente imaginarias.
Ren Descartes Ren Descartes
(1596-1650) "La Gomtrie" (1637)
24
Gottfried von Leibnitz
(1646 1716) Los nmeros imaginarios
son un excelente y
maravilloso refugio del
Espritu Santo, una especie de
anfibio entre ser y no ser

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)
25
Leonhard Euler Con Euler los imaginarios se
(1707 1783) incorporan definitivamente en la
Matemtica.

formulam 1 littera i
Leonhard Euler (1777)

i2 = -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.

Estos nmeros no son nada,


ni menos que nada, lo cual
necesariamente los hace
imaginarios, o imposibles. 26
El plano complejo (Plano z, de Argand o de Gauss)

Eje imaginario
Mdulo: r : z x y 2 2
(Im)
Tambin llamado valor absoluto
(el mdulo 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. 27
Ejemplo:
Dibujar el nmero complejo z = -3-2i en el plano complejo y
evaluar mdulo y argumento

y Mdulo:
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 28
Determinacin o valor principal
Para que sea nico, basta con imponer la condicin
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 determinacin del argumento. Arg z
Se denomina determinacin principal o
valor principal a Arg z, el valor de en
el rango:
: Argz
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, ) Argz 2.55 29
30
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
31
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
Grficamente el conjugado
es una reflexin respecto
x al eje real.

y z 32
33
Sol.: a) z 3 / 2 iy , y
b) z x i 2 x , x

Sol.: a) z1 1 i , z2 1 7i
b) z1 4 2i , z 2 1 2i y ( z1 , z2 )
3 1
c) z1 (1 i ) , z 2 (1 i )
2 2
34
Suma y resta de nmeros complejos
en el plano complejo
En la suma (y la resta)
los nmeros complejos
y se comportan como vectores

z1
z1 z2
z2 x
z2 z1
Prueba que si |z1| = |z2| = |z3| y z1 + z2 +z3 = 0,
entonces estamos hablando de los vrtices
de un tringulo equiltero.
Sugerencia:
Muestra que |z1-z2|2 = |z2-z3|2 = |z3-z1|2 35
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 ms: el producto complejo.
36
Desigualdad triangular | z1 z2 || z1 | | z2 |

y El mdulo 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 mtrico
donde podemos
definir lmites,
Qu significa que |z1| > |z2|? continuidad, ...
37
Demostremos la desigualdad triangular:

| z1 z 2 | ( z1 z 2 )( z1 z2 ) ( z1 z 2 )( z1 z 2 )
2

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

Extrayendo la raz cuadrada (recordemos que el


mdulo es siempre positivo), la desigualdad triangular
queda demostrada.
38
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 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.
39
Forma polar y trigonomtrica
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 trigonomtrica r 0 argumento principal

z r cos i sin En ingeniera:


r
r cis
40
Ejemplo:
Escribir el siguiente nmero complejo z1=1+i,
en forma polar y trigonomtrica:
y mdulo:
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 41
Ejemplo: Mdulo:
dem para z2=-1-i : r2 z2 (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( z2 ) 3 / 4
z2 1 i
3 3
z2 2 3 / 4 z2 2 cos i sin
4 4
Nota: tan(1) = tan(2) = 1, pero z2 est en el tercer
cuadrante, as que 2 = -3/4.
42
Dos nmeros complejos
y
arctan x0 sern iguales sii:
x


| z1 || z2 |
y
arctan , x 0, y 0
x Arg z1 Arg z2


Arg z arctan y , x 0, y 0
x


, x 0, y 0
2


, x 0, y 0
2

43
44
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
isin 1 cos 2 cos 1 sin 2 }
45
Usemos las relaciones trigonomtricas 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
46
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

47
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 z2 ) Arg z1 Arg z2


48
Ejercicio: demostrar que

arg( z1 / z2 ) arg z1 arg z2

Y que en general:

Arg( z1 / z2 ) Arg z1 Arg z2

49
Multiplicacin en forma trigonomtrica
En realidad ya tenemos la solucin 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
isin 1 cos 2 cos 1 sin 2 ]
r1r2 [cos(1 2 ) i sin(1 2 )]

r r1r2 z1 z2 argz1 z2 arg z1 arg z2

z1 z2 z1 z2
arg z1 z2 arg z1 arg z2
50
Producto de nmeros complejos en el plano complejo
z
y z z1 z2
r r1r2

z2
r2
r1 z1
1 2 2
1
x
51
Producto de nmeros complejos en el plano complejo

y zz z2
1 2

Observa que los


tringulos azul y
rojo son semejantes.
1
2 z1
1
1 x 52
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 (i ) i 1(1) 1
254 4 63 2

53
54
y
Multiplicar por i es equivalente a
girar 90 grados en sentido anti-
z horario (operador rotacin):
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

55
56
Qu significa un d
x=0
nmero complejo?
Bus parado en el T corriendo
t 0 xb 0 x p d semforo (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 Supn que hay dos soluciones
v v d
T 2 reales. Qu significan T+ y T-?
a a a Y si hay una nica solucin real?
Si:
v2 T es un tiempo complejo y no alcanzars el bus.
d
2a Pero adems tiene significado fsico...
57
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 ms cerca...
1 2
s xb x p s at d vt En que instante s es mnimo?
2
ds v
0 t
dt a
Es decir: el tiempo
correspondiente a la
parte real del tiempo
complejo T.
58
Divisin en forma polar
Pensemos que la divisin es la operacin inversa del producto:

Sean z1 = r1(cos1+i sin1) y z2 = r2(cos2+i sin2).


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)]


59
Divisin de nmeros complejos en el plano complejo

z1 z1
z
y z2
r1
r1 r
z2 r2

r2 z
1 2
1 2
x
60
Ejemplos: (1) Usando la forma trigonomtrica, 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 61
Frmula 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 induccin. 62
Sol.: z i , k Z

63
El teorema de Moivre es una mquina de
generar identidades trigonomtricas. 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

64
Otra manera ingeniosa de derivar identidades trigonomtricas:

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 )
65
Por ejemplo:

n6 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

66
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 teora de series de 2n 1
sin x
Fourier la funcin 1 1 1 2
Dn ( x) S1
Dn(x) se llama 2 2 2 2 sin x
ncleo de Dirichlet.
2 67
Races de z

Si z = wn, entonces w se llama la raz ensima de z y


podemos escribirla como:
w z
n

que posee n distintos valores. Es decir nz 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 = nr
y n = +2k o = /n + 2k/n
tomando los valores k = 0,1,...., n-1, obtendremos las n races.
Por qu solo hasta n-1? 68
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 crculo de radio nr


con centro en el origen, constituyendo los vrtices de
un polgono regular de n caras.
El valor de nz obtenido al tomar el valor principal de
arg(z) y k = 0 en la frmula de arriba se asume como valor
principal de w = nz
69
Ejercicio: Encontrar la raz cbica de z = i.
Usando en la frmula 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

70
Encontrar la raz 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
71
z 1
Ejemplo: races de la unidad n Ecuacin
1 1(cos 0 i sin 0) ciclotmica
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 races cbicas de 1 - i 72
Ejercicio: Sea zk cualquier raz ensima 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 races de la unidad, demuestra:
n 1
( z z1 )( z z2 )...( z zn1 ) 1 z z ... z
2

Sol.: z1 2 i
z2 2 i

Sol.: z 1
73
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

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 74
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:
a a

b b
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:
a a a a

b b b b
75
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.
76
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
77
Un producto infinito para :

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

2 sin cos (Aplicamos el resultado encontrado al ngulo mitad. )
4 4

Aplicndolo reiteradamente...


sin 2 cos cos ... cos n sin n
n

2 4 2 2

78
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 Vite para
k 2 2
79
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

80
Potenciacin 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.
Sera 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

81
Ya podemos encontrar todas las soluciones
de una ecuacin como:

z 23 0 z n 23
n

Sern n soluciones.

O las soluciones de ecuaciones como:

z n / m 1 0 z n (1) m

Cuntas soluciones tiene?


82
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! 83
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: fciles de probar
escribiendo z en
z 1 + z2 = z2 + z 1 forma algebraica
z 1 z 2 = z2 z 1 x+iy, y usando las
Ley asociativa: correspondientes
propiedades de los
(z1 + z2) + z3 = z1 + (z2 + z3)
nmeros reales.
(z1 z2) z3 = z1 (z2 z3)
Ley distributiva:
z1 (z2 + z3) = z1 z2 + z1 z3
84
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 nmeros complejos.
Carecen de sentido expresiones como z > 0 o z1 < z2, por ejemplo.

85
86
87
88
89
Representacin matricial de los nmeros complejos

x y 1 0 0 1
z x y
y x 0 1 1 0


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?


90
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.
Se puede ampliar ms el concepto de
nmero de modo que se conserven
estas propiedades?

Segn el teorema de Frobenius


no es posible un campo mayor
que C. F. Frobenius
(1849 - 1917) 91
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).

Cuaterniones

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
Parte Imaginaria
cuaterniones. {1, i} era la base estndar para los
Parte Real
nmeros complejos, simplemente se aaden dos
vectores unitarios, j y k, perpendiculares entre s. 92
Cuaterniones
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):

Como se puede apreciar en esta regla de multiplicacin de los


elementos de la base, el producto entre cuaterniones es asociativo y
no conmutativo. 93
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:

94
94