Victor Gerardo Serrano Domnguez

Transformada de Laplace y Anlisis de Fourier

TEMA 1
lgebra de nmeros complejos.
Definicin de nmero complejo. Igualdad y representacin
geomtrica de nmeros complejos.
Definicin de nmero complejo
Definicin 1.1

Un nmero complejo es cualquier nmero de la forma z a ib , donde a

y b son nmeros reales e i es la unidad imaginaria.
donde la unidad imaginaria i cumple la propiedad
i 2 1 .

El nmero a de z a ib se llama parte real de z, el nmero real b se llama parte

imaginaria de. Las partes real e imaginaria de un nmero complejo z se abrevian Re(z) e
Im(z), respectivamente. Un mltiplo de la unidad imaginaria se denomina un nmero
imaginario puro o simplemente nmero imaginario.
Ejemplo. Determina la parte real y parte imaginaria del nmero complejo z 4 i3 .
Solucin
Re(z) 4 ,
Im(z) 3

Igualdad
Definicin 1.2

Los nmeros complejos z1 a1 ib1 y z 2 a2 ib 2 son iguales si

a1 a2 y b1 b 2

Un nmero complejo z x iy 0 si x 0 y y 0 .

Representacin geomtrica de nmeros complejos

Un nmero complejo z a ib se determina nicamente por medio de un par ordenado de
nmeros complejos (a, b) . El primero y segundo elementos de cada par ordenado
corresponden, respectivamente, a la parte real y a la imaginaria del nmero complejo.
Por ejemplo, el par ordenado (4,3) corresponde al nmero complejo z 4 3i . As
tambin, z 4 3i determina al par ordenado (4,3) .
Cada nmero real a, o a 0i , est identificado con el
punto (a,0) en el plano, en el eje horizontal, el cual es
por tanto llamado eje real. Un nmero 0 bi , o slo
bi , se llama nmero imaginario puro y est asociado
con el punto (0, b) en el eje vertical. Este eje se llama

Figura 1.1
1

Victor Gerardo Serrano Domnguez

Transformada de Laplace y Anlisis de Fourier

el eje imaginario. Debido a esta correspondencia entre nmeros complejos y los puntos en
el plano, sern referidos en el plano xy como el plano complejo. Como se a visto en otras
EUA un punto ( x, y) puede verse tambin como un vector cuyo punto inicial es el origen y
cuyo punto terminal es ( x, y) .

Operaciones algebraicas: suma, multiplicacin y divisin.

Conjugado, argumento y norma.
Operaciones algebraicas
Los nmeros complejos se pueden sumar, restar, multiplicar y dividir. Si z1 x1 iy1 y
z 2 x 2 iy 2 , estas operaciones se definen como sigue:
Suma:
Resta
Multiplicacin
Divisin

z1 z 2 ( x1 iy1 ) ( x 2 iy 2 ) ( x1 x 2 ) i( y1 y 2 )
z1 z 2 ( x1 iy1 ) ( x 2 iy 2 ) ( x1 x 2 ) i( y1 y 2 )
z1 z 2 ( x1 iy1 )( x 2 iy 2 ) ( x1x 2 y1y 2 ) i( y1x 2 x1y 2 )
z1 x1 iy1 x1x 2 y1y 2
y x x1 y 2

i 1 22
2
2
z 2 x 2 iy 2
x 2 y2
x 2 y 22

Las leyes conmutativas, asociativas y distributiva son vlidas para nmeros complejos.
z1 z 2 z 2 z1
Leyes conmutativas
z1z 2 z 2 z1
z1 (z 2 z 3 ) (z1 z 2 ) z 3
Leyes asociativas
z1 (z 2 z 3 ) (z1z 2 )z 3
z1 (z 2 z 3 ) z1z 2 z1z3
Ley distributiva
Considerando estas leyes, no es necesario memorizar las definiciones de suma, resta y
multiplicacin. Para sumar (restar) nmeros complejos, simplemente se suman (restan) las
partes real e imaginaria,. Para multiplicar dos nmeros complejos se utiliza la ley
distributiva y la propiedad i 2 1 .
Ejemplo. Dados los nmeros complejos z1 3 6i y z 2 5 3i , determina: a) z1 z 2 , b)
z
z 2 z1 , c) z1z 2 y d) 1
z2
Solucin
a) Sumamos las partes real e imaginaria de los dos nmeros complejos
z1 z 2 (3 6i) (5 3i) (3 5) (6 3)i 2 9i

z1 z 2 2 9i
b) Restamos las partes real e imaginaria de los nmeros complejos
z 2 z1 (5 3i) (3 6i) (5 3) (3 6)i 8 3i
z 2 z1 8 3i
2

Victor Gerardo Serrano Domnguez

Transformada de Laplace y Anlisis de Fourier

c) Utilizamos la ley distributiva

z1z 2 (3 6i)(5 3i) (3 6i)(5) (3 6i)(3i) 15 30i 9i 18i 2
(15 18i 2 ) (30 9)i (15 18) (30 9)i
z1z 2 33 21i

d) Utilizamos la definicin de la divisin

z1
3 6i
(3)(5) (6)(3) (6)(5) (3)(3)
15 18 30 9

2
2
2
2
z 2 5 3i
(5) (3)
(5) (3)
25 9
25 9
z1
3 39

i
z 2 34 34

Conjugado
Si z es un nmero complejo, entonces el nmero que se obtiene al cambiar el signo de su
parte imaginaria se denomina complejo conjugado o, simplemente el conjugado de z,
_

denotado por z .
Si z x iy , entonces su conjugado es
_

z x iy

Ejemplo. Determina el conjugado del nmero complejo z 5 7i

Solucin
_

z 5 7i

Sean z y w nmeros complejos. Entonces se tienen las siguientes cuatro propiedades:

_
_

1. z z
__________

__________

2. z1 z 2 z1 z 2
3. z1 z 2 z1 z 2
_____

4. z1z 2 z1 z 2
_______

z z
5. 1 _1
z2 z2
_

6. z z
_
1
7. Re(z) (z z)
2

Victor Gerardo Serrano Domnguez

_
1
(z z)
2i

8. Im(z)
_

9. z z z

Transformada de Laplace y Anlisis de Fourier

Las definiciones de suma y multiplicacin muestran que la suma y el producto de un

_

nmero complejo z y su conjugado z son tambin nmeros conjugados

_

z z ( x iy) ( x iy) 2 x
_

z z ( x iy)( x iy) x 2 i 2 y 2 x 2 y 2
_

La diferencia entre un nmero complejo x y su conjugado z es un nmero imaginario puro:

_

z z ( x iy) ( x iy) 2iy

Ejemplo. Si z1 5 3i y z 2 3 4i , encuentre a)

z1
1
y b)
z2
z1

Solucin
En ambos encisos de este ejemplo se multiplican tanto el numerador como el denominador
por el conjugado del denominador
a)
15 20i 9i 12 27 11i
z1
(5 3i)(3 4i)

z 2 (3 4i)(3 4i)
9 16
25
z1 27 11i

z2
25

b)

1
1(5 3i)
15 3i

z1 (5 3i)(5 3i) 25 9

Norma, mdulo o valor absoluto.

Definicin 1.3

La norma o mdulo o valor absoluto de un nmero complejo z x iy ,

denotado por z , es el nmero real
_

z x 2 y2 z z

Ejemplo. Determina la norma del nmero complejo z 4 3i

Solucin
z 42 32 5

Victor Gerardo Serrano Domnguez

Transformada de Laplace y Anlisis de Fourier

Argumento
El ngulo de inclinacin del vector z medido en
radianes desde el eje real desde sus valores positivos, es
igualmente positivo cuando se mide en contra del sentido
del reloj y negativo cuando se mide en sentido del reloj.
El ngulo se denomina argumento de z y se escribe
arg z . De la figura 1.2 se observa que el argumento
de un nmero complejo debe satisfacer la ecuacin
y
tan
x

Figura 1.2

Las soluciones de esta ecuacin no son nicas, ya que si 0 es un argumento de z, entonces

los ngulos 0 2 , 0 4 , ..., son tambin argumentos. El argumento de un nmero
complejo en el intervalo se denomina el argumento principal de z y se denota
Arg z .

Representacin polar y trigonomtrica de nmeros complejos y

operaciones entre ellos.
Representacin polar y trigonomtrica de nmeros complejos
Recurdese que un punto ( x, y) en coordenadas rectangulares tambin puede expresarse en
coordenadas polares (r, ) .
Las coordenadas rectangulares ( x , y) y las polares
(r, ) se relacionan mediante las expresiones
x r cos y y rsen (vase la figura 1.3). Por lo
tanto, un nmero complejo no nulo z x iy se
escribe como z (r cos ) i(rsen) o
z r (cos isen) .
, con r z .

Figura 1.3

Ahora recordemos la frmula de Euler

ei cos isen
Si es cualquier argumento de z a ib , entonces (a, b) tiene coordenadas polares (r, ) ,
as a r cos y b rsen . Combinando este hecho con la frmula de Euler
(1.1)
z a ib r cos irsen rei
Se dice que (1.1) es la forma polar del nmero complejo z.

Victor Gerardo Serrano Domnguez

Transformada de Laplace y Anlisis de Fourier

Al obtener el argumento de un nmero complejo z x iy con la expresin

y
arctan
x
utilizando una calculadora, no siempre nos da el valor correcto del argumento. Si el nmero
complejo se encuentra en el segundo o tercer cuadrante debemos hacer la siguientes
correccin
y
arctan .
x

Operaciones entre ellos

La multiplicacin y divisin de dos nmeros complejos en su forma polar
z1 r1 (cos 1 isen1 ) ,
z 2 r2 (cos 2 isen2 )
se obtienen como
z1z 2 r1r2 [cos(1 2 ) isen (1 2 )]
z1 r1
[cos(1 2 ) isen (1 2 )]
z 2 r2
Ejemplo. Dados los nmeros complejos z1 3 4i y z 2 5 8i empleando la forma
z
polar determinar a) z1z 2 y b) 1
z2
Solucin
Para realizar las operaciones, necesitamos que los nmeros complejos se escriban en su
forma polar

r1 (3) 2 (4) 2 5

r2 (5) 2 (8) 2 89

,
4
5
1 arctan
2 arctan
2.21
3.7
3
8
se utiliz la correccin del argumento pues estos dos nmeros complejos estn en el
segundo y tercer cuadrante.
La forma polar de los nmeros complejos es
z1 3 4i 5(cos 2.21 isen 2.21)
z 2 5 8i 89 (cos 3.7 isen 3.7)

a)

z1z 2 (5)( 89 )[cos(2.2 3.7) isen (2.2 3.7)]

b)
z1
5

[cos(2.2 3.7) isen (2.2 3.7)]

z2
89

Victor Gerardo Serrano Domnguez

Transformada de Laplace y Anlisis de Fourier

A partir de la multiplicacin de dos nmeros complejos en su forma polar, podemos

determinar las potencias de un nmero complejo z r (cos isen)
(1.2)
z n r n (cos n isen n)

Teorema de DeMoivre.
Frmula de DeMoivre
Cuando z cos isen se tiene que z r 1 y por lo tanto
(cos isen) n cos n isen n .
Este resultado se conoce como la frmula de DeMoivre.

Factorizacin de polinomios de grado

monomios con races complejas.

n 2, 3, 4

(1.3)

como producto de

El teorema fundamental del lgebra establece que todo polinomio de grado positivo n, con
coeficientes complejos (algunos o todos pueden ser reales), tiene exactamente n races en
los nmeros complejos, contando las races repetidas.

Races complejas de la unidad. Potencias de races de la unidad.

Se puede utilizar la expresin (1.2) para obtener las races complejas de la unidad.

Races
Se dice que un nmero complejo w es una raz n-sima de un nmero complejo no nulo z
si w n z .
Si w (cos isen) y z r (cos isen) son las forma polares de w y z, de (1.2),
w n z se convierte en
w n n (cos n isen n) r (cos isen)
concluimos que
r o r
n

1
n

cos n isen n cos isen

igualamos la parte real e imaginaria
cos n cos y isen n sen
entonces
n 2k
despejamos
2k

n
7

Victor Gerardo Serrano Domnguez

Transformada de Laplace y Anlisis de Fourier

al tomar valores enteros sucesivos k = 0, 1, 2, ..., n 1 , se obtienen n races distintas con la

misma norma pero con diferentes argumentos.
A continuacin se sintetiza este resultado. Las races n-simas de un nmero complejo no
nulo z r (cos isen) viene dadas por
1

donde k = 0, 1, 2, ..., n 1 .

2k
2k
w k r n cos

isen
n
n

(1.4)

La raz w de un nmero complejo z mediante el argumento principal de z con k 0 se

denomina en ocasiones la raz principal n-sima de z.

Races complejas de la unidad

Podemos utilizar la expresin (1.4) para obtener una expresin para obtener las races
complejas de la unidad.
La unidad en su forma polar es

z 1(cos 0 isen 0)

aplicamos la expresin (1.4)

1

donde k = 0, 1, 2, ..., n 1 .

0 2k
0 2k
w k (1) n cos

isen
n
n
1
2k
2k
1k cos

isen
n
n

(1.5)

Potencias de races de la unidad

Combinando las expresiones (1.5) y (1.2) obtenemos una expresin para la potencias de
races de la unidad
m
2k
2k
1 k cos m

isen m
n
n

Races dos a la n-simas de la unidad y sus propiedades.

Si denota el valor correspondiente a k 1 , entonces los n valores de n 1 pueden
escribirse, como 1, , 2 , 3 , ..., n 1 . Estos son los vrtices de un polgono regular de n
lados inscrito en el circulo unitario, con un vrtice en el punto 1.
Si w1 es cualquier raz n-sima de un nmero complejo arbitrario z, entonces
w1 , w1 , w12 , w13 , ..., w1n 1

Victor Gerardo Serrano Domnguez

Transformada de Laplace y Anlisis de Fourier

z , porque la multiplicacin de un nmero w1 por k corresponde a un

2k
.
incremento del argumento de w1 en
n

son los valores de