El cuerpo de

los números
complejos
Algebra y Geometría Analítica
Facultad de Cs. Exactas y Naturales y
Agrimensura - UNNE

Esp. Prof. Liliana Noemí Caputo

Año Lectivo 2017
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo

EL CONJUNTO DE LOS NUMEROS COMPLEJOS

Introducción
Es fácil comprobar que, si a es un número real tal que a > 0, para todo x  :
x + a  0. En efecto, por consistencia de la suma con relación al orden, como
2

si x  , x2  0, se tiene que x2 + a  0 + a = a > 0. Así pues, a continuación

vamos a definir un nuevo conjunto, en el cual dado a  / a > 0, existe al
menos un elemento x de dicho conjunto tal que x2 + a = 0.

Definición axiomática:
Sea un símbolo e i un elemento tal que i  . Entonces, es el conjunto
de los números complejos si, y sólo si, sus elementos están determinados
por los siguientes …
Axiomas de construcción
C1)
C2) i 
C3) Si a, b  , entonces a ib 
C4) Los únicos elementos de son los determinados por C1, C2 y C3.

A partir del axioma C3 podemos afirmar que los siguientes, son números
complejos: 1  i(-2); 1 i0; - 3 i1; 0 i1; i0; 0 i0; 0 i(- ); i .

Relación de igualdad en :
Dados a ib, c id  , diremos que:
a ib = c id  a = c  b = d

Ahora, que ya sabemos cuándo dos números complejos son iguales,

enunciamos nuevos axiomas que nos permitirán explorar mejor qué forma
tienen sus elementos:

Axiomas de operatividad
O1) i0 = 0
O2) i1 = i
O3) a  i0 = a
O4) 0  ib = ib
O5) i(-b) = -ib

Entonces, para los ejemplos obtenidos a partir de C3, resulta:

2
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo
1  i(-2) =1 1  (-i2) 1 i0 =2 1 - 3 i1 =3 - 3 i
0 i1 =4 i1 =3 i i0 =2 0 i0 =4 i0 =5 0

0 i(- ) =1 0 i =3 i i = i 6

Primeras Observaciones:
1) El número complejo i se denomina unidad imaginaria.

2) Dado el número complejo z = a ib, el número real a es la parte real

del número z y el número real b es su parte imaginaria. En símbolos,
escribimos: a = Re(z)  b = Im(z).

3) A un número complejo z tal que Re(z) = 0 lo llamamos imaginario puro.

4) El axioma O3 nos asegura que a  : Im(a) = 0.

5) 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 O5.

6) Dado z = a ib  , se llama módulo o norma de z al número real no

negativo siguiente: z = + (como a y b son números reales, sus
cuadrados son números reales no negativos; en consecuencia la suma de sus
cuadrados es un número real no negativo y, entonces, existe en su raíz
cuadrada positiva).

Vamos ahora a dotar a este nuevo conjunto numérico de operaciones que

nos permitan solucionar el problema que hemos planteado en la introducción.

Suma y producto en :
Dados a ib, c id  , definimos:

(a  ib) (c id) = (a + c)  i(b + d)

(a  ib) (c id) = (a.c – b.d) i(a.d + b.c)

Donde + y . representan a la suma y al producto usuales de números reales,
respectivamente.

1
Por O5.
2
Por O3
3
Por O2
4
Por O4
5
Por O1
6
No le es aplicable ningún axioma de operatividad

3
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo
Dados a, b  veamos que:

1) ib = i  b.

ib =7 i1 (b  i0) =8 (0  i1)  (b  i0) =9 (0.b – 1.0)  i(0.0 + 1.b) =10 0  ib =
=8 ib.

2) a ib = a  ib.

a ib =11 (a  i0) (0  ib) =12(a + 0)  i(0 + b) =13 a  ib.

3) a b = a + b  a  b = a.b.

Por O3: a = a  i0  b = b  i0, de donde:

a b = (a  i0) (b  i0) =12 (a + b)  i(0 + 0) =13 (a + b)  i0 =14 a + b

Además:
a  b =14 (a  i0)(b  i0) =9 (a.b – 0.0)  i(a.0 + 0.b) =10 a.b  i0 =14 a.b

Como restringidos a y  coinciden con + y ., respectivamente, ya no

hay ambigüedad si usamos estos dos símbolos para la suma y el producto de
números complejos. Tampoco habrá ambigüedad si reemplazamos el símbolo
 por +, en la construcción de números complejos.

Estructura de , +, .)
Veamos que con las operaciones que hemos definido, , +, .) tiene
estructura de cuerpo es decir, que se cumplen las siguientes propiedades:

1) Ley de Cierre: i) de la suma: z, w  : z + w 

ii) del producto: z, w  : z.w 
2) Propiedad Asociativa:
i) de la suma: z, w, u  : (z + w) + u = z + (w + u)
ii) del producto: z, w, u  : (z . w).u = z.(w.u)

3) Propiedad Conmutativa: i) de la suma: z, w  : z + w = w + z

ii) del producto: z, w  : z.w = w.z
4) Existencia de elemento neutro: i) de la suma: 0  / z  : z + 0 = z

7
Axiomas O2 y O3
8
Axioma O4
9
Definición de producto en
10
Operando en
11
Axiomas O3 y O4
12
Definición de suma en
13
Por ser 0 el neutro de la suma en
14
Axioma O3

4
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo
ii) del producto: 1  / z  : z.1 = z

5) i) Existencia de opuesto para cada elemento:

z  ,  -z / z + (-z) = 0
ii) Existencia de inverso para cada elemento no nulo:
z  - {0},  z-1  / z.z-1 = 1

6) Propiedad distributiva del producto con respecto a la suma:

i) z, w, u  : (z + w).u = z.u + w.u

Demostraciones:
Sean z = a + ib, w = c + id, u = g + if, entonces, se tiene que a, b, c, d, g, f
 y también sus opuestos.
1) Como la suma cumple con la ley de cierre en ,a+cyb+d , de
donde, z + w =15 (a + c) + i(b + d)  .

De la misma manera, por ley de cierre de la suma y el producto en , ac,

ad, bc, bd, ac – bd, ad + bc son números reales, de donde, por definición de
producto de números complejos, z.w = (ac – bd) + i(ad + bc)  .

2) i) (z + w) + u = [(a + ib)+(c + id)] + (g + if) =15 [(a + c) + i(b + d)] + (e + if) =

=15[(a + c) + e]+ i[(b + d) + f] =16 [a + (c + e)] + i[b + (d + f)] =15(a + ib)+ [(c + e) +
+ i(d + f) ] =15 (a + ib) + [(c + id) + (e + if)] = z + (w + u)

ii) (z.w).u = [(a + ib).(c + id)].(g + if) =17[(ac– bd)+ i(ad + bc)].(g + if) =
=17 [(ac– bd)g – (ad + bc)f] + i[(ac– bd)f + (ad + bc)g] =18(acg – bdg – adf – bcf +
+ i(acf – bdf + adg + bcg) =18[a(cg –df) – b(dg + cf)]+ i[a(cf + dg) – b(df – cg)] =
=17(a + ib).[(cg – df) + i(dg – df)] =17(a + ib).[(c + id).(g + if)] = z.(w.u)

3) i) z + w =15(a + c) + i(b + d) =19(c + a)+ i(d + b) =15(c +id)+(a + ib) = w + z

ii) z.w = (a + ib).(c + id) =20 (ac – bd)+ i(ad + bc) =21 (ca – db)+ i(da +
+ cb) =20(c + di).(a + ib) = w.z

4) i) Como 0  (por axioma C1), es evidente que 0  . Además:

z + 0 =22 (a + ib) + (0 + i0) =23 (a + 0) + i(b + 0) =24 a + ib = z.
15
Definición de suma en
16
Ley asociativa de la suma en
17
Definición de producto en
18
Propiedad distributiva de la suma con respecto al producto en
19
Ley conmutativa de la suma en
20
Definición de producto en
21
Ley conmutativa del producto en
22
Axioma O3
23
Definición de suma en
24
Por ser 0 el neutro de la suma en

5
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo

iii) Como 1  (por axioma C1), es trivial que 1= 1 + i0  . Luego:

z.1 = (a + ib).(1 + i0) =25 (a.1 – b.0) + i(a.0 + b.1) =26 a + ib = z.

5) i) Como a, b  ya hemos dicho que -a, -b  . En consecuencia:

-z = -a + i(-b) 27
y es tal que z +(-z) = –z + z = [-a + i(-b)] + (a + ib) =23 (-a + a) + i(-b + b) =
28

=26 0 + i0 =22 0. Ejercicio: Probar que   : - = -1. .

ii) Si fuera z  0, por definición de igualdad en , debe ser a  0  b  0.

En consecuencia, a2 y b2 no pueden ser simultáneamente nulos, de donde
podemos afirmar que a2 + b2  0. Como se trata de un número real no nulo,
existe en su inverso multiplicativo.
Además, a y el opuesto de b son números reales, de donde (por ley de
cierre del producto en ): ,  . En consecuencia:
–
z-1 = +i  . Además:
–
z-1z =29 z.z-1=(a + ib). +i =25 - +i + =

=26 +i =26 1 + i0 =22 1.

6) (z + w).u = [(a + ib) + (c + id)](g + if) =23 [(a + c) + i(b + d)].(g + if) =25
= [(a + c)g – (b + d)f] + i[(a + c)f + (b + d)g] =30
= (ag + cg –bf – df) + i(af + cf + bg + dg) =31
= [(ag – bf) + (cg – df)] + i[(bg + af) + (cf + dg)] =23
= [(ag –bf) + i(bg + af)] + [(cg – df) + i(cf + dg) =25
= (a + ib).(g + if) + (c + id).(g + if) = z.u + w.u

 , +, .) tiene estructura de cuerpo

Otras observaciones:
1) Al igual que en el cuerpo de los números reales, la suma de un número
complejo z y el opuesto de otro número w, lo denotaremos con z – w.

2) De forma análoga, si w  0, al producto de z por w-1 lo denotaremos con

z/w.
3) Por último, si z = a + ib, acordamos escribir a = a – bi.

25
Definición de producto en
26
Operando en
27
Axioma C3
28
Ley conmutativa de la suma en (Propiedad 3i)
29
Ley conmutativa del producto en (Propiedad 3ii)
30
Ley distributiva del producto con respecto a la suma en
31
Ley asociativa de la suma en

6
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo

Propiedades derivadas de la estructura de cuerpo:

Vemos que como , +, .) tiene estructura de cuerpo, valen todas y cada
una de las propiedades derivadas de cuerpo en que se habían enunciado y
aceptado sin demostración al estudiar el cuerpo de los números reales, a saber:

Sean x, y, z  , entonces:
1) Propiedad cancelativa de la suma: x + y = x + z  y = z
2) Unicidad del cero: Si 0’  / a + 0’ = a, entonces, 0’ = 0.
3) 0 = - 0.
4) 1 = 1-1.
5) Unicidad del opuesto: Si x’  / x + x’ = 0, entonces, x’ = -x. En
consecuencia, -(-x) = x.
5) x.0 = 0
6) –(x + y) = -x - y
7) -1.x = -x
8) (-x).y = x.(-y) = - x.y
9) (-x).(-y) = x.y. En consecuencia: x2 = x.x = (-x).(-x) = (-x)2 (donde x2
denota al producto x.x.
10) Unicidad del inverso de cada elemento no nulo: Si x  0 y x.x’ = 1,
para algún x’ /entonces, x’ = x-1. En consecuencia, (x-1)-1 = x.
11) Propiedad cancelativa del producto: xy = xz  x  0  y = z.
12) carece de divisores de cero: xy = 0  x = 0  y = 0.

También en este caso, se aceptan sin demostración.

Complejos conjugados:
Ya hemos dicho que dado z = a + ib  , definimos el conjugado de z,
como el siguiente número complejo: z  a  ib.

Propiedades:
Sean z, u  y u  0, entonces:
a) z  z f) z+ = 2 Re(z)
b) z   z =
g) z - = 2.i.Im(z)
c) = +
d) = . h) z. = z2
z z
e)    i)
u u

Las demostraciones han sido incluidas como ejercicios en el trabajo

práctico Nº 4 de la asignatura, por lo cual se omiten aquí, pero serán evaluadas
en el examen final.
7
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo
Potencia entera de un número complejo
Sean z  -{0}, n  , definimos:
i) 0n = 0
ii) z0 = 1
iii) zn = z.zn-1
iv) z-n = (z-1)n

Observaciones importantes:
1) Nótese que la definición es análoga a la de la potenciación de números
reales. Entonces, 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 es decir, dados z, w  , n, m  , se
cumple:
a) Producto de potencias de igual base: zn.zm = zn + m
b) Potencia de potencia: (zn)m = znm
c) Prop. distributiva de la potenciación con respecto al producto:(zw)n = zn wn
d) Potencia natural del conjugado:
Como no vale una demostración similar en (puesto que no se habló de
conjugado de un número real), probémosla por inducción sobre n.
Si n = 1, por definición de potenciación, z1 = z. Luego,
HI: Supongamos que .
33
Luego, 32 34

2) A partir de la definición dada, puede calcularse in,  n  o. En efecto:

a) Como i  , i  0, de donde resulta, i0 = 1 (ii de la definición).
b) i1 =32 i.i0 =35 i.1 =36 i.
c) i2 =32 i.i1 =37 i.i =38(0+ i1).(0+ i1) =39 (0.0 –1.1)+ i(1.0 +1.0) =40-1+ i0 =
=41-1.
d) i3 =i.i2 =42i(-1) =43 - i1 =44-i.
e) i4 = i2.2 =45 (i2)2 =46 (-1)2 = 1 =47 i0

32
iii de la definición de potencia entera de un número complejo
33
Propiedad c de complejos conjugados
34
Por HI y lo demostrado para n = 1
35
Observación 2) a)
36
Por ser 1 el neutro del producto en
37
Observación 2) b)
38
Axiomas O2 y O4
39
Definición de producto en
40
Operando en
41
Axioma O3
42
Por observación 2) c)
43
Axioma O5
44
Axioma O2
45
Observación 1) b)
46 2
Por ser i.i = i = -1
47
Observación 2) a)

8
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo
f) Si n > 4, por algoritmo de división en y regla de signos, existen y
son únicos q  , r  o tales que n = 4q + r, con 0  r < 4. Luego:
n  : in = i4q + r =48 i4q.ir =45 (i4)q.ir =49 1q. ir = 1.ir =50 ir.
Nota: De las observaciones 2 e) y f) se puede concluir que si n  4, in = ir,
siendo r el resto de la división de n por 4.

3) Veamos que: i) i(-i) =51 -(i.i) = -i2 = -(-1) = 1 es decir, i-1 = -i.
ii) Si z = i =52 0 + i, entonces, =53 0 – i =54 - i.
De i y ii, podemos observar que –i es el inverso y el conjugado de i.

4) Sea z = a + ib tal que a  0  b y n  , entonces en forma análoga a lo

dicho en la observación 1), como al demostrar el teorema del binomio de
Newton hicimos inducción sobre n, sin considerar qué clase de números eran
las bases de las potencias que allí se usaron, podemos asegurar que:

55

5) Habiendo demostrado las propiedades asociativas, conmutativas de

suma y producto de números complejos, así como también la propiedad
distributiva del producto con respecto a la suma, conociendo las 4 primeras
potencias de i, puede hallarse un método de cálculo del producto de dos
números complejos z = a + ib y w = c + id, que resulta mucho más sencillo de
usar que la definición.
En efecto:
z.w = (a + ib).(c + id) =56 a.(c + id) + ib.(c + id) =56 ac + aid + ibc + ibid =57 ac +
+ iibd + iad + icd =46 ac + (-1)bd + i(ad + cd) =58 (ac – bd) + i (ad + cd).
Radicación en . Raíces n – ésimas de un número complejo
Dados z  y n  , definimos, = w   z = wn.

Ejemplos: a) i2 = (-i)2 = -1, -i e i son dos raíces cuadradas de -1.

b) 14 = (-1)4 = i4 = (-i)4 = [(-i)2]2 = (-1)2 = 1. Entonces, 1, -1, -i e i
son cuatro raíces cuartas de 1 (se las llama “raíces cuartas de la unidad”)

48
Observación 1) a)
49
Observación 2) e)
50
Por ser 1 el neutro del producto en
51
Propiedad derivada 8 de la estructura de cuerpo de
52
Por ser 0 el neutro de la suma en
53
Definición de conjugado de un número complejo
54
Axioma O4
55
Observación 1) c)
56
Propiedad distributiva del producto con respecto a la suma en
57
Propiedad conmutativa del producto en y de la suma en
58
Propiedad derivada 8 de la estructura de cuerpo de y observación importante 1

9
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo
Más Observaciones

1) Si z, w  y n  , entonces, = . En efecto, supongamos

que =uy = v. Entonces, por la definición anterior, un.vn = zw.
Como hemos probado que la potenciación es distributiva con respecto
al producto en , resulta que (uv)n = z.w, con lo cual por definición de
radicación, resulta que: =

2) 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., puesto que, si a  tal que a < 0 y n  ,
resulta -a > 0 y, en consecuencia,  .

En particular, calculemos las raíces cuadradas de a.

En principio, como i2 = (-i)2 = -1, podemos afirmar que i y – i son dos

raíces cuadradas de -1. Además:
59

Luego, i y -i son dos raíces cuadradas de a.

De esta manera, en se ha superado el problema planteado al inicio

de este texto (que ningún número real x verifica la igualdad x2 + a = 0, si a > 0),
ya que si a > 0, -a < 0 y, si x =  x = -i , x2 = -a (queda como ejercicio
2
verificar que esto es así), resulta que x + a = - a + a = 0.

Representación gráfica de números complejos

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.

Entonces, 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) lo cual
puede corroborarse demostrando que la función f:  2 / f(z) = (Re(z), Im(z))
es biyectiva.

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 su parte real)
y al eje vertical eje imaginario (porque sobre él se representan su parte
imaginaria). A dichos ejes se los denota, respectivamente, con R(z) e Im(z).

Así pues, el complejo z = a + ib  0 (a > 0 y b > 0) se representa como

sigue:

59
Observación 1) de radicación en

10
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo

Im(z)
z
b
o Re(z)
a

Figura 1: Representación gráfica de z = a + ib  - {0}

Es evidente que 0 está representado por el punto o, de coordenadas (0,0).

Sobre la Figura 1, tracemos con líneas de puntos el segmento (oz):

Im(z)
z
b


o a Re(z)

Figura 2: Representación en el plano de z = a + ib y del segmento (oz)

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

el punto de coordenadas (0, 0) y p = (a, 0).
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) = + = z (Ver 6, en Primeras
Observaciones).
Por otra parte, si en la Figura 2 llamamos  a la amplitud del ángulo (poz),
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, para algún k  .

Coordenadas polares de un complejo no nulo z

Sea z  , z  0, definimos z y arg(z) como las coordenadas polares de
z. Notación: z = <z, arg(z)>.
En efecto, conocidos z =   arg(z) = , es posible ubicar z en el plano,
siguiendo el siguiente procedimiento:
1. Se traza una recta que pasa por el origen de coordenadas y que forma
con el semieje real positivo un ángulo de amplitud  es decir, la gráfica de la
función f:  / f(x) = mx, con m = tan .

2. Sobre la recta trazada en 1, se marca el punto z, tal que d(o, z) = .

11
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo
De esta manera (ejecutando los pasos 1 y 2), z queda representado
unívocamente por un punto del plano.

Veamos a continuación cómo determinar, dado z = a + ib  0, sus

coordenadas polares:

Ya hemos visto en las Primeras Observaciones (ítem 6), cómo calcular z.

Si Re(z) = 0, se observa en las Figuras 3a y 3b que Arg(z) =  Arg(z) = ,

de donde, arg(z) = + 2k  arg(z) = + 2k, para algún k  .

Im(z)
Im(z)
z
o
Re(z)
z
o Re(z)

Figura 3a: Arg(z) si Im(z) > 0 = Re(z) Figura 3a: Arg(z) si Im(z) > 0 = Re(z)

Si Re(z)  0, en la Figura 2, vemos que tan  =   = arc tan .

En cambio, si z = <, > (donde z =   arg(z) = ), las partes real e
imaginaria de z pueden determinarse como sigue:
Observando el triángulo (opz) de la Figura 2: sen  =  cos  = .
De donde resulta: Im(z) =  sen   Re(z) =  cos 

Luego, como z = Re(z) + i Im(z), se tiene que z =  sen  + i  cos  lo cual

es consistente con los axiomas de construcción C3 y C4 por ser seno y coseno
funciones reales de una variable real y   .

Si z es como antes (z =  sen  + i  cos ), por propiedad distributiva del

producto con respecto a la suma en , finalmente obtenemos la forma
trigonométrica de z  0: z = (sen  + i cos ).

Ahora, utilizando la llamada fórmula de Euler (cos  + i sen  = ei),

obtenemos la forma exponencial de un complejo no nulo, que es z = z.ei,
donde  es un argumento de z.

12
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo
Igualdad de números complejos en coordenadas polares
Si z, w  - {0}, definimos:
z = w  z = w  arg(z) = arg(w) + 2k, con 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.

Ejemplo: Si z = <3, -2/3> y w = <3, 10/3>, vemos que z = w porque:

z = 3 = w  arg(z) + 2.2 = -2/3 +4 = 10/3 = arg(w)

Interpretación geométrica de algunos suconjuntos complejos

Sean   , tal que   0 y C(o, ) el subconjunto de formado por todos

los números complejos de norma o módulo . Dijimos que d(o, z) = z, z  ,
entonces, C(o, ) es el conjunto de puntos del plano que equidistan de un
punto fijo (o); como todas esas distancias son iguales a , C(o, ) es por
definición la circunferencia con centro en (0, 0) y radio .
En consecuencia, se tiene que:
z = x + iy  C(o, )  z =   z2 = 2  x2 + y2 = 2
(ecuación de la circunferencia con centro en el origen y radio ).

Nótese que si  = 0, la circunferencia se reduce al punto o = (0, 0) es decir,

que C(o, 0) = {0}.

De igual manera, dado zo = xo + i yo  , como en el plano la distancia

entre los puntos z = (x, y) y zo = (xo, yo) está dada por:
d(z, zo) = +
(Definición de distancia entre dos puntos en el plano)
podemos afirmar que todos los números complejos z = x + iy tales que su
distancia a zo es  constituyen el conjunto C(zo, ).

En efecto, z – zo = (x – xo) + i(y – yo) y z - zo = + ,

de donde, por transitividad de la igualdad en , d(z, zo) = z - zo. Entonces,
resulta que C(zo, ) = {z  / z - zo = }.
Así pues, C(zo, ) es el conjunto de los puntos del plano cuya distancia a
un punto fijo (zo) es constante () es decir, que es la circunferencia con centro
en zo y radio . Entonces:
z = x + i y  C(zo, )  z - zo =   z - zo2 = 2  = 2
(ecuación de la circunferencia con centro en zo y radio ).

Por último, el subconjunto complejo M(zo, z1) = {z  / z - zo = z – z1}, es

el conjunto de todos los puntos del plano que equidistan de zo y de z1 que es,
por definición, la mediatriz del segmento (zoz1), Luego:
z  M(zo, z1)  z - zo = z – z1

13
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo
Fórmula de De Moivre
Ya hemos visto que dado un número complejo z, utilizando el teorema del
binomio de Newton, podemos hallar cualquier potencia natural de z. Sin
embargo, si conocemos sus coordenadas polares, no es necesario hallar sus
partes real e imaginaria para hallarla.
Si z  - {0} / z = <, > y n  , entonces, zn = <n, n>.

Demostración: Sean z  - {0} / z = <, > y n  Probemos la fórmula

de De Moivre por inducción:

Si n = 1: z1= z =60 <, > =61 <1, 1.>.

HI: Supongamos que zn = <n, n> = n(cos n + i sen n) .

Luego: zn + 1 =62z.zn =63 <1, 1.> <n, n> =64

= [ (cos  + i sen )].[n(cos n + i sen n)] =65
= (.n). [(cos  + i sen )].(cos n + i sen n)] =66
= (. ). [(cos  cos n - sen  sen n) + i sen n cos  + i sen  cos n) =62
n

= n + 1 [(cos  cos n - sen  sen n) + i (sen n cos  + sen  cos n)] =67
= n + 1 [(cos (n + ) + i sen (n + )] =68 n + 1[(cos (n+1)  + i sen (n+1) ]

z - {0} / z = <, >, n  : zn = <n, n>

Raíces naturales de un número complejo no nulo en coordenadas polares

Sea z, w  y n  tales que z = <, > y w = . Entonces, por
n
definición de radicación en , debe ser w = z.
Supongamos que w = <, > entonces, por fórmula de De Moivre y
definición de igualdad de números complejos debe ser:  = n   = n + 2h,
para algún h  .
Luego resulta que  =   = , con lo cual, en forma general, se
puede decir que w =  arg(w) = arg( )= , con h  y k = -h.

Así pues, para cada k  , wk = < , > es una raíz n – ésima de z.

Cómo  k  : wk = , todas las raíces n – ésimas de z pertenecen a la
circunferencia con centro en (0, 0) y radio  = (a la cual denotamos con
C(o, ).

60
Por hipótesis
 x  : x = x  1.x = x
61 1
62
Definición de potenciación
63
Por lo probado para n = 1 y la HI
64
Expresando ambos números en forma trigonométrica
65
Propiedades asociativa y conmutativa del producto en
66
Propiedad distributiva del producto con respecto a la suma en
Por ser sen ( + ) = sen cos + cos sen y cos ( + ) = cos cos - sen sen
67

“Sacando factor común” 

68

14
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo
Si bien hay tantas raíces n – ésimas de z como números enteros, veamos
que existen exactamente n raíces n – ésimas distintas de z.

En efecto, si k  n  k < 0, se tiene que por algoritmo de la división en ,

existen q, r  tales que k = qn + r, con 0  r < n es decir, 0  r  n – 1.

Luego:

Entonces, como wk = = wr  arg(wk) = arg(wr) + 2q, con q  ,

resulta que wk = wr, para algún 0  r  n – 1.

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

arg(wk + 1) – arg(wk) =

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 , donde
2 / n es el ángulo central de dicho polígono.

Algunas consideraciones finales

Ya hemos dicho que en , se pueden calcular las raíces n – ésimas de
números reales negativos, lo cual no era posible mientras nuestro campo
numérico de trabajo se reducía al de los números reales.
Así pues, al analizar la radicación en , vimos cómo solucionar el problema
introductorio de resolver la ecuación x2 + a = 0, con a > 0.
Sin embargo, no todo ha sido ganancia: recordemos que ( , +, .) es un
cuerpo ordenado, denso y completo, pero ( , +, .) ya no lo es. Si bien es un
cuerpo, en él no se puede definir un orden total y consistente con la suma y
producto que le dan dicha estructura.
Para probar esta afirmación, razonaremos por el absurdo, suponiendo que
existe un orden total y consistente con la suma y el producto en es decir, que
se cumplen los axiomas:
O1. Ley de tricotomía.
O2. Propiedad transitiva.
O3. Consistencia del orden con respecto a la suma: z < w  z + v < w + v
O4 Consistencia restringida del orden con respecto al producto:
z<wv0zv<wv

Entonces, como 0   i  , debe ser i  0. Luego, por O1, se debe

cumplir que 0 < i ó i < 0.
Si fuera i > 0, por O4, i.i > 0 es decir, i2 > 0 lo que equivale a que -1 > 0
absurdo, pues -1 es un número real negativo y, en consecuencia, -1 < 0.

15
Facultad de Ciencias Exactas y Naturales y Agrimensura (UNNE)
Algebra y Geometría Analítica - Números Complejos – 2017
Prof. Liliana N. Caputo
Entonces, resulta que i < 0, con lo cual por O3, sumando a ambos
miembros –i, 0 < –i y, nuevamente, por O4, se tiene que -i.i < 0. Como –i.i = -i2
= -(-1) = 1, hemos probado que 1 < 0 lo cual es absurdo pues 1 es un número
real positivo.

Estas contradicciones provienen de haber supuesto que es posible definir

en un orden total y consistente con la suma y producto que le dan estructura
de cuerpo, lo cual significa que no es posible establecer dicha definición.

Así pues, ( , +, .) es un cuerpo no ordenado (en consecuencia no es denso,

ni arquimediano, ni completo), pero veremos en el capítulo siguiente que
cuenta con una propiedad de la cual carecía: es un cuerpo
algebraicamente cerrado atributo que está fuertemente vinculado al hecho de
que z  , n   .

Bibliografía

- Figallo, A.V. (1993). Notas del curso El cuerpo de los números complejos.
Actas del 5º Seminario Nacional de Matemática – Nivel Medio. Universidad
Nacional de San Juan (Argentina).

- Rojo, A. (1996). Algebra I. 18ª Edición. Editorial El Ateneo. Buenos Aires

Capital Federal de Argentina.

- Kolman, B.; Hill, D. (2006). Algebra lineal. 8ª Edición. Pearson Educación.

México D.F.

- Swokowski, E.; Cole, J. (2009). Algebra y Trigonometría. 12ª Edición.

CENGACE Learning. México D.F.

- Mira Ríos, J.; Cascales Salidas, B.; Pedreño Guillén, S. (2008). Material
de clase de Análisis Matemático I, Tema 2, Facultad de Matemática de la
Universidad de Murcia (España). Disponible en:
http://ocw.um.es/ciencias/analisis-matematico-i/Material%20de%20clase/AMIcap2.pdf

16