25/3/2021

TEMA 4:
NUMEROS COMPLEJOS
Esp. Prof. Liliana Caputo

 Sean ℂ un conjunto, un elemento i  ℝ,  un

símbolo. Entonces, ℂ es el conjunto de los
números complejos si, y sólo si, se cumplen
los siguientes axiomas de construcción:
 C1. ℝ  ℂ.
 C2. i  ℂ.
 C3. a, b  ℝ: a  ib  ℂ.
 C4. Los únicos elementos de ℂ son los
determinados por C1, C2 y C3.

 Dados dos números complejos

a  ib y c  id
Decimos que a  ib = c  id  a = c  b = d.
 Axiomas de operatividad:
O1. i0 = 0
O2. i1 = i
O3. a  i0 = a
O4. 0  ib = ib
O5. i(-b) = -ib

1
 25/3/2021

El número i se llama unidad imaginaria.

Dado z = a  ib, el número real a se llama

parte real de z (a = Re(z)) y el número real b es
su parte imaginaria (b = Im(z)).

Siz  ℂ / Re(z) = 0, diremos que z es un

imaginario puro.

Por axioma O3, a  ℝ: Im(a) = 0.

 Dado z = a  ib, se llama conjugado de z, al

número complejo tal que:
Re(z) = Re( )  Im(z) = -Im( )
Es decir, = a  i(-b) = a  (-ib) (por axioma
O5).

Dado z = a  ib, se llama módulo o norma de

z, al número real no negativo:
z = +

Sean a  ib y c  id  ℂ , definimos:
 (a  ib) + (c  id) = (a + c)  i(b + d), donde +
es la suma de números reales.

 (a  ib) X (c  id) = (a.c – b.d)  i(a.d + b.c),

donde . es el producto de números reales.

Veamos que:
i X b = ib.
a + ib = a  ib
a, b  ℝ: a + b = a + b

2
 25/3/2021

 i X b = (0  i1) X (b  i0) =
Axiomas O2 y O3 Definición de X
= (0.b -1.0)  i(0.0+1.b)i = 0  ib = ib
Operando en ℝ Axioma O4
 a + ib= (a  i0) + (0  ib) =
Axiomas O3 y O4 Definición de +
= (a + 0)  i(0 + b) = a  ib.
Operando en ℝ
 a + b = (a  i0) + (b  i0) = (a + b) 
Axioma O3 Definición de +
 i(0 + 0) = (a + b)  i0 = a + b
Operando en ℝ Axioma O3

A partir de las demostraciones anteriores, al

número complejo z = a  ib lo denotaremos,
simplemente:
z = a + ib

Si z y w son dos números complejos.

A la suma z + w la denotaremos con z + w y
al producto z X w, con z.w puesto que ya no
hay ambigüedad respecto a qué operación es
la que se indica con + y con .

 LEY DE CIERRE:
z, w  ℂ: z + w  ℂ
 LEY ASOCIATIVA:
z, w, v  ℂ: z +(v + w) =(z + v)+ w
 LEY CONMUTATIVA:
z, w  ℂ: z + w = w + z
 EXISTENCIA DE NEUTRO:
 0  ℂ,z  ℂ: z + 0 = z
 EXISTENCIA DE OPUESTO:
 z  ℂ,  -z  ℂ/ -z + z = 0

3
 25/3/2021

 LEY DE CIERRE:
z, w  ℂ: z.w  ℂ
 LEY ASOCIATIVA:
z, w, v  ℂ: z.(v.w) = (z.v).w
 LEY CONMUTATIVA:
z, w  ℂ: z.w = w.z
 EXISTENCIA DE NEUTRO:
 1 ℂ (1  0), z  ℂ: z.1= z
 EXISTENCIA DE INVERSO DE C/ELEMENTO NO NULO:
 z  ℂ - {0},  z-1  ℂ/ z.z-1 = 1
 LEY DISTRIBUTIVA DEL PRODUCTO RESP. A LA SUMA
z, w, v  ℂ: z.(v + w) = z.v + z.w

Vemos que las propiedades de suma y

producto en ℂ, son las mismas que cumplían la
suma y la multiplicación en ℝ.
En consecuencia, la estructura de (ℂ, +, .) es
de cuerpo. La demostración de esta afirmación la
pueden estudiar en el apunte “El cuerpo de los
números complejos”, página 4, disponible en la
página web de AGA.
Sin embargo, si quisiéramos definir una
relación de orden en ℂ , veríamos que dicha
relación no será consistente con la suma y el
producto que hemos definido. Luego, (ℂ, +, .) es
cuerpo NO ordenado.

A la suma de un número complejo z y del

opuesto de otro, w, la denotamos con z – w.

Alproducto de z y del inverso de w  0 lo

denotamos con z / w.

Al conjugado de un complejo a + ib, lo

escribimos como a – ib.

4
 25/3/2021

Sean z  ℂ - {0}, n  ℕ, definimos:

 z0 = 1

 0n = 0

 zn = z.zn – 1

 z-n =

Como la definición es análoga a la de la

potenciación de números reales y dado que las
propiedades de la potenciación fueron demostradas
por inducción sobre el exponente (y no usando a
qué conjunto pertenecen las bases) las mismas
demostraciones sirven para probar que esas
propiedades valen también en ℂ: z1 = z.
Potencia de potencia.
Producto de potencias de igual base.
Propiedad distributiva de la potenciación con
respecto al producto.
Teorema del binomio de Newton.

 Sea z = a + ib  ℂ y n  ℕ, entonces,
por el Teorema de Newton:

Veamos como calcular in, n  ℕ0.

 Como i  ℝ, i  0, i0 = 1.
 Ya vimos que vale que i1 = i.

5
 25/3/2021

 i2 = i.i1 = i.i = (0+1i).( 0+1i) =

= (0.0-1.1)+(0.1+1.0)i = -1+0i = -1.
 i3 = i.i2 = i.(-1) = -i.
 i4 = i2.i2 = -1.(-1) = 1.
 Si n  4, por algoritmo de división en ℤ ,
existen q, r  ℕ tales que n = 4.q + r, siendo
0  r < 4 es decir, con r = r(n, 4). Luego:
 in = i4.q + r = i4q.ir = (i4)q.ir = 1q.ir = 1.ir = ir.
Por lo tanto, existen sólo 4 potencias distintas
de i: 1, i, -1 y –i.

 Sean n  ℕ , z  ℂ. Decimos que w es una raíz

n – ésima de z, si wn = z es decir,
W=  wn = z
Nótese que con esta definición (similar a la
dada en el conjunto de números reales) ha
quedado resuelto el problema de calcular raíces
n - ésimas de números reales negativos.
Si a es un número real positivo,  son 2
números reales y, como – a = -1.a, se tiene:
por ser i2 = -1

 Así como al conjunto de números reales (vía

el axioma de completitud) lo identificamos
con una recta, al conjunto de números
complejos lo podemos identificar con el
plano es decir, con el producto cartesiano
ℝ 2. Así pues, todo número complejo z, se
puede representar como un punto del plano,
de coordenadas (Re(z), Im(z)) y viceversa (es
decir, que todo punto del plano p de
coordenadas (x, y) representa al número
complejo x + iy).

6
 25/3/2021

 Al representar un número complejo en un

sistema de ejes cartesianos, es usual llamar al
eje horizontal eje real (porque sobre él se
proyecta la parte real del complejo) y al eje
vertical eje imaginario (porque sobre él se
representan las partes imaginarias de dichos
números).
 Así pues, el complejo z = a + ib  0 se
representa como sigue:

Im(z)

b z

Re(z)
o a

Es evidente que 0 está representado por el punto de

coordenadas (0,0).

Im(z)
b z


o a Re(z)

De esta manera queda determinado un triángulo rectángulo (opz),

siendo o el punto de coordenadas (0, 0) y p = (a, 0).

7
 25/3/2021

 Entonces, la distancia de o a z es la longitud de

la hipotenusa de dicho triángulo rectángulo, con
lo cual, por el teorema de Pitágoras podemos
afirmar que:
d2(o, z) = a2 + b2.
 En consecuencia, resulta que
d(o, z) =+ a2 + b2 = z
 Llamando  a la amplitud del ángulo (zop),
diremos que dicha amplitud es el argumento de
z. Notación: arg(z) = .
 Si   ℝ /0   < 2, diremos que  es el
argumento principal de z, y lo denotamos con
Arg(z). De donde arg(z) = Arg(z) + 2k, con k  ℤ

 Sea z  ℂ - {0}. Llamamos coordenadas

polares de z a su módulo y argumento.
 Notación: z = <z, arg(z)>.
 Procediendo como sigue, podemos
representar a z en el plano con sólo conocer
sus coordenadas polares:
1. Se traza una recta que pasa por el origen de
coordenadas que forma con el semieje real
positivo un ángulo de amplitud arg(z).
2. Sobre la recta trazada en 1, se marca el punto
z, tal que d(o, z) = z.

Sean z, w  ℂ - {0}, tales z = <z, arg(z)> y

w = <w, arg(w)> .
Entonces:
z = w  z = w  arg(z) = Arg(w) + 2k, para
algún k  ℤ

Es decir, dos complejos no nulos son iguales

si sus módulos son iguales y sus argumentos
difieren en un número entero de giros.

8
 25/3/2021

 Sea z  ℂ - {0}/ z = a + ib.

 Ya vimos que z = +
 Si a = 0, es evidente que:
Arg (z) = o que Arg(z) = es decir,
arg(z) = + 2k  arg(z) = + 2k, para
algún k  ℤ.
 Si a  0, en el triángulo rectángulo (opz)se

tiene que tg (Arg(z)) = . De donde resulta:

Arg(z) = arc tg

 Sea z  ℂ - {0}/ z = <z = , arg(z) = >

 En el triángulo rectángulo (opz) se tiene:
 sen  =  Im(z) = . sen 

 cos  =  Re(z) = . cos 

Luego: z = Re(z)+ i.Im(z) = . cos  + i. .sen 

 Hemos dicho que z = . cos  + i. .sen 

Entonces, usando propiedad distributiva del
producto con respecto a la suma, se tiene:
z = . (cos  + i.sen )
FORMA TRIGONOMETRICA DE z  0

A partir de la forma trigonométrica de z  0 y

usando la fórmula de Euler: cos + i sen = ei,
obtenemos la FORMA EXPONENCIAL DE z  0:
z = .ei

9
 25/3/2021

 Hemos dicho que dado z  ℂ , d(0,z) = z.

 Si z, w  ℂ , definimos, la distancia de z a w
como z - w.
 Si r es un número real positivo, el conjunto
C(w, r) = {z  ℂ/ z - w = r}
es la circunferencia con centro en w y radio r, cuya
ecuación es, si w = (a, b), la siguiente:
(x – a)2 + (y – b)2 = r2
ya que por definición dicha circunferencia es el
conjunto de puntos del plano que equidistan de un
punto fijo llamado centro.

 Si r = 0: C(w, 0) = {w}.

 En cambio, C’(w, r) = {z  ℂ / z - w  r} es el
círculo con centro en w y radio r, unión la
circunferencia C(w, r).

 Por último, C’’(w, r) = {z  ℂ / z - w < r} es el

círculo con centro en w y radio r.
Entonces:
C’’(w, r) = C’(w, r) - C(w, r)

Im(z) Im(z)
.w .w

Re(z) Re(z)

C(w, r) C’(w, r)

Im(z)
.w

Re(z)
C’’(w, r)

10
 25/3/2021

 Sean los complejos v y w. El siguiente

conjunto M(v, w) = {z  ℂ / z - v = z - w}
está formado por todos los puntos del plano
que equidistan de v y de w que es, por
definición, la mediatriz del segmento (vw).
 Gráficamente:
Im(z) M(v, w)

v .w

Re(z)

 Sea z = <, > y n  ℕ. Entonces:

 zn = < n, n.>
 zn = n (cos n. + i.sen n.)
 zn = n ei.n.

SE DEMOSTRARA POR INDUCCION SOBRE n Y

ACEPTANDO SIN DEMOSTRACION QUE, DADOS DOS
ANGULOS DE AMPLITUDES  Y , SE CUMPLE QUE:
sen ( + ) = sen  . cos  + cos  . sen 
Y
cos ( + ) = cos  . cos - sen  . sen

Sean z = <, > y n  ℕ y el predicado con

dominio en ℕ, P(n): zn = n (cos n. + i.sen n.)
Si n=1:
z1= z = (cos + i.sen) = 1(cos1. +i.sen1.)
HI: Supongamos que zn = n(cosn. + i.sen n.)
Demostración: zn+1 = zn . z =
= n (cos n. + i.sen n.) . (cos  + i.sen ) =
= n. . [cos (n. + ) + i.sen (n. + )] =
= n+1 [cos (n+1). + i.sen (n+1).]
Luego:
 n  ℕ: zn = < n, n.> = n (cos n. + i.sen n.)

11
 25/3/2021

Ya hemos definido la radicación en ℂ.

Sea w una raíz n-ésima de z = <, >, es
decir, que wn = z. Si w = <, >, por fórmula
de De Moivre, resulta que wn = <n, n.>, de
donde, por igualdad de números complejos en
forma polar, resulta:
 = n  n. = +2k, para algún k  ℤ
De donde:

 Si bien hay tantas raíces n – ésimas de z como

números enteros, vemos que existen sólo n raíces
n–ésimas distintas de z.
 Si k  n  k < 0, se tiene que por algoritmo de la
división en ℤ, existen q, r  ℤ /k = qn + r, con 0 
r < n es decir, 0  r  n – 1.
Luego:
φ + 2kπ φ + 2(qn + r)π
arg wk = =
n n
φ + 2qnπ + 2rπ φ + 2rπ + 2qnπ
= = =
n n
φ + 2rπ 2qnπ
= + = arg wr + 2qπ
n n

Entonces:
wk = z = wr  arg(wk) = arg(wr) + 2q,
n

con q  ℤ, resulta que wk = wr, para algún r tal

que 0  r  n – 1.

 Además, si 0  k < n – 1, vemos que:

φ + 2(k + 1)π φ + 2kπ
arg wk+1 − arg wk = − =
n n
φ + 2kπ + 2π − φ − 2kπ 2π
= =
n n

12
 25/3/2021

 En consecuencia, puede interpretarse que las

n raíces n – ésimas de un complejo no nulo z,
están representadas por los vértices de un
polígono regular de n lados inscripto en la
circunferencia con centro en (0,0) y radio .
7
 Ejemplo: z = 1- i. z = + 2 y Arg(z) = 4.
Sus raíces cúbicas son:
7 15
w0 = <+ 2,  > w1 = <+ 2,  >
12 12

23
w2 = <+ 2 , 12
 >

13