You are on page 1of 37

Enrique R.

Aznar
Dpto. de lgebra

LOS NMEROS COMPLEJOS C

Existe la raiz cuadrada de un nmero negativo?

Pgina web personal

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

8. Races de un nmero complejo 25


JJ II
Teorema 2 27
Ejemplo 4 27 J I
Ejemplo 5 29
Ejemplo 6 29 Pgina 2 de 37

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

bajos de Cardano (1501-1576) y Bombelli (1526-1672) relacionados con el


Contenido
clculo de las races de la cbica o ecuacin de tercer grado. Fue Ren
Descartes (1596-1650) quien afirm que "ciertas ecuaciones algebraicas slo JJ II
tienen solucin en nuestra imaginacin" y acu el calificativo "imaginarias"
para referirse a ellas. J I

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

Fjate en cada una de las ecuaciones: J I

Pgina 5 de 37
x +3 = 0
2x + 3 = 0
Atrs
x2 2 = 0
2
x + 2x + 2 = 0 Pantalla grande/pequea

Cuyas soluciones Cerrar

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:

Pgina web personal


1 p i
x 5 + (1 i )x 4 + ( i 2)x 2 8x + 3 p = 0 Pgina de Abertura
5 3
Contenido

Cmo sern sus soluciones? Aparecern tambin nuevos tipos de nmeros? JJ II


El Teorema Fundamental del lgebra nos dice que esa ecuacin tiene solu-
J I
ciones que tambin son nmeros complejos y, por tanto, que no aparecern
ya por este procedimiento nuevos tipos de nmeros. Pgina 6 de 37

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

Consideremos en el conjunto R2 (conjunto de parejas de nmeros reales) las


operaciones de adicin y producto definidas por,

(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

2Se demuestra, mas adelante, en el lema 2.


Enrique R. Aznar
Todas estas propiedades se resumen diciendo que (R , +, ) (lase "el conjunto
2 Dpto. de lgebra
R2 con las operaciones de adicin y producto") es un cuerpo.
Dicho cuerpo se representa simblicamente por C y sus elementos se llaman
nmeros complejos.
Con la definicin de producto, es fcil comprobar algunas igualdades, por
ejemplo
Pgina web personal
(0, 1)(0, 1) = (1, 0)
p p p p
2 2 2 2 Pgina de Abertura
( , )( , ) = (0, 1)
2 2 2 2
que se pueden reescribir como Contenido

(0, 1)2 = (1, 0) JJ II


p p
2 2 2 J I
( , ) = (0, 1)
2 2
Adems, si llamamos i = (0, 1), se obtienen las igualdades Pgina 8 de 37

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

gunda coordenada, escribiendo a = (a, 0)3.


3En la seccin siguiente, daremos razones para esta simplificacin de la notacin.
Enrique R. Aznar
Podemos escribir las igualdades anteriores como Dpto. de lgebra

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

conjunto sin ninguna estructura particular y nmeros complejos cuando se Cerrar


considera la estructura aritmtica de cuerpo antes definida.

4Tambin veremos como escribir una pareja como una suma.


Enrique R. Aznar
Ocurre que estos trminos se usan a veces en un mismo prrafo lo que puede Dpto. de lgebra
resultar confuso. La regla que debes tener siempre presente es que todo con-
cepto matemtico tiene sentido propio dentro de una determinada estructura
matemtica.
Por ello, a un elemento de R2 se le llama nmero complejo cuando se va
a usar el producto antes definido que es lo que en realidad distingue a los
nmeros complejos de los vectores de R2 . Pgina web personal

Pgina de Abertura

3. F ORMA BINMICA DE UN NMERO COMPLEJO


Contenido

El smbolo usual (a, b) para representar pares ordenados no es conveniente JJ II


para representarlo como nmero complejo.
J I
Representaremos los nmeros complejos con un simbolismo ms apropiado
en el que va a intervenir el producto complejo. Para ello, observa que: Pgina 10 de 37

0 0
(a, 0) + (a , 0) = (a + a , 0) Atrs

(a, 0)(a 0 , 0) = (aa 0 0 0, a 0 + 0 a 0 ) = (aa 0 , 0) Pantalla grande/pequea

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

Definicin 2. Al nmero complejo (0,1) lo representaremos por i y lo lla- JJ II


maremos unidad imaginaria.
J I
Con ello razonamos la famosa igualdad encontrada antes
Pgina 11 de 37
i 2 = (0, 1)(0, 1) = (1, 0) = 1
Atrs
Y podemos reescribir una pareja como una suma
Pantalla grande/pequea
(a, b) = (a, 0) + (0, b) = (a, 0) + (b, 0)(0, 1) = a + bi
O sea, se tiene tambin que toda pareja, (a, b), se puede escribir como una Cerrar

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

Es costumbre representar los nmeros complejos con las letras z y w y reser-


Contenido
var las letras x, y, a, b para representar nmeros reales. Una expresin de la
forma z = x + i y se interpreta como que z es el nmero complejo cuya parte JJ II
real es x y cuya parte imaginaria es y .
J I
Definicin 4. Se escribe Re(z) e I m(z) para representar las partes real e
Pgina 12 de 37
imaginaria de z . Naturalmente, dos nmeros complejos son iguales cuando
tienen igual parte real e igual parte imaginaria. Atrs

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.

Pgina web personal


4. C LCULO DE RACES CUADRADAS DE NMEROS COMPLEJOS
Pgina de Abertura
Como, por la regla de los signos, el cuadrado de cualquier nmero real
positivo. Se deduce que no existen en R las races cuadradas de ningn Contenido
nmero negativo. En C, sin embargo existen siempre las races cuadradas
de cualquier nmero: JJ II

Lema 1. Dado, z = a + bi C, con a, b R. El nmero complejo J I


r r
1 1
w= (|z| + a) + i (|z| a) Pgina 13 de 37
2 2
Atrs
donde el signo se elige de forma que b = |b|, verifica w 2 = z .
Pantalla grande/pequea
Demostracin: Como, (x + i y)2 = x 2 y 2 + 2x yi , si
(x + i y)2 = a + bi Cerrar

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

se donde se deduce el enunciado.  Contenido

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

Ejemplo 1. Halla las dos races cuadradas de i . Pgina 14 de 37

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.

Solucin: Como8 Pgina web personal

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

las dos soluciones de la ecuacin cuadrtica son


p Atrs
1+i 2i 1 + i (1 i ) 1 i (1 i )
z = + = = = {1, i }
2 2 2 2 2 Pantalla grande/pequea
p q q
ya que 2i = 12 (2 + 0) i 12 (2 0) = (1 i )

Cerrar

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

Dos nmeros complejos z = x+i y y w = u+i v determinan un paralelogramo Contenido

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

Tambin: Pgina web personal

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

obtenemos que |z|2 = x 2 + y 2 = (x + y i )(x y i ) es un nmero real (no Pantalla grande/pequea


negativo). Esta igualdad es equivalente a
Cerrar
x y
(x + y i )( 2 2
2 i) = 1
x +y x + y2
de donde se deduce el resto del enunciado. 
Enrique R. Aznar
Tambin son de comprobacin inmediata las desigualdades siguientes Dpto. de lgebra

Lema 3. Dado el nmero complejo, z = x + y i , donde x = Rez , y = I mz se


verifican las desigualdades
max{|x|, |y|} |z| |x| + |y|

Demostracin: como las tres cantidades son no negativas, basta comprobar Pgina web personal

las correspondientes desigualdades con sus cuadrados


Pgina de Abertura
|x|2 x 2 + y 2 (|x| + |y|)2 = |x|2 + |y|2 + 2|x||y|
Contenido
lo cual es inmediato. 
JJ II
Tambin se demuestran las siguientes propiedades:
J I
Lema 4. Dados dos nmeros complejos, z = x+y i , w = u+w i , se verifican
las propiedades Pgina 19 de 37

i) |zw| = |z||w|. Atrs


ii) |z + w| |z| + |w|
Pantalla grande/pequea

Demostracin: como todas las cantidades son no negativas, basta compro- Cerrar

barlo con sus cuadrados


i) |zw|2 = zw zw = zzw w = |z|2 |w|2 = (|z||w|)2 .
Enrique R. Aznar
2
ii) |z + w| = (z + w)(z + w) = (z + w)(z + w) = zz + w w + zw + zw = Dpto. de lgebra

= |z|2 + |w|2 + 2Re(zw) |z|2 + |w|2 + 2Re(zw)

|z|2 + |w|2 + 2|zw| = |z|2 + |w|2 + 2|z||w| = |z|2 + |w|2 + 2|z||w| =


= (|z| + |w|)2

como queramos demostrar.  Pgina web personal

Supuesto que z 6= 0 y w 6= 0, de la demostracin anterior deducimos tambien Pgina de Abertura


que se verifica la igualdad |z + w| = |z| + |w| si, y solo si, Re(zw) = |zw|,
esto es, si zw R+ , o lo que es lo mismo zw = r donde r R+ . Contenido

Esta igualdad, puede escribirse de forma equivalente,multiplicando por w , JJ II


como z|w|2 = r w , esto es, z = l w para algun l R+ , lo que quiere decir que
z y w estan en una misma semirrecta a partir del origen. J I

Definicin 7. La desigualdad obtenida se le llama la desigualdad triangu- Pgina 20 de 37

lar
Atrs
|z + w| |z| + |w|
Pantalla grande/pequea

6. F ORMA POLAR DE UN NMERO COMPLEJO Cerrar

El uso de coordenadas polares en el plano facilita mucho los clculos con


productos de nmeros complejos. Para cualquier nmero complejo z = x +
Enrique R. Aznar
yi 6= 0 podemos escribir Dpto. de lgebra
x y
z = |z|( + i)
|z| |z|
x y
Como ( |z| + |z| i ) es un punto de la circunferencia unidad, puede escribirse en
la forma
x y
( + i ) = (cos , sin )
|z| |z|
Pgina web personal
para algun numero R. Resulta asi que
Pgina de Abertura
z = |z|(cos , sin )
Contenido
Esta forma de expresar un nmero complejo recibe el nombre de forma po-
lar o forma mdulo-argumento cuya interpretacin grfica es inmediata. JJ II

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 .

Definicin 8. Definimos el conjunto de los argumentos de z :

Ar g (z) = {t R : z = |z|(cost + i sent )}


Pgina web personal

Observa que Pgina de Abertura



cos(t ) = cos(s)
s, t Ar g (z) s = t + 2k para algn k Z Contenido
sen(t ) = sen(s)
JJ II
Por tanto, conocido un argumento t 0 Ar g (z) cualquier otro es de la forma
J I
t 0 + 2k para algun k Z es decir, Ar g (z) = t 0 + 2Z.
Es claro que dos numeros complejos no nulos, z , w , son iguales si, y solo si, Pgina 22 de 37

tienen el mismo mdulo y Ar g z = Ar g w .


Atrs

Definicin 9. De entre todos los argumentos de un numero complejo z 6= 0 Pantalla grande/pequea


hay slo uno que se encuentra en el intervalo ] , ], se representa por
ar g (z) y se le llama el argumento principal de z. Cerrar

El argumento principal, ar g (z), de un nmero complejo se calcula as:


Enrique R. Aznar
Lema 5. Dpto. de lgebra
y
+ arctan x si x < 0, y < 0


y
+ arctan x


si x < 0, y 0
y
ar g (z) = arctan x si x > 0

si x = 0, y < 0


2


2
si x = 0, y > 0

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

z = |z|(cos + i sen) Atrs

w = |w|(cos + i sen)
Pantalla grande/pequea
Entonces
zw = |z||w|(cos + i sen)(cos + i sen) = Cerrar

= |zw|[(coscos sensen) + i (sencos + cossen)] =


= |zw|(cos( + ) + i sen( + ))
Enrique R. Aznar
donde se ha usado las conocidas fmulas del coseno y del seno del ngulo Dpto. de lgebra
suma9.
Es decir, se obtiene la regla de que para multiplicar dos numeros comple-
jos se multiplican sus modulos y se suman sus argumentos. Por ejemplo,
Ejemplo 3. Para calcular (1 + i )4 como el mdulo de la base es
p
|1 + i | = 2 Pgina web personal

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

argumento de z y n es un nmero entero, se verifica que n Ar g (zn). Es Contenido


decir,
JJ II
n n
z = |z| (cos(n) + i sen(n))
J I

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

donde k Z.Deducimos que11 Pgina de Abertura


p
n
|w| = |z| Contenido

Ahora bien, para cualquier nmero k de la forma k = (+2k)/n tenemos


JJ II
un nmero complejo
p
n
wk = |z|(cosk + i senk ) J I

solucin de la ecuacin inicial. O sea, tal que (w k )n = z . Pgina 26 de 37

Como una ecuacin polinmica de grado n no puede tener ms de n solu- Atrs


ciones, se sigue que distintos valores de k pueden dar lugar al mismo nmero
w k . Esta condicin es equivalente a Pantalla grande/pequea

w k = w q k q = 2m k q = nm Cerrar

Es decir, a que k y q den el mismo resto al dividirlos por n .


11se trata de la raiz n-sima de un numero positivo, cosa ya conocida.
Enrique R. Aznar
Deducimos que para k = 0, 1, 2, ..., n1 obtenemos races distintas y cualquier Dpto. de lgebra
otra raz w q es igual a una de ellos. Por tanto hay n races n -simas distintas
de z .
De entre
p
todas las races n-simas de z vamos a designar con el simbolo
z 0 = n z a la raz n-sima principal, que esta definida por
p
n
p
n ar g z ar g z
z0 = z= |z|(cos + i sen )
n n Pgina web personal

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

Hemos obtenido que JJ II


Teorema 2. Las races n -simas de un nmero complejo, z , vienen dadas
J I
por
Pgina 27 de 37
p
n +2k +2k
|z|(cos n + i sen n ) k = 0, 1, . . . , n 1
Atrs

Ejemplo 4. Por la frmula de De Moivre, tomando u = cos(2/n)+i sen(2/n), Pantalla grande/pequea


se tiene que
un = 1 Cerrar

Entonces, por el resultado anterior, las potencias de ste nmero


u 0 = 1, u, u 2 , ..., u n1
Enrique R. Aznar
son todas las races n -simas de la unidad (z = 1). Dpto. de lgebra

Usando el ejemplo anterior, podemos escribir, de nuevo por DeMoivre, las


races n -simas de un z arbitrario en la forma
zk = z0 u k
Como multiplicar por u es un giro de amplitud 2/n , deducimos que las
Pgina web personal
n races de z se obtienen girando la raz n-sima principal, z 0 , con giros
sucesivos de amplitud 2/n . Es decir, si representamos todas las races n - Pgina de Abertura
simaspde z obtenemos n puntos sobre una circunferencia de centro (0, 0) y
radio n |z| que forman un polgono regular de n lados. 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

Solucin: Para n = 3, la raz n-sima principal es


p
1 3
u = cos(2/3) + i sen(2/3) = cos(120 ) + i sen(120 ) = + i
2 2
y las tres races cbicas de la unidad son
p Pgina web personal
2 1 3
{1, u, u } = {1, i }
2 2 Pgina de Abertura

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

Solucin: Para n = 4, la raz n-sima principal es


u = cos(2/4) + i sen(2/4) = cos(90 ) + i sen(90 ) = i
Enrique R. Aznar
y las cuatro races cbicas de la unidad son Dpto. de lgebra

{1, u, u 2 , u 3 } = {1, i , 1, i }

Ejemplo 7. Halla las races quintas, complejas, de la unidad.

Solucin: Para n = 5, la raz n-sima principal es


u = cos(2/5) + i sen(2/5) = cos(72 ) + i sen(72 ) Pgina web personal

y las cuatro races cbicas de la unidad son13 Pgina de Abertura

{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

En general no es cierto que dados dos nmeros complejos z y w entonces


el producto de las races n -simas principales de z y w sea igual a la raz
n -sima principal del producto zw .
Lo que si es cierto es que el producto de dos races n -simas cualesquiera de
p
n
p
n
z y w es una raz n -sima de zw . Por tanto, z w , es una raz n -sima de
p Pgina web personal
zw pero no tiene por que ser la principal n zw . Veamos cundo se verifica
la igualdad. Pgina de Abertura

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

ar g (z) ar g (w) ar g (zw) Pantalla grande/pequea


+ = + 2k
n n n
Cerrar
lo que es equivalente a que

ar g (z) + ar g (w) = ar g (zw) + 2kn


Enrique R. Aznar
Ahora, como n > 2 y 2 < ar g (z)+ ar g (w) 2, deducimos que ha de ser Dpto. de lgebra
k = 0. Luego, debe ocurrir que
ar g (z) + ar g (w) = ar g (zw)
como un argumento principal est siempre entre y , hemos demostrado
lo que queramos. 
Ejemplo 8. En el caso en que n = 2, z = w = 1, tenemos que Pgina web personal

ar g (1) + ar g (1) = 2 6= 0 = ar g (1) = ar g ((1)(1)) Pgina de Abertura


p p
y no se cumple la condicin anterior. En este caso, 1 1 = 1 es una Contenido
raz cuadrada de 1 = (1)(1) pero no es la raz cuadrada principal de 1.
JJ II

10. E JERCICIOS . J I

Ejercicio 1. Comprueba la igualdad. Pgina 32 de 37

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

Ejercicio 8. Halla de forma exacta (no numrica) las soluciones de la ecuacin


Pgina de Abertura
z 4 + (1 + i )z 2 + 5i = 0.
Ejercicio 9. Calcula todas las soluciones de la ecuacin z 3 = 1. Contenido

Ejercicio 10. Calcula todas las soluciones de la ecuacin z 8 = 1. JJ II

Ejercicio 11. Calcula todas las soluciones de la ecuacin z 4 = i . J I

Ejercicio 12. Expresa en forma binmica exacta el nmero (1 + i )25 Pgina 33 de 37


p
Ejercicio 13. Expresa en forma binmica exacta el nmero ( 3 + i )37
Atrs
p
Ejercicio 14. Expresa en forma binmica exacta el nmero (1 + i 3)24
Pantalla grande/pequea

11. T EST DE REPASO . Cerrar

Para comenzar el cuestionario pulsa el botn de inicio.


Enrique R. Aznar
Cuando termines pulsa el botn de finalizar. Dpto. de lgebra
Para marcar una respuesta coloca el ratn en la letra correspondiente y pulsa
el botn de la izquierda (del ratn).

1. Cul de las siguientes afirmaciones es la correcta?.


Pgina web personal
(a) Un nmero complejo es un nmero con mas de 100 cifras.
(b) Un nmero complejo es una pareja de nmeros con mas de 100 cifras Pgina de Abertura

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

(b) Los nmeros complejos estn contenidos en los racionales.


Atrs
(c) Los nmeros complejos contienen a los racionales pero no a los reales.
(d) Los nmeros complejos contienen a los demas cuerpos numricos. Pantalla grande/pequea

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.

4. Cul de las siguientes afirmaciones es verdadera?. Pgina web personal


(a) Se pueden calcular races cuadradas de un nmeros complejo pero no
Pgina de Abertura
races cbicas.
(b) No se pueden calcular races cuadradas de un nmeros complejo Contenido
cuando es negativo.
(c) Slo se pueden calcular races cuadradas de nmeros reales positivos. JJ II
(d) Se pueden calcular races de cualquier orden de cualquier nmero
J I
complejo.
Pgina 35 de 37
5. Cul de las siguientes afirmaciones es verdadera?.
Atrs
(a) Existe siempre el conjugado de un nmero complejo.
(b) El conjugado de un nmero complejo es un nmero real. Pantalla grande/pequea

(c) A veces no existe el conjugado de un nmero complejo porque coin-


Cerrar
cide con l mismo.
(d) Slo se pueden conjugar nmeros reales.
Enrique R. Aznar
6. Cul de las siguientes afirmaciones es verdadera?. Dpto. de lgebra
(a) Todos los nmeros complejos tienen inverso.
(b) El inverso de un nmero complejo es un nmero real.
(c) El producto de los inversos de dos complejos es un nmero real.
(d) Si un nmero complejo es distinto de cero su inverso tambin es dis-
tinto de cero.
Pgina web personal

7. Cul de las siguientes afirmaciones es verdadera?.


Pgina de Abertura
(a) La desigualdad triangular es geomtrica no numrica.
(b) La norma de un nmero complejo es siempre menor que l. Contenido

(c) Los nmeros complejos no se pueden ordenar con un orden compat-


JJ II
ible.
(d) La norma de la suma de dos nmeros complejos es mayor que la suma J I
de las normas.
Pgina 36 de 37

8. Cul de las siguientes afirmaciones es verdadera?. Atrs


(a) Algunos nmeros complejos no tienen forma polar.
Pantalla grande/pequea
(b) La forma polar de un nmero complejo es igual que su forma binmica.
(c) El mdulo de un nmero complejo puede ser negativo. Cerrar
(d) Todos los nmeros complejos tienen mdulo y argumento.
Enrique R. Aznar
9. Cul de las siguientes afirmaciones es verdadera?. Dpto. de lgebra
(a) La frmula de De Moivre afecta slo a algunos nmeros complejos.
(b) La frmula de De Moivre afecta slo a la potencia n -sima de su
mdulo.
(c) La frmula de De Moivre sirve para calcular potencias n -simas de
un nmero complejo.
(d) La frmula de De Moivre afecta slo a la potencia n -sima de su Pgina web personal
argumento.
Pgina de Abertura
10. Cul de las siguientes afirmaciones es verdadera?.
(a) La frmula de De Moivre sirve slo para calcular races n -simas de Contenido
un nmero complejo.
(b) Slo las races n -simas de la unidad se pueden calcular. JJ II
(c) Se pueden calcular potencias pero no races n -simas de un nmero J I
complejo.
(d) Las races n -simas de un nmero complejo siempre se pueden cal- Pgina 37 de 37
cular.
Atrs

Pantalla grande/pequea

Cerrar

You might also like