Académique Documents
Professionnel Documents
Culture Documents
Nmeros complejos
"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".
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.
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). 5
La secta pitagrica
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.
Todo es nmero.
10
"Todo es nmero"
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/
11
12
"No es digno de llamarse hombre aquel que desconoce que la diagonal de un cuadrado es inconmensurable con el lado." Sophie Germain
Sonidos de la ciencia:
Programa 47: La armona de los mundos
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... 13
Nmeros irracionales
Todo nmero racional puede escribirse como n/m, donde n y m son enteros sin factores en comn.
2
1 Demostracin (1). Es 2 racional? Supongamos que s: 2 = n/m. Elevando al cuadrado: 2 = n2/m2 y n2 = 2m2. De modo que n2 es un entero par n es par. Entonces podemos escribir: n = 2p. As 2m2 = 4p2; m2 = 2p2. Y de nuevo como m2 es un entero par m es par. Contradiccin! (Reduccin al absurdo) Nuestra suposicin inicial es incorrecta 2 no puede escribirse como una fraccin de enteros.
14
Esttica matemtica
Compara la demostracin anterior, con la siguiente: Demostracin (2). Es 2 racional? Supongamos que s: 2 = n/m. Elevando al cuadrado: 2 = n2/m2 y n2 = 2m2. Todo entero puede descomponerse como un producto nico de nmeros primos. As en n2 intervienen cierta coleccin de primos idnticos en parejas (est elevado al cuadrado). Idem para m2. Pero, en 2m2 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
15
Por ejemplo:
Es racional
( 2)
o
Es irracional
( 2)
( 2)
=2
es irracional y trascendental.
16
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
17
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. 18
Sean:
z1 = x1 + iy1 z 2 = x2 + iy2
Parte real
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
Parte imaginaria
Suma
z1 + z 2 = ( x1 + x2 ) + i ( y1 + y2 )
Producto
z1 z 2 = ( x1 x2 y1 y2 ) + i ( x1 y2 + x2 y1 )
19
Ejemplos: (1)
i 2 = (0 + i )(0 + i ) = (0 1) + i (0 + 0) = 1
De modo que podemos sustituir siempre:
i i =
1 1 =
i = 1
2
= 1
(2)
La resta y la divisin se definen como operaciones inversas de la suma y la multiplicacin respectivamente Resta (operacin inversa a la suma)
z1 z 2 = 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 z2 = z1, siempre que z20. z2
Ejercicio: demostrar que es cierto.
x1 x2 + y1 y2 x2 y1 x1 y2 z= +i 2 2 2 2 x2 + y 2 x2 + y 2
21
Ejemplo:
Sean z1=18 + 3i
Calcular:
z2 = -7 + 2i
Complejo conjugado
El complejo conjugado z de un nmero complejo z = x + i y se define como:
z = x iy
Es sencillo demostrar que:
z=z
z1 z 2 + z1 z 2 = 2 Re( z1 z 2 )
z1 + z 2 = z1 + z 2 z1 z 2 = z1 z 2
z+z Re( z ) = 2
z1 z 2 = z1 z 2 z1 / z 2 = z1 / z 2
zz Im( z ) = 2i
23
Por ejemplo:
z = x + iy = x iy = x + iy = z
z1 z 2 = ( x1 x2 y1 y2 ) + i ( x1 y2 + x2 y1 ) = ( x1 x2 y1 y2 ) i ( x1 y2 + x2 y1 ) = ( x1 iy1 )( x2 iy 2 ) = z1 z 2
z + z ( x + iy ) + ( x iy ) 2 x = = = x = Re( z ) 2 2 2
24
Observemos que:
z z = ( x + iy )( x iy ) = x + y
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.
25
z1=18 + 3i
z2 = -7 + 2i
1 1 i i = = = i i i i 1
26
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.
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).
27
28
Sol.:
a) z = 1 i b) z = 1 / 5 + (13 / 5)i c) z = 1 / 2
Sol.: z1 = y + iy
z 2 = y + iy , y
n n i i ( z0 + z1 ) = z0 z1 i i =0
n n
29
Resolver la ecuacin de tercer grado se haba convertido en un desafo intelectual digno de los mejores matemticos de la poca.
31
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"
2 3
x 3 + px = q
3
p, q
2 3
q q p 3 q q p x= + + 2 2 2 3 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.
32
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)
33
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...
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.
35
El resultado de la contienda se extendi como la plvora por toda Italia y lleg a odos de Gerolamo Cardano (15011576). 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. 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.
"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). 36
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
37
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".
5 15
Solucin intrigante o cantidades "sofsticas". 38
39
Sonidos de la ciencia:
Programa 98: La tragicomedia de la ecuacin de tercer grado
40
Soluciones geomtricas
x = mx + n
2
x
t 3 + a1t 2 + a2t + a3 = 0 1 t = x a1 3
x + px = q
3
p, q
41
p, q
2 3 2 3
q q p 3 q q p x= + + 2 2 2 3 2 3
Pero en otros ... : x 3 + 15 x = 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.
42
a:
x 3 + px = q
Confirma que los nmeros complejos son necesarios incluso para encontrar las races reales de:
t 3 19t + 30 = 0
43
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 (1596-1650) Ren Descartes "La Gomtrie" (1637)
44
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)
45
littera i
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.
46
47
Qu es un nmero complejo? Gauss dio la respuesta satisfactoria definitiva en 1831 al establecer la interpretacin geomtrica: x+iy (x,y).
48
Anteriores a Gauss:
Jean Argand (1768 - 1822) Idem y adems consider i como una rotacin de 90. Jhon Wallis (1616 - 1703) Algebra(1673)
49
(Im)
Mdulo:
r := z = x + y
2
z
r
x
y
(Re)
Eje real
| z | Re z , | z | Im z , | z |=| z | zz = x 2 + y 2 =| z |2
Argumento:
y := arg z = arctan x
Para z = 0, el ngulo no est definido.
51
Ejemplo:
Dibujar el nmero complejo z = -3-2i en el plano complejo y evaluar mdulo y argumento
Mdulo:
r = z = (3) 2 + (2) 2 = 13
La calculadora no distingue
Argumento:
r
3 2i
x
2
< := Arg z +
arg z := {Arg z + 2k }
Ejemplo: supongamos que
(k = 0, 1, 2, ...)
53
54
| z |=| z | z z =| z | | z1 z 2 |=| z1 || z 2 |; | z1 z 2
2
z n |=| z1 || z 2 |
| zn |
z1 z1 = z2 z2
( z 2 0)
55
Ejercicio:
z x + iy x iy x iy = = = = z x + iy x + iy x + iy
x +y
2 2
2 2
x +y
=1
z
x
Grficamente el conjugado es una reflexin respecto al eje real.
56
57
Sol.: a) z = 3 / 2 + iy , y
b) z = x i 2 x , x
Sol.: a) z1 = 1 + i , z2 = 1 7i
b) ( z1 = 4 + 2i , z 2 = 1 2i ) y ( z1 , z 2 )
3 1 c) z1 = (1 + i ) , z 2 = (1 i ) 2 2
58
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:
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.
59
z a + ib
2 2
w c + id
2
t u + iv
| z | | w | =| t |
"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?"
61
62
z1
z2 z1
z1 + z2
x
z2
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 64
z1
3z1 2
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.
65
Desigualdad triangular
| z1 + z 2 || z1 | + | z 2 |
El mdulo de z es equivalente a la distancia euclidiana del vector libre (x,y). La distancia entre z1 y z2 es |z1-z2|. As disponemos de un espacio mtrico donde podemos definir lmites, continuidad, ...
y
z1
| z1 + z 2 |
z1 + z2
| z1 |
| z2 |
z2
66
| z1 + z 2 | = ( z1 + z 2 )( z1 + z 2 ) = ( z1 + z 2 )( z1 + z 2 ) =
2
z1 z1 +
2
z1 z 2 + z 2 z1
2 Re( z1 z 2 ) 2| z1 z 2 | = 2| z1 || z 2 |= 2| z1 || z 2 | 2
+ z2 z2
2 2
| z1 + z 2 | | z1 | +2 | z1 || z 2 | + | z 2 | = (| z1 | + | z 2 |)
Extrayendo la raz cuadrada (recordemos que el mdulo es siempre positivo), la desigualdad triangular queda demostrada.
67
Ejercicio: Demostrar que | z1 + z 2 || z1 | | z 2 | Ejercicio: Demostrar que | z1 z 2 || z1 | | z 2 | Podemos generalizar la desigualdad triangular:
z
j =1
| 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.
68
z
r
x
y
z = x + iy = r cos + ir sin
z = r
r>0
Forma polar
Utilizamos el argumento principal
z = r (cos + i sin )
Forma trigonomtrica
r En ingeniera: r cis
69
Ejemplo:
z1 = 1 + i
r1 = z1 = (1) 2 + (1) 2 = 2
r1
2
1
argumento:
z1 = 2 cos + i sin 4 4
z1 = 2 / 4
70
Ejemplo:
dem para z2=-1-i :
Mdulo:
r2 = z 2 = (1) 2 + (1) 2 = 2
y
1
Argumento:
x
1
r2
z 2 = 1 i
z 2 = 2 3 / 4
3 3 i sin z 2 = 2 cos 4 4
71
x>0
| z1 |=| z 2 |
x < 0, y 0
Arg z1 = Arg z 2
x < 0, y < 0
x = 0, y > 0
x = 0, y < 0
72
73
arg z1 = {1 + 2n : n Z } arg z 2 = { 2 + 2n : n Z }
z1 z 2 =| z1 | (cos 1 + i sin 1 ) | z 2 | (cos 2 + i sin 2 ) =
| z1 || z 2 | {(cos 1 cos 2 sin 1 sin 2 ) + i (sin 1 cos 2 + cos 1 sin 2 )}
74
Obtenemos que:
z1 z 2 =| z1 || z 2 | [cos(1 + 2 ) + i sin(1 + 2 )]
1 + 2 arg( z1 z 2 )
arg( z1 z 2 ) = {1 + 2 + 2n : n Z } = {1 + 2n : n Z } + { 2 + 2n : n Z } = arg z1 + arg z 2
75
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:
76
arg( z 2 ) 2 arg z
Arg[(i ) ] = Arg(1) =
2
Arg(i ) + Arg(i ) =
As que, en general:
78
z = z1 z 2 = r1 (cos 1 + i sin 1 )r2 (cos 2 + i sin 2 ) = r1r2 [(cos 1 cos 2 sin 1 sin 2 ) + i (sin 1 cos 2 + cos 1 sin 2 )]
= r1r2 [cos(1 + 2 ) + i sin(1 + 2 )]
r = r1r2 = z1 z 2
z1 z 2 = z1 z 2
79
z
y
r = r1r2
z = z1 z 2
z2
r2
= 1 + 2
r1
1
z1
x
80
y zz 1 2
z2
Observa que los tringulos azul y rojo son semejantes.
1
2
z1
1
81
Potencias de i
i = 1
2
i 3 = i
i 1 i 1
Por ejemplo:
i =1
4
i =i
5
i 6 = 1
254
= (i ) i = 1(1) = 1
4 63 2
82
83
z iz
x
i z
2
i z
Re( z ) = Im(iz )
85
x=0 a
d
T corriendo para pillarlo
x p = d
x p = d + vt
1 2 xb (T ) = x p (T ) , aT = d + vT Alcanzar el bus en T: 2 2 Supn que hay dos soluciones v d v T = 2 reales. Qu significan T+ y T-? a a Y si hay una nica solucin real? a Si: T es un tiempo complejo y no alcanzars el bus. v2 d> Pero adems tiene significado fsico... 2a
86
ds =0 dt
v t= a
87
s 2 = ( x1 x2 ) 2 + ( y1 y2 ) 2 + ( z1 z 2 ) 2 (ds ) 2 = (dx) 2 + (dy ) 2 + (dz ) 2 (ds ) 2 = (ds ' ) 2 = (dx' ) 2 + (dy ' ) 2 + (dz ' ) 2
Albert Einstein
(1879 1955)
Mtrica euclidiana
Transformaciones de Lorentz
x' =
Transformaciones de Galileo
x vt 1 (v / c )
2
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 (ds ' ) 2 = (cdt ' ) 2 + (dx' ) 2 + (dy ' ) 2 + (dz ' ) 2
Por ejemplo:
t' = dt ' = t vx / c 2 1 (v / c ) 2 v / c2 1 (v / c )
2
dt ' = dx +
t ' t ' dx + dt t x 1
2
1 (v / c )
dt
90
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)
91
|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
y
z1 z= z2
z2
r2
r1
r1 r= r2
= 1 2
x
93
Ejemplos:
i = cos( / 2 ) + i sin ( / 2 )
i 2 2i
i
2 2i
2 2i = 8 [cos( / 4 ) + i sin ( / 4 )]
i 1 [cos( / 4) + i sin ( / 4)] = 2 2i 8
z
x
1/ z
94
Frmula de Moivre
Potencias enteras de complejos en forma polar:
z = r (cos + i sin )
(cos + i sin )
= cos(n ) + i sin( n )
95
Sol.: z = i , k Z
96
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 precollege 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 97
(z + z )
z
n
= 2 n cos n ( )
z n + z n = 2 cos(n )
Por ejemplo:
n=6
(z + z )
2 cos( 6 )
1 6
= 2 cos ( ) ;
6 6
(z + z )
2 cos( 2 )
1 6
= z 6 + 6 z 4 + ... =
( z 6 + z 6 ) + 6( z 4 + z 4 ) + 15( z 2 + z 2 ) + 20 =
2 cos( 4 )
100
1 Ejercicio: Sumar Dn ( x) = 2
S 1 :=
k
cos( kx )
k =0
S 2 :=
sin( kx )
k =0
z n +1 1 S1 + iS 2 = z k = z 1 k =0
z n +1 1 cos[(n + 1) x] + i sin[(n + 1) x] 1 = S1 = Re z 1 = Re (cos x 1) + i sin x cos(nx) cos[(n + 1) x] cos x + 1 = 2 2 cos x 2n + 1 En teora de series de sin x 1 1 1 Fourier la funcin 2 + S1 = Dn ( x) = Dn(x) se llama 2 2 2 2 sin x ncleo de Dirichlet. 2 101
Races de z
Si z = wn, entonces w se llama la raz ensima de z y podemos escribirla como: n
w= z
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?
102
Resumiendo:
n
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
103
/ 2 + 2k
3
+ i sin
/ 2 + 2k
3
104
/ 4 + 2k
4
+ i sin
/ 4 + 2k
4
k = 0, w0 = 2 (cos
1/ 8
+ i sin
) = 1.1664 + 0.2320i
) = 1.1664 0.2320i
105
z =1
n
Ecuacin ciclotmica
k = 0 , 1, ,4
0 + 2 k 0 + 2 k 1 = 1 cos + i sin n n w 0 = cos 0 + i sin 0 = 1 2 w1 = cos 5 4 w 2 = cos 5 6 w 3 = cos 5 8 w 4 = cos 5 2 + i sin 5 4 + i sin 5 6 + i sin 5 8 + i sin 5
106
1 + zk + z + ...z
2 k
n 1 k
= 0, si z k 1
Nota: Si 1, z1, z2, ..., zn-1 son las races de la unidad, demuestra:
( z z1 )( z z 2 )...( z z n 1 ) = 1 + z + z + ... + z
2
n 1
Sol.: z1 = 2 + i
z2 = 2 i
Sol.: z = 1
107
1 1 1 1 = = ; ; 1 1 1 1 i 1 i 1 = ; = ; 1 i 2 2i i 3 1 3 i + = i + ; 2 2i 2i 2i 1 3 1 3 + = + ; 2 2 2 2
1 1 = 1 1 i 3 1 3 + = + 2 2i 2i 2i i 2 3i i 3i + = + 2 2i 2i 2i 1= 2
108
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 = b b
a a = b b
109
1 1 = ; 1 1
1 1 = ; 1 1
1 1 = 1 1
(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.
110
(cos + i sin )
1/ 2
= cos + i sin 2 2
Aplicndolo reiteradamente...
112
sin n sin 2 = cos cos ... cos n 2 4 2 2n sin = cos cos cos ... 2 4 8 2 = cos cos cos ... = 2 4 8 16
Dividiendo la igualdad entre :
= cos k k =2 2 2
113
Tomando = /4:
2 cos = 2 4 2 = 2 2 cos = 2 1 + cos 2
2+ 2 2
2+ 2+ 2 ... 2
114
=r
k = 0 ,1 ,..., n 1 .
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 ( + 2 k ' ) = m ( + 2 k ) + 2 p , es decir: k ' m = k m + p . n n n n m O sea, p = ( k ' k ) pn = m ( k ' k ) n Como m y n son primos entre si, todo factor de k es decir n k ' k . Imposible pues k ' < n
115
z + 23 = 0 z = n 23
n
z n / m + 1 = 0 z = n (1) m
Cuntas soluciones tiene?
116
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! 117
Propiedades algebraicas
Ley de clausura: z1 + z2 y z1 z2 pertenecen a C. La suma y el producto dotan a C de estructura de cuerpo.
Las propiedades son fciles de probar escribiendo z en forma algebraica x+iy, y usando las correspondientes propiedades de los nmeros reales.
Ley conmutativa: z1 + z2 = z2 + z1 z1 z2 = z2 z1 Ley asociativa: (z1 + z2) + z3 = z1 + (z2 + z3) (z1 z2) z3 = z1 (z2 z3) Ley distributiva: z1 (z2 + z3) = z1 z2 + z1 z3
118
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
(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.
119
120
121
122
123
1 0 0 1 x y + y = x z = 0 1 1 0 y x
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?
124
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?
125
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 cuaterniones. {1, i} era la base estndar para los nmeros complejos, simplemente se aaden dos vectores unitarios, j y k, perpendiculares entre s. 126
Parte Real
Parte Imaginaria
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.
127
As el producto ser:
, su
Cociente entre cuaterniones: El cociente entre cuaterniones se obtiene rpidamente a partir de la frmula del inverso de un cuaternin:
128
128
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.
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.
129
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.
130
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:
El puente de Brougham sobre el Canal Real, donde Hamilton durante un paseo dedujo las reglas para los cuaterniones.
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
131
... 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".
132
Mine eyes have seen the glory of the Argand diagram They have seen the i's and thetas of De Moivre's mighty plan Now I can find the complex roots with consummate elan With the root of minus one Complex numbers are so easy Complex numbers are so easy Complex numbers are so easy With the root of minus one In Cartesian co-ordinates the complex plane is fine But the grandeur of the polar form this beauty doth outshine You be raising i+40 to the power of 99 With the root of minus one You'll realise your understanding was just second rate When you see the power and magic of the complex conjugate Drawing vectors corresponding to the roots of minus eight With the root of minus one
(Probably) Mrs P.E.Perella
133