Documente Academic
Documente Profesional
Documente Cultură
El conjunto de los n
umeros complejos.
1.1.
Introducci
on.
1.2.
Definici
on 1.1. El conjunto C de los n
umeros complejos se define por:
C = {z = (a, b) : a, b R}
Dado un n
umero complejo z = (a, b), tienen mucho interes los siguientes n
umeros reales relacionados con el:
a es llamado parte real de z, b parte imaginara de z y a2 +b2 es llamado modulo
de z. Se denotan respectivamente Re(z), Im(z), |z|.
A a, b se les llama componentes de z y finalmente, al complejo (a, b) se le
llama conjugado de z y se denota z.
Operaciones:
Dos complejos z = (a, b), z 0 = (c, d) son iguales si y solamente si a = c y b = d.
Ademas se definen la suma y el producto respectivamente por: z + z 0 = (a +
c, b + d) y zz 0 = (ac bd, ad + bc).
Ambas operaciones verifican las propiedades asociativa y conmutativa, que si
z1 , z2 , z3 son tres complejos, consisten en: z1 + (z2 + z3 ) = (z1 + z2 ) + z3 , y z1 + z2 =
z2 + z1 para la suma, e igual para el producto. Ademas el producto es distributivo
respecto de la suma, es decir, z1 (z2 + z3 ) = z1 z2 + z1 z3 .
Al complejo (0, 1) se le llama unidad imaginaria y se suele denotar por i. Tiene
mucho interes como enseguida veremos.
Cada n
umero real a se identifica con el complejo (a, 0) y recprocamente, un
n
umero complejo con parte imaginaria nula, de la forma (p, 0) es identificable al
n
umero real p. En particular, el (1, 0) es el n
umero real 1. Un complejo con parte
real nula se llama imaginario puro.
La primera propiedad a destacar de i es que i2 = 1. En efecto: i2 = (0, 1)(0, 1) =
(1, 0) = 1.
Observemos tambien que para cualquier n
umero real r y cualquier complejo
z = (a, b) se tiene que rz = (ra, rb) porque rz = (r, 0)(a, b) = (ra 0b, rb + 0a)
|w| =
(1)2 + 32 = 10,
a
b
,
).
a2 + b2 a2 + b2
w
, w3 , i3 (z w),
z
w
= wz 1
z
b b2 4ac
x=
2a
4
b
x+
2a
4ac b2
+
=0
4a2
En el caso en que b2 4ac < 0, la ecuacion admite como soluciones los dos n
umeros
complejos
b
4ac b2
b
4ac b2
z = +i
y z = i
2a
2a
2a
2a
Es decir, toda ecuacion cuadratica con coeficientes reales tiene dos soluciones
que son reales y coincidentes o reales y distintas o complejas y conjugadas. En
resumidas cuentas, tiene solucion en el conjunto de los n
umeros complejos. Igual
pasara si los coeficientes fueran n
umeros complejos. En realidad se cumple un
teorema mas general, llamado teorema fundamental del algebra cuyo enunciado
es Toda ecuacion polinomica de grado n 1, con coeficientes complejos (en
particular con coeficientes reales) admite alguna solucion en el conjunto de los
n
umeros complejos.
En realidad se puede enunciar de modo aparentemente mas fuerte, aunque es
equivalente: La ecuacion polinomica de grado n 1 con coeficientes complejos
admite n soluciones (no necesariamente distintas) en el conjunto de los n
umeros
complejos. Ademas, si z C es solucion, tambien lo es z.
Ejemplo 1.6. Resuelve la siguientes ecuaciones y expresa los polinomios correspondientes como productos de factores de primer grado.
x2 + x + 1 = 0,
1
14
y son
Solucion. Las soluciones vienen dadas por la expresion x =
2
1
1
3
3
+
i y x1 =
i
x1 =
2
2
2
2
La expresion del polinomio en factores de primer grado es entonces
!
!
1
1
3
3
x2 + x + 1 = x (
+
i)
x(
i)
2
2
2
2
5
Representaci
on gr
afica: Sabemos que el conjunto R de n
umeros reales se
representa sobre una recta (se suele llamar la recta real). El conjunto C de los
complejos admite una representacion sobre el plano (llamado plano complejo) de
modo que, fijados dos rectas perpendiculares, y representados los numeros reales
sobre cada una de ellas, situando el cero de ambas en el punto de corte, es decir
fijado un par de ejes cartesianos, cada n
umero complejo (a, b) viene representado
por el punto P del plano que representa esas coordenadas, o tambien, por el vector
fijo que tiene el origen en el (0, 0) y el extremo en (a, b). Ese punto del plano es
llamado afijo del n
umero complejo (a, b). El modulo de ese vector es el modulo
del n
umero complejo.
A partir de esa representacion se tienen otros dos modos de expresar un n
umero
complejo: Consideremos el angulo que forma el vector (a, b) con el eje de abscisas,
y sea r el modulo del n
umero complejo z. Entonces se llama forma polar de z a
la expresion r , que consiste en expresar el modulo de z y, como subndice, el
angulo. A tal angulo se le llama argumento del n
umero complejo. Notemos que
cada n
umero complejo tiene infinitos argumentos, porque si es un argumento,
tambien lo es +2k, k Z, y es muy importante tener en cuenta que la igualdad
de dos n
umeros complejos expresados en forma polar no implica que sean iguales
los modulos y los argumentos de ambos, sino que seran iguales los modulos y los
argumentos se diferenciaran en un m
ultiplo de 2. Es decir:
r = r 0
0
r = r
= + 2k, k Z
Cada n
umero complejo z tiene un u
nico argumento en el intervalo (, ]. A
ese argumento se le llama argumento principal de z, y lo representaremos por
arg(z).
La forma polar de los n
umeros 1 e i son respectivamente 10 y 1 .
sen(+)
Esta expresion se puede poner, a partir de las formulas del seno y el coseno de la
suma de angulos, como: rs(cos( + ) + i sen( + )).
Se deduce de ello que el producto de n
umeros complejos expresados en forma
polar verifica: r s = (rs)+ .
Tambien, por lo que se ha dicho ya de la igualdad de n
umeros complejos, que
dados z1 , z2 C, arg(z1 z2 ) = arg(z1 ) + arg(z2 ) + 2k, k Z.
z0
0
se
Dados dos n
umero complejos z = (a, b), z = (c, d), z 6= 0, el cociente
z
z0
1
puede calcula a partir del inverso z , porque = z 0 z 1 .
z
Sin embargo el calculo del cociente se simplifica si se emplea la expresion en
forma polar. Comencemos obteniendo la expresion del inverso:
1
Si z = r , entonces z 1 = ( ) . Se justifica porque
r
1
1
zz 1 = r ( ) = (r ) = 10 = 1
r
r
7
Ahora, si z =
r0 ,
z0
el cociente
se expresa por z 0 z 1 y por tanto se tiene:
z
0
r0
r
z0
0 1
=
= r ( ) =
z
r
r
r
z = 2 3i, w = 5 4 , m = 4( 23 12 i).
b) Realiza las siguientes operaciones y expresa el resultado en forma binomica
w
zw, m z, .
z
2
2
5
5
5 cos( ) + i sen( ) = 5(
+
i) y ( 2 +
2i).
4
4
2
2
2
2
Ahora, para m observamos que la parte real es positiva y la parte imaginaria
negativa, lo cual denota que, graficamente, m esta en el cuarto cuadrante. Ademas
|m| = 4 y su argumento cumplira tan() = 13 . Es decir = 6 , As las formas
polar y binomica son
4 6 y (2 3 2i)
5
obitiene zw = ( 25
2
2
2 2i)
Para mz, operando en forma binomica se obtiene de modo inmediato: mz =
w
5
5 13
=
=
z
13
13 (0,98)
1,76
5 13
13 (0,19
Potencias de n
umeros complejos.
Generalizando la expresion del producto de n
umeros complejos para tres, cuatro,. . . ,n n
umeros, se obtiene la siguiente expresion de la potencia con exponente
n
natural de n
umeros complejos: (r )n = rn
, n N.
Esa formula es valida tambien para exponente entero (n Z). Se justifica del
modo siguiente: Si n N, podemos poner:
n
1
1
n
1 n
n
z = ((r ) ) = ( )
= ( )nn = rn
r
r
n
umero complejo z 0 = r0 , y se denota z = n z 0 , si (z)n = z 0 .
La expresion de la potencia permite deducir que:
n
r0 = rn
,
k
+ 2, k Z.
n n
Ahora en esta expresion, cuando k toma los valores 0, 1, 2, . . . n 1 se obtienen n
valores distintos para que son:
y entonces r0 = rn , n = + 2k, k Z. Es decir, r =
r0 y =
(n 1)2
2 4
, + , + ,..., +
.
n n
n n
n
n
n
9
todos ellos con modulo igual a n r0 y cuyos argumentos son los que se obtienen de
k
la formula + 2, para los valores de k = 0, 1, 2 . . . (n 1).
n n
Es facil observar que los afijos de los n n
umeros complejos, races nesimas de
z 0 , si se representan en el plano complejo, son los vertices de un polgono regular
de n lados.
Ejemplo 1.8. Resuelve las ecuaciones a) x6 1 = 0
z 6 + 64z 2 = 0
b) x2 + 3x 10i = 0 c)
decir 6 1. La unidad escrita en forma polar es 10 . Tiene seis races sextas, todas
con modulo uno y cuyos argumentos atienden a la expresion
xk =
0 + 2k
,
6
k = 0, 1, 2, 3, 4, 5.
3 9 + 40i
x=
.
2
Basta pues calcular las races cuadradas de w = 9 + 40i. En forma polar, w =
Las cuatro races cuartas tienen por modulo 8 y los cuatro argumentos seran
3
omica seran:
4 , 4 + 2 , 4 + , 4 + 2 . En forma bin
1 + i,
1 + i,
1 i,
1 i.
1
1.3.
Funciones complejas.
ello) que la u
nica definicion posible para que se cumpla las propiedades de la
exponencial es:
eib = cos b + i sen b.
Es decir, la funcion exponencial compleja se define del modo siguiente: para el
n
umero complejo z = a + bi, su imagen es el complejo z 0 dado por:
z 0 = ez = ea (cos b + i sen b)
De la definicion, y recordando las expresiones polar y trigonometricas de un
n
umero complejo, se deducen las siguientes propiedades:
- El modulo de z 0 es |z 0 | = ea y un argumento de z 0 es b.
- Todo n
umero complejo z = r se puede poner de la forma z = rei (de hecho
algunos autores definen esta expresion como la forma polar del n
umero complejo,
y a partir de ella y de las propiedades de la exponencial se pueden deducir las
propiedades de las potencias y de las races.)
- Para cada b R el n
umero complejo eib tiene modulo uno y, recprocamente,
todo n
umero complejo de modulo uno se puede expresar de forma eip para alg
un
n
umero real p.
Ademas de las dos propiedades que se le exigan a la funcion exponencial compleja en su definicion, se tienen las siguientes:
ez 6= 0 para todo z C (porque ez ez = e0 = 1, por tanto ez no puede
ser cero).
ez = 1 si y solo si z = 2ki, k Z
i
2
e ,
i+e
2i
1e2
i .
1+e2
Solucion. a) Basta aplicar la definicion de exponencial compleja. Se tendra:
e 2 = cos( ) + i sen( ) = i.
2
2
i + e2i = i + cos(2) + i sen(2) = 1 + i
i
1e2
1+e2
1i
(1 i)2
2i
=
=
= i
1 + i (1 + i)(1 i)
2
1
La funci
on logartmica.
Conocida la funcion exponencial compleja y sus propiedades, nos preguntamos
ahora si, dado un n
umero complejo z, existe un n
umero complejo w tal que ew = z.
Sabemos que para z = 0 no puede existir w (porque ew 6= 0, w C). En este
sentido se tiene el resultado siguiente:
Para cualquier n
umero complejo no nulo z, existen n
umeros complejos w tales
que ew = z. Uno de tales n
umeros es log |z| + i arg(z) y todos los demas tienen la
forma log |z| + i arg(z) + 2ki, k Z.
Para comprobarlo basta observar que
elog |z|+i arg(z) = elog |z| ei arg(z) = |z|ei arg(z) = z.
Lo que muestra que w = log |z| + i arg(z) es una solucion de la ecuacion ew = z.
Ahora si w1 es otra solucion de tal ecuacion, entonces ew = ew1 y por tanto
w w1 = 2ki.
13
Dado z, de cada n
umero complejo w que cumpla ew = z se dice que es un
logaritmo de z. En particular, al n
umero log |z| + i arg(z) se le llama logaritmo
principal de z y se denota Log(z). Es decir:
Log(z) = log |z| + i arg(z).
Ejemplo 1.10. Justifica las siguientes propiedades de la funcion logaritmo en C.
a) Log(1) = i. b) Log(i) = i/2. c) Log(z1 z2 ) = Log z1 + Log z2 + 2ni,
Log(z1 /z2 ) = Log z1 Log z2 + 2ni, siendo n un n
umero entero. d) eLog z = z
Solucion. a) Log(1) = log 1 + i arg(1) = i b) Log(i) = log 1 + i arg(i) = i/2
c) Log(z1 z2 ) = log |z1 z2 | + i arg(z1 z2 ) = log |z1 | + log |z2 | + i[arg(z1 ) + arg(z2 ) +
2n] = Log z1 + Log z2 + 2ni,
1
Empleando la funcion logartmica se define la potencia compleja de n
umeros
complejos. As, si z, w son n
umeros complejos con z 6= 0 se define z w por:
z w = ew Log z
Ejemplo 1.11. Calcular 1i , ii y (1)i
Solucion. 1i = ei Log 1 = e0 = 1.
(1)i =
ei Log(1) = ei(i) = e
Funciones trigonom
etricas.
Finalizamos el tema con la definicion de las funciones seno y coseno definidas
y valoradas en el conjunto C de los n
umeros complejos. De hecho se definen por:
eiz + eiz
cos z =
,
2
1.4.
eiz eiz
sen z =
2i
Cuestiones y Problemas.
4i
b) in , n N. c) (3 + i)(3 i). d)
. e) (1 + i)1 .
4 + i
14
i8
2
.
operaciones a)(1 i) . b)
i 2
3. a)Calcula las partes real e imaginaria del n
umero (1 + i)(2 + 3i)(3 + i)(2 2i).
4m 2i
b)Determina m y n para que se cumpla la igualdad:
= 3 + ni.
6 2i
4. La suma de dos n
umeros complejos es 3 + i, la parte real de uno de ellos es
2 y su cociente es imaginario puro. Determina dichos n
umeros.
5. Que efecto geometrico produce multiplicar un n
umero complejo por 1 ? Y
z
dividirlo por su modulo, |z|
?
6. Calcula las races quintas de (1 + i).
7. Una raz cuarta de un n
umero complejo es 1 + i. Calcula las demas races
cuartas as como dicho n
umero. Representa graficamente el n
umero buscado
y sus races cuartas.
8. Calcula ei ,
ii ,
(2 + 2i)( 3 + i),
Log(i),
2 + 3i
1i
15