Sunteți pe pagina 1din 6

Algebra

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


los numeros complejos, forma polar de numeros complejos.
Jose Mara Rico Martnez
Departamento de Ingeniera Mecanica
Division de Ingenieras, Campus Irapuato-Salamanca
Universidad de Guanajuato
email: jrico@ugto.mx
Estas notas presentan la prueba de que el conjunto de los n
umeros complejos junto con las operaciones de adicion
y multiplicaci
on constituyen un campo. Adem
as, estas notas presentan la forma polar de n
umeros complejos.

El campo de los n
umeros complejos.

Los n
umeros complejos C, definidos como
C = {z = a + ib | a, b R, },

(1)

donde i se denomina la unidad imaginaria y dos n


umeros complejos z1 = a1 + ib1 , z2 = a2 + ib2 C son iguales,
denotado a1 + ib1 = a2 + ib2 , si, s
olo si,
a 1 = a 2 y b1 = b2 ,
junto con las operaciones de adicion
+:CCC

z1 + z2 = (a1 + ib1 ) + (a2 + ib2 ) = (a1 + a2 ) + i(b1 + b2 ),

(2)

z1 z2 = (a1 + ib1 ) (a2 + ib2 ) = (a1 a2 b1 b2 ) + i(a1 b2 + a2 b1 ),

(3)

y multiplicaci
on
:CCC

forman un campo, denominado C. La representaci


on dada por la ecuaci
on (1) se conoce como forma cartesiana de
un n
umero complejo.1
Prueba: A continuacion se presentan las pruebas de los diferentes axiomas, sean (a1 +ib1 ), (a2 +ib2 ), (a3 +ib3 ) C
1. Clausura con respecto a la adici
on. Considere
+:CCC

(a1 + ib1 ) + (a2 + ib2 ) = (a1 + a2 ) + i(b1 + b2 ),

por la clausura de n
umeros reales con respecto a la adicion, la suma de dos reales, (a1 + a2 ) y (b1 + b2 ) es otro
real. Por lo tanto, la suma de dos n
umeros complejos es otro n
umero complejo.
2. Conmutatividad de la adici
on. 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
on de multiplicaci
on es equivalente a considerar a la unidad imaginaria i, como un n
umero real que
satisface la propiedad i2 = 1 y siguiendo las reglas de las operaciones de adici
on y multiplicaci
on en el campo de los n
umeros reales.

3. Asociatividad de la adici
on. 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
entico aditivo. Sea (x + i y) C el identico aditivo del campo, entonces para (a1 + ib1 ) C
arbitrario, se tiene que
(a1 + ib1 ) + (x + i y) = (a1 + ib1 )
entonces de la definicion de igualdad de n
umeros complejos, se tiene que
a1 + x = a1

b1 + y = b 1

por lo tanto, x, y R deben ser el identico aditivo del campo de los n


umeros reales, y
x = y = 0.
Por lo tanto, el identico aditivo del campo de los n
umeros 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 definicion de igualdad de n
umeros complejos, se tiene que
a1 + x = 0

b1 + y = 0

por lo tanto, x, y R deben ser los inversos aditivos en campo de los n


umeros reales, y
x = a1

y = b1 .

Por lo tanto, el inverso aditivo de (a1 + i b1 ) C en el campo de los n


umeros complejos C es (a1 b1 i).
6. Clausura con respecto a la multiplicaci
on. Considere
:CCC

(a1 + ib1 ) (a2 + ib2 ) = (a1 a2 b1 b2 ) + i(a1 b2 + a2 b1 ),

por la clausura de n
umeros reales con respecto a la adicion y a la multiplicaci
on, (a1 a2 b1 b2 ) y (a1 b2 + a2 b1 )
son n
umeros reales. Por lo tanto, la multiplicaci
on de dos n
umeros complejos es otro n
umero complejo.
7. Conmutatividad de la multiplicaci
on. 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
on. 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
entico multiplicativo. Sea (x + i y) C el identico 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 definicion de igualdad de n
umeros complejos, se tiene que
a 1 x b1 y = a 1

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 = 0.

Por lo tanto, el identico multiplicativo del campo de los n


umeros 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 definicion de igualdad de n
umeros complejos, se tiene que
a 1 x b1 y = 0

a 1 y + x b1 = 0

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


x=

a21

a1
+ b21

y=

a21

b1
.
+ b21

Por lo tanto, el inverso multiplicativo de (a1 + i b1 ) C en el campo de los n


umeros complejos C es
(a1 + ib1 )1 =

a1 ib1
a21 + b21

Evidentemente, el inverso multiplicativo no existe para el identico 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 facil 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 facil verificar que los dos resultados coinciden, por lo tanto


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

Forma polar de los n


umeros complejos, multiplicaci
on y divisi
on de
n
umeros complejos.

Es importante notar que los n


umeros complejos tienen otra forma de representaci
on conocida como representaci
on
o forma polar de los n
umeros complejos.
Considere la siguiente funcion


p
b
f :CC
dada por
f (z) = f (a + i b) = z = a2 + b2 , = tan1
(4)
a
donde el calculo del
angulo usa las reglas del crculo trigonometrico y la variable z representa un n
umero real no
negativo. La figura 1 muestra una representaci
on gr
afica de la funcion que permite pasar de la forma cartesiana a la
polar. Es importante notar que en algunas ramas de la ingeniera, en particular la ingeniera electrica, un n
umero
as, el n
umero z se denomina el
complejo en forma polar, (z, ), escrito como z = z , se denomina fasor. Adem
m
odulo y el angulo se denomina el argumento del n
umero complejo z.

Figure 1: Conversion de la forma cartesiana a la forma polar de un n


umero complejo.
De la representaci
on gr
afica dada por la figura 1, es evidente que existe otra funcion
f 1 : C C

dada por

f 1 (z, ) = (z cos , z sen ) = z cos + (z sen ) i

(5)

La funcion dada por la ecuaci


on (5) es la funcion inversa de la funcion dada por la ecuacion (4). De manera que a
cada n
umero complejo en forma cartesiana corresponde una y s
olo una forma polar del mismo n
umero complejo.
Una de las ventajas de la forma polar de los n
umeros complejos es que las operaciones de multiplicaci
on, y por
consiguiente divisi
on, puede realizarse de manera mas f
acil que con la forma cartesiana.
4

Considere dos n
uneros complejos (a1 + ib1 ), (a2 + ib2 ), tales que, su forma polar est
a dada por


q
b1
f (a1 + i b1 ) =
z1 = a21 + b21 , 1 = tan1
a1


q
1 b2
2
2
f (a2 + i b2 ) =
z2 = a2 + b2 , 2 = tan
a2
Esto significa que
a1 = z1 cos 1
a2 = z2 cos 2

b1 = z1 sin1
b2 = z2 sin2

En base a esos resultados se mostrara 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 sin1

b2 = z2 sin2

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 definicion de multiplicaci


on de n
uneros complejos dada por la
ecuacion (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 definicion de multiplicaci


on de n
uneros complejos dada por
la ecuaci
on (3).
El conjunto de estos dos resultados muestran que la multiplicaci
on de n
umeros complejos en forma polar, dada por
la ecuaci
on (6) es correcta.
Debe notarse que es m
as simple realizar la multiplicaci
on de n
umeros complejos en forma polar que
en forma cartesiana.
Este resultado permite obtener de forma sencilla el inverso de un n
umero complejo en forma polar. Por un lado, la
forma polar del identico multiplicativo del campo de los n
umeros complejos 1 + i 0 est
a dado por (1, 0 ). Por lo tanto,
el inverso multiplicativo de (z, ), denotado por (z1 , 1 ), debe satisfacer la condici
on
(z, ) (z1 , 1 ) = (1, 0 ) = (z1 , 1 ) (z, )
Entonces, realizando la multiplicaci
on en forma polar, se tiene que
z z1 = 1
Entonces
z1 =

+ 1 = 0

1
z

1 =

y, por lo tanto,



1
z = (z, ) =
,
(7)
z
Empleando, este resultado, se tiene que la divisi
on de n
umeros complejos, que no es otra cosa que la multiplicaci
on
por el inverso del divisor, est
a dado por
 


z1
z1
(z1 , 1 )
1
(8)
=
= (z1 , 1 ) (z2 , 2 )1 = (z1 , 1 )
, 2 =
, 1 2
z2
(z2 , 2 )
z2
z2
1

Nuevamente, debe notarse que es m


as simple realizar la divisi
on de n
umeros complejos en forma
polar que en forma cartesiana.
5

Problemas Resueltos.

Problema 1. Considere los siguientes n


umeros 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 , z1


3 , z2 /z1 .
Soluci
on. Considere, las siguientes operaciones
z1 + z2
z1 z3

=
=

(4 + 3 i) + (6 + 8 i) = (4 6) + (3 + 8) i = 2 + 11 i
z1 + (z3 ) = (4 + 3 i) + [(5 12 i)] = (4 + 3 i) + (5 + 12 i) = (4 5) + (3 + 12) i = 1 + 15 i

z1 z4

z1
3

z2 /z1

(4 + 3 i) (0 + 2 i) = [(4)(0) (3)(2)] + [(4)(2) + (3)(0)] i = 6 + 8 i




5 + 12 i
12
5
(5 12 i)1 = 2
=
+
i
= 0.029585 + 0.0710059 i
5 + 122
169 169




4 3i
4
3
1
z2 z1
=
(6
+
8
i)

(4
+
3
i)
=
(6
+
8
i)

=
(6
+
8
i)

i
1
42 + 32
25 25
 


 

3
4
3
4
+ 6
+8
i = 0 + 2i
6
+8
25
25
25
25

Problema 2. Considere los n


umeros complejos del problema 1, determine las operaciones z1 z4 , z1
3 , z2 /z1 en
forma polar. Verifique que estos resultados son correctos.
Soluci
on. Primero se encontrar
a la forma polar de esos n
umeros complejos.
z1

z2

z3

z4

p
3
3
42 + 32 , tan1 ) = (5, tan1 ) = 5 36.86989
4
4
p
8
1 8
2
2
) = (10, tan1
) = 10 126.86989
(6 + 8 i) = ( (6) + 8 , tan
6
6
p
12
12
(5 12 i) = ( 52 + (12)2 , tan1
) = (13, tan1
) = 13 67.380135
5
5
p
2
2
(0 + 2 i) = ( 02 + 22 , tan1 ) = (2, tan1 ) = 2 90
0
0
(4 + 3 i) = (

Ahora se realizaran las operaciones

z1 z4

z1
3

z2 /z1

5 36.86989 2 90 = 10 126.86989 = 5.999999 + 8 i


1
(13 67.380135 )1 =
67.380135 = 0.029585 + 0.0710059 i
13

1
= (10 126.86989 ) (
z2 z1
1 = (10 126.86989 ) (5 36.86989 )

1
36.86989 ) = 2 90 = 0 + 2 i
5

Problemas Propuestos.

Problema 3. Considere los siguientes n


umeros 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 , z1


3 , z2 /z1 .
Problema 4. Considere los n
umeros complejos del problema 3, determine las operaciones z1 z4 , z1
3 , z2 /z1 en
forma polar. Verifique que estos resultados son correctos.