Estructuras

Algebraicas
 Trabajo Prctico N 4
Estructuras Algebraicas
1. Determinar en cada caso si el par ( G, * ) es grupo
a) G1 = { x / x = 2k, k Z } ; * es el producto ordinario.
b) G2 = { x / x = 3 k , k N } ; * es la adicin
c) G3 = { 1; -1 } ; * es el producto ordinario

2. Sea A = { x R / x = a + b 2 ; a Z b Z }. Comprobar que A es un anillo

conmutativo y con unidad con la suma y el producto ordinario de nmeros reales.

3. Sea K = { 0, 1 } y la suma y el producto definidos en K, segn las siguientes tablas :

* 0 1 0 1 Probar que estas

operaciones definen sobre
0 0 1 0 0 0 K una estructura de cuerpo.
1 1 0 1 0 1
 4) Completar los siguientes enunciados para que resulten
proposiciones verdaderas :
En R2 = C se define la relacin de equivalencia : (a, b) (c, d)
En R2 = C se define la adicin y la multiplicacin mediante
(a, b) + (c, d) = . . . . . . . .
(a, b) * (c, d) = . . . . . . . .

ii) (C, +) tiene estructura de . . . . . . . (C, *) tiene estructura de . . . . . . .

(C, +, *) tiene estructura de . . . . .

iii) Un complejo es real . . . . . . . .un complejo es imaginario . . . .

iv) En C es : i0 = i1 = i2 = i3 = i4q+r=

v) Si z = (a, b) z = . . .; - z = . . . . ; z -1 = . . . . z1 z2 = . . . . . z1 z2 = . . .
 5) Resolver las ecuaciones siguientes indicando a qu campo numrico
pertenecen las soluciones :
a) x2 1 = 0 b) x2 3 = 0 c) x2 + 1 = 0 d) x2 + 3x + 3=0

3
6) Dados los nmeros complejos : z1 ( 5,3) z2
2i z3 2 4i z4 ( 2, 2)
2
a) Representarlos grficamente c) Expresar z2 y z3 en forma de pares
ordenados
b) Expresar z1 y z4 en forma binmica d) Hallar y representar grficamente z4
e) Calcular y representar grficamente i) z1 z2 ii) z2 2(z2 z1 ) iii) z3 z2 z3 z1
z3 z z1
f) Calcular : i) z1 z2 ii) iii) 3
z4 1
z2
 9) Determinar z tal que : a) 3 z +z = 3 + 5 i b) i z - 2z = - 6 i
c) z + iz = 3 + 5 i

10) Resolver las siguientes ecuaciones en el campo complejo. En todos

los casos z es un nmero complejo ; despejarlo y calcular su valor :
z z 2z 3i
i) (5 2i) z 3 7i ii) (3,5) iii) 6 3i
(3,4) z 2 i

11) Determinar x para que el producto (3 - 6 i) (4 + x i) sea :

a) un nmero real b) un nmero imaginario puro

12) Si B = { 1, 2, 3, 6 } con las operaciones * y

donde * denota mnimo comn mltiplo
y denota mximo comn divisor ;
Analizar si (B, *, ) resulta un modelo de Algebra de Boole, donde los
neutros son respectivamente 1 y 6.
 13) Probar que en un Algebra de Boole las siguientes condiciones son
equivalentes :
i) a b = 0 ii) a * b = b iii) a * b = 1 iv) a b = a

14) Aplicar la propiedad anterior al Algebra de Proposiciones

15) Probar que a, b B : a) (a * b) (a * b) = a b) (a b) * (a b) = a

16) Aplicar la propiedad anterior al Algebra de Conjuntos

 Estructuras Algebraicas
Frecuentemente la primera dificultad que encuentra el alumno en el
estudio de las Estructuras Algebraicas es asimilar la existencia de
operadores como * que expresan operaciones que no tienen porqu ser las
clsicas conocidas de adicin, diferencia, producto, cociente, etc.
Sino que pueden expresar otras formas de
* a b * 0 1
composicin (operaciones definidas por una ley
de variacin que puede o no expresarse en a a b 0 0 1
frmulas)
b b a 1 1 0
Segn la tabla 2, el operador * genera los
siguientes resultados: Tabla 1 Tabla 2

0*0=0 Si G = { 0, 1 }
0*1=1
Notemos que todos los resultados de operar
1*0=1 1*1=0
algn elemento de G con otro elemento del
mismo conjunto (incluso consigo mismo) . . .
Son elementos del mismo conjunto G ( 0 1 ) entonces

* Es una Ley de Composicin interna en G

* se lee asterisco
 Si una operacin * respecto de los elementos de un conjunto G
que se escribe: (G, *), verifica que:

1) G2 G * es una Ley de composicin interna en G

Definida una operacin * si el resultado de operar dos elementos
cualesquiera de G con * es otro elemento de G, hay L.C.I.
1a 1b 1c
2) a, b, c : a, b, c G (a * b) * c = a * (b * c) Asociativa
Definida una operacin * si con tres elementos cualesquiera de G la operacin *
responde a la propiedad asociativa
(G, *) tiene estructura de semi-grupo si adems
3) e G / a : a G a * e = e * a = a Existe Elemento Neutro
Definida una operacin * si en el conjunto G existe al menos un elemento e, que al
operarlo con cualquier otro elemento a de G, resulta el mismo elemento a
4) a : a G, a G / a * a = a * a = e Existe Elemento Inverso
Definida una operacin * si para cada elemento de G existe al menos un elemento a
que al operar con a d como resultado el neutro e

(G, *) tiene estructura de grupo

 Si adems de cumplirse las cuatro condiciones anteriores
- lo que hace a (G,*) Grupo -
5) a, b : a, b G a * b = b * a Conmutativa

(G, *) tiene estructura de grupo abeliano grupo conmutativo

Sea una estructura algebraica definida en un

conjunto G con dos leyes de composicin * y (G, * ) es Anillo si . . .

1) (G, *) es Grupo abeliano

2) (G, ) es semi Grupo

3) es distributivo a izquierda y derecha respecto de *

a, b, c G : a (b * c) = (a b) * (a c)
(b * c) a = (b a) * (c a)

Si la segunda ley de composicin es conmutativa,

(G, * ) es Anillo Conmutativo

 Si (G * ) es Anillo

Y adems posee elemento neutro respecto de

(G * ) es Anillo con Unidad

Un Anillo con unidad cuyos elementos no nulos son inversibles se llama Anillo con divisin

Si un Anillo con divisin es conmutativo, se llama Cuerpo

1) (G, *) es Grupo abeliano

2) (G , ) es Grupo abeliano, salvo que el 0 no es inversible

3) es distributivo respecto de *

Ejemplo: (Z, * ) donde * es la adicin (suma) y es el producto ordinario

No es cuerpo, pues los nicos elementos no nulos que

admiten inverso multiplicativo son 1 y - 1

(R, * ) donde * es la adicin (suma) y es el producto ordinario

Es Cuerpo
 1) a) Si G1 = { x / x = 2k, k Z } ;
Sean k, t Z
* es el producto ordinario
Luego 2(k + t) G1
2k 2t = 2(k + t) Si k, t Z (k + t) Z
Entonces * es L.C.I. En G1
Asociatividad

2k (2t 2s) = 2k 2(t + s) = 2k + ( t + s) = 2( k + t ) + s = 2( k + t ) 2s = (2 k 2 t ) 2s

Existencia de Elemento Neutro Para cada 2k debe existir 2t = e con t Z

2 k e = 2 k 2 t = 2(k+t) = 2 k k+t=k entonces t=0 0Z
Existencia de Elemento Inverso Entonces 2t = 2 0 es un elemento del conjunto G1

Si e = 20 (ya demostrado) 2k x = 20 = 1 2k 2t = 20 k + t = 0

Conmutativa Entonces t = -k lo que es claro que t Z y 2t G1

valindonos de la
2k 2t = 2 (k + t) = 2 ( t + k) = 2 t 2 k
conmutatividad de la suma en Z

(G, * ) es Grupo Abeliano

1 b 1 c
 1) b) Si G2 = { x / x = 3 k , k N } ;
* es la adicin (+)
G2 es un conjunto conformado por todos los naturales mltiplos de 3 ;

. . . entre otros : si k = 1 , x = 3 ; si k = 2 , x = 6 ; k = 3 , x = 9 . . . .
Para k, t N 3k + 3t = 3 (k + t) Pero (k + t) N LCI ok

Asociatividad Debe verificarse que 3 k + ( 3 t + 3 s ) = ( 3 k + 3 t) + 3 s

3 k + ( 3 t + 3 s ) = 3 k + 3 (t + s) = 3 [k + (t + s)] = Se acepta la asociatividad de la

3 [(k + t) + s)] = 3 (k + t) + 3 s = (3 k + 3 t) + 3 s adicin para los nmeros naturales

Existencia de Elemento Neutro en G para * Si existe e (neutro) en G, tendr la

forma e = 2t donde t N
3k+3t=3k si 3t=e

Entonces 3 k + 3 t = 3 (k + t) = 3 k Luego ( k+ t ) = k t=0

Pero 0 N entonces . . .
NO Existe Elemento Neutro en G para *

( G2, * ) No es Grupo
1 c
 1) c) Si G3 = { 1; -1 } ; * es el producto ordinario

Por tratarse de un conjunto finito y con pocos elementos, algunas

condiciones pueden ser analizadas para cada situacin . . .
1 1 = 1 G3 -1 1 = -1 G3 -1 -1 = 1 G3 1 -1 = -1 G3
Se verifica que * es L.C.I. en G3

Podemos admitir que la Asociatividad se hereda de la asociatividad del

producto entre elementos del conjunto de los nmeros enteros

Sabemos que para el producto existe neutro en Z, -1 e = -1 e=1 1 G3

pero debemos verificar que ese neutro G3
1e= 1 e=1 Existe neutro

Analizamos si cada elemento de G3 1x=e=1 x=1 Los elementos

admite inverso en G3 de G3 admiten
-1 x = e = 1 x = -1 inverso

Podemos admitir que la Conmutatividad se hereda de la conmutatividad

del producto entre elementos del conjunto de los nmeros enteros

( G3, * ) es Grupo Abeliano

 2) Sea A = { x R / x a b 2 ; a Z b Z }. Comprobar que
A es un anillo conmutativo y con unidad con la suma y el producto
ordinario de nmeros reales.
a b 2
Supongamos dos elementos cualquiera que
pertenecen al conjunto A; ellos son : c d 2
* es L.C.I.
Analizamos (A, *); en este caso * es la suma, analizamos entonces (A, +) en A
a c Z
( a b 2 ) ( c d 2) ( a c ) ( b d ) 2 con
b d Z
La Asociatividad se hereda de la asociatividad de la suma para los nmeros reales,
porque es evidente que si a, b, c y d son nmeros enteros; R R

Supongamos que existe nulo y es c d 2 entonces + = es nulo

( a b 2 ) ( c d 2) ( a b 2 ) esto es posible para c = 0 y d=0

Lo que prueba la existencia de

c Z d Z A neutro en A para la suma
 Si existe elemento inverso para cada elemento de A

+=0 es inverso de

( a b 2 ) ( c d 2 ) ( 0,0 2 ) ( a c ) ( b 2 d 2 ) ( 0,0 2 )

( a c ) ( b d ) 2 ( 0,0 2 ) Debe ser a+c=0 c=-aZ

b+d=0 d=-bZ
( c d 2 ) ( a b 2 ) A Prueba la existencia de inverso
La Conmutatividad se hereda de la conmutatividad de la suma para los nmeros
reales, porque es evidente que si a, b, c y d son nmeros enteros; R R

Analizamos ahora ( A, ) donde

(A, *) es Grupo Abeliano es el producto ordinario

( a b 2 ) ( c d 2 ) aplicando distributiva ac ad 2 bc 2 bd ( 2 ) 2

( ac 2bd ) ( ad bc ) 2 A porque . . .

ac + 2bd Z ad + bc Z

es LCI en A
 La Asociatividad se hereda de la asociatividad del producto para
los nmeros reales, porque es evidente que si a, b, c y d son nmeros
enteros; R R (de la misma manera se verifica tambin la
conmutativa

(A, ) es Semi Grupo

es doblemente distributivo respecto de *

, , A : ( * ) = ( ) * ( )
( * ) = ( ) * ( )

, , son nmeros reales y sabemos que en el conjunto de los

nmeros reales el producto es distributivo respecto de la suma

( A, *, ) Es Anillo Conmutativo
3) Sea K = { 0, 1 } y la suma y el producto definidos en K, segn las
siguientes tablas :
Probar que estas
operaciones definen sobre
K una estructura de cuerpo.
* 0 1 0 1
sabiendo que * y son asociativas
0 0 1 0 0 0
y es doblemente distributiva respecto de *
1 1 0 1 0 1 Analizamos ( K, * )

De observar la tabla del operador * resulta que todos los resultados posibles son
elementos del conjunto K
0*0=0 0*1=1 1*0=1 1*1=0 * Es L.C.I. en K

Asociativa ; verificamos . . .
(0*1)*0=1*0=1 0*(1*0)=0*1=1
por ejemplo
El 0 es neutro; 0*0=0 y 0*1=1

0*0=0 El inverso para 0 es 0 1*1=0 El inverso para 1 es 1

De analizar la tabla, comprobar tambin que * es conmutativo

( K, * ) Es Grupo Abeliano
 Analizamos ( K {0}, ) 0 1
0 0 0
De observar la tabla del operador resulta
que todos los resultados posibles son 1 0 1
elementos del conjunto K

00=0 01=0 10=0 11=1

L.C.I. de en K
Asociativa ; verificamos . . .
(01)0=00=0 0(10)=00=0
por ejemplo

Existe neutro en K para pues 1 0=0 y 11=1 el neutro es el 1

El inverso para 1 es 1 11=1

De analizar la tabla, comprobar tambin que es conmutativo

( K, ) Es Grupo Abeliano, salvo que el 0 no es inversible

y sabemos que es doblemente distributivo respecto de * por ejemplo . . .

(0*1)0=10=0 (00)*(10)=0*0=0

0(0*1)=00=0 (00)*(01)=0*0=0
( K, *, ) Es Cuerpo
 5

Nmeros Complejos 7 a-d

7 b-c-e i/ii
Sabemos que la solucin de la raz cuadrada de un nmero
7 e iii 7 f i/ii 7 f iii
real negativo no tiene solucin en reales

1 i
9 a 9 b 9 c
donde i es un nmero que llamamos imaginario
10 i 10 i / ii
Recuerde siempre que si 1 i 2
i 1
y no tiene ubicacin en la
Con un binomio formado por una parte real y una parte recta de los nmeros reales
imaginaria, formamos un nmero complejo
z = a + bi
Lo representamos grficamente en un par de ejes cartesianos
Parte imaginaria
Llevando en el eje de las abscisas la parte real
Parte real
Y en el eje de las ordenadas la parte imaginaria
El punto de interseccin de la parte
real con la imaginaria es un punto en el
plano de los complejos

Por otro lado, a cada complejo le est

asociado un vector con inicio en el origen de
coordenadas y extremo en el punto
determinado por el par ordenado (a, b)
 5

Expresado en forma de binomio 7 a-d

Definido el complejo z = a + bi
7 b-c-e i/ii
Podemos pasarlo a la forma de par ordenado, donde la primera
componente es la parte real del complejo 7 e iii 7 f i/ii 7 f iii

Y la segunda componente es la 9 a 9 b 9 c
z = a + bi = ( a, b ) parte imaginaria (se coloca solo el
10 i 10 i / ii
valor de b sin i-)
Si z = a + bi cuya representacin grfica es

definimos el conjugado de z z a bi
como un nmero complejo con la misma parte real que z

y su componente imaginaria es la opuesta de la

componente imaginaria de z
tambin podemos definir el opuesto de z z a bi
como un nmero complejo cuya componente real es el nmero opuesto de la
componente real de z
y su componente imaginaria es el nmero opuesto de la
componente imaginaria de z
z = a + bi z = a - bi -z = -a - bi
5 9
 5

Operaciones con nmeros 7 a-d

complejos 7 b-c-e i/ii

7 e iii 7 f i/ii 7 f iii

Si dos nmeros complejos se presentan en forma de binomio, se
los puede sumar como cualquier binomio 9 a 9 b 9 c

10 i 10 i / ii
z1 a bi z2 c di z1 z2 ( a bi ) ( c di )
sacamos el imaginario i
las partes reales entre s y las partes imaginarias entre s como un factor comn

z1 z2 ( a c ) ( bi di ) ( a c ) ( b d ) i
Si los complejos se presentan en forma de par ordenado z1 ( a , b ) z2 ( c , d )
z1 z 2 ( a , b ) ( c , d )
Se opera de la misma manera, las partes reales
entre s y las partes imaginarias entre s z1 z 2 ( a c , b d )
Si se trata de una diferencia z1 z2 ( a bi ) ( c di )
z1 z2 a bi c di ( a c ) ( b d ) i
z1 z 2 ( a , b ) ( c , d ) ( a c,b d )
5 7 9-10
 5

Grficamente 7 a-d

Sean z1 a bi z2 c di 7 b-c-e i/ii

7 e iii 7 f i/ii 7 f iii

Para sumar grficamente los complejos
9 a 9 b 9 c

1) Una vez representados grficamente los 10 i 10 i / ii

complejos z1 y z2 como ya hemos visto
A los efectos de limpiar el
grfico borramos las
2) Por el extremo de z2 trazo una recta paralela a z1 lneas auxiliares
3) Y por el extremo de z1 trazo una recta paralela a z2
4) Donde se intersectan ambas paralelas se encuentra el extremo de un nuevo vector
que tiene inicio en el origen de coordenadas y representa z1 + z2
5) El valor de abscisa que le corresponde al vector resultante es la parte real del
resultado de la suma de nmeros complejos
6) El valor de la ordenada que le corresponde al vector resultante es la
parte imaginaria del resultado de la suma de nmeros complejos

Obviamente, los resultados por mtodos

analticos y grficos deben coincidir siempre
5 7 9-10
 5

Producto 7 a-d

7 b-c-e i/ii

Sean z1 a bi z2 c di z1 z2 ( a bi ) ( c di ) 7 e iii 7 f i/ii 7 f iii

9 a 9 b 9 c

Se aplica propiedad distributiva como si 10 i 10 i / ii

se tratara de dos binomios cualquiera
z1 z2 a c a di bi c bi di

z1 z2 ac adi bci bdi 2 ac ( ad bc ) i bd ( 1)

El producto (bidi) se resuelve multiplicando bdi i que resulta bdi2

Sacamos como factor comn el imaginario i Recuerde que i2 = - 1

z1 z2 ( ac bd ) ( ad bc ) i
En forma de par ordenado . . .

z1 z2 ( a , b ) ( c , d ) ( ac bd ; ad bc )

5 7 9-10
 Cociente
5

7 a-d

Sean z1 a bi z2 c di z1 ( a bi ) 7 b-c-e i/ii

Para resolver el cociente z2 ( c di ) 7 e iii 7 f i/ii 7 f iii

9 a 9 b 9 c
Siempre se multiplica y se divide la expresin por el conjugado
del denominador 10 i 10 i / ii
2
z1 ( a bi ) ( c di ) ac adi bci bdi ac bd ( ad bc ) i
2 2 2 2 2
z2 ( c di ) ( c di ) c cdi cdi d i c d
Luego se procede como en cualquier Observe que tenemos ahora una diferencia de
producto entre nmeros complejos, cuadrados en el denominador
multiplicando los numeradores entre A esta situacin siempre llegamos porque,
s y los denominadores entre s precisamente para eso es que hemos multiplicado y
dividido la expresin por el conjugado del denominador
De esa manera, en
el denominador
siempre habr un Obteniendo as como resultado del cociente entre
nmero real complejos, otro nmero complejo

( ac bd ) ( ad bc )
z1 z 2 i
c2 d 2 c2 d 2
5 7 9-10
 N complejo

z ; - z; 1/z

5) Completar los siguientes enunciados para que suma-resta

resulten proposiciones verdaderas :

i) En R2 = C se define la relacin de equivalencia : (a, b) = (c, d) a = c b = d producto

En R2 = C se define la adicin y la multiplicacin mediante cociente

(a, b) + (c, d) = (a + c; b + d) (a, b) * (c, d) = (ac - bd; ad + bc) operac. grf.

ii) (C, +) tiene estructura de Grupo Abeliano

(C, *) tiene estructura de cuasi Grupo Abeliano; puesto que (0,0) no es inversible (&)
(C, +, *) tiene estructura de Cuerpo
iii) Un complejo es real su parte imaginaria es 0
un complejo es imaginario su parte real es 0
iv) En C es : i0 = 1 i2 = - 1 i3 = - i i4q+r = i r

v) Si z = (a, b) en forma de binomio z = a + b i

z ( a ; b ) a bi z ( a ; b ) a bi

(&) cuasi Grupo Abeliano es Semi-grupo

conmuitativo con elemento neutro
 N complejo z ; - z; 1/z suma-resta

a b a b a b
z 1 2 ; 2
z 1 2 2
2 2 2 2
2 2
i
a b a b
2 2
a b a b a b a b

z1 z 2 resolvemos primero la suma producto

z1 z2 ( a , b ) ( c , d ) ( a c , b d ) cociente

operac. grf.
Y luego hallamos el conjugado de la suma z1 z2 ( a c ,b d )

En forma de binomio z1 z2 ( a bi ) ( c di ) ( a c ) ( b d ) i
el conjugado de la suma z1 z 2 ( a c ) ( b d ) i

z1 z 2 resolvemos primero el z1 z2 ( a , b ) ( c , d ) ( ac bd , ad cb )
producto

Y luego hallamos el conjugado del producto z1 z2 ( ac bd , ad cb )

En forma de binomio z1 z2 ( a bi ) ( c di ) ( ac bd ) ( bc ad ) i

el conjugado del producto

z1 z2 ( ac bd ) ( bc ad ) i
 6 a) Para resolver x2 1 = 0 despejamos x
Pasamos Y la
x 1 0
2
1 al 2 x 1 2
potencia x 1
miembro como raz

entonces x1 = 1 x2 = - 1 con x1,, x2 Z

b) Para resolver x2 3 = 0 despejamos x

Pasamos Y la
x 3 0
2
3 al 2 x 3 2
potencia x 3
miembro como raz

entonces x1 = 3 x2 = 3 con x1,, x2 I (irracionales)

c) Para resolver x2 + 1 = 0 despejamos x la raz cuadrada de

un nmero negativo
Pasamos Y la
resulta siempre un
x 1 0
2
1 al 2 x 1 2
potencia x 1
imaginario
miembro como raz
entonces x1 = i x2 = - i con x1,, x2 C

6 d
 d) Para resolver x2 + 3x + 3= 0 aplicamos la frmula que
resuelve la ecuacin de
segundo grado
Una ecuacin completa de 2 grado
tiene la forma y la solucin

ax 2 bx c 0
b b 2 4ac
x1 2
2a
En la ecuacin x2 + 3x + 3= 0
3 32 4 1 3 3 9 12
x1 2
a=1 b=3 c=3 21 2

3 3
x1 i
3 3 2 2
x12
2 3 3
x2 i
2 2
con x1,, x2 C
 N complejo

7 a) Dados los nmeros complejos : z ; - z; 1/z

z1 ( 5,3) 3 z3 2 4i suma-resta
z2 2i z4 ( 2, 2)
2
producto
Por el valor real de z1 trazamos una paralela al eje de los imaginarios
cociente
Por el valor imaginario de z1 trazamos una paralela al eje de los reales
operac. grf.
Donde se intersectan ambas paralelas, tenemos
el extremo del vector que representa z1 y tiene
inicio en el origen de coordenadas
z2 y z3 se representan con idntico procedimiento
Para representar grficamente z4
tomamos los valores aproximados de 2

tanto en la parte real como imaginaria

7 d) Para representar z 4 usamos el mismo valor real que para z4

pero a la parte imaginaria le cambiamos el signo
z 4 2 2i
7 b-c-e i/ii 7 e iii 7 f i/ii 7 f iii
 N complejo
7 b) c)
z1 ( 5,3) en forma de binomio es z1 5 3i z ; - z; 1/z

3 3 suma-resta
z2 2i en forma de par ordenado es z2 ( 2 , 2)
2
z3 2 4i en forma de par ordenado es z3 ( 2, 4 )
producto cociente

z4 ( 2, 2) en forma de binomio es z 4 2 2i operac. grf.

3
7 e) Para calcular i) z1 z2 pasamos z1 a la forma de binomio y hallamos z2 2i
2
3 3
z1 z2 ( 5 3i ) ( 2i ) 5 3i 2i agrupando reales por un
2 2 lado e imaginarios por otro
3 7
( 5 ) ( 3 2) i 5i
2 2 resuelvo primero la diferencia
3 de nmeros complejos
ii ) 2( z2 z1 ) 2[( 2i ) ( 5 3i )]
2 para multiplicar un entero
3 13 por un complejo,
2[ 2i 5 3i ] 2( 5i )
2 2 aplicamos distributiva del
entero en el complejo
13
2 ( 2) ( 5i ) 13 10i
2
7 e iii 7 f i/ii 7 f iii
 N complejo

z ; - z; 1/z
iii ) z z2 z3 z1 ( 3 2i ) ( 2 4i ) ( 5 3i )
2 suma-resta
procedemos de igual manera que si hubiera sido la suma de
dos complejos, eliminamos los parntesis aplicando la regla producto cociente
de los signos
3 3 11 operac. grf.
2i 2 4i 5 3i ( 2 5 ) ( 2i 4i 3i ) 9i
2 2 2
3 con z1 y z2
para sumar grficamente z1 z2 ( 5 3i ) ( 2i )
2 representados
3
buscamos z2 2i luego
2
por el extremo de z1 trazo una paralela a z 2
por el extremo de z 2 trazo una paralela a z1
las paralelas se intersectan en el extremo del vector
suma y su inicio est en el origen de coordenadas
buscamos conocer la componente
real del vector resultante,
y la componente imaginaria
3
z1 z 2 5i
2 7 f i/ii 7 f iii
 N complejo
con z1 y z2
Para resolver grficamente 2( z2 z1 ) representados z ; - z; 1/z

suma-resta
buscamos z1 prolongando z1 en sentido opuesto
y trasladando con el comps el extremo de z1 sobre la lnea
prolongada, con centro en el origen de coordenadas encontramos z1
producto cociente operac. grf.
sumamos z2 + (-z1) como hemos visto
prolongamos la recta de accin de
z2 -z1 y borramos la
semicircunferencia auxiliar

y trasladamos con el comps el

extremo de z2 - z1 sobre la lnea
prolongada, con centro en el origen
de coordenadas (por cambio de signo)
con el comps trasladamos una vez
ms sobre la recta la distancia
z2 - z1 ; obteniendo 2(z2 - z1 )
buscamos la componente
real del vector resultante,

y la componente imaginaria
2( z2 z1 ) 13 10i
 con z1 ; z2 y z3
Para resolver grficamente z z2 z3 z1
representados

comenzamos buscando el opuesto de z2 , es decir - z2

luego buscamos z1 y con este resultado buscamos z1

N complejo z ; - z; 1/z suma-resta
ahora tenemos los complejos z2 ; z3 y z1
producto cociente operac. grf.
representados por sus respectivos vectores

solo nos queda efectuar la suma de todos ellos

( z2 ) z3 ( z1 )

lo que hacemos trasladando z3 a continuacin de z2

z1 a continuacin del z3 que sigue a - z2
uniendo el extremo de la acumulacin de
segmentos con el origen de coordenadas
tenemos el resultado que buscamos

z2 z3 z1 11 9i
2
 Para calcular z1 z2 lo realizamos como si se tratara N complejo
del producto de dos binomios; con la nica salvedad
z ; - z; 1/z
que debemos considerar el producto de nmeros
imaginarios suma-resta

3
z1 z2 ( 5 3i ) ( 2i ) producto cociente operac. grf.
2
3 3 15 9
z 1 z 2 5 ( 5 ) ( 2i ) ( 3i ) 3i ( 2i ) 2
10i i 6i
2 2 2 2
15 9 3 29
( 6) ( 10 ) i i que resolvemos como
2 2 2 2
cociente de fracciones,
z3 efectuando el producto
z3 z3
ii ) podemos pensar como 1 de los extremos sobre el
z 4 1 1 1 producto de los medios
z4 z4
z3 z 4 ( 2 4i ) ( 2 2i ) 2
2 2 2 2i 4 2i 4 2i
11
(- 1)
z3
1 2 2 6 2i
( z4 )

7 f iii
 N complejo

z3 z1 ( 2 4i ) ( 5 3i ) 2 4i 5 3i ) z ; - z; 1/z
iii )
z2 3 3
( 2i ) ( 2i ) suma-resta
2 2
operamos en el efectuamos el cociente, multiplicando y producto cociente
numerador dividiendo por el conjugado del denominador operac. grf.

3 21 21 2 operamos en el
2i 14i i 14i
7 7i 7 7i 2 2 2 numerador y en el

3 3 3 3
2
denominador
( 2i ) 2i 2i ( 2i )
2

2 2 2 2 recuerde que i2 = - 1

21 21 49 7 49 7 49 7 2 2
14i i 14 i i i
2 2 2 2 2 2 49 4 7 4 i
2 2 9

25
25 25 2 25 2 25
9 2
4
4i 4 4
4 4 4

z 3 z1 98 14 fraccin de fraccin: es igual al

i producto de los extremos sobre
z2 25 25 el producto de los medios
8) Si f(x) x2 2x 1 para f(2 i)
calcular
g(x) x2 x g(1 i)

(2+i) toma el lugar

f(x) = (2+i)2 - 2 (2 + i) + 1
de x en f(x)

(1+i) toma el lugar g(x) = (1+i)2 + (1 + i)

de x en g(x)
2
entonces f(2 i) ( 2 i ) 2( 2 i ) 1 operando resulta . . .

g(1 i) ( 1 i )2 ( 1 i )

(4 4i i 2 ) (4 2i ) 1 4 4i i 2 4 2i 1

(1 2i i 2 ) (1 i ) 1 2i i 1 i
2

2i 1 1 2i 3 1 recuerde ( a + b )2 = a2 + 2ab + b2
i
1 2i 1 1 i 1 3i 5 5 recuerde i2 = - 1
 N complejo
9) a) Para hallar z tal que : 3z z 3 5i
z ; - z; 1/z

Si z a bi z a bi entonces . . .
suma-resta

producto
3z z 3 5i puede escribirse 3( a bi ) ( a bi ) 3 5i
cociente

resolvemos 3a 3bi a bi 3 5i Agrupamos reales e

operac. grf.

imaginarios en el 1 miembro

( 3a a ) ( 3b b ) i 3 5i que resulta ser . . .

Para que se verifique la igualdad, deben ser idnticas las

4a 2bi 3 5i partes reales e imaginarias del primero y segundo miembro

3 5 entonces . . .
4a 3 2b 5 a b
4 2
3 5
z i
tengamos presente que no podremos resolver
4 2
esta ecuacin despejando z
9 b 9 c
 N complejo

9 b) Para hallar z tal que : i z 2z 6i z ; - z; 1/z

Si z a bi z a bi entonces . . .
suma-resta

i z 2z 6i puede escribirse i ( a bi ) 2( a bi ) 6i
producto
resolvemos
2
ai bi 2a 2bi 6i Agrupamos reales e
cociente
imaginarios en el 1 miembro
teniendo presente que operac. grf.
ai b( 1) 2a 2bi 6i i 2 1
Para que se verifique la igualdad, deben ser
( 2a b ) ( a 2b ) i 6i idnticas las partes reales e imaginarias del
primero y segundo miembro
2a b 0 a 2b 6 2a b 0
(1) Podemos componer un
sistema de dos ecuaciones
que resolvemos por sustitucin a 2b 6
(2) con dos incgnitas

de (1) b 2a reemplazando (1) en (2) a 2( 2a ) 6

3a 6 6 a 2 reemplazando a = 2
entonces a
3 en (1)
2 2 b 0 entonces b 4
9 c
 N complejo

9 c) Para hallar z tal que : z ; - z; 1/z

z i z 3 5i
Si z a bi z a bi entonces . . .
suma-resta

z i z 3 5i puede escribirse ( a bi ) i ( a bi ) 3 5i
producto

resolvemos
2
a bi ai bi 3 5i agrupamos reales e cociente
imaginarios en el 1 miembro
operac. grf.
a bi ai b( 1) 3 5i tenga presente que i 2 1

a bi ai b 3 5i Para que se verifique la igualdad, deben ser

idnticas las partes reales e imaginarias del
( a b ) ( a b ) i 3 5i primero y segundo miembro

a b 3 Podemos componer un sistema

a b 3 a b 5 de dos ecuaciones con dos
a b 5 incgnitas

intuimos que este sistema de dos ecuaciones con dos

incgnitas no tiene solucin, porque la suma de dos
nmeros cualesquiera, no pueden tener resultados
diferentes
 10 i) la ecuacin ( 5 2i ) z 3 7i puede resolverse
despejando z
as : 3 7i resolvemos como
z cociente de nmeros
5 2i complejos
N complejo
3 7i 3 7i 5 2i
multiplicamos y dividimos la expresin z
5 2i 5 2i 5 2i z ; - z; 1/z
por el conjugado del denominador
2 suma-resta
aplicando propiedad distributiva en el numerador y 15 6i 35i 14i
diferencia de cuadrados en el denominador 52 ( 2i ) 2 producto

tambin podra haberse aplicado 15 6i 35i 14( 1) cociente

distributiva en el denominador y 25 4i
2
operac. grf.
hubiramos tenido el mismo resultado
1 41i 1 41
i
operamos sabiendo que i2 = -1 29 29 29 verificamos . . .

1 41 1 41i 2
( 5 2i )( i ) ( 5 2i )( ) 5 205i 2i 82i

29 29 29 29
3 7
87 203i 87 203i 3 7i

29 29 29
10 ii/iii
 N complejo
z puede resolverse
ii ) ( 3, 5 ) despejando z, porque z ; - z; 1/z
( 3, 4 )
en ella no aparece z suma-resta

as : z ( 3,5) ( 3,4 )

z ( 9 ( 20);12 ( 5) 3) ( 29,3) producto

no debe ser muy diferente cociente

z 2z 3i de lo realizado hasta ahora
iii) resolver 6 3i operac. grf.
z 2 i
2z 3i Pasamos 1 al 2z 3i y resolvemos el segundo
1 6 3i 6 3i 1 miembro antes de pasar
2i 2 miembro 2i
multiplicando el
denominador del primer
2z 3i 2z 3i ( 7 3i )( 2 i ) trmino
7 3i
2i resolvemos nuevamente el
2 miembro
2z 3i 14 7i 6i 3i 2 11 13i
y ahora despejamos z
2z 3i 11 13i 2z 11 13i 3i

11
2z 11 10i z 5i
2
 11) a) Si el producto (3 - 6 i) (4 + x i) debe ser un nmero real

La parte imaginaria del resultado del producto (3 - 6 i) (4 + x i)

debe ser igual a 0

( 3 6i ) ( 4 xi ) ( 12 3xi 24i 6xi 2 )

as, agrupando reales por un lado e
( 12 3xi 24i 6x ( 1)) imaginarios por otro, tendremos . . .

( 12 6x ) ( 3xi 24i ) ( 12 6x ) ( 3x 24) i se distingue en la

expresin claramente una
parte real
Si la parte imaginaria debe ser 0, tendremos . . .
y una parte imaginaria
24 8
3x 24 0 entonces . . . x 8
3
Si el resultado del producto (3 - 6 i) (4 + x i) debe ser un imaginario puro

la parte real debe ser 0, tendremos . . . ( 12 6x ) 0

2
12
entonces . . . x 2
6
 Algebra de Boole
Decimos ( B, * ) es Algebra de Boole si

para un conjunto B y dos operaciones * y

12 13

1) * y son dos leyes de composicin interna en B

2) * y son operaciones conmutativas
3) * y son operaciones asociativas en B
4) * y son operaciones distributivas cada una respecto de la otra

5) Existen elementos neutros en B respecto de * y que se denotan como 0 y 1

6) Todo elemento a B admite un complementario a, tal que :

a * a = 1 y a a = 0

Tenga muy presente que 0 y 1 en Algebra de Boole son simples

denominaciones del neutro respecto de * (0) y respecto de (1)
( no guardan ninguna relacin con los valores que representan
normalmente)

12 13
 12) Si B = { 1, 2, 3, 6 } con las operaciones * y
donde * denota mnimo comn mltiplo
y denota mximo comn divisor
confeccionamos las tablas respectivas para cada una de las operaciones
m.c.m. m.c.d.
* 1 2 3 6 1 2 3 6
1 1 2 3 6 1 1 1 1 1
2 2 2 6 6 2 1 2 1 2
3 3 6 3 6 3 1 1 3 3
6 6 6 6 6 6 1 2 3 6

Todos los resultados de cualquiera de las dos tabla son elementos del conjunto B

Entonces * y son leyes de composicin interna en B

* y son conmutativas porque definen relaciones conmutativas

m.c.m. de a y b = m.c.m. de b y a
m.c.d. de a y b = m.c.d. de b y a
 m.c.m. m.c.d.
* 1 2 3 6 1 2 3 6
1 1 2 3 6 1 1 1 1 1
2 2 2 6 6 2 1 2 1 2
3 3 6 3 6 3 1 1 3 3
6 6 6 6 6 6 1 2 3 6

Ejemplos donde se verifica la asociatividad de * y de

(2*3)*6=6*6=6 2*(3*6)=2*6=6
(62)1=21=1 6(21)=61=1

Ejemplos donde se verifica la distributividad de respecto de * y viceversa

(2*3)1=61=1 se verifica con (21)*(31)=1*1=1
(23)*1=1*1=1 se verifica con (2*1) (3*1)=2*3=1
 m.c.m. m.c.d.
* 1 2 3 6 1 2 3 6
1 1 2 3 6 1 1 1 1 1
2 2 2 6 6 2 1 2 1 2
3 3 6 3 6 3 1 1 3 3
6 6 6 6 6 6 1 2 3 6

Analizamos la existencia de neutro en B para los operadores * y

Si existe neutro en B para el operador * ser un elemento e tal que

x * e = x para cualquier x B esto se verifica para e = 1

Decimos entonces que el cero para la operacin * es el elemento 1 del conjunto B

Si existe neutro en B para el operador ser un elemento e tal que

x e = x para cualquier x B esto se verifica para e = 6

Decimos entonces que el uno para la operacin es el elemento 6

 m.c.m. m.c.d.
* 1 2 3 6 1 2 3 6
1 1 2 3 6 1 1 1 1 1
2 2 2 6 6 2 1 2 1 2
3 3 6 3 6 3 1 1 3 3
6 6 6 6 6 6 1 2 3 6
Nos queda analizar la existencia de complementario para * y
Si existe complementario para * debe verificarse que a B, a B : a * a= 1
Para todo elemento a que pertenece al conjunto B existe un elemento a
que tambin pertenece al conjunto B que verifica la condicin a * a= 1 donde 1 es el neutro de

el 1 de es el elemento 6 del conjunto B, verificamos respecto de * el complemento de

1*6=6 6B ok a=1 es a = 6
2*3=6 6 B ok a=2 es a = 3
3*2=6 6 B ok a=3 es a = 2
6*1=6 6B ok a=6 es a = 1
 m.c.m. m.c.d.
* 1 2 3 6 1 2 3 6
1 1 2 3 6 1 1 1 1 1
2 2 2 6 6 2 1 2 1 2
3 3 6 3 6 3 1 1 3 3
6 6 6 6 6 6 1 2 3 6
Finalmente analizamos la existencia de complementario para
Si existe complementario para debe verificarse que a B, a B : a a= 0

si el 0 de * es el elemento 1del conjunto B, verificamos respecto de el complemento de

16=1 6B ok a=1 es a = 6
23=1 3B ok a=2 es a = 3
a=3 es a = 2
32=1 2B ok
a=6 es a = 1
61=1 1B ok

(B,*, ) Es Algebra de Boole

13) Probar que en un Algebra de Boole las siguientes condiciones son
equivalentes :
1) a b = 0 2) a * b = b 3) a * b = 1 4) a b = a

probamos (2) a partir de (1) entonces:

a * b = (a * b) 1 porque 1 es neutro para b * b= 1

(a * b) 1 = (a * b) (b * b) por propiedad distributiva extraemos b

(a * b) (b * b) = b * (a b) suponiendo vlida la primera condicin a b = 0

b * (a b) = b * 0 = b por ser 0 el neutro de * queda probado que a * b = b

Probamos ahora (3) a partir de (2) entonces:
Si a * b = a * ( a * b) dando por vlido lo que acabamos de probar
a * ( a * b) = ( a * a ) * b por asociatividad, que debe cumplir un Algebra de Boole
( a * a ) * b = 1 * b por complementario a * a= 1

1*b=(1*b)1 por ser 1 neutro para

( 1 * b ) ( b * b ) = ( 1 b ) * b = b * b = 1

luego a* b = 1
Probamos ahora (4) a b = a a partir de (3) a*b = 1 entonces:

a b = (a b) * 0 porque 0 es neutro para *

(a b) * 0 = (a b) * (a a) porque a a = 0

(a b) * (a a) = a (b*a) por ser distrubutivo en *

a (b * a) = a 1 porque qued probado (3) a*b = 1 con * conmutativo

a1=a porque 1 es neutro para queda probado que a b = a

Probamos ahora (1) a b a partir de (4) a b=a cerrando la cadena, entonces:

a b = (a b) b suponiendo vlido lo que acabamos de probar a b = a
(a b) b = a ( b b ) por asociatividad

a ( b b ) = a 0 por complementario b b= 0
a0=(a0)*0 por ser 0 el neutro de *

( a 0 ) * 0 = ( a 0 ) * (a a) = a (0 * a) 0 * a = a por ser 0 neutro

para *
a (0 * a) = a a = 0 luego a b = 0
 14) Aplicar la propiedad anterior al Algebra de Proposiciones

establecemos las siguientes equivalencias:

* equivale a 0 equivale a F
equivale a 1 equivale a V a equivale a p

1) a b = 0 ser p q F 2) a * b = b ser p q q
3) a * b = 1 ser p q V 4) a b = a ser p q p

Le queda a Ud comprobar que cualquiera de ellas se cumple suponiendo verdadera

alguna otra, aplicando los contenidos del tema 1 (lgica de proposiciones)

15) a) Probamos que (a * b) (a * b) = a a * (b b) = a * 0 = a

Aplicando distributiva y sabiendo que 0 es neutro de *; por tanto b b = 0

b) Probamos que (a b) * (a b) = a a (b * b) = a1=a

Aplicando distributiva y sabiendo que 1 es neutro de *; por tanto b * b = 1

Observamos adems que esto es vlido
por el principio de dualidad, dado que ste
caso es el dual del punto a)
 16) Aplicar la propiedad anterior al Algebra de Conjuntos

establecemos las siguientes equivalencias:

* equivale a 0 equivale a
equivale a 1 equivale a U a equivale a A= A
(a * b) (a * b) = a equivale a (A B) (A B) = A ( B B ) = A = A

(a b) * (a b) = a equivale a (A B) (A B) = A ( B B ) = A U = A

Es posible que algo haya quedado sin entenderse, te sugiero que vuelvas a repasar,
que resuelvas los ejercicios complementarios y otros de los que dispongas
pero JAMAS TE DESANIMES, no dejes
que los fantasmas te persigan . . .
Las cosas que acabarn con la
raza humana son: la poltica sin
principios, el progreso sin
compasin, la riqueza sin
esfuerzo, la erudiccin sin
silencio, la religin sin riesgo y
el culto sin conciencia
(Annimo)