UNIVERSIDAD DE LAS FUERZAS ARMADAS ESPE

EXTENSIN LATACUNGA

INGENIERAS: MECATRNICA y ELECTROMECNICA

Matemtica Superior
1. Nmeros complejos
Marcelo Romn V.

PERODO ACADMICO: Abril - Agosto 2016

"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".
Marcelo Romn V. 2
Marcelo Romn V. 3
 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) : z x jy con 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
Marcelo Romn V. 4
(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. 5
Marcelo Romn V.
 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 )
Marcelo Romn V. 6
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

Marcelo Romn V. 7
 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
8
Marcelo Romn V.
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

Marcelo Romn V. 9
 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 10
Marcelo Romn V.
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
Marcelo Romn V.
2 11
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
Marcelo Romn V. 12
 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
Marcelo Romn V. 13
 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). 14
Marcelo Romn V.
Marcelo Romn V. 15
 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 donde n es un entero positivo.
n
( z0 z1 ) z0 z1
n

i 0 i Marcelo Romn V.
Sugerencia: Usa induccin. 16
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; Karl Friedrich Gauss
y a las reales, las imaginarias. (1777-1855)
Nmeros ntegros complexos
K. F. Gauss (1831)

Qu es un nmero complejo? Gauss dio la respuesta

satisfactoria definitiva en 1831 al establecer la
interpretacin geomtrica: x+iy (x,y).
Marcelo Romn V. 17
 Qu significa un Anteriores a Gauss:
nmero complejo?
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)
Marcelo Romn V. 18
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
Marcelo Romn V. no est definido. 19
 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
Marcelo Romn V. 20
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 } Marcelo
(k Romn
0, 1V., ) Argz 2.55 21
Marcelo Romn V. 22
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
Marcelo Romn V. 23
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
Marcelo Romn V. 24
Marcelo Romn V. 25
 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
Marcelo Romn V. 26
 Ejercicio: Demostrar que para a, b, c, d enteros siempre
existen u y v enteros tal que: (a 2 b 2 )(c 2 d 2 ) u 2 v 2

Encontrar u y v para: (892 1012 )(1112 1332 ) u 2 v 2

El matemtico 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-arbigos.
Marcelo Romn V. 27
 (892 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 |
Marcelo Romn V. 28
 "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?"
Marcelo Romn V. 29
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 |z -z |2 = |z -z |2 = |z -z |2
Marcelo Romn V. 1 2 2 3 3 1 30
 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.
Marcelo Romn V. 31
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, ...
Marcelo Romn V. 32
 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.
Marcelo Romn V. 33
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.
Marcelo Romn V. 34
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
Marcelo Romn V. 35
 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 V.
4 Marcelo Romn 36
 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.
Marcelo Romn V. 37
 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

Marcelo Romn V. 38
Marcelo Romn V. 39
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 }
Marcelo Romn V. 40
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
Marcelo Romn V. 41
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

Marcelo Romn V. 42
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

Marcelo Romn V. 43
Ejercicio: demostrar que

arg( z1 / z2 ) arg z1 arg z2

Y que en general:

Arg( z1 / z2 ) Arg z1 Arg z2

Marcelo Romn V. 44
 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
Marcelo Romn V. 45
Producto de nmeros complejos en el plano complejo
z
y z z1 z2
r r1r2

z2
r2
r1 z1
1 2 2
1
x
Marcelo Romn V. 46
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 47
Marcelo Romn V.
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

Marcelo Romn V. 48
Marcelo Romn V. 49
 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

Marcelo Romn V. 50
Marcelo Romn V. 51
 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...

Marcelo Romn V. 52
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.
Marcelo Romn V. 53
Relatividad especial: la importancia de i
Distancia espacial
(teorema de Pitgoras)

s ( x1 x2 ) ( y1 y2 ) ( z1 z2 )
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
Mtrica euclidiana y/o translaciones

Marcelo Romn V. 54
 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
Marcelo Romn V. 55
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:

(ds) 2 (cdt ) 2 (dx) 2 (dy) 2 (dz ) 2

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:

(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

Marcelo Romn V. 56
 Cmo 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 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)
Marcelo Romn V. 57
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)]

Marcelo Romn V. 58
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
Marcelo Romn V. 59
 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 Marcelo Romn V.
y z 60
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:
Marcelo Demostrar
Romn V. por induccin. 61
Sol.: z i , k Z

Marcelo Romn V. 62
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

Marcelo Romn V. 63
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 )
Marcelo Romn V. 64
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

Marcelo Romn V. 65
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) S 1
Dn(x) se llama 2 2 2 2 sin x
ncleo de Dirichlet.
Marcelo Romn V.
2 66
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.
PorMarcelo
qu solo hasta n-1?
Romn V. 67
 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
Marcelo Romn V. 68
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

Marcelo Romn V. 69
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
Marcelo Romn V. 70
 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
Marcelo Romn V. 71
 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

Marcelo Romn V. 72
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 2Marcelo Romn V. 73
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

Marcelo Romn V. 74
 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.
Marcelo Romn V. 75
 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
Marcelo Romn V. 76
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

Marcelo Romn V. 77
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

Marcelo Romn V. 78
 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

Marcelo Romn V. 79
 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

Marcelo Romn V. 80
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?

Marcelo Romn V. 81
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!
Marcelo Romn V. 82
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
Marcelo Romn V. 83
 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.

Marcelo Romn V. 84
Marcelo Romn V. 85
Marcelo Romn V. 86
Marcelo Romn V. 87
Marcelo Romn V. 88
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?

Marcelo Romn V. 89
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
Marcelo Romn V. (1849 - 1917) 90
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. 91
Marcelo Romn V.
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. 92
Marcelo Romn V.
 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:

93
Marcelo Romn V. 93
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.
Marcelo Romn V.
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. 94
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 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.

Marcelo Romn V. 95
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 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.
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 kMarcelo
= 1 Romn V. 96
... 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". 97
Marcelo Romn V.