Estructuras

Algebraicas
Trabajo Prctico N 4
Estructuras Algebraicas
1. Determinar en cada caso si el par ( G, * ) es grupo
a) G
1
= { x / x = 2
k
, k e Z } ; * es el producto ordinario.
b) G
2
= { x / x = 3 k , k e N } ; * es la adicin
c) G
3
= { 1; -1 } ; * es el producto ordinario
2. Sea A = { x e R / x = a + b ; a e Z . b e Z }. Comprobar que A es un anillo
conmutativo y con unidad con la suma y el producto ordinario de nmeros reales.
2
3. Sea K = { 0, 1 } y la suma y el producto definidos en K, segn las siguientes tablas :
* 0 1
0 0 1
1 1 0
- 0 1
0 0 0
1 0 1
Probar que estas
operaciones definen sobre
K una estructura de cuerpo.
4) Completar los siguientes enunciados para que resulten
proposiciones verdaderas :
En R
2
= C se define la relacin de equivalencia : (a, b) ~ (c, d)
En R
2
= C se define la adicin y la multiplicacin mediante
(a, b) + (c, d) = . . . . . . . .
(a, b) * (c, d) = . . . . . . . .
2 1
z z +
2 1
z z
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 : i
0
= i
1
= i
2
= i
3
= i
4q+r
=
v) Si z = (a, b) = . . .; - z = . . . . ; z
-1
= . . . . = . . . . . = . . .
z
5) Resolver las ecuaciones siguientes indicando a qu campo numrico
pertenecen las soluciones :
a) x
2
1 = 0 b) x
2
3 = 0 c) x
2
+ 1 = 0 d) x
2
+ 3x + 3=0
6) Dados los nmeros complejos : i 2
2
3
z
2
=
) 3 , 5 ( z
1
= i 4 2 z
3
+ =
) 2 , 2 ( z
4
=
a) Representarlos grficamente c) Expresar z
2
y z
3
en forma de pares
ordenados
b) Expresar z
1
y z
4
en forma binmica d) Hallar y representar grficamente z
4

e) Calcular y representar grficamente
2 1
z z ) i + ) z z ( 2 z ) ii
1 2 2
=
1 3 2 3
z z z z ) iii + =
f) Calcular :
2 1
z z ) i
( )
1
4
3
z
z
) ii

2
1 3
z
z z
) iii

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 :
i 7 3 z ) i 2 5 ( ) i = + ) 5 , 3 (
) 4 , 3 (
z
) ii = i 3 6
i 2
i 3 z 2
z
z
) iii =

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 e 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
composicin (operaciones definidas por una ley
de variacin que puede o no expresarse en
frmulas)
* a b
a a b
b b a
* 0 1
0 0 1
1 1 0
Tabla 1 Tabla 2
Segn la tabla 2, el operador * genera los
siguientes resultados:
0 * 0 = 0
Si G = { 0, 1 }
Notemos que todos los resultados de operar
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
1 * 0 = 1
0 * 1 = 1
1 * 1 = 0
* se lee asterisco
Si una operacin * respecto de los elementos de un conjunto G
que se escribe: (G, *), verifica que:
1) G
2
G * es una Ley de composicin interna en G
2) a, b, c : a, b, c e G (a * b) * c = a * (b * c) Asociativa
Definida una operacin * si el resultado de operar dos elementos
cualesquiera de G con * es otro elemento de G, hay L.C.I.
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 e G / a : a e 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 e G, -a e 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
1a 1b 1c
Si adems de cumplirse las cuatro condiciones anteriores
- lo que hace a (G,*) Grupo -
5) a, b : a, b e 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 e 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 G
1
= { x / x = 2
k
, k e Z } ;
* es el producto ordinario
Sean k, t e Z
2
k
2
t
= 2
(k + t)

Si k, t e Z (k + t) e Z
Luego 2
(k + t)
e G
1

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

2
s
= (2
k
2
t
)

2
s
Asociatividad
2
k
e = 2
k
2
t
= 2
( k + t )
= 2
k
Existencia de Elemento Neutro
Para cada 2
k
debe existir 2
t
= e con t e Z
Entonces 2
t
= 2
0
es un elemento del conjunto G
1

Existencia de Elemento Inverso
Si e = 2
0
(ya demostrado)
2
k
x = 2
0
= 1
2
k
2
t
= 2
0
k + t = 0
Entonces t = -k lo que es claro que t e Z y 2
t
e G
1

Conmutativa
2
k
2
t
= 2
(k

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

valindonos de la
conmutatividad de la suma en Z
(G, * ) es Grupo Abeliano
k + t = k entonces t = 0 0 e Z
1 c 1 b
Entonces * es L.C.I. En G
1

1) b) Si G
2
= { x / x = 3 k , k e N } ;
* es la adicin (+)
G
2
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 e N 3k + 3t = 3 (k + t) Pero (k + t) e 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)] =
3 [(k + t) + s)] = 3 (k + t) + 3 s = (3 k + 3 t) + 3 s
Se acepta la asociatividad de la
adicin para los nmeros naturales
Existencia de Elemento Neutro en G para * Si existe e (neutro) en G, tendr la
forma e = 2
t
donde t e N
3 k + 3 t = 3 k si 3 t = e
Entonces 3 k + 3 t = 3 (k + t) = 3 k
Luego ( k+ t ) = k t = 0
Pero 0 e N entonces . . .
NO Existe Elemento Neutro en G para *
( G
2
, * ) No es Grupo
1 c
1) c) Si G
3
= { 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 e G
3
-1 1 = -1 e G
3
-1 -1 = 1 e G
3
1 -1 = -1 e G
3
Se verifica que * es L.C.I. en G
3

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,
pero debemos verificar que ese neutro e G
3

-1 e = -1 e = 1
1 e = 1 e = 1
1 e G
3
Existe neutro
Analizamos si cada elemento de G
3

admite inverso en G
3

1 x = e = 1 x = 1
-1 x = e = 1 x = -1
Los elementos
de G
3
admiten
inverso
Podemos admitir que la Conmutatividad se hereda de la conmutatividad
del producto entre elementos del conjunto de los nmeros enteros
( G
3
, * ) es Grupo Abeliano
2) Sea A = { x e R / ; a e Z . b e Z }. Comprobar que
A es un anillo conmutativo y con unidad con la suma y el producto
ordinario de nmeros reales.
Supongamos dos elementos cualquiera que
pertenecen al conjunto A; ellos son :
2 b a + = o
2 d c + = |
2 b a x + =
Analizamos (A, *); en este caso * es la suma, analizamos entonces (A, +)
= + + + = + ) d c ( ) b a ( 2 2 | o 2 ) d b ( ) c a ( + + + con
Z c a e +
Z d b e +
* es L.C.I.
en A
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; o eR . | e R
Supongamos que existe nulo y es |
2 d c + = |
entonces o + | = o | es nulo
) b a ( ) d c ( ) b a ( 2 2 2 + = + + + = + | o
esto es posible para c = 0 y d = 0
c e Z . d e Z | e A
Lo que prueba la existencia de
neutro en A para la suma
Si existe elemento inverso para cada elemento de A
o + | = 0 | es inverso de o
) , ( ) d c ( ) b a ( 2 0 0 2 2 = + + + ) , ( ) d b ( ) c a ( 2 0 0 2 2 = + + +
) , ( ) d b ( ) c a ( 2 0 0 2 = + + +
Debe ser a + c = 0 c = - a e Z
b + d = 0 d = - b e Z
A ) b a ( ) d c ( e = + = 2 2 |
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; o e R . | e R
(A, *) es Grupo Abeliano
Analizamos ahora ( A, - ) donde
- es el producto ordinario
= + + = ) d c ( ) b a ( 2 2 | o = + + + =
2
2 2 2 ) ( bd bc ad ac
aplicando distributiva
2 2 ) bc ad ( ) bd ac ( + + + = A e
- es LCI en A
porque . . .
ac + 2bd e Z . ad + bc e Z
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; o eR . | e R (de la misma manera se verifica tambin la
conmutativa
(A, -) es Semi Grupo
- es doblemente distributivo respecto de *
o, |, o e A : o - ( | * o ) = (o - |) * (o - o)
( | * o ) - o = (| - o) * (o - o)
o, |, o 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 :
* 0 1
0 0 1
1 1 0
- 0 1
0 0 0
1 0 1
Probar que estas
operaciones definen sobre
K una estructura de cuerpo.
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 . . .
por ejemplo
( 0 * 1 ) * 0 = 1 * 0 = 1 0 * ( 1 * 0 ) = 0 * 1 = 1
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
sabiendo que * y - son asociativas
y - es doblemente distributiva respecto de *
Analizamos ( K {0}, - )
- 0 1
0 0 0
1 0 1
De observar la tabla del operador - resulta
que todos los resultados posibles son
elementos del conjunto K
Asociativa ; verificamos . . .
por ejemplo
( 0 - 1 ) - 0 = 0 - 0 = 0 0 - ( 1 - 0 ) = 0 - 0 = 0
Existe neutro en K para - pues 1 - 0 = 0 y 1 - 1 = 1 el neutro es el 1
El inverso para 1 es 1 1 - 1 = 1
( K, - ) Es Grupo Abeliano, salvo que el 0 no es inversible
0 - 0 = 0 0 - 1 = 0 1 - 0 = 0 1 - 1 = 1
L.C.I. de - en K
De analizar la tabla, comprobar tambin que - es conmutativo
y sabemos que - es doblemente distributivo respecto de *
por ejemplo . . .
( K, *, - ) Es Cuerpo
( 0 * 1 ) - 0 = 1 - 0 = 0 ( 0 - 0 ) * ( 1 - 0 ) = 0 * 0 = 0
0 - ( 0 * 1 ) = 0 - 0 = 0 ( 0 - 0 ) * ( 0 - 1 ) = 0 * 0 = 0
Nmeros Complejos
Sabemos que la solucin de la raz cuadrada de un nmero
real negativo no tiene solucin en reales
i = 1 donde i es un nmero que llamamos imaginario
y no tiene ubicacin en la
recta de los nmeros reales
Recuerde siempre que si
1 1
2
= = i i
Con un binomio formado por una parte real y una parte
imaginaria, formamos un nmero complejo
z = a + bi
Parte real
Parte imaginaria
Lo representamos grficamente en un par de ejes cartesianos
Llevando en el eje de las abscisas la 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
9 a
7 a-d
7 b-c-e i/ii
7 e iii 7 f i/ii 7 f iii
9 b 9 c
10 i 10 i / ii
Definido el complejo z = a + bi
Expresado en forma de binomio
Podemos pasarlo a la forma de par ordenado, donde la primera
componente es la parte real del complejo
z = a + bi = ( a,
Y la segunda componente es la
parte imaginaria (se coloca solo el
valor de b sin i-)
b )
Si z = a + bi cuya representacin grfica es
definimos el conjugado de z
bi a z =
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
bi a z =
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
9 a
7 a-d
7 b-c-e i/ii
7 e iii 7 f i/ii 7 f iii
9 b 9 c
10 i 10 i / ii
Operaciones con nmeros
complejos
Si dos nmeros complejos se presentan en forma de binomio, se
los puede sumar como cualquier binomio
bi a z + =
1
di c z + =
2
= + + + = + ) di c ( ) bi a ( z z
2 1
las partes reales entre s y las partes imaginarias entre s
= + + + = + ) di bi ( ) c a ( z z
2 1
sacamos el imaginario i
como un factor comn
i ) d b ( ) c a ( + + +
Si los complejos se presentan en forma de par ordenado
) b , a ( z =
1
) d , c ( z =
2
Se opera de la misma manera, las partes reales
entre s y las partes imaginarias entre s
= + = + ) d , c ( ) b , a ( z z
2 1
) d b , c a ( z z + + = +
2 1
Si se trata de una diferencia
= + + = ) di c ( ) bi a ( z z
2 1
= + = di c bi a z z
2 1
i ) d b ( ) c a ( +
= = ) d , c ( ) b , a ( z z
2 1
) d b , c a (
5 7 9-10
5
9 a
7 a-d
7 b-c-e i/ii
7 e iii 7 f i/ii 7 f iii
9 b 9 c
10 i 10 i / ii
Grficamente
Sean
bi a z + =
1
di c z + =
2
Para sumar grficamente los complejos
1) Una vez representados grficamente los
complejos z
1
y z
2
como ya hemos visto
A los efectos de limpiar el
grfico borramos las
lneas auxiliares
2) Por el extremo de z
2
trazo una recta paralela a z
1

3) Y por el extremo de z
1
trazo una recta paralela a z
2

4) Donde se intersectan ambas paralelas se encuentra el extremo de un nuevo vector
que tiene inicio en el origen de coordenadas
y representa z
1
+ z
2

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
9 a
7 a-d
7 b-c-e i/ii
7 e iii 7 f i/ii 7 f iii
9 b 9 c
10 i 10 i / ii
Producto
bi a z + =
1
di c z + =
2
) di c ( ) bi a ( z z + + =
2 1
Sean
Se aplica propiedad distributiva como si
se tratara de dos binomios cualquiera
+ = c a z z
2 1
+ di a + c bi
= di bi
+ = ac z z
2 1
+ adi + bci
=
2
bdi
= + + + ) ( bd i ) bc ad ( ac 1
i ) bc ad ( ) bd ac ( z z + + =
2 1
El producto (bidi) se resuelve multiplicando bdi i que resulta bdi
2

Sacamos como factor comn el imaginario i Recuerde que i
2
= - 1
= = ) d , c ( ) b , a ( z z
2 1
En forma de par ordenado . . .
) bc ad ; bd ac ( +
5 7 9-10
5
9 a
7 a-d
7 b-c-e i/ii
7 e iii 7 f i/ii 7 f iii
9 b 9 c
10 i 10 i / ii
Cociente
bi a z + =
1
di c z + =
2
Sean
Para resolver el cociente
=
+
+
=
) di c (
) bi a (
z
z
2
1
Siempre se multiplica y se divide la expresin por el conjugado
del denominador
=

+
+
=
) di c (
) di c (
) di c (
) bi a (
z
z
2
1
Luego se procede como en cualquier
producto entre nmeros complejos,
multiplicando los numeradores entre
s y los denominadores entre s
=
+

2 2 2
2
i d cdi cdi c
bdi bci adi ac
Observe que tenemos ahora una diferencia de
cuadrados en el denominador
A esta situacin siempre llegamos porque,
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
nmero real
=
+
+
2 2
d c
i ) bc ad ( bd ac
Obteniendo as como resultado del cociente entre
complejos, otro nmero complejo
i
d c
) bc ad (
d c
) bd ac (
z z
2 2 2 2 2 1
+

+
+
=
5 7 9-10
5
9 a
7 a-d
7 b-c-e i/ii
7 e iii 7 f i/ii 7 f iii
9 b 9 c
10 i 10 i / ii
en forma de binomio z = a + b i
bi a ) b ; a ( z = =
bi a ) b ; a ( z = =
5) Completar los siguientes enunciados para que
resulten proposiciones verdaderas :
i) En R
2
= C se define la relacin de equivalencia : (a, b) = (c, d)
a = c . b = d
En R
2
= C se define la adicin y la multiplicacin mediante
(a, b) + (c, d) = (a + c; b + d) (a, b) * (c, d) =
(ac - bd; ad + bc)
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 : i
0
=
1
i
2
= - 1 i
3
= - i
i
4q+r
= i
r
v) Si z = (a, b)
N complejo
z ; - z; 1/z
producto
cociente
suma-resta
operac. grf.
(&) cuasi Grupo Abeliano es Semi-grupo
conmuitativo con elemento neutro
|
.
|

\
|
+

+
=

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

+
=
|
.
|

\
|
+

+
+
=

= +
2 1
z z resolvemos primero la suma
) d b , c a ( ) d , c ( ) b , a ( z z + + = + = +
2 1
Y luego hallamos el conjugado de la suma
) d b , c a ( z z + = +
2 1
=
2 1
z z
resolvemos primero el
producto
) cb ad , bd ac ( ) d , c ( ) b , a ( z z + = =
2 1
Y luego hallamos el conjugado del producto
) cb ad , bd ac ( z z + =
2 1
En forma de binomio i ) d b ( ) c a ( ) di c ( ) bi a ( z z + + + = + + + = +
2 1
el conjugado de la suma i ) d b ( ) c a ( z z + + = +
2 1
En forma de binomio
i ) ad bc ( ) bd ac ( ) di c ( ) bi a ( z z + + = + + =
2 1
el conjugado del producto
i ) ad bc ( ) bd ac ( z z + =
2 1
producto
cociente
operac. grf.
N complejo
z ; - z; 1/z suma-resta
6 a) Para resolver x
2
1 = 0
despejamos x
0 1
2
= x
Pasamos
1 al 2
miembro
1
2
= x
Y la
potencia
como raz
1 = x
entonces x
1
= 1 x
2
= - 1 con x
1,
, x
2
e Z
b) Para resolver x
2
3 = 0
despejamos x
0 3
2
= x
Pasamos
3 al 2
miembro
3
2
= x
Y la
potencia
como raz
3 = x
entonces x
1
= x
2
= con x
1,
, x
2
e I (irracionales)
3 +
3
c) Para resolver x
2
+ 1 = 0
despejamos x
0 1
2
= + x
Pasamos
1 al 2
miembro
1
2
= x
Y la
potencia
como raz
1 = x
entonces x
1
= i x
2
= - i con x
1,
, x
2
e C
la raz cuadrada de
un nmero negativo
resulta siempre un
imaginario
6 d
d) Para resolver x
2
+ 3x + 3= 0
aplicamos la frmula que
resuelve la ecuacin de
segundo grado
Una ecuacin completa de 2 grado
tiene la forma
0
2
= + + c bx ax
y la solucin
a
ac b b
x
2
4
2
2 1

=

En la ecuacin x
2
+ 3x + 3= 0
a = 1 b = 3 c = 3
=

1 2
3 1 4 3 3
2
2 1
x
=

2
12 9 3
=

=

2
3 3
2 1
x
i x
2
3
2
3
1
+ =
i x
2
3
2
3
2
=
con x
1,
, x
2
e C
7 a) Dados los nmeros complejos :
i 2
2
3
z
2
=
) 3 , 5 ( z
1
= i 4 2 z
3
+ =
) 2 , 2 ( z
4
=
Por el valor real de z
1
trazamos una paralela al eje de los imaginarios
Por el valor imaginario de z
1
trazamos una paralela al eje de los reales
Donde se intersectan ambas paralelas, tenemos
el extremo del vector que representa z
1
y tiene
inicio en el origen de coordenadas
z
2
y z
3
se representan con idntico procedimiento
Para representar grficamente z
4

tomamos los valores aproximados de
tanto en la parte real como imaginaria
usamos el mismo valor real que para z
4

pero a la parte imaginaria le cambiamos el signo
7 d) Para representar
4
z
i z 2 2
4
+ =
2
7 f iii 7 f i/ii 7 e iii 7 b-c-e i/ii
N complejo
z ; - z; 1/z
suma-resta
producto
cociente
operac. grf.
i z 2
2
3
2
=
) 3 , 5 ( z
1
=
i z 4 2
3
+ =
) 2 , 2 ( z
4
=
en forma de binomio es
i z 3 5
1
+ =
en forma de par ordenado es
) , ( z 2
2
3
2
=
en forma de par ordenado es
) , ( z 4 2
3
=
en forma de binomio es i z 2 2
4
=
) z z ( ) ii
1 2
2
7 e) Para calcular
2 1
z z ) i +
pasamos z
1
a la forma de binomio y hallamos i z 2
2
3
2
+ =
= + + + = + ) i ( ) i ( z z 2
2
3
3 5
2 1
= + + + i i 2
2
3
3 5
agrupando reales por un
lado e imaginarios por otro
= + + + = i ) ( ) ( 2 3
2
3
5 i 5
2
7
+
= + = )] i ( ) i [( 3 5 2
2
3
2
resuelvo primero la diferencia
de nmeros complejos
= + = ] i i [ 3 5 2
2
3
2 = ) i ( 5
2
13
2
para multiplicar un entero
por un complejo,
aplicamos distributiva del
entero en el complejo
i ) i ( ) ( 10 13 5 2
2
13
2 + = +
7 b) c)
7 f iii 7 f i/ii 7 e iii
N complejo
z ; - z; 1/z
suma-resta
producto cociente
operac. grf.
= + =
1 3 2
z z z z ) iii
= + + ) i ( ) i ( ) i ( 3 5 4 2 2
2
3
= + + + + + = i i i 3 5 4 2 2
2
3
procedemos de igual manera que si hubiera sido la suma de
dos complejos, eliminamos los parntesis aplicando la regla
de los signos
= + + + + + ) i i i ( ) ( 3 4 2 5 2
2
3
i 9
2
11
+
para sumar grficamente
) i ( ) i ( z z 2
2
3
3 5
2 1
+ + + = +
con z
1
y z
2

representados
buscamos
i z 2
2
3
2
+ =
por el extremo de z
1
trazo una paralela a
por el extremo de
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
2
3
2 1
= + z z i 5 +
luego
2
z
trazo una paralela a z
1

2
z
7 f iii 7 f i/ii
N complejo
z ; - z; 1/z
suma-resta
producto cociente
operac. grf.
Para resolver grficamente ) z z (
1 2
2
con z
1
y z
2

representados
buscamos z
1
prolongando z
1
en sentido opuesto
y trasladando con el comps el extremo de z
1
sobre la lnea
prolongada, con centro en el origen de coordenadas
encontramos z
1

sumamos z
2
+ (-z
1
) como hemos visto
prolongamos la recta de accin de
z
2
-z
1
y borramos la
semicircunferencia auxiliar
y trasladamos con el comps el
extremo de z
2
- z
1
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
z
2
- z
1
; obteniendo 2(z
2
- z
1
)
buscamos la componente
real del vector resultante,
y la componente imaginaria
13 2
1 2
= ) z z (
i 10 +
N complejo
z ; - z; 1/z
suma-resta
producto cociente operac. grf.
1 3 2
z z z z + = Para resolver grficamente
con z
1
; z
2
y z
3

representados
comenzamos buscando el opuesto de z
2
, es decir - z
2

luego buscamos
1
z y con este resultado buscamos
1
z
ahora tenemos los complejos z
2
; z
3
y
1
z
representados por sus respectivos vectores
solo nos queda efectuar la suma de todos ellos
) z ( z ) z (
1 3 2
+ +
lo que hacemos trasladando z
3
a continuacin de z
2

a continuacin del z
3
que sigue a - z
2

1
z
uniendo el extremo de la acumulacin de
segmentos con el origen de coordenadas
tenemos el resultado que buscamos
= +
1 3 2
z z z
2
11
i 9 +
N complejo
z ; - z; 1/z suma-resta
producto cociente operac. grf.
Para calcular z
1
z
2
lo realizamos como si se tratara
del producto de dos binomios; con la nica salvedad
que debemos considerar el producto de nmeros
imaginarios
= + = ) i ( ) i ( z z 2
2
3
3 5
2 1
= + + + = ) i ( i ) i ( ) i ( ) ( z z 2 3
2
3
3 2 5
2
3
5
2 1
= + +

2
6
2
9
10
2
15
i i i
= + + + = i ) ( ) (
2
9
10 6
2
15
i
2
29
2
3
+
( )
1
4
3

z
z
) ii podemos pensar como
=
4
3
1
z
z
que resolvemos como
cociente de fracciones,
efectuando el producto
de los extremos sobre el
producto de los medios
=
4
3
1
1
z
z
=

=
1 1
4 3
z z
= + ) i ( ) i ( 2 2 4 2
=
2
2 4 2 4 2 2 2 2 i i i
i
) z (
z
2 6 2 2
1
4
3
=

(- 1)
7 f iii
N complejo
z ; - z; 1/z
suma-resta
producto cociente operac. grf.
2
1 3
z
z z
) iii

=

+
=
) i (
) i ( ) i (
2
2
3
3 5 4 2
=

+
) i (
) i i
2
2
3
3 5 4 2
=

=
) i (
i
2
2
3
7 7
=
+
+

i
i
i
i
2
2
3
2
2
3
2
2
3
7 7
=

|
.
|

\
|
+
2
2
2
2
2
3
14
2
21
14
2
21
) i (
i i i
=

+ +
=
2
4
4
9
14
2
21
14
2
21
i
i i
=
+
=
+
+
4
25
2
7
2
49
4
4
9
2
7
2
49
i i
= +
4
25
2
7
4
25
2
49
i
i
25 2
4 7
25 2
4 49

2 2
=

2
1 3
z
z z
operamos en el
numerador
efectuamos el cociente, multiplicando y
dividiendo por el conjugado del denominador
operamos en el
numerador y en el
denominador
recuerde que i
2
= - 1
fraccin de fraccin: es igual al
producto de los extremos sobre
el producto de los medios
i
25
14
25
98
+
N complejo
z ; - z; 1/z
suma-resta
producto cociente
operac. grf.
8) Si
1 x 2 x ) x ( f
2
+ =
x x ) x ( g
2
+ =
) i 1 ( g
) i 2 ( f
+
+
=
+ + +
+ + +
=
) i ( ) i (
) i ( ) i (
1 1
1 2 2 2
2
2
entonces
(2+i) toma el lugar
de x en f(x)
) i 1 ( g
) i 2 ( f
+
+
=
+ + + +
+ + + +
=
) 1 ( ) 2 1 (
1 ) 2 4 ( ) 4 4 (
2
2
i i i
i i i
=
+ + + +
+ + +
i i i
i i i
1 2 1
1 2 4 4 4
2
2
=
+ + +
+
=
i i
i
1 1 2 1
1 1 2
para
calcular
f(x) = (2+i)
2
- 2 (2 + i) + 1
(1+i) toma el lugar
de x en g(x)
g(x) = (1+i)
2
+ (1 + i)
operando resulta . . .
recuerde i
2
= - 1
recuerde ( a + b )
2
= a
2
+ 2ab + b
2

i
i
i
5
1
5
3
3 1
2
=
+
9) a) Para hallar z tal que :
i z z 5 3 3 + = +
Si
bi a z =
bi a z + = entonces . . .
i z z 5 3 3 + = + puede escribirse
i ) bi a ( ) bi a ( 5 3 3 + = + +
resolvemos
i bi a bi a 5 3 3 3 + = + + Agrupamos reales e
imaginarios en el 1 miembro
i i ) b b ( ) a a ( 5 3 3 3 + = + +
i bi a 5 3 2 4 + = +
Para que se verifique la igualdad, deben ser idnticas las
partes reales e imaginarias del primero y segundo miembro
5 2 3 4 = = b a
2
5
4
3
= = b a
i z
2
5
4
3
+ =
tengamos presente que no podremos resolver
esta ecuacin despejando z
que resulta ser . . .
entonces . . .
9 c 9 b
N complejo
z ; - z; 1/z
suma-resta
producto
cociente
operac. grf.
9 b) Para hallar z tal que :

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

= +
=
6 2
0 2
b a
b a
que resolvemos por sustitucin
(1)
(2)
de (1)
a b 2 =
reemplazando (1) en (2)
6 2 2 = + ) a ( a
6 3 = a
entonces
3
6

= a
2 = a
reemplazando a = 2
en (1)
0 2 2 = b entonces
4 = b
9 c
N complejo
z ; - z; 1/z
suma-resta
producto
cociente
operac. grf.
9 c) Para hallar z tal que :
i z i z 5 3+ = +
Si
bi a z =
bi a z + =
entonces . . .
puede escribirse i ) bi a ( i ) bi a ( 5 3+ = + +
resolvemos i bi ai bi a 5 3
2
+ = + +
agrupamos reales e
imaginarios en el 1 miembro
i i ) b a ( ) b a ( 5 3+ = + + +
5 3 = + = + b a b a
i z i z 5 3+ = +
tenga presente que
1
2
= i
Podemos componer un sistema
de dos ecuaciones con dos
incgnitas

= +
= +
5
3
b a
b a
Para que se verifique la igualdad, deben ser
idnticas las partes reales e imaginarias del
primero y segundo miembro
i ) ( b ai bi a 5 3 1 + = + +
i b ai bi a 5 3 + = + + +
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
N complejo
z ; - z; 1/z
suma-resta
producto
cociente
operac. grf.
10 i) la ecuacin i z ) i ( 7 3 2 5 = +
puede resolverse
despejando z
as :
i
i
z
2 5
7 3
+

=
resolvemos como
cociente de nmeros
complejos
multiplicamos y dividimos la expresin =
+

=
i
i
z
2 5
7 3
aplicando propiedad distributiva en el numerador y
diferencia de cuadrados en el denominador
=

+
=
2 2
2
2 5
14 35 6 15
) i (
i i i
tambin podra haberse aplicado
distributiva en el denominador y
hubiramos tenido el mismo resultado
=

+
=
2
4 25
1 14 35 6 15
i
) ( i i
operamos sabiendo que i
2
= -1
i
i
29
41
29
1
29
41 1
=

=
=

+ = + )
i
)( i ( ) i )( i (
29
41 1
2 5
29
41
29
1
2 5
=
+
29
82 2 205 5
2
i i i
29
203
29
87
29
203 87 i i
=

i 7 3 =
3 7
verificamos . . .
=

i
i
i
i
2 5
2 5
2 5
7 3
por el conjugado del denominador
10 ii/iii
N complejo
z ; - z; 1/z
suma-resta
producto
cociente
operac. grf.
) , (
) , (
z
) ii 5 3
4 3
=
puede resolverse
despejando z, porque
en ella no aparece
z
as :
) , ( ) , ( z 4 3 5 3 =
= + = ) ) ( ); ( ( z 3 5 12 20 9 ) , ( 3 29
i
i
i z
z
z
3 6
2
3 2
=

iii) resolver
no debe ser muy diferente
de lo realizado hasta ahora
i
i
i z
3 6
2
3 2
1 =

+ 1 3 6
2
3 2
+ =

i
i
i z
Pasamos 1 al
2 miembro
y resolvemos el segundo
miembro antes de pasar
multiplicando el
denominador del primer
trmino
i
i
i z
3 7
2
3 2
=

) i )( i ( i z = 2 3 7 3 2
resolvemos nuevamente el
2 miembro
= + =
2
3 6 7 14 3 2 i i i i z
y ahora despejamos z
i i z 3 13 11 2 + =
i z 10 11 2 = i z 5
2
11
=
i 13 11
i i z 13 11 3 2 =
N complejo
z ; - z; 1/z
suma-resta
producto
cociente
operac. grf.
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
= + = + ) xi i xi ( ) xi ( ) i (
2
6 24 3 12 4 6 3
= + = )) ( x i xi ( 1 6 24 3 12
as, agrupando reales por un lado e
imaginarios por otro, tendremos . . .
= + + = ) i xi ( ) x ( 24 3 6 12 = + + i ) x ( ) x ( 24 3 6 12
se distingue en la
expresin claramente una
parte real
y una parte imaginaria
Si la parte imaginaria debe ser 0, tendremos . . .
0 24 3 = x
entonces . . .
3
24
= x 8 =
8
Si el resultado del producto (3 - 6 i) (4 + x i) debe ser un imaginario puro
la parte real debe ser 0, tendremos . . .
0 6 12 = + ) x (
6
12
= x 2 =
entonces . . .
2
Algebra de Boole
Decimos ( B, * - ) es Algebra de Boole si
para un conjunto B = C y dos operaciones * y -
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 e 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 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
* 1 2 3 6
1
2
3
6
m.c.m.
1 2 3 6
2 2 6 6
3 6 3 6
6 6 6 6
- 1 2 3 6
1
2
3
6
1 1 1 1
1 2 1 2
1 1 3 3
1 2 3 6
m.c.d.
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
* 1 2 3 6
1 1 2 3 6
2 2 2 6 6
3 3 6 3 6
6 6 6 6 6
- 1 2 3 6
1 1 1 1 1
2 1 2 1 2
3 1 1 3 3
6 1 2 3 6
m.c.m. m.c.d.
Ejemplos donde se verifica la asociatividad de * y de -
( 2 * 3 ) * 6 = 6 * 6 = 6
( 6 - 2 ) - 1 = 2 - 1 = 1
2 * ( 3 * 6 ) = 2 * 6 = 6
6 - ( 2 - 1 ) = 6 - 1 = 1
Ejemplos donde se verifica la distributividad de - respecto de * y viceversa
( 2 * 3 ) - 1 = 6 - 1 = 1 se verifica con ( 2 - 1 ) * ( 3 - 1 ) = 1 * 1 = 1
( 2 - 3 ) * 1 = 1 * 1 = 1 se verifica con ( 2 * 1 ) - ( 3 * 1 ) = 2 * 3 = 1
* 1 2 3 6
1 1 2 3 6
2 2 2 6 6
3 3 6 3 6
6 6 6 6 6
- 1 2 3 6
1 1 1 1 1
2 1 2 1 2
3 1 1 3 3
6 1 2 3 6
m.c.m. m.c.d.
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 e 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 e B
esto se verifica para e = 6
Decimos entonces que el uno para la operacin - es el elemento 6
* 1 2 3 6
1 1 2 3 6
2 2 2 6 6
3 3 6 3 6
6 6 6 6 6
- 1 2 3 6
1 1 1 1 1
2 1 2 1 2
3 1 1 3 3
6 1 2 3 6
m.c.m. m.c.d.
Nos queda analizar la existencia de complementario para * y -
Si existe complementario para * debe verificarse que a e B, -a e B : a * a= 1
el 1 de - es el elemento 6 del conjunto B, verificamos
1 * 6 = 6 6 e B ok
2 * 3 = 6 6 e B ok
3 * 2 = 6 6 e B ok
6 * 1 = 6 6 e B ok
respecto de * el complemento de
a = 1 es a = 6
a = 2 es a = 3
a = 3 es a = 2
a = 6 es 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 -
* 1 2 3 6
1 1 2 3 6
2 2 2 6 6
3 3 6 3 6
6 6 6 6 6
- 1 2 3 6
1 1 1 1 1
2 1 2 1 2
3 1 1 3 3
6 1 2 3 6
m.c.m. m.c.d.
Finalmente analizamos la existencia de complementario para -
Si existe complementario para - debe verificarse que a e B, -a e B : a - a= 0
si el 0 de * es el elemento 1del conjunto B, verificamos
1 - 6 = 1 6 e B ok
2 - 3 = 1 3 e B ok
3 - 2 = 1 2 e B ok
6 - 1 = 1 1 e B ok
respecto de - el complemento de
a = 1 es a = 6
a = 2 es a = 3
a = 3 es a = 2
a = 6 es a = 1
(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
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
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 (2) a partir de (1) entonces:
Probamos ahora (3) a partir de (2) entonces:
Probamos ahora (4) a - b = a a partir de (3) a*b = 1 entonces:
porque 0 es neutro para * a - b = (a - b) * 0
(a - b) * 0 = (a - b) * (a - a) porque a - a = 0
por ser - distrubutivo en *
(a - b) * (a - a) = a - (b*a)
a - (b * a) = a - 1 porque qued probado (3) a*b = 1 con * conmutativo
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
por asociatividad
por ser 0 el neutro de *
suponiendo vlido lo que acabamos de probar a - b = a
(a - b) - b = a - ( b - b )
por complementario b - b= 0
a - ( b - b ) = a - 0
a - 0 = ( a - 0 ) * 0
( 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
a - 1 = a porque 1 es neutro para -
14) Aplicar la propiedad anterior al Algebra de Proposiciones
establecemos las siguientes equivalencias:
* equivale a v
- equivale a .
0 equivale a F
1 equivale a V a equivale a ~p
1) a - b = 0 ser p . ~ q F
4) a - b = a ser p . q p
2) a * b = b ser p v q q
3) a * b = 1 ser ~ p v q V
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) =
Aplicando distributiva
b) Probamos que (a - b) * (a - b) = a
a - (b * b) =
Aplicando distributiva
y sabiendo que 0 es neutro de *; por tanto b - b = 0
a * 0 = a
y sabiendo que 1 es neutro de *; por tanto b * b = 1
a - 1 = a
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
- equivale a
0 equivale a C
1 equivale a U
a equivale a A=
A
(a * b) - (a * b) = a
(a - b) * (a - b) = a
equivale a (A B) (A B) = A ( B B ) = A C = 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)