Professional Documents
Culture Documents
Número complejo
Introducción.
El conjunto de los números reales nos permite soluciones de x 2 a , con a 0 . Pero
como el cuadrado de un real es un número positivo, la ecuación x 2 1 sigue sin tener
solución para x R .
El interés en resolver esta ecuación (y otras ecuaciones polinómicas) no lleva a buscar
nuevas extensiones del campo de los números reales. En principio se trata de la
motivación “puramente algebraica” de obtener un campo numérico algebraicamente
cerrado, es decir donde todas las ecuaciones polinómicas tengan solución. Sin embargo
el éxito obtenido en la extensión (el número complejo) está presente en buena parte de
la matemática y sus aplicaciones.
Supongamos que hemos construido un campo numérico que incluye a los números
reales y donde la ecuación x 2 1 tiene una raíz que llamaremos i, tal que i 2 1 .
Si el campo numérico tiene definidas operaciones de suma y producto, también estarán
en él números de la forma a+bi, con a y b reales, y también sumas y productos de
números de esa forma.
Suponiendo que valen los axiomas de cuerpo y por lo tanto las reglas de operación
habituales, tenemos:
(a bi) (c di) (a c) (b d )i
(a bi).(b di) ac adi bci bdi 2 (ac bd ) (ad bc).i , i 2 1
Por lo tanto, la suma y el producto de números de la forma a+bi dan otro número de la
misma forma. Parecería, entonces, que para nuestra extensión basta con números de esta
forma.
Hasta ahora no hemos dado ningún argumento que asegure la existencia de una
extensión de los reales que incluya a i 1 . Sin embargo, una ligera abstracción a
partir de lo anterior permite realizar la construcción adecuada.
De hecho, lo que distingue a dos números de la forma a+bi, son los dos reales a y b.
Podríamos identificar el número con un par ordenado de reales (a,b). Las fórmulas
obtenidas informalmente en el desarrollo anterior se transforman en la definición de las
operaciones suma y producto entre estos pares.
Comentemos que el campo así construido permitirá extender todas las propiedades de
cuerpo y garantiza la existencia de soluciones de cualquier ecuación de la forma:
an x n an1 x n1 ... a1 x a0 0
Este resultado se conoce como “teorema fundamental del algebra”.
Definición.
Un número complejo es un par ordenado de números reales.
1
Profesor: Mauricio Anselmi
Notas Número Complejo
Definición. Suma
Dados dos complejos z = (a,b), y w = (c,d) definimos la suma
: CxC C tal que z + w = ( a + c, b + d)
Definición. Producto
Dados dos complejos z = (a,b), y w = (c,d) definimos producto
. : CxC C tal que z . w = (ac - bd, ad + bc)
Estructura de cuerpo.
El conjunto de los números complejos, junto a la adición y la multiplicación, C ,, ,
forman una estructura de cuerpo.
2- C , es un grupo abeliano
a) Propiedad asociativa
a, b c, d e, f a, b c, d e, f
b) Propiedad conmutativa
c) Existencia de neutro
Existe un elemento de C, que anotaremos (0,0), tal
que para todo complejo (a,b) se cumple a, b 0,0 a, b .
d) Existencia de simétrico
z C , a,b / a, b (a,b) 0,0
3- C , . es un grupo abeliano
a) Propiedad asociativa
b) Propiedad conmutativa
c) Existencia de neutro (encontrar el neutro)
d) Existencia de simétrico
z C , z (0,0)z 1 / z.z 1 1,0 (Deducir la expresión de a, b )
1
2
Profesor: Mauricio Anselmi
Notas Número Complejo
Ejercicio.
Dados z x, y , u 2,1, v 2,4, w 3,5 resolver en el dominio de los números
complejos, y en notación cartesiana, la ecuación u.z v w
Esto muestra que los complejos de la forma (a,0) se comportan respecto de la suma y
del producto de la misma forma que los número reales a y b. Por esto convenimos
identificar a el complejo (a,0) con a. Además sabemos que los números complejos
forman un cuerpo.
Cuando entre dos estructuras algebraicas se puede establecer una correspondencia “uno
a uno” que respete las operaciones se dice que ambas estructuras son isomorfas. Es
decir que esencialmente se comportan como si fueran lo mismo. Veamos que es lo que
sucede con R y C 0 .
Isomorfismo entre C0 y R
Sea f : R C0 / f ( x) ( x,0) . Es evidente que es una correspondencia “uno a uno” o
sea biyectiva, veremos que f respeta las operaciones.
f ( x y) ( x y,0) ( x,0) ( y,0) f ( x) f ( y)
f ( x. y) ( x. y,0) ( x,0).( y,0) f ( x). f ( y)
Para que la identificación sea completa haría falta además definir un orden en C0 lo que
puede hacerse de forma natural, de modo que la correspondencia preserve también el
orden.
f preserva el orden si definimos (a,0 < (b,0) sii a < b.
3
Profesor: Mauricio Anselmi
Notas Número Complejo
Ejercicio.
Verificar que i2=-1
Representación binómico.
La ley de multiplicación nos permite la siguiente igualdad:
(b,0)i (b,0)(0,1) (0, b) de donde
z (a, b) (a,0) (0, b) (a,0) i(b,0)
Entonces poniendo (a,0) = a y (b,0) = b podemos escribir cualquier complejo z =(a,b)
como z = a + bi.
Representación gráfica.
Es posible representar el número complejo z =(a,b) con el punto del plano xOy de
coordenadas (a,b)
En esta situación llamaremos eje real al eje Ox y eje imaginario al eje Oy.
Indistintamente identificaremos número complejo z con el correspondiente punto del
plano. De la misma forma es posible representar el complejo z como el vector
geométrico que une el origen con el punto (a,b).
4
Profesor: Mauricio Anselmi
Notas Número Complejo
Coordenadas polares.
Dado un punto O llamado polo y una semirrecta Ox, llamada eje polar, todo punto P del
plano puede referirse a este sistema mediante un par ordenado (). Donde es
llamado módulo y argumento, amplitud del ángulo orientado POx, considerado.
Dado un par de coordenadas polares queda determinado un único punto en el plano.
Dado un punto en el plano se obtienen diferentes coordenadas equivalentes con la
expresión
Se verifica
a cos
lo que nos permite pasar de coordenadas polares a cartesianas.
b sen
a2 b2
Si a 0, b 0, Arg( z ) / 2
b 0, Arg( z ) / 2
Si a 0 tg b / a
Ejercicio.
Representar en notación polar los complejos z 2,2 : i 0,1 : w 3,0
5
Profesor: Mauricio Anselmi
Notas Número Complejo
Definición. Conjugado
Llamamos conjugado de z a b.i al complejo z a b.i
Nota:
La conjugación resulta útil para el cálculo de divisiones en C. Se multiplica numerador
y denominador por el conjugado del denominador, y así se obtiene la forma binómico
del cociente.
2 3i
Ej.
1 i
Propiedades
a) z w z w c) z z 2 Re( z ) e) z z
b) z.w z .w d) z z 2 Im( z )
vi ) z w z w
¿Se pierde algo de la extensión de R a C? Hasta ahora nos hemos conformado con tener
en C una estructura de cuerpo, es decir con los axiomas 1 a 6 presentados en la
axiomática de los números reales. Como veremos a continuación, no es posible extender
a C los axiomas 7 a 9, es decir no es posible definir un orden en los complejos que
preserve las propiedades que tiene R.
6
Profesor: Mauricio Anselmi
Notas Número Complejo
Ax .8
- Si el complejo i C i 2 1 C y se llega a una contradicción.
Exponencial compleja
Proposición.
si z a bi y w c di dos números complejos entonces e z e w e z w
Demostración.
e z e a (cos b i sen b) : e w e c (cos d i sen d )
e z e w e a (cos b i sen b).e c (cos d i sen d ) e a e c (cos b cos d i cos b sen d i sen b cos d sen d sen b)
e a e c (cos b cos d sen d sen b i (cos b sen d sen b cos d )) e a e c (cos(b d ) i sen (b d ))
e a c (cos(b d ) i sen (b d )) e z w
Proposición.
Si z= a+bi entonces e z e a ; en particular e ib 1
Proposición.
e z 1 z es un múltiplo de 2 i
Demostración:
7
Profesor: Mauricio Anselmi
Notas Número Complejo
si z 2in con n entero
e z cos( 2n) i sen (2n) 1
supongamos qu e z 1 e a e z 1 a 0
por lo tanto cos b i sen b 1 , de donde cos b 1 y sen b 0 de donde b 2n
Corolario
e z e w z w 2in con n entero
Demostración
e z e w e z w 1 z w 2in z w 2in
Fórmulas de Euler
e i cos i sen
e i cos i sen
Deduciendo que:
e i e i
cos
2
e i e i
sen
2i
Proposición
Todo número complejo z = a + bi puede ser representado como z e i donde z y
es el argumento de z
Demostración.
i
e
Recordando la notación polar tenemos que z (cos i sen ) e i
Nota:
Utilizando las propiedades de la exponencial es ahora muy fácil multiplicar y dividir
dos complejos.
z1 1e i1 y z 2 2 e i 2
z1 .z 2 1e i1 2 e i 2 1 2 e i (1 2 )
z1 1e i1 1 i (1 2 )
e
z2 2 e i 2 2
8
Profesor: Mauricio Anselmi
Notas Número Complejo
Aplicaciones geométricas
Consideremos la función del plano complejo en si misma dada por f ( z ) z
donde , C . Estudiaremos que interpretación geométrica tiene esta trasformación
del plano en el plano.
Caso I 1, arbitrario.
En este caso F ( z ) z lo que representa una traslación en el
plano
Caso II: 0, R
En este caso, se trata de una homotecia de centro O y razón .
Caso III: 0, e i
Si z .e i entonces .z e i ( ) ,
De donde la función equivale a una rotación de centro O y
ángulo
Caso IV 0, 0 e i
A partir de los casos II y III se deduce que la función representa la composición de una
rotación de ángulo y una homotecia de razón 0
9
Profesor: Mauricio Anselmi
Notas Número Complejo
Potencias enteras
Ejercicio:
Calcular i 0 , i 1 , i 2 , i 3 , i 4 , i 5 , i 43
Solución. Observamos i 4 i 0 , de donde i 4 k j i j , k , j
Teorema. Moivre
z n r (cos i sen ) z n r n cosn i sen n
n
Demostración.
Por inducción en n
n0
r cos i sen o 1, definición potencia
r 0 cos0 sen 0 1.cos 0 i sen 0 1
Hipótesis n = h
r (cos i sen )h r h cosh i sen h
Tesis n = h + 1
r (cos i sen )h1 r h1 cos(h 1) i sen (h 1)
Demostración
r (cos i sen )h1 r (cos i sen h r (cos i sen
r h cosh i sen h r cos i sen
r h .r cosh i sen h r h 1 cos(h 1) i sen (h 1)
Observación.
si r = 1 resulta (cos i sen ) n cosn i sen n de donde
cos( n ) Re cos isen n
10
Profesor: Mauricio Anselmi
Notas Número Complejo
Ejercicio.
Demostrar utilizando lo anterior que cos2 cos 2 sen 2 : sen 2 2 sen cos
Nota:
En coordenadas polares, si z e i z n n e in la potencia queda
mucho más compacta que en forma binómico. En la figura se ve la
interpretación geométrica de la fórmula anterior.
Dados
n N * , w C , z C definimos raíz enésima del complejo w como :
z n w zn w
Teorema.
Si z 0, z .e i y si n Z existen exactament e n números comlejos distintos
z 0 , z1 ,...., z n 1 (llamados raíces n - ésimas de z) tales que :
z kn z, k 0,1,..., n 1
2k
Además z k k e i k con k n y k , k 0,1,..., n 1
n n
Demostración.
Es evidente que los n números z k (k 0,1,..., n 1) verifican que z kn z pués
z k n k n .ein k
e i Hay que ver que son los únicos números que cumplen esto.
Supongamos que w Ae i verifica que w n z entonces A n e in e i de donde
2k
A n A n y n 2k para algún k, de donde pero si k
n
toma todos los valores enteros w toma solo valores z 0 , z1 ,..., z n1
Observación.
El teorema anterior prueba que un complejo tiene n raíces n-ésimas, que tienen todas el
mismo módulo y argumentos que difieren en múltiplos de 2 / n .
Desde el punto de vista geométrico las n raíces ocupan los vértices de un polígono
regular.
Ejercicio
2 k
1) Calcular las raíces cuartas de 1. ( z i 1.e 4
, k 0,1,2,3. O sea 1, i,1,i )
11
Profesor: Mauricio Anselmi
Notas Número Complejo
2) Hallar todas las raíces complejas del siguiente número complejo, y representar
gráficamente en un sistema de ejes cartesiano. z 4 16120º
Logaritmo complejo.
Proposición.
Si z es un número complejo distinto de (0,0) existen infinitos números complejos w
tales que e w z . Además estos números tienen la forma ln z iArg ( z) 2in con n
entero.
Demostración.
ln z i Arg ( z )
e e i Arg ( z ) z e i Arg ( z ) z vemos que w ln z i Arg ( z ) es
ln z
Como e
solución de la ecuación e w z . Si w1 es otra solución entonces
e w e w1 y w w1 2ki
Nota:
Lo anterior no define una función, ya que existen infinitos logaritmos para un número
complejo z. Para definir una función, hace falta elegir uno de los logaritmos, lo que
equivale a elegir uno de los argumentos de z.
Si se elige el argumento principal, se define la función logaritmo principal:
Observación:
En el caso de polinomios de coeficientes y variable real, podía suceder que polinomios
de grado par, no tuvieran raíces reales. En el caso de los polinomios de variable
compleja, el teorema establece que existe al menos una raíz.
Teorema.
Todo polinomio de variable compleja y grado n mayor que cero, tiene n raíces.
Dem.
12
Profesor: Mauricio Anselmi
Notas Número Complejo
Teorema.
Todo polinomio de variable compleja y coeficientes reales que admita una raíz
compleja, admite también como raíz su conjugado
Demostración.
Sabiendo que P ( ) 0 P ( ) 0
P( z ) a n z n ... a1 z a 0 P( ) a n n ... a1 a 0 0
______
___ _____
Sea P( ) a n n ... a1 a 0 a n ... a1 a 0 a n n ... a1 a 0
n
Ejercicio
Sea el polinomio P( z ) z 4 9 z 3 29 z 2 41z 20, z C Hallar sus 4 raíces sabiendo
que z1 2 i es raíz del polinomio. Realizar la descomposición factorial.
13
Profesor: Mauricio Anselmi
Notas Número Complejo
g) z1 1 z1 1
3) Resolver en C, los siguientes sistemas de ecuaciones
iw (1 i ) z 1 2i w z 4 i z.z 25
a) b) 1 i c)
(1 i ) w 2iz 1 1 i w 2 i z z z 6
1 3 xi
5) Halla el valor que debe tener x para que el cociente sea:
3 4i
a) un número real
b) un número imaginario puro
1 e i / 2
a) 2e i / 2 b) 3e i c) e i d )i e 2i e)e i / 4 e i / 4 d )
1 e i / 2
b) x 2 x 1 0 c) x 2 1 16
2
a) x 2 4 0 d) x 3 8 0
e) x 4 5 x 2 36
14
Profesor: Mauricio Anselmi
Notas Número Complejo
11) Simplificar las siguientes expresiones, determinar sus formas binómico y polar y
representar gráficamente.
a) ( 2 3i )(3 4i ) b) 3 4i c) 1 i d) i 5 i 16 e) 3 3 4i
1 5
13) Halla los números complejos que corresponden a los vértices de estos
hexágonos:
15) Escribe las condiciones que deben cumplir los números complejos cuya
representación gráfica es la siguiente:
15
Profesor: Mauricio Anselmi
Notas Número Complejo
b) Hallar los inversos de los complejos (a+bi) (-b+ai), con los valores de a y b
hallados anteriormente, llamarlos z1 y z 2
16
Profesor: Mauricio Anselmi