Professional Documents
Culture Documents
Aznar
Dpto. de lgebra
Pgina de Abertura
1. Introduccin. 4
2. El cuerpo C de los nmeros complejos 7 Contenido
Definicin 1 9
3. Forma binmica de un nmero complejo 10 JJ II
Definicin 2 11
J I
Definicin 3 12
Definicin 4 12 Pgina 1 de 37
4. Clculo de races cuadradas de nmeros complejos 13
Lema 1 13 Atrs
Ejemplo 1 14
Pantalla grande/pequea
Ejemplo 2 15
5. Representacin grfica. Complejo conjugado y mdulo de un Cerrar
nmero complejo 16
Definicin 5 16
Definicin 6 17
Enrique R. Aznar
Lema 2 18 Dpto. de lgebra
Lema 3 19
Lema 4 19
Definicin 7 20
6. Forma polar de un nmero complejo 20
Definicin 8 22
Definicin 9 22
Pgina web personal
Lema 5 22
7. Frmula de De Moivre 23 Pgina de Abertura
Ejemplo 3 24
Teorema 1 25 Contenido
Ejemplo 7 30
Atrs
9. Producto de races n -simas principales 31
Lema 6 31 Pantalla grande/pequea
Ejemplo 8 32
10. Ejercicios. 32 Cerrar
Ejercicio 1 32
Ejercicio 2 32
Enrique R. Aznar
Ejercicio 3 32 Dpto. de lgebra
Ejercicio 4 32
Ejercicio 5 33
Ejercicio 6 33
Ejercicio 7 33
Ejercicio 8 33
Ejercicio 9 33
Pgina web personal
Ejercicio 10 33
Ejercicio 11 33 Pgina de Abertura
Ejercicio 12 33
Ejercicio 13 33 Contenido
Ejercicio 14 33
JJ II
11. Test de repaso. 33
J I
Pgina 3 de 37
Atrs
Pantalla grande/pequea
Cerrar
Enrique R. Aznar
1. I NTRODUCCIN . Dpto. de lgebra
Los nmeros que hoy llamamos "complejos" fueron durante muchos aos
motivo de polmicas y controversias entre la comunidad cientfica. Poco a
poco, por la creciente evidencia de su utilidad, acabaron por ser comnmente
aceptados, aunque no fueron bien comprendidos hasta pocas recientes. Nada
hay de extrao en ello si pensamos que los nmeros negativos no fueron ple-
Pgina web personal
namente aceptados hasta finales del siglo XVII.
Los nmeros complejos hacen sus primeras tmidas apariciones en los tra- Pgina de Abertura
Desde el siglo XVI hasta finales del siglo XVIII los nmeros complejos Pgina 4 de 37
o imaginarios son usados con recelo, con desconfianza. Con frecuencia,
cuando la solucin de un problema resulta ser un nmero complejo se inter- Atrs
preta esto como que el problema no tiene solucin. Para Leibnitz "el nmero
Pantalla grande/pequea
imaginario es un recurso sutil y maravilloso del espritu divino, casi un an-
fibio entre el ser y el no ser." Cerrar
Las razones de todo esto son claras. As como los nmeros reales respon-
den al problema bien cotidiano de la medida de magnitudes, no ocurre nada
Enrique R. Aznar
similar con los nmeros complejos. Hasta que los matemticos necesitaron Dpto. de lgebra
interpretar en trminos fsicos sus objetos de estudio, no se avanz mucho en
la comprensin de los nmeros complejos.
El xito de Euler y Gauss al trabajar con nmeros complejos se debi a que
ellos no se preocuparon de la "naturaleza" de los mismos; no se preguntaron
"qu es un nmero complejo?", sino que se dijeron "a ver, para qu sirven,
qu puede hacerse con ellos". Pgina web personal
Es Gauss quien definitivamente concede a los nmeros complejos un lugar Pgina de Abertura
privilegiado dentro de las matemticas al probar en 1799 el resultado cono-
cido como Teorema Fundamental del lgebra que afirma que toda ecuacin Contenido
polinmica de grado n con coeficientes complejos tiene, si cada raz se cuenta
tantas veces como su orden, n races que tambin son nmeros complejos. JJ II
Pgina 5 de 37
x +3 = 0
2x + 3 = 0
Atrs
x2 2 = 0
2
x + 2x + 2 = 0 Pantalla grande/pequea
3 p
x = 3, x = , x = 2, x = 1 i
2
Enrique R. Aznar
son respectivamente, un nmero entero, un racional, dos reales y dos com- Dpto. de lgebra
plejos.
Podra ocurrir que este proceso de ampliacin del campo numrico contin-
uara. Qu ocurrir si ahora consideramos ecuaciones polinmicas con coe-
ficientes complejos? Por ejemplo:
El trmino, hoy usado de "nmeros complejos" se debe a Gauss, quien tam- Atrs
bin hizo popular la letra "i" que Euler (1707-1783) haba usado espordica-
mente. Pantalla grande/pequea
En 1806 Argand interpreta los nmeros complejos como vectores en el plano. Cerrar
La fecha de 1825 es considerada como el nacimiento de la teora de fun-
ciones de variable compleja, pues se publica en dicho ao la Memoria sobre
la Integracin Compleja que Cauchy haba escrito ya en 1814.
Enrique R. Aznar
2. E L CUERPO C DE LOS NMEROS COMPLEJOS Dpto. de lgebra
(a, b) + (a 0 , b 0 ) = (a + a 0 , b + b 0 )
(a, b)(a 0 , b 0 ) = (aa 0 bb 0 , ab 0 + a 0 b)
Pgina web personal
Es muy fcil comprobar las propiedades asociativa y conmutativa de las ope- Pgina de Abertura
raciones as definidas y la distributiva del producto respecto de la suma1.
El elemento neutro de la suma es (0,0) y (1,0) es la unidad del producto. Contenido
Adems, (a, b) es el opuesto de (a, b), y todo (a, b) 6= (0, 0) tiene inverso
JJ II
dado por la pareja2
a b J I
( , )
a2 + b2 a2 + b2
Pgina 7 de 37
1En realidad, las definiciones de suma y producto, se pueden obtener por el proceso
Atrs
inverso. Suponiendo, i 2 = 1, y que dichas operaciones existen y verifican las propiedades
asociativa, conmutativa, distributiva, etc. Entonces
Pantalla grande/pequea
(a + bi ) + (a 0 + b 0 i )) = a + a 0 + (b + b 0 )i
Cerrar
(a + bi )(a 0 + b 0 i )) = aa 0 + ab 0 i + ba 0 i + bb 0 i 2 = (aa 0 bb 0 ) + (ab 0 + ba 0 )i
i 2 = (1, 0) Atrs
p p
2 2 2
( , ) = i Pantalla grande/pequea
2 2
y si, finalmente, simplificamos la notacin de las parejas con cero en la se- Cerrar
i 2 = 1
p p
2 2 2
( + i) = i
2 2
que son mucho ms intuitivas y fciles de recordar4.
Pgina web personal
En particular, hemos demostrado la clebre frmula, i 2 = 1, que tanto cost
aceptar en el pasado. De donde, se deduce tambin, la factorizacin del Pgina de Abertura
polinomio cuadrtico ms famoso de la historia
Contenido
x 2 + 1 = (x + i )(x i )
JJ II
Definicin 1. A los elementos de R2 se les llama unas veces pares ordenados
de nmeros reales, otras vectores o puntos y tambin nmeros complejos. J I
Pgina 9 de 37
En R2 conviven varias estructuras cada una con su terminologa propia. Por
eso a los elementos de R2 se les llama vectores si se est considerando la Atrs
estructura de espacio vectorial, puntos si fijamos la atencin en la estructura
topolgica o afn, pares ordenados cuando estamos pensando en R2 como Pantalla grande/pequea
Pgina de Abertura
0 0
(a, 0) + (a , 0) = (a + a , 0) Atrs
esto indica que los nmeros complejos de la forma (a, 0), se comportan re- Cerrar
specto a la suma y la multiplicacin de nmeros complejos, exactamente de
la misma forma que lo hacen los nmeros reales respecto a la suma y multi-
plicacin propias.
Enrique R. Aznar
En trminos ms precisos, R 0 es un subcuerpo de C isomorfo a R. Por Dpto. de lgebra
esta razn, en las operaciones con nmeros complejos podemos sustituir los
complejos del tipo (a, 0) por el nmero real a .
Es decir, hacemos la identificacin (a, 0) = a .
Fjate que con dicha identificacin podemos considerar los nmeros reales
dentro de los complejos. O sea, considerar la aplicacin inclusin siguiente
Pgina web personal
R , C
Pgina de Abertura
a 7 (a, 0)
y podemos pensar que el conjunto o cuerpo C es una ampliacin de los reales. Contenido
suma a + bi 5.
5Tambin como a + i b por la conmutativa del producto.
Enrique R. Aznar
Definicin 3. Se dice que a + bi es la expresin binmica del nmero com- Dpto. de lgebra
plejo (a,b). Se dice que a es la parte real y b es la parte imaginaria del
nmero complejo a + bi .
El producto ahora es muy fcil de recordar, pues por las propiedades dis-
tributiva, asociativa y la igualdad fundamental i 2 = 1, tenemos
Pgina web personal
(a + i b)(a 0 + i b 0 ) = aa 0 + i 2 bb 0 + i (ab 0 + ba 0 ) = aa 0 bb 0 + i (ab 0 + ba 0 )
Pgina de Abertura
p
Acabamos de ver que i 2 = 1 de aqu se tiene que i = 1. Pero hay que Pantalla grande/pequea
tener cuidado con esta notacin de raiz cuadrada. Fjate lo que ocurre si Cerrar
manejamos ese smbolo con las reglas a las que estamos acostumbrados:
p p p
1 = i 2 = i i =
p
1 1 = (1)(1) = 1 = 1
Enrique R. Aznar
Luego 1 = 1. Esto es una contradiccin que nos est diciendo que la regla Dpto. de lgebra
de multiplicacin de raices cuadradas
p p p
x y = xy
vlidas para nmeros reales positivos no es vlida para raices de nmeros
complejos6.
6
Observa, adems, que no hemos definido todava que es la radicacin compleja. La regla
vlida la demostraremos en el lema 6.
Enrique R. Aznar
2 2
obtendramos x y + 2x yi = a + bi . O sea, Dpto. de lgebra
x2 y 2 = a
2x y = b
como adems
x 2 + y 2 = |w|2 = |z|
sumando y restando se obtienen
Pgina web personal
2x 2 = |z| + a
2y 2 = |z| a Pgina de Abertura
Como en el caso real, al nmero w del lema anterior se le llama una raz JJ II
cuadrada
p
del z . Adems de ste, tambin w es una raz cuadrada. Por
tanto, z = w , y existen dos races cuadradas de cada nmero complejo7. J I
p
Solucin: Como, a = 0, b = 1, = 1, |i | = 02 + 12 = 1, tenemos Atrs
r r p p
1 1 2 2 Pantalla grande/pequea
w = (1 + 0) + i (1 0) = +i
2 2 2 2
Cerrar
7Salvo para z = 0 donde la raz cuadrada, pz = 0, es nica. Hemos encontrado dos
races cuadradas para cada nmero complejo z . Como la ecuacin x 2 z = 0 no puede tener
ms de dos races, stas dos, w , son todas las que existen.
Enrique R. Aznar
Como la extraccin de races cuadradas es lo que se usa, adems de la Dpto. de lgebra
aritmtica, para resolver ecuaciones cuadrticas. stas se pueden resolver
cuando tienen coeficientes complejos. Por ejemplo,
Ejemplo 2. Halla de forma exacta (no numrica) las soluciones de la ecuacin
z 2 + (1 + i )z + i = 0.
1 + i 2 (1 + i )2
+ i = z 2 + (1 + i )z + i = 0
z+ Pgina de Abertura
2 4
es equivalente a Contenido
1 + i 2 (1 + i )2 i 2 + 2i + 1 4i 2i
(z + = i = = JJ II
2 4 4 4
s p J I
1+i 2i 2i
z+ = =
2 4 2 Pgina 15 de 37
8Aunque se puede usar la conocida frmula de las ecuaciones de segundo grado. Aqu
hallamos las races, por el mtodo llamado de completacin de cuadrados.
Enrique R. Aznar
5. R EPRESENTACIN GRFICA . C OMPLEJO CONJUGADO Y MDULO DE Dpto. de lgebra
UN NMERO COMPLEJO
Es usual interpretar el nmero complejo x+i y como el vector del plano (x, y)
y, en ese sentido, se habla del plano complejo.
El eje horizontal recibe el nombre de eje real, y el eje vertical recibe el nom-
bre de eje imaginario. Pgina web personal
Pgina de Abertura
Contenido
JJ II
J I
Pgina 16 de 37
Atrs
Pantalla grande/pequea
Cerrar
Definicin 5. Si z = x + i y es un nmero complejo (con x e y reales), en-
tonces el conjugado de z se define como el complejo z = x i y .
p
El mdulo o valor absoluto de z, se define como el nmero real |z| = x 2 + y 2.
Enrique R. Aznar
Dpto. de lgebra
p
Observa, que la raz cuadrada x2 + y 2
est definida sin ambigedad; es la
raz cuadrada positiva del nmero real no negativo x 2 + y 2 .
Geomtricamente z es sencillamente la reflexin de z respecto al eje real,
mientras que |z|, por el teorema de Pitgoras, es la distancia eucldea del
punto (x, y) a (0, 0) o, tambin, la longitud o norma eucldea del vector (x, y)
(ver figura anterior).
Pgina web personal
Definicin 6. La distancia entre dos nmeros complejos z y w se define
como |z w|. Pgina de Abertura
cuya diagonal es z + w .
JJ II
J I
Pgina 17 de 37
Atrs
Pantalla grande/pequea
Cerrar
Enrique R. Aznar
Se comprueba fcilmente que si z y w son nmeros complejos se verifica Dpto. de lgebra
que
z=z
z +w = z +w
zw = z w
Pgina de Abertura
Lema 2. Dado el nmero complejo, z = x + y i se verifica que el producto
zz = (x + y i )(x y i ) es un nmero real (llamado el cuadrado de su norma). Contenido
Adems, se verifica que
JJ II
1 x y
z = x 2 +y 2
x 2 +y 2
i
J I
Pgina 18 de 37
Demostracin: como
(x + y i )(x y i ) = (x 2 + y 2 ) + (x y + x y) i = x 2 + y 2 Atrs
Demostracin: como las tres cantidades son no negativas, basta comprobar Pgina web personal
Demostracin: como todas las cantidades son no negativas, basta compro- Cerrar
lar
Atrs
|z + w| |z| + |w|
Pantalla grande/pequea
J I
Pgina 21 de 37
Atrs
Pantalla grande/pequea
Cerrar
Enrique R. Aznar
Es claro que, dado z C, z 6= 0, hay infinitos numeros reales R que verif- Dpto. de lgebra
ican la igualdad z = |z|(cos + i sen); cualquiera de ellos recibe el nombre
de argumento de z .
Puede parecer un poco extraa la forma de elegir el argumento principal Pgina web personal
de un nmero complejo. Pero simplemente, la eleccin que hemos hecho, Pgina de Abertura
supone que medimos ngulos desde a . En el semiplano superior de 0 a
y en el semiplano inferior de a 0. Contenido
JJ II
7. F RMULA DE D E M OIVRE
J I
Veamos cmo la forma polar permite hacer fcilmente productos de nmeros
complejos. Consideremos dos nmeros complejos no nulos Pgina 23 de 37
w = |w|(cos + i sen)
Pantalla grande/pequea
Entonces
zw = |z||w|(cos + i sen)(cos + i sen) = Cerrar
y su argumento principal
Pgina de Abertura
ar g (1 + i ) =
4 Contenido
se sigue que
p
(1 + i )4 = ( 2)4 (cos(4 ) + i sen(4 )) = JJ II
4 4
= 4(cos + i sen) = 4(1) = 4 J I
Pgina 24 de 37
As pues, el producto de dos nmeros complejos es geomtricamente un giro
(pues se suman los argumentos de los nmeros que estamos multiplicando) Atrs
seguido de una homotecia (el producto de los mdulos de ambos nmeros).
Pantalla grande/pequea
9Estas dos frmulas
Cerrar
cos( + ) = coscos sensen
sen( + ) = sencos + cossen
se demostrarn en el tema de trigonometra plana.
Enrique R. Aznar
Acabamos de ver que si Ar g (z) y Ar g (w), entonces Dpto. de lgebra
+ Ar g (zw)
Observa que se puede obtener tambin, de la anterior regla, que si Ar g (z)
entonces
1
Ar g ( )
z
Pgina web personal
Es fcil de demostrar, ahora mediante induccin
Teorema 1. [frmula de De Moivre10] Si z es un complejo no nulo, es un Pgina de Abertura
Pgina 25 de 37
8. R ACES DE UN NMERO COMPLEJO
Atrs
Se trata ahora de resolver la ecuacin w n = z donde n es un nmero natural,
n > 2, y z 6= 0 es un nmero complejo conocido. Si escribimos w en forma Pantalla grande/pequea
polar:
Cerrar
w = |w|(cos + i sen)
10La hemos demostrado para n = 2 y falta slo el paso de la induccin que omitimos.
Enrique R. Aznar
Usando la frmula de De Moivre, podemos escribir la ecuacin w = z en la n Dpto. de lgebra
forma equivalente:
w n = |w|n (cos(n) + i sen(n)) = |z|(cos + i sen)
Esta igualdad se da cuando
|w|n = |z|
y
n = + 2k Pgina web personal
w k = w q k q = 2m k q = nm Cerrar
Observa que en el caso particular de que z sea un nmero real positivo, en-
Pgina de Abertura
tonces la raz principal de z (considerada como nmero complejo) coincide
con la raz de z (considerada como nmero real positivo). Contenido
JJ II
J I
Pgina 28 de 37
Atrs
Pantalla grande/pequea
Sabemos que las dos races cuadradas de 1 son {1, 1}12. Para hallar las Cerrar
races de la unidad superiores usamos el teorema anterior.
12Es cierto en cualquier cuerpo, por ejemplo en Q, en R y en C.
Enrique R. Aznar
Ejemplo 5. Halla las races cbicas, complejas, de la unidad. Dpto. de lgebra
y su dibujo es Contenido
JJ II
J I
Pgina 29 de 37
Atrs
Pantalla grande/pequea
Ejemplo 6. Halla las races cuartas, complejas, de la unidad.
Cerrar
{1, u, u 2 , u 3 } = {1, i , 1, i }
{1, u, u 2 , u 3 , u 4 } Contenido
JJ II
J I
Pgina 30 de 37
Atrs
Pantalla grande/pequea
p Cerrar
p p
13Se puede demostrar que cos(72 ) = 51
de donde sen(72 ) = 10+2 5
.
Los griegos
4 4
ya saban construir con regla y comps el pentgono regular luego ya conocan emprica-
mente estas frmulas
Enrique R. Aznar
9. P RODUCTO DE RACES n - SIMAS PRINCIPALES Dpto. de lgebra
p
n
p p
Lema 6. La igualdad z n w = n zw equivale a que Contenido
JJ II
< ar g (z) + ar g (w) <
J I
p p p
Demostracin: Como los numeros n z n w y n zw tienen igual mdulo, la
Pgina 31 de 37
igualdad equivale a que sus argumentos sean iguales. O sea, a que para algn
entero k se verifique que Atrs
10. E JERCICIOS . J I
p p p
q q
Atrs
1+i 3+ 1i 3 = 6
Pantalla grande/pequea
Ejercicio 2. Expresa en forma polar el nmero complejo 1 + i .
p Cerrar
3+i
Ejercicio 3. Expresa en forma polar el nmero complejo 1+i .
1p
Ejercicio 4. Expresa en forma polar el nmero complejo 1+i 3
.
Enrique R. Aznar
Ejercicio 5. Halla de forma exacta (no numrica) la raz cuadrada del Dpto. de lgebra
p p
2 2
nmero complejo 2 + i 2 .
Ejercicio 6. Halla depforma exacta (no numrica) la raz cuadrada del
nmero complejo 21 + i 23 .
Ejercicio 7. Halla de forma exacta (no numrica) las soluciones de la ecuacin
z 2 + (1 + i )z + 5i = 0. Pgina web personal
cada uno.
Contenido
(c) Un nmero complejo es una pareja de nmeros reales.
(d) Un nmero complejo es un vector arbitrario de nmeros reales. JJ II
J I
2. Cul de las siguientes afirmaciones es verdadera?.
(a) Los nmeros complejos estn contenidos en los reales. Pgina 34 de 37
Cerrar
3. Cul de las siguientes afirmaciones es verdadera?.
(a) Un nmero complejo tiene una parte real pero no una parte imagi-
naria.
Enrique R. Aznar
(b) Un nmero complejo tiene siempre una parte real y otra imaginaria. Dpto. de lgebra
(c) La parte imaginaria de un nmero complejo es es un nmero imagi-
nario.
(d) Un nmero complejo a veces no tiene una parte real o una parte imag-
inaria.
Pantalla grande/pequea
Cerrar