Álgebra Lineal II: Grupos y campos, prueba de los axiomas del campo de

los números complejos, forma polar de números complejos.

José Marı́a Rico Martı́nez
Departamento de Ingenierı́a Mecánica
División de Ingenierı́as, Campus Irapuato-Salamanca
Universidad de Guanajuato
email: jrico@ugto.mx

Estas notas presentan la prueba de que el conjunto de los números complejos junto con las operaciones de adición
y multiplicación constituyen un campo. Además, estas notas presentan la forma polar de números complejos.

1 El campo de los números complejos.

Los números complejos C, definidos como

C = {z = a + ib | a, b ∈ R, }, (1)

donde i se denomina la unidad imaginaria y dos números complejos z1 = a1 + ib1 , z2 = a2 + ib2 ∈ C son iguales,
denotado a1 + ib1 = a2 + ib2 , si, sólo si,
a 1 = a 2 y b1 = b2 ,
junto con las operaciones de adición

+:C×C→C z1 + z2 = (a1 + ib1 ) + (a2 + ib2 ) = (a1 + a2 ) + i(b1 + b2 ), (2)

y multiplicación

·:C×C→C z1 · z2 = (a1 + ib1 ) · (a2 + ib2 ) = (a1 · a2 − b1 · b2 ) + i(a1 · b2 + a2 · b1 ), (3)

forman un campo, denominado C. La representación dada por la ecuación (1) se conoce como forma cartesiana de
un número complejo.1

Prueba: A continuación se presentan las pruebas de los diferentes axiomas, sean (a1 +ib1 ), (a2 +ib2 ), (a3 +ib3 ) ∈ C

1. Clausura con respecto a la adición. Considere

+:C×C→C (a1 + ib1 ) + (a2 + ib2 ) = (a1 + a2 ) + i(b1 + b2 ),

por la clausura de números reales con respecto a la adición, la suma de dos reales, (a1 + a2 ) y (b1 + b2 ) es otro
real. Por lo tanto, la suma de dos números complejos es otro número complejo.
2. Conmutatividad de la adición. Considere

(a1 + ib1 ) + (a2 + ib2 ) = (a1 + a2 ) + i(b1 + b2 ) = (a2 + a1 ) + i(b2 + b1 ) = (a2 + ib2 ) + (a1 + ib1 ).
1 Debe notarse que la operación de multiplicación es equivalente a considerar a la unidad imaginaria i, como un número “real” que

satisface la propiedad i2 = −1 y siguiendo las reglas de las operaciones de adición y multiplicación en el campo de los números reales.

1
3. Asociatividad de la adición. Considere
[(a1 + ib1 ) + (a2 + ib2 )] + (a3 + ib3 ) = [(a1 + a2 ) + i(b1 + b2 )] + (a3 + ib3 ) = [(a1 + a2 ) + a3 ] + i[(b1 + b2 ) + b3 ]
= [a1 + (a2 + a3 )] + i[b1 + (b2 + b3 )] = (a1 + ib1 ) + [(a2 + a3 ) + i(b2 + b3 )]
= (a1 + ib1 ) + [(a2 + ib2 ) + (a3 + ib3 )]

4. Existencia del idéntico aditivo. Sea (x + i y) ∈ C el idéntico aditivo del campo, entonces para (a1 + ib1 ) ∈ C
arbitrario, se tiene que
(a1 + ib1 ) + (x + i y) = (a1 + ib1 )
entonces de la definición de igualdad de números complejos, se tiene que
a1 + x = a1 y b1 + y = b 1
por lo tanto, x, y ∈ R deben ser el idéntico aditivo del campo de los números reales, y
x = y = 0.
Por lo tanto, el idéntico aditivo del campo de los números complejos C es (0 + 0 i).
5. Existencia del inverso aditivo. Sea (a1 + ib1 ) ∈ C arbitrario y sea (x + i y) ∈ C el inverso aditivo de (a1 + ib1 )
campo, entonces se tiene que
(a1 + ib1 ) + (x + i y) = (0 + i0)
entonces de la definición de igualdad de números complejos, se tiene que
a1 + x = 0 y b1 + y = 0
por lo tanto, x, y ∈ R deben ser los inversos aditivos en campo de los números reales, y
x = −a1 y y = −b1 .
Por lo tanto, el inverso aditivo de (a1 + i b1 ) ∈ C en el campo de los números complejos C es (−a1 − b1 i).
6. Clausura con respecto a la multiplicación. Considere
·:C×C→C (a1 + ib1 ) · (a2 + ib2 ) = (a1 · a2 − b1 · b2 ) + i(a1 · b2 + a2 · b1 ),
por la clausura de números reales con respecto a la adición y a la multiplicación, (a1 · a2 − b1 · b2 ) y (a1 · b2 + a2 · b1 )
son números reales. Por lo tanto, la multiplicación de dos números complejos es otro número complejo.
7. Conmutatividad de la multiplicación. Considere
(a1 + ib1 ) · (a2 + ib2 ) = (a1 · a2 − b1 · b2 ) + i(a1 · b2 + a2 · b1 ) = (a2 · a1 − b2 · b1 ) + i(a2 · b1 + a1 · b2 )
= (a2 · a1 − b2 · b1 ) + i(b1 · a2 + b2 · a1 ) = (a2 + ib2 ) · (a1 + ib1 )

8. Asociatividad de la multiplicación. Considere, por un lado

[(a1 + ib1 ) · (a2 + ib2 )] · (a3 + ib3 ) = [(a1 · a2 − b1 · b2 ) + i(a1 · b2 + a2 · b1 )] · (a3 + ib3 )
= [(a1 · a2 − b1 · b2 ) · a3 − (a1 · b2 + a2 · b1 ) · b3 ] + i[(a1 · a2 − b1 · b2 ) · b3 + (a1 · b2 + a2 · b1 ) · a3 ]
= (a1 a2 a3 − b1 b2 a3 − a1 b2 b3 − a2 b1 b3 ) + i(a1 a2 b3 − b1 b2 b3 + a1 b2 a3 + a2 b1 a3 ).
y por el otro
(a1 + ib1 ) · [(a2 + ib2 ) · (a3 + ib3 )] = (a1 + ib1 ) · [(a2 · a3 − b2 · b3 ) + i(a2 · b3 + a3 · b2 )]
= [a1 · (a2 · a3 − b2 · b3 ) − b1 · (a2 · b3 + a3 · b2 )] + i[b1 · (a2 · a3 − b2 · b3 ) + a1 · (a2 · b3 + a3 · b2 )]
= (a1 a2 a3 − a1 b2 b3 − b1 a2 b3 − b1 a3 b2 ) + i(b1 a2 a3 − b1 b2 b3 + a1 a2 b3 + a1 a3 b2 )
Comparando ambos resultados, es evidente la igualdad de los dos procedimientos.

2
 9. Existencia del idéntico multiplicativo. Sea (x + i y) ∈ C el idéntico multiplicativo del campo, entonces para
(a1 + ib1 ) ∈ C arbitrario, se tiene que

(a1 + ib1 ) · (x + i y) = (a1 · x − b1 · y) + i(a1 · y + x · b1 )

entonces de la definición de igualdad de números complejos, se tiene que

a 1 x − b1 y = a 1 y a 1 y + x b1 = b1

por lo tanto, resolviendo el sistema de ecuaciones en las variables x, y ∈ R, se tiene que

x=1 y y = 0.

Por lo tanto, el idéntico multiplicativo del campo de los números complejos C es (1 + 0 i).
10. Existencia del inverso multiplicativo. Sea (a1 + ib1 ) ∈ C\0 arbitrario y sea (x + i y) ∈ C el inverso
multiplicativo de (a1 + ib1 ) en el campo C, entonces se tiene que

(a1 + ib1 ) · (x + i y) = (1 + i0)

entonces de la definición de igualdad de números complejos, se tiene que

a 1 · x − b1 · y = 0 y a 1 · y + x · b1 = 0

por lo tanto, resolviendo el sistema de ecuaciones en las variables x, y ∈ R, se tiene que

a1 b1
x= y y=− .
a21 + b21 a21 + b21
Por lo tanto, el inverso multiplicativo de (a1 + i b1 ) ∈ C en el campo de los números complejos C es
a1 − ib1
(a1 + ib1 )−1 =
a21 + b21
Evidentemente, el inverso multiplicativo no existe para el idéntico aditivo (0 + i0) ∈ C, pues, en ese caso
a21 + b21 = 0.
11. Propiedades distributivas.
Considere, por un lado

[(a1 + ib1 ) + (a2 + ib2 )] · (a3 + ib3 ) = [(a1 + a2 ) + i(b1 + b2 )] · (a3 + ib3 )
= [(a1 + a2 )a3 − (b1 + b2 ) b3 ] + i[(a1 + a2 ) b3 + (b1 + b2 ) a3 ]
= (a1 a3 + a2 a3 − b1 b3 − b2 b3 ) + i(a1 b3 + a2 b3 + b1 a3 + b2 a3 )

y por el otro

(a1 + ib1 ) · (a3 + ib3 ) + (a2 + ib2 ) · (a3 + ib3 ) = (a1 a3 − b1 b3 ) + i(a1 b3 + b1 a3 ) + (a2 a3 − b2 b3 ) + i(a2 b3 + b2 a3 )
= (a1 a3 − b1 b3 + a2 a3 − b2 b3 ) + i(a1 b3 + b1 a3 + a2 b3 + b2 a3 )

Es fácil verificar que los dos resultados coinciden, por lo tanto

[(a1 + ib1 ) + (a2 + ib2 )] · (a3 + ib3 ) = (a1 + ib1 ) · (a3 + ib3 ) + (a2 + ib2 ) · (a3 + ib3 )

De manera semejante, considere por un lado

(a1 + ib1 ) · [(a2 + ib2 ) + (a3 + ib3 )] = (a1 + ib1 ) · [(a2 + a3 ) + i(b2 + b3 )]
= [a1 (a2 + a3 ) − b1 (b2 + b3 )] + i[a1 (b2 + b3 ) + b1 (a2 + a3 )]
= (a1 a2 + a1 a3 − b1 b2 − b1 b3 ) + i(a1 b2 + a1 b3 + b1 a2 + b1 a3 )

3
 y por el otro

(a1 + ib1 ) · (a2 + ib2 ) + (a1 + ib1 ) · (a3 + ib3 ) = [(a1 a2 − b1 b2 ) + i(a1 b2 + b1 a2 )] + [(a1 a3 − b1 b3 ) + i(a1 b3 + b1 a3 )]
= (a1 a2 − b1 b2 + a1 a3 − b1 b3 ) + i(a1 b2 + b1 a2 + a1 b3 + b1 a3 )

Es fácil verificar que los dos resultados coinciden, por lo tanto

(a1 + ib1 ) · [(a2 + ib2 ) + (a3 + ib3 )] = (a1 + ib1 ) · (a2 + ib2 ) + (a1 + ib1 ) · (a3 + ib3 )

2 Forma polar de los números complejos, multiplicación y división de

números complejos.
Es importante notar que los números complejos tienen otra forma de representación conocida como representación
o forma polar de los números complejos.
Considere la siguiente función
 
p b
f :C→C dada por f (z) = f (a + i b) = z = a2 + b2 , θ = tan−1 (4)
a

donde el cálculo del ángulo θ usa las reglas del cı́rculo trigonométrico y la variable z representa un número real no
negativo. La figura 1 muestra una representación gráfica de la función que permite pasar de la forma cartesiana a la
polar. Es importante notar que en algunas ramas de la ingenierı́a, en particular la ingenierı́a eléctrica, un número
complejo en forma polar, (z, θ), escrito como z = z θ, se denomina fasor. Además, el número z se denomina el
módulo y el ángulo θ se denomina el argumento del número complejo z.

Figure 1: Conversión de la forma cartesiana a la forma polar de un número complejo.

De la representación gráfica dada por la figura 1, es evidente que existe otra función

f −1 : C → C dada por f −1 (z, θ) = (z cos θ, z sen θ) = z cos θ + (z sen θ) i (5)

La función dada por la ecuación (5) es la función inversa de la función dada por la ecuación (4). De manera que a
cada número complejo en forma cartesiana corresponde una y sólo una forma polar del mismo número complejo.
Una de las ventajas de la forma polar de los números complejos es que las operaciones de multiplicación, y por
consiguiente división, puede realizarse de manera más fácil que con la forma cartesiana.

4
 Considere dos núneros complejos (a1 + ib1 ), (a2 + ib2 ), tales que, su forma polar está dada por
 
−1 b1
q
f (a1 + i b1 ) = 2 2
z1 = a1 + b1 , θ1 = tan
a1
 
−1 b2
q
f (a2 + i b2 ) = 2 2
z2 = a2 + b2 , θ2 = tan
a2
Esto significa que
a1 = z1 cos θ1 b1 = z1 sinθ1
a2 = z2 cos θ2 b2 = z2 sinθ2
En base a esos resultados se mostrará que
z1 · z2 = (a1 + i b1 ) · (a2 + i b2 ) = (z1 z2 , θ1 + θ2 ) (6)
Notando que
a1 = z1 cos θ1 a2 = z2 cos θ2 b1 = z1 sinθ1 b2 = z2 sinθ2
Considere, primeramente
z1 z2 cos(θ1 + θ2 ) = z1 z2 (cos θ1 cos θ2 − sen θ1 sen θ2 ) = z1 z2 cos θ1 cos θ2 − z1 z2 sen θ1 sen θ2
= z1 cos θ1 z2 cos θ2 − z1 sen θ1 z2 sen θ2 = a1 a2 − b1 b2
Este resultado corresponde con la parte real de la definición de multiplicación de núneros complejos dada por la
ecuación (3).
Considere, finalmente
z1 z2 sen(θ1 + θ2 ) = z1 z2 (sen θ1 cos θ2 + cos θ1 sen θ2 ) = z1 z2 sen θ1 cos θ2 + z1 z2 cos θ1 sen θ2
= z1 sen θ1 z2 cos θ2 + z1 cos θ1 z2 sen θ2 = b1 a2 + a1 b2 = a1 b2 + a2 b1
Este resultado corresponde con la parte imaginaria de la definición de multiplicación de núneros complejos dada por
la ecuación (3).
El conjunto de estos dos resultados muestran que la multiplicación de números complejos en forma polar, dada por
la ecuación (6) es correcta.
Debe notarse que es más simple realizar la multiplicación de números complejos en forma polar que
en forma cartesiana.
Este resultado permite obtener de forma sencilla el inverso de un número complejo en forma polar. Por un lado, la
forma polar del idéntico multiplicativo del campo de los números complejos 1 + i 0 está dado por (1, 0◦ ). Por lo tanto,
el inverso multiplicativo de (z, θ), denotado por (z1 , θ1 ), debe satisfacer la condición
(z, θ) · (z1 , θ1 ) = (1, 0◦ ) = (z1 , θ1 ) · (z, θ)
Entonces, realizando la multiplicación en forma polar, se tiene que
z z1 = 1 θ + θ1 = 0◦
Entonces
1
z1 = θ1 = −θ
z
y, por lo tanto,  
1
z = (z, θ) =
−1 −1
, −θ (7)
z
Empleando, este resultado, se tiene que la división de números complejos, que no es otra cosa que la multiplicación
por el inverso del divisor, está dado por
   
z1 (z1 , θ1 ) 1 z1
= = (z1 , θ1 ) · (z2 , θ2 )−1 = (z1 , θ1 ) · , −θ2 = , θ1 − θ2 (8)
z2 (z2 , θ2 ) z2 z2
Nuevamente, debe notarse que es más simple realizar la división de números complejos en forma
polar que en forma cartesiana.

5
3 Problemas Resueltos.
Problema 1. Considere los siguientes números complejos

z1 = 4 + 3 i z2 = −6 + 8 i z3 = 5 − 12 i z4 = 0 + 2 i

Determine los resultados de las siguientes operaciones: z1 + z2 , z1 − z3 , z1 · z4 , z−1

3 , z2 /z1 .

Solución. Considere, las siguientes operaciones

z1 + z2 = (4 + 3 i) + (−6 + 8 i) = (4 − 6) + (3 + 8) i = −2 + 11 i
z1 − z3 = z1 + (−z3 ) = (4 + 3 i) + [−(5 − 12 i)] = (4 + 3 i) + (−5 + 12 i) = (4 − 5) + (3 + 12) i = −1 + 15 i
z1 · z4 = (4 + 3 i) · (0 + 2 i) = [(4)(0) − (3)(2)] + [(4)(2) + (3)(0)] i = −6 + 8 i
 
5 + 12 i 5 12
z−1
3 = (5 − 12 i)−1 = 2 = + i = 0.029585 + 0.0710059 i
5 + 122 169 169
   
4 − 3i 4 3
z2 /z1 = z2 · z−1
1 = (−6 + 8 i) · (4 + 3 i) −1
= (−6 + 8 i) · = (−6 + 8 i) · − i
42 + 32 25 25
      
4 3 3 4
= −6 +8 + −6 − +8 i = 0 + 2i
25 25 25 25

Problema 2. Considere los números complejos del problema 1, determine las operaciones z1 · z4 , z−1
3 , z2 /z1 en
forma polar. Verifique que estos resultados son correctos.
Solución. Primero se encontrará la forma polar de esos números complejos.
p 3 3
z1 = (4 + 3 i) = ( 42 + 32 , tan−1 ) = (5, tan−1 ) = 5 36.86989◦
4 4
−1 8 8
p
z2 = 2 2
(−6 + 8 i) = ( (−6) + 8 , tan ) = (10, tan−1 ) = 10 126.86989◦
−6 −6
p −12 −12
z3 = (5 − 12 i) = ( 52 + (−12)2 , tan−1 ) = (13, tan−1 ) = 13 −67.380135◦
5 5
p 2 2
z4 = (0 + 2 i) = ( 02 + 22 , tan−1 ) = (2, tan−1 ) = 2 90◦
0 0
Ahora se realizarán las operaciones

z1 · z4 = 5 36.86989◦ · 2 90◦ = 10 126.86989◦ = −5.999999 + 8 i

1
z−1
3 = (13 −67.380135◦ )−1 = 67.380135◦ = 0.029585 + 0.0710059 i
13
1
z2 /z1 = z2 · z−1
1 = (10 126.86989 ) · (5 36.86989 )
◦ ◦ −1
= (10 126.86989◦ ) · ( −36.86989◦ ) = 2 90◦ = 0 + 2 i
5

4 Problemas Propuestos.
Problema 3. Considere los siguientes números complejos

z1 = 4 − 3 i z2 = −2 + 6 i z3 = 5 + 12 i z4 = 5 + 0 i

Determine los resultados de las siguientes operaciones: z1 + z2 , z1 − z3 , z1 · z4 , z−1

3 , z2 /z1 .

Problema 4. Considere los números complejos del problema 3, determine las operaciones z1 · z4 , z−1
3 , z2 /z1 en
forma polar. Verifique que estos resultados son correctos.