Números complejos
César Asensio, Luis M. Esteban y Antonio R. Laliena
Dpto. Matemática Aplicada
E.U.P.L.A.
Asensio, Esteban & Laliena (EUPLA) Números 1 / 18
Índice
1 El concepto de número complejo
2 La exponencial compleja
3 Potencias y raı́ces complejas
4 Algunas ordenes en wxMaxima para manipular complejos
Asensio, Esteban & Laliena (EUPLA) Números 2 / 18
Números complejos
El concepto de número complejo
Definimos un número complejo z como un par ordenado de números
reales z ≡ (a, b), donde llamamos parte real a la 1a componente a y
parte imaginaria a la 2a componente b, dotado de las operaciones
(a, b) + (c, d) = (a + c, b + d),
(a, b) · (c, d) = (ac − bd, ad + bc)
Igualdad en C es igualdad como pares ordenados.
Cuerpo conmutativo no totalmente ordenado.
Cero: (0, 0), uno: (1, 0).
Opuesto: (−a, −b). Inverso: a
a2 +b2
, a2−b
+b2
para (a, b) 6= (0, 0).
Re z = a, Im z = b.
Asensio, Esteban & Laliena (EUPLA) Números 3 / 18
Números complejos
Forma binómica de un número complejo
Para un número complejo z = (a, b), identificamos el número real a con
el número
√ complejo (a, 0) y la unidad imaginaria como
i = −1 ≡ (0, 1), ya que es solución de z 2 + (1, 0) = (0, 0)
Número complejo z
Forma cartesiana z ≡ (a, b)
Forma binómica z = a + bi
Nota: Para z = −1 + i → Parte real= −1, Parte imaginaria= 1
wxMaxima
Escritura de z: -1+ %i; Cálculo de parte real: realpart(-1+ %i);
Cálculo de parte imaginaria: imagpart(-1+ %i);
Asensio, Esteban & Laliena (EUPLA) Números 4 / 18
Números complejos
Operaciones básicas en forma binómica
Dados z1 = a1 + b1 i; z2 = a2 + b2 i
Suma
z1 + z2 = (a1 + a2 ) + (b1 + b2 )i
Producto
z1 · z2 = (a1 + b1 i)(a2 + b2 i) = (a1 · a2 − b1 · b2 ) + (a1 · b2 + a2 · b1 )i
División
z1 (a1 +b1 i) (a1 +b1 i) (a2 −b2 i) (a1 ·a2 +b1 ·b2 )+(a2 ·b1 −a1 ·b2 )i
z2 = (a2 +b2 i) = (a2 +b2 i) (a2 −b2 i) = a22 +b22
wxMaxima: Usar Simplificar - Simplificación compleja -
Convertir a forma cartesiana
o rectform()
Asensio, Esteban & Laliena (EUPLA) Números 5 / 18
Números complejos
Representación gráfica del número complejo
Sea z = −1 + i
Asensio, Esteban & Laliena (EUPLA) Números 6 / 18
Números complejos
Conjugado
Sea z = a + bi ∈ C,
Conjugado de z
Definimos el conjugado de z como el número complejoz̄ = a − bi.
z+z̄ z−z̄
1 Re z = 2 ; Im z = 2i
2 la conjugación es involutiva: z̄ = z
3 z = z̄ ⇔ z ∈ R
4 z + w = z̄ + w̄
5 zw = z̄ w̄
6 −z = −z̄
7 z −1 = z̄ −1
Asensio, Esteban & Laliena (EUPLA) Números 7 / 18
Números complejos
Módulo
Sea z = a + bi y sea P ≡ (a, b) la representación gráfica de z
Módulo de z
Definimos
√ el módulo de z como la longitud del segmento OP ,
|z| = a2 + b2
1 |z| ≥ 0; |z| = 0 ⇔ z = 0
2 |z|2 = z z̄
3 |z| = |z̄|
4 |Re z| ≤ |z|; |Im z| ≤ |z|; |z| ≤ |Re z| + |Im z|
5 |z1 z2 | = |z1 ||z2 |
6 |z1 + z2 | ≤ |z1 | + |z2 |
7 | − z| = |z|; |z −1 | = |z|−1
Asensio, Esteban & Laliena (EUPLA) Números 8 / 18
Exponencial compleja
Exponencial compleja
z = a + bi ∈ C
exp z ≡ ez = ea (cos b + i sin b).
Se puede observar que:
1 La exponencial compleja extiende la real.
2 Fórmula de Euler: eix = cos x + i sin x, para x ∈ R.
Propiedades
1 ez1 ez2 = ez1 +z2
2 ez 6= 0
3 |eix | = 1 si x ∈ R
4 ez = 1 ⇔ z = 2kπi con k ∈ Z
5 ez1 = ez2 ⇔ z1 − z2 = 2kπi con k ∈ Z
Asensio, Esteban & Laliena (EUPLA) Números 9 / 18
Exponencial compleja
Argumento de un número complejo
Argumento de z
Definimos el argumento de z como aquel ángulo que forma el segmento
OP con el eje positivo OX, arg(z) = arctan( ab )
Nota: El argumento de z no es un valor único, se define el argumento
principal de z, Arg(z) como aquel argumento de z que pertenece al
intervalo [0, 2π]
Asensio, Esteban & Laliena (EUPLA) Números 10 / 18
Exponencial compleja
Expresión exponencial o polar de un número complejo
z = a + bi ∈ C, z 6= 0
Expresión trigonométrica de z
z = |z|(cos φ + i sin φ), φ ∈ arg z.
Expresión exponencial
z = |z|eiφ , φ ∈ arg z.
Si z = aeib se tiene |z| = a y b ∈ arg z si a > 0, o bien |z| = −a y
b + π ∈ arg z si a < 0.
Asensio, Esteban & Laliena (EUPLA) Números 11 / 18
Exponencial compleja
Cambio de binómica a polar y viceversa
Para pasar de forma binómica z = a + bi a forma
módulo-argumento (exponencial) z = |z|eiα :
Simplificar-Simplificación compleja-Convertir a forma
polar
polarform()
Para pasar de forma módulo-argumento z = |z|eiα a forma
binómica z = a + bi:
Simplificar-Simplificación compleja-Convertir a forma
cartesiana
rectform()
1+i
Ejercicio: Expresar en forma binómica y forma polar 1−i
Asensio, Esteban & Laliena (EUPLA) Números 12 / 18
Potencias y raı́ces
Potencia entera de un número complejo
Para n ∈ N
1
z n = z| z{z
· · · z} , z0 = 1 , z −n =
zn
n veces
Fórmula de Moivre: Sea z ∈ C, siendo |z| el módulo de z y α un
argumento de z, y sea n ∈ Z+ , entonces:
z n = |z|n (cos(nα) + i sen(nα))
Ejercicio: Calcular (1 + i)4 en forma binómica y módulo-argumento
Asensio, Esteban & Laliena (EUPLA) Números 13 / 18
Potencias y raı́ces
Raiz n-ésima de un número complejo
Sea z ∈ C y n ∈ Z+ , definimos la raiz n-ésima de z como todo número
complejo w ∈ C tal que wn = z.
Teorema
Sean z, w ∈ C tal que wn = z, entonces w tiene n soluciones distintas
tal que,
p
n
|w| = |z|
Arg(z) + 2kπ
Arg(w) = ; con k = 0, 1, . . . , n − 1
n
√
Ejercicio: Calcular las 4 soluciones de 4 i
Asensio, Esteban & Laliena (EUPLA) Números 14 / 18
Potencias y raı́ces
Teorema fundamental del Álgebra
Teorema
Todo polinomio complejo p(z) de grado n se puede expresar como un
producto de n polinomios de la forma (z − Ci ) con Ci ∈ C.
Corolario
Todo polinomio en una variable x con coeficientes reales es el producto
de polinomios de la forma x + α con α real, y polinomios de la forma
x2 + ax + b con a y b reales y a2 − 4b < 0 (que es lo mismo que decir
que el polinomio x2 + ax + b no tiene raı́ces reales)
Asensio, Esteban & Laliena (EUPLA) Números 15 / 18
Ordenes wxMaxima
Algunas ordenes en wxMaxima para manipular complejos
1 Las ordenes realpart(z) e realpart(z) calculan la parte real e
imaginaria de un número complejo z.
2 Para realizar las operaciones aritméticas habituales involucradas en
una expresión se debe utilizar la simplificación compleja: las
ordenes rectform(expresion) o polarform(expresion).
3 Para representar gráficamente un número complejo, represéntese el
correspondiente punto en el plano (usando la orden plot2d o el
paquete draw).
4 conjugate(z) devuelve el conjugado complejo de z.
5 abs(x) devuelve el módulo de z.
Asensio, Esteban & Laliena (EUPLA) Números 16 / 18
Ordenes wxMaxima
Ordenes en wxMaxima para manipular complejos (2)
6 Una forma para calcular el argumento de un número complejo z,
utilizando wxMaxima, es escribirlo en forma exponencial con la
orden polarform(z) y observar el argumento en el resultado.
7 Para cambiar entre las formas binómica y exponencial de un
número complejo z se utilizan las ordenes rectform(z) o
polarform(z)
8 Para calcular potencias (enteras) de números complejos basta
simplificar la correspondiente expresión con las ordenes
rectform(z) o polarform(z).
Asensio, Esteban & Laliena (EUPLA) Números 17 / 18
Ordenes wxMaxima
Ordenes en wxMaxima para manipular complejos (y 3)
9 Para calcular raı́ces n-ésimas de números complejos basta
simplificar la correspondiente expresión con las ordenes
rectform(z) o polarform(z). El resultado es una de las n
raı́ces, para obtener las demás utilizamos la propiedad de
equiespaciamiento angular.
10 Una forma alternativa para calcular todas las raı́ces n-ésimas de un
√
número complejo z, es decir para calcular n z, es resolver la
ecuación wn − z = 0 (por supuesto con incógnita w).
Asensio, Esteban & Laliena (EUPLA) Números 18 / 18