Cuaderno de Ejercicios de Algebra - 2 PDF

UNIVERSIDAD NACIONAL AUTNOMA
DE MXICO
FACULTAD DE INGENIERA
CUADERNO DE EJERCICIOS
DE
lgebra
Sergio Roberto Arzamendi Prez
Francisco Barrera Garca
Erik Castaeda de Isla Puga
Juan Velzquez Torres
N D I C E
Pgina
Presentacin
Introduccin
Captulo 1: Nmeros Reales ..................................................... 1

Ejercicios resueltos .................................................................. 2
E j e r c i c i o s p r o p u e s t o s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
R e s p u e s t a a l o s e j e r c i c i o s p r o p u e s t o s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
C a p t u l o 2 : N m e r o s C o m p l e j o s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
E j e r c i c i o s r e s u e l t o s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
R e s p u e s t a a l o s e j e r c i c i o s p r o p u e s t o s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
C a p t u l o 3 : P o l i n o m i o s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
C a p t u l o 4 : S i s t e m a s d e E c u a c i o n e s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
C a p t u l o 5 : M a t r i c e s y D e t e r m i n a n t e s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
C a p t u l o 6 : E s t r u c t u r a s A l g e b r a i c a s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
PRESENTACIN
La Facultad de Ingeniera de la UNAM, preocupada por apoyar a sus

estudiantes, ha promovido la creacin de diversos materiales como las obras
escritas, con las cuales se pretende reforzar los temas de los programas de las
asignaturas de los planes de estudio.
La presente obra titulada Cuaderno de Ejercicios de lgebra nos muestra los

temas del programa de estudios de la asignatura lgebra, que an cuando ha
cambiado en diversas ocasiones , en esencia, mantiene el contenido que en
sta se presenta.
Este cuaderno ofrece un estudio completo debido al tratamiento histrico de

los temas, los ejemplos resueltos y los propuestos con solucin. Adems de su
nivel en el desarrollo de los temas, mostrando ejemplos que invitan al lector a
iniciarse y tambin a profundizar en el estudio de cada uno de ellos.
Los autores de esta obra Fs. Sergio Roberto Arzamendi Prez, Ing. Francisco
Barrera Garca, Ing. rik Castaeda De Isla Puga y Fs Juan Velzquez Torres
transmiten a travs de ella su inters por apoyar a los alumnos y a profesores
en el proceso de enseanza-aprendizaje de la asignatura lgebra, la cual es
fundamental para la formacin de ingenieros.
M.I. Mara del Roco vila Nez

Coordinadora de Matemticas
Noviembre de 2010

INTRODUCCIN
Una frase muy conocida es La prctica hace al maestro. A pesar de la

antigedad de esta sentencia, sigue vigente. Por ello los cuatro autores de esta
obra, nos propusimos poner a la disposicin de los estudiantes una seleccin
de ejercicios de lgebra, con el objetivo de que los conceptos aprendidos en
sus cursos los puedan utilizar para resolverlos y la prctica adquirirla con su
desarrollo para lograr un aprendizaje significativo. El libro tiene como orgenes
un cuaderno de ejercicios de lgebra, primera parte, que durante varios aos
ha sido publicado por esta Facultad y otro material indito con los temas no
incluidos en el anterior. La conjuncin de estas dos obras y el trabajo en equipo
de los cuatro ha dado por resultado este material que anhelamos sea de
utilidad tanto para nuestros estudiantes como para los profesores que busquen
un apoyo para sus cursos. Estamos conscientes de que, an cuando hayamos
revisado exhaustivamente el material, todava puedan existir errores u
omisiones, por ello agradeceremos enormemente a aquellas personas que nos
hagan saber de estas deficiencias para que en futuras ediciones la obra pueda
ser ms confiable y de mayor utilidad.
El cuaderno de ejercicios consta de seis captulos. En los dos primeros se

presenta lo relativo a los sistemas numricos ms comnmente empleados en
ingeniera; es decir, en el primer captulo se presentan ejercicios sobre
nmeros reales y en el segundo, sobre nmeros complejos. En el tercer
captulo se trabaja con el lgebra de los polinomios, para utilizarla en lo relativo
a la determinacin de sus races. El cuarto captulo est dedicado a los
sistemas de ecuaciones lineales. Las matrices y los determinantes se trabajan
en el quinto captulo y se termina con el sexto en el que el objeto de estudio
son las estructuras algebraicas.
Cabe la aclaracin de que no pocos autores consideran que los conceptos

tratados en los captulos cuatro, cinco y seis, forman parte ya del lgebra lineal.
Es de justicia manifestar un agradecimiento infinito a la Maestra Mara Cuairn

Ruidaz por su apoyo inconmensurable y a la seorita Ana Mara Snchez
Tllez por la captura de una parte muy importante del material. Sin su ayuda,
seguramente esta obra hubiese tardado mucho ms tiempo en poder salir a la
luz.
Ciudad Universitaria, Distrito Federal, a 3 de noviembre de 2010
LOS AUTORES
CAPTULO 1
NMEROS REALES
A travs de la historia, pocos conceptos han sido tan utilizados desde pocas tan remotas como el
concepto de nmero. No obstante su antigedad y su continuo y variado empleo, su definicin y
su formalizacin no se pudieron establecer de manera satisfactoria hasta fechas relativamente
recientes. An en nuestros das es comn confundir este concepto, puramente abstracto, con su
representacin escrita llamada numeral.
Es hasta finales del siglo XIX cuando las ideas Weierstrass, Boole, Cantor, Dedekind y Peano,
entre otros, cristalizaron en la concepcin formal de la estructura algebraica llamada campo de
los nmeros reales. Esto no quiere decir que se haya llegado a colmar este casillero del
conocimiento matemtico. Actualmente en muchas partes del mundo, son varios los cientficos
preocupados en profundizar ms en esta apasionante rama del saber. Pero para el lector, estudioso
de la ingeniera, que utilizar las matemticas como una herramienta en su vida dentro de las
aulas y, posteriormente, en sus actividades profesionales, el objetivo en este captulo ser la
determinacin precisa y rigurosa de las estructuras numricas de mayor relevancia, hasta concluir
con el campo de los nmeros reales; tambin se pretende propiciar el adecuado manejo de los
elementos numricos que conforman estas estructuras algebraicas.
CUADERNODEEJERCICIOSDELGEBRA
EJERCICIOS RESUELTOS
1. Sean los conjuntos:
A 6, 7, 8, 9,
B , 1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11
C 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18
Indicar si las siguientes afirmaciones son verdaderas o falsas. Justificar las respuestas:
a) B C A
b) A B C
c) 9 B
d) A B
e) C A B
f) 3 C
Solucin:
a) Falso
B C 3, 4, 5, 6, 7, 8, 9, 10, 11 A , pues existen elementos de B C que no
pertenecen a A, ejemplo: 4 A
b) Verdadero
A B 6, 7, 8, 9, 10, 11 C
c) Falso
9 es elemento de B, pero no subconjunto de l.
d) Falso
Existen muchos elementos de A que no pertenecen a B; ejemplo: 12 A ; 12 B
e) Falso
El conjunto C est contenido en la unin de los conjuntos A y B; es decir, C es subconjunto
de A B , pero un conjunto no pertenece a otro, a menos que este ltimo sea un conjunto
de conjuntos y no es el caso.
f) Verdadero
3 s es elemento de C
2
CAPTULO1.NMEROSREALES
2. Sean los conjuntos:
A 1 , 2 , 3 , 4 , 5
B 1, 2, 3, 4, 5
C 1 , 1, 2 , 1, 2, 3 , 1, 2, 3, 4 , 1, 2, 3, 4, 5
Indicar si las siguientes afirmaciones son verdaderas o falsas. Justificar las respuestas
a) A B
b) A C 1
c) A B
d) 1 C
e) A BC
Solucin:
a) Falso
A es un conjunto de conjuntos y B es un conjunto de nmeros. Por lo tanto no pueden ser
iguales, pues sus elemenentos no son de la misma naturaleza.
b) Verdadero
Tanto A como C son conjunto de conjuntos y el conjunto 1 es el nico que es elemento
comn de A y de C.
c) Verdadero
No existe ningn elemento comn entre los conjuntos A y B
d) Falso
El nmero 1 no pertenece al conjunto C, mientras que el conjunto 1 s.
e) Falso
A B C 2 , 3 , 4 , 5 , 1, 2, 3, 4, 5
3
3. Dada la siguiente tabla, contestar en cada cuadro con un s, si cumple la propiedad y un no en

caso contrario
Propiedad Existencia
Existencia Inverso
Cerradura Cerradura
Inverso Multiplicativo Densidad
Adicin Multiplicacin
Conjunto Aditivo para
z0
Naturales
Enteros
Racionales
Irracionales
Reales
Solucin:
N S S NO NO NO
Z S S S NO NO
Q S S S S S
Q' NO NO NO NO NO
S S S S S
4
4. Sean los conjuntos de nmeros N, Z, Q, Q' e . Considerando al conjunto como el

conjunto universo, determinar el resultado de:
Q Q Z Q Q ' IR N Q Z N
Solucin:
El primer parntesis rectangular se resuelve de la siguiente manera:
Q Q Z Q Q Q
Del segundo parntesis se obtiene:
Q Q N N
y del tercero:
Q Z N Q Z
sustituyendo
Q Z Z

5. En los parntesis de la derecha escribir V o F, segn la aseveracin de la izquierda sea

verdadera o falsa.
a) Q Q ( )
b) A B C A B A C ( )
c) 2 Q ( )
d) Q Q ( )
5
Solucin:
a) (V) El conjunto unin de los racionales y de los irracionales, s es un subconjunto de

los reales.
b) (V) Se trata de una de las leyes de De Morgan.
c) (F) Es un nmero irracional.
d) (V) La interseccin de un conjunto con su complemento siempre es el conjunto vaco.

Adems, no es posible encontrar un nmero que sea a la vez racional e irracional.
6. Para cada una de las siguientes afirmaciones, escribir en el parntesis correspondiente una F o
una V segn sea falsa o verdadera.
a) El nmero 1 es un nmero racional. ( )

b) 25 es un nmero irracional. ( )
18
c) 6 y indican (representan) nmeros diferentes. ( )
3
d) Cualquier nmero irracional es tambin un
nmero trascendente, como el nmero . ( )
e) La suma algebraica de dos nmeros
irracionales es otro irracional. ( )
Solucin:
a) ( V ) El nmero 1 se puede escribir 1/1 y cumple con la definicin de nmero racional.

b) ( F ) 25 5 ya que 5 5 25 y, por lo tanto es racional.
18
c) ( F ) 6 es la mnima expresin del nmero racional
3
d) ( F ) El nmero 2 es irracional, pero no es trascendente.

e) ( F )
3 3 0 y el nmero cero no es irracional.
6
7. Demostrar, por medio de induccin matemtica, que:
13 23 n3 1 2 n ; n N
2
(1)
Solucin:
El miembro derecho de la expresin (1), es el cuadrado de la suma de los primeros n nmeros

naturales. As que, tambin por induccin matemtica, primero se demostrar que:
n n 1
1 2 n ; n N (2)
2
La expresin debe satisfacerse para n 1 :

1 1 1
1
2
1 1 s se cumple para n 1
Ahora, se supone vlida para n k :
k k 1
1 2 k (3) hiptesis
2
Si 3 es cierta por hiptesis, la expresin 2 tambin debe cumplirse para n k 1 :
k 1 k 2
1 2 k k 1 (4) tesis
2
sustituyendo 3 en 4:
k k 1 k 1 k 2
k 1
2 2
tomando como factor comn k 1 en el miembro izquierdo:
k 1 k 2
k 1
k
1
2 2
k 2 k 1 k 2
k 1
2 2
7
finalmente:
k 1 k 2 k 1 k 2 , kN
2 2
con lo cual queda demostrado la validez de la expresin (2).
Ahora, como ya se tiene la certeza de que la expresin (2) es vlida para todos los nmeros
naturales, sta ser sustituida en (1):
n n 1
2
1 2 n
3 3 3
; n N (5)
2
Para demostrar la expresin (5), se procede a verificar su validez para n 1 :
1 1 1
2
1
3

2
1 1 s se cumple para n 1
Se supone que la expresin es vlida para n k :
k k 1
2
1 2 k
3 3 3
(6) hiptesis
2
Tomando como cierta la hiptesis de induccin numerada con 6, se tendr que demostrar que 5 se
cumple para n k 1 :
k 1 k 2
2
1 2 k k 1
3
; kN
3 3 3
(7) tesis
2
Dado que el miembro izquierdo de la expresin 7 contiene k 1 sumandos y el de 6 slo k
sumandos, se sumar en ambos miembros de 6 el trmino k 1 y slo quedar demostrar que
3
los miembros derechos de 6 y 7 tambin son iguales:
k k 1
2
1 2 k k 1 k 1
3 3 3 3 3
2
o sea:
k 2 k 1
2
1 2 k k 1 k 1
3 3 3 3 3
2
2
8
Tomando como factor comn k 1 :

2
k2
1 2 k k 1 k 1 4 k 1
3 3 3 3 2

entonces:
2 k 4k 4
2
13 23 k 3 k 1 k 1
3

4
finalmente al factorizar se tiene:
k 1 k 2
2
1 2 k k 1 kN
3 3 3 3
;
2
que es la misma expresin (7), por lo tanto queda esto demostrado.
8. Demostrar que x n y n tiene como factor x y para cualquier n natural.
Solucin:
Por induccin matemtica:
Para n = 1:
x1 y1 s tiene como factor a x y.
Suponiendo vlida la proposicin para n = k:
x k y k tiene como factor a x y hiptesis
Ahora, para n = k + 1:
x k 1 y k 1 es divisible entre x y tesis
En la tesis pude sumarse y restarse el trmino xky y no se altera:
x k 1 x k y x k y y k 1 x k x y y xk yk
El primer sumando es divisible entre x y, pues lo contiene como factor, y el segundo tambin lo
es por hiptesis.
Q.E.D.
9
9. Sean m, n, p N , demostrar que:
mn p mn p
tomando en cuenta la definicin:
i) n 1 n * para toda n N .
ii) n m* n m * , siempre que n + m est definida.
Solucin:
para p = 1:
m n 1 m n 1
por la primera parte de la definicin de adicin en N, se tiene:
m n* m n .
*
Esta expresin es cierta por la segunda parte de la definicin de adicin en N.
Se supone vlida para p = k:
mn k m nk hiptesis
Si la hiptesis es cierta, la proposicin debe serlo tambin para p = k + 1, es decir para p = k* :
m n k * m n k * tesis
m n k * m n k * Por la definicin de adicin en N.
m n k * m n k * Por la hiptesis de induccin.
Q.E.D.
10
10. Demostrar por induccin matemtica que 7 16 n1 3 es divisible entre 5, para todo n N .
Solucin:
Para n = 1:
7 1611 3 7 160 3
7 1 3
73
10
Como 10 s es divisible entre 5, la proposicin s se cumple para n 1.
Ahora, se supone vlida para n k :
7 16 k 1 3 es divisible entre 5 por hiptesis de induccin. (1)
Tomando como cierta la hiptesis, se demostrar a continuacin, que la expresin resultante para
n k 1 tambin es divisible entre 5:
7 16k 11 3 debe ser divisible entre 5. tesis
7 16k 11 3
al simplificar:
7 16 k 3 (2)
Sumando y restando el trmino 7 16 k 1 en la expresin (2):
7 16 k 3 7 16 k 1 7 16 k 1
Ordenando los sumandos de tal manera que los dos primeros correspondan con los de la
hiptesis, tenemos:
7 16 k 1 3 7 16 k 7 16 k 1
Tomando como factor comn en los dos ltimos trminos de esta expresin a 16k 1 :
7 16k 1 3 16k 1 7 16 7
finalmente:
11
k 1
16
7 3 16 k 1 105

La suma de los primeros trminos, agrupados en la primera llave, es divisible entre 5 por la
hiptesis de induccin y el ltimo tambin lo es, pues est multiplicado por 105 que es divisible
entre 5.
Q.E.D.
11. Demostrar que:

sen 2n 1 1 cos ;
n 1
n N
2
Solucin:
La demostracin se efectuar por medio de induccin matemtica:
Para n 1:

sen 1 cos
0
2

sen cos
2
es cierta, pues se trata de una identidad trigonomtrica.
Ahora, se supondr vlida la expresin para n = k:

sen 2k 1 1 cos
k 1
hiptesis
2
Si la hiptesis de induccin es cierta, la expresin original debe cumplirse para n k 1 :

sen 2k 1 1 cos
k
tesis
2
Si se multiplica por 1 ambos miembros de la hiptesis, la expresin resultante seguir siendo

vlida y su miembro derecho ser igual al de la tesis. Por ello, slo se tendr que demostrar que
sus miembros izquierdos tambin lo son.

sen 2k 1 1 1 cos
k 1
12
por las leyes de los exponentes:

sen 2k 1 1 cos
k
tomando en cuenta que:
sen sen

sen 2 k 1 1 cos
k
desarrollando:
2k
sen 1 cos
k
2 2
2k
sen 1 cos
k
2 2
finalmente

sen 2k 1 1 cos
k
Q.E.D.
12. Demostrar la validez de la siguiente proposicin haciendo uso del mtodo de induccin
matemtica.
1 1 1 1 n2
1 1 1 ... 1 ; n N
4 9 16 n 1 2 n 1
2
Solucin:
1 1 1 n2
1 1 ... 1
2 n 1
; n N
4 9 n 1 2
13
n=1
1 1 2 3 3
1 ; se cumple.
4 2 2 4 4
n=k
1 1 1 1 k2
1 1 1 1
2 k 1
hiptesis
4 9 16 k 1
2

n k 1
1 1 1 1 k 3
1 1 1 1

2 k 2
tesis
4 9 k 1 k 2
2 2

1
multiplicando por 1 en ambos miembros de la hiptesis:
k 2
2

1 1 1 1 k2 1
1 1 1 1

2 k 1
1

4 9 k 1 k 2 k 2
2 2 2

k 2 k 2 1
2

2 k 1 k 2 2

k 2 1
2

2 k 1 k 2
14
k 2 4k 4 1

2 k 1 k 2
k 2 4k 3

2 k 1 k 2

k 1 k 3
2 k 1 k 2
k 3

2 k 2
Q.E.D.
13. Demostrar, por induccin matemtica, que:
n ! n2 n 4, n N
se tiene que:
n ! 1 2 3 n 1 n : 0 !1
Solucin:
1) Para n = 4:
4 ! 1 2 3 4 24
42 16
24 16 s se cumple .
2) La hiptesis de induccin, la cual se supondr vlida, se tiene para n = k:
k ! k2 hiptesis
Se demostrar la validez de la proposicin para n = k + 1, tomando como vlida la hiptesis:
k 1 ! k 1
2
tesis
Utilizando la definicin de factorial, se tiene:
k 1 ! k 1 k !
15
Si se multiplica en la hiptesis por (k + 1) en ambos miembros de la desigualdad, como k 4 la

relacin de orden mayor que no se altera:
k 1 k ! k 1 k 2
k 1 ! k 1 k 2 (A)
Esta desigualdad proviene de la hiptesis que se tom como vlida, as que debe seguir siendo
cierta y observando las expresiones de la tesis y las de (A):
k 1 ! k 1 k 2 (A)
k 1 ! k 1
2
tesis
es fcil demostrar que:
k 1 k 2 k 1
2
dividiendo entre (k + 1):
k2 k 1
grficamente:
o

o
1 2 3 4 5
2
la grfica de y = k , corresponde a la de una parbola discontinua y la de y = k +1 a la de una recta
discontinua con pendiente 1 y esta desigualdad se cumple para k > 2.
Por lo tanto:
si k 1 ! k 1 k 2 por hiptesis
y k 1 k 2 k 1
2
entonces k 1 ! k 1
2
por transitividad
Q.E.D.
16
14. Demostrar que en un polgono de n lados, la suma de los ngulos interiores es igual a:
S n 2 180
Solucin:
Dado que no existen polgonos de uno o de dos lados, la expresin podra ser cierta para n 3 .
1) Para n = 3:
S3 3 2 180 180
lo cual es cierto, tomando en cuenta un teorema de geometra elemental.
2) Se supone vlida la expresin para n = k:
Sk k 2 180 hiptesis
Tomando como base la validez de la hiptesis, debe demostrarse que la expresin es cierta para
n k 1:
Sk 1 k 1 180 tesis
Sea un polgono de n lados: 1 n
2 n-1
si se unen con un segmento el punto origen del lado n con el punto extremo del lado 1,
considerando este segmento y desechando los lados n y 1, se forma un polgono de n 1 lados.
Como la suma de los ngulos interiores de un tringulo es 180, entonces la suma de los ngulos
interiores de un polgono de (n 1) lados y la suma de un polgonos de n lados tienen una
diferencia de 180.
De acuerdo con este razonamiento, si en la hiptesis de induccin se tom como cierto que la
suma de los ngulos internos de un polgono de k lados es S k k 2 180 , si le agregamos un
lado al polgono, se tendr
17
S k 1 S k 180
k 2 180 180
k 180 2 180 180
k 180 180
k 1 180
Q.E.D.
15. Demostrar, por medio de induccin matemtica, que:
2 4 8 2n 2n 1 n N
Solucin
Para n =1:
21 21 1
evidentemente:
2 1 s se cumple.
Ahora se supone vlido para n = k:
2 4 8 2k 2k 1 hiptesis
Tomando como cierta la hiptesis, la expresin debe cumplirse para n k 1 :
2 4 8 2k 2k 1 2k 1 1 tesis
Si en la hiptesis se suma el trmino 2k 1 en ambos miembros, la desigualdad sigue siendo

vlida:
2 4 8 2k 2k 1 2k 1 2k 1 (1)
considerando el miembro derecho de la tesis y (1) evidentemente 2k 1 1 2k 2k 1 1 y entonces

por transitividad se cumple la tesis.
Q.E.D.
18
16. Demostrar la validez de:
2n
1 ,
n 1
sen n N
2
Solucin:
para n = 1:
2
1
11
sen
2

sen 1 lo cual es cierto;
2
Ahora, para n = k, se supone vlida:

2k
1
k 1
sen
2 hiptesis
para n = k + 1 debe verificarse si la hiptesis es vlida:
2 k 1
1
k 2
sen
2
simplificando:
2k
1
k 2
sen tesis
2
Con el objeto de hacer iguales miembros derechos de la hiptesis y de la tesis, se multiplica la

hiptesis en ambos miembros por (1):
2k
1 1
k 1
sen
2
2k
1
k 2
sen
2
Tomando en cuenta la identidad:

sen sen +
19
en la expresin anterior:
2k 2k
sen sen
2 2
sustituyendo:
2k
1
k 2
sen
2
2k 2
1
k 2
sen
2
finalmente:
2k
1
k 2
sen
2
Q.E.D.
17. Sea la expresin decimal 2.29838383 2.2983 determinar un par de valores a, b Z , tales
que:
a
2.29838383 2.2983
b
Solucin:
Multiplicando en primer trmino ambos miembros de la ecuacin anterior por 102, para que los
dos dgitos anteriores al perodo pasen a la parte entera:
a 2
10 102 2.29838383
b
a 2
10 229.838383 (1)
b
Como el periodo consta de dos dgitos, se multiplicar la expresin (1) por 102.
a 4
10 22983.8383 (2)
b
Restando miembro a miembro la ecuacin (1) de la (2), se tiene:
a 4 a 2
10 10 22754
b b
Factorizando:
20
a
b
104 102 22754
de donde:
a 22754 22754 11377
4
b 10 10 2
9900 4950
a 11377
2.2983
b 4950
18. Determinar el conjunto de valores de x , para los cuales se satisface la siguiente

desigualdad.
1 1
3x 4 x
2 3
Solucin:
Sumando 1/2 en ambos miembros de la desigualdad, se tiene
1 1 1 1
3 x 4 x
2 2 3 2
1
3 x 4 x
6
sumando 4x en ambos miembros:
1
4 x 3 x 4 x 4x
6
1
7x
6
1
multiplicando en ambos miembros por , se tiene:
7
7 x
1 1 1
7 67
1
x
42
por lo tanto, el conjunto de valores de x que satisfacen a la desigualdad planteada es:
1
x x con x
42
21
19. Obtener el conjunto de valores de x , que satisface la siguiente desigualdad:
2x 1
5
x2
Solucin:
Dado que x + 2 tiene que ser diferente de cero para evitar la divisin entre cero, se considerarn
los siguientes dos casos:
Caso 1: x20
Caso 2: x20
Resolviendo cada uno de los casos:
Caso 1: si x 2 0 x 2
Multiplicando ambos miembros de la desigualdad original por x + 2, y como se est considerando

que x 2 es positivo, la relacin de orden no cambia.
2x 1
x 2 5 x 2
x2
2 x 1 5 x 10
sumando (2x) en ambos miembros, se tiene:
2 x 2 x 1 5 x 10 2 x
1 3 x 10
sumando -10 se tiene:
10 1 3 x 10 10
11 3 x
1
multiplicando por en ambos miembros:
3
22
1 1
11 3x
3 3
11 11
x x
3 3
La solucin del caso 1 se obtiene con la interseccin de los conjuntos que definen las condiciones
11
x 2 y x
3
Grficamente:
-11/3
11 -2 0 R

3
GRFICA 1
por lo que, la solucin al caso 1 es:
2 x
Caso 2: si x 2 0 x 2
Multiplicando la desigualdad original por x + 2, la relacin de orden cambia, dado que para este
caso x + 2 se est considerando negativo.
2x 1
x 2 5 x 2
x2
2 x 1 5 x 10
sumando (2x) y (10) en ambos miembros de la desigualdad, se tiene:
2 x 2 x 1 10 2 x 5 x 10 10
11 3 x
1
multiplicando por , se tiene:
3
23
1 1
11 3x
3 3
11 11
x x
3 3
11
la solucin al caso 2 queda definida por las condiciones x 2 y x .
3
Grficamente
-11/3
11 -2 0 R

3
GRFICA 2
11
x
3
Finalmente, la solucin a la desigualdad planteada estar dada por la unin de los conjuntos
solucin de los dos casos considerados, esto es:

, x x x 2, x
11
x x
3
o bien grficamente:
-11/3
11 -2 0 R

3
GRFICA 3
24
20. Resolver la siguiente desigualdad:
x2 x 2 0
Solucin:
Expresando al polinomio de segundo grado en forma factorizada, se tiene:
x 1 x 2 0
dado que el producto de factores debe ser positivo, se deben considerar los dos siguientes casos:
Caso 1: x+1>0 y x2>0
de donde se tiene que:

x > 1 y x>2
por consiguiente, la solucin al caso 1 ser la interseccin de ambas condiciones.
Grficamente:
-1 0 2 R
GRFICA 4
por lo tanto, la solucin al caso 1 es:
x2
Caso 2: x+1<0 y x2<0
de donde:
x < 1 y x<2
25
Definiendo la interseccin de ambas condiciones, se tiene grficamente:
-1 0 2 R
GRFICA 5
x 1
En consecuencia, la solucin a la desigualdad planteada estar dada por la unin de las soluciones
correspondientes a los dos casos, esto es:
x x 1, x x x 2, x
o bien grficamente:
-1 0 2 R
+
GRFICA 6
3x 2 x x 6
2
Solucin:
Desarrollando en primera instancia el binomio y el producto indicado, se tiene:
9 x2 12 x 4 x2 6 x
sumando en ambos miembros x2 y 6x, se obtiene:
26
9 x 2 12 x 4 x 2 6 x 0
8 x 2 18 x 4 0
1
multiplicando por :
2
4 x2 9 x 2 0
factorizando:
4x 1 x 2 0
Dado que el producto de factores debe ser negativo, ahora se considerarn los siguientes casos:
Caso 1: 4x 1 0 y x2 0
De donde:
1
x y x 2
4
La interseccin es el conjunto vaco.
Grficamente:
-2 -1 0 R

4
GRFICA 7
por lo tanto, la solucin al caso 1 es el conjunto vaco:
Caso 2: 4x 1 0 y x2 0
Entonces:
1
x y x 2
4
por lo que, grficamente:
27
-2 -1 0 R

4
GRFICA 8
en consecuencia la solucin al caso 2 es:
1
2 x
4
Finalmente, la solucin a la desigualdad planteada ser:
1
x x , 2 x
4
o bien grficamente:
-2 -1 0 R

4
GRFICA 9
22. Determinar el valor o los valores de x , que satisfacen la siguiente igualdad:
x 2 3 2x
Solucin:
Se consideran los siguientes casos:
Caso 1: x 2 3 2 x
Caso 2: x 2 3 2 x
Caso 3: x 2 3 2 x
Caso 4: x 2 3 2 x
28
Como se puede observar, la ecuacin del caso 1 es equivalente a la del caso 4, al igual que la
ecuacin del caso 2 lo es con la del caso 3, por consiguiente, de los cuatro casos, slo se
considerarn dos de ellos (caso 1 y caso 2).
Caso 1: x 2 3 2x
sumando 2 en ambos lados:

x 5 2x
de donde:
3x 5
1
multiplicando por :
3
5
x
3
Caso 2: x 2 3 2 x
simplificando:
x 2 3 2 x
agrupando trminos, se tiene:
3 2 2x x
x 1
por lo que, los valores de x que satisfacen a la igualdad planteada son:
5
x y x 1
3
23. Obtener el conjunto de valores de x , para los cuales se cumple la siguiente desigualdad:
x 2 16 0
Solucin:
Como se puede observar, esta desigualdad se cumple para todo nmero real, excepto para 4 y 4,
con los cuales el valor absoluto se hace cero. Para llegar a esta solucin analticamente se
considerarn los siguientes dos casos:
29
Caso 1: x2 16 0
Caso 2: x2 16 0
Caso 1: x2 16 0
Descomponiendo la diferencia de cuadrados como un producto de binomios conjugados, se tiene:
x 4 x 4 0
Resolviendo esta desigualdad en forma anloga a la planteada en el ejercicio resuelto nmero 20,
se tiene:
a) Si x4 0 y x4 0
entonces:
x 4 y x 4
de donde la solucin a este inciso, ser:
-4 0 4 R
GRFICA 10
x4
b) Si x4 0 y x4 0
entonces:
x 4 y x 4
30
de donde la solucin a este inciso, ser
-4 0 4 R
GRFICA 11
x 4
por lo tanto, la solucin al caso 1, vendr dada por la unin de las soluciones a los incisos a y b,
esto es:
x x 4, x x x 4, x
Caso 2: x2 16 0
Descomponiendo la diferencia de cuadrado:
x 4 x 4 0
de donde se tiene:
c) Si x4 0 y x4 0
entonces:
x 4 y x 4
por lo que, la solucin a este inciso ser el conjunto vaco, como puede observarse en la siguiente
grfica:
-4 0 4 +R
GRFICA 12
la interseccin es:

31
d) Si x4 0 y x4 0
entonces:
x 4 y x 4
por lo que, la solucin a este inciso ser:
-4 0 4 R+
GRFICA 13
4 x 4
de donde la solucin al caso 2, vendr dada por la unin de las soluciones a los incios c y d, esto
es:
x 4 x 4, x
Finalmente, la solucin a la desigualdad planteada viene dada por la unin de las soluciones de
los casos 1 y 2, esto es:
x x 4, x x x 4 , x x 4 x 4, x
lo cual se puede expresar como:
x x con x 4 y x 4
24. Determinar el conjunto de valores de x , para los cuales se cumple la siguiente

desigualdad:
3x 2 2
Solucin:
Al multiplicar en ambos miembros de la desigualdad por (1), se tiene:
32
3x 2 2
empleando una de las propiedades del valor absolulto se puede plantear la siguiente doble
desigualdad:
2 3x 2 2
Resolviendo la primera de ellas, se tiene:
2 3x 2
de donde:
0 3x
y por lo tanto:
x 0
Resolviendo la segunda desigualdad, se tiene:
3x 2 2
de donde:
3x 4
y por lo tanto:
4
x
3
Finalmente, la solucin a la desigualdad planteada estar dada por la interseccin de los

conjuntos solucin de la primera y segunda desigualdad, esto es:
x x 0, x x x
4
, x

3
33
o bien, grficamente
4
3
GRFICA 14
por lo tanto, el conjunto solucin ser
4
x x y 0 x
3
x
1 5x 1
2
Solucin:
Haciendo uso de una de las propiedades del valor absoluto, la desigualdad se puede plantear de la
siguiente forma:
x x
1 5x 1 1 5x 1
2 2
Resolviendo la primera de estas desigualdades, se tiene:
x
1 5x 1
2
sumando uno en ambos miembros:
x
5 x
2
multiplicando en ambos miembros por dos, se tendr:
x 10 x
34
de donde:
11x 0
y por lo tanto:
x0
Resolviendo la segunda desigualdad, se tiene
x
1 5x 1
2
sumando uno en ambos miembros:

x
5x 2
2
multiplicando por dos en ambos miembros, se tiene:
x 10 x 4
sumando (x) y (4) en ambos miembros, se obtiene:
4 9x
o bien:
9x 4
de donde:
4
x
9
Finalmente, la solucin a la desigualdad planteada, vendr dada por la unin de los conjuntos
solucin de las dos desigualdades resueltas, esto es:
4
x x y x 0 x x y x
9
que es el conjunto:
x x 0, x
35
26. Obtener el conjunto de valores de x que satisfacen la siguiente desigualdad:
4x 1 2 x
Solucin:
Resolviendo esta desigualdad por dos procedimientos distintos se tiene:
Primer procedimiento:
Al multiplicar en ambos lados de la desigualdad por el recproco de 2 x con x 2 , se tendr:
1 1
4x 1 2 x
2 x 2 x
simplificando:
4x 1
1
2x
por propiedades del valor absoluto, se puede escribir:
4x 1
1
2 x
de donde se puede platear la siguiente doble desigualdad:
4x 1
1 1
2 x
1 desigualdad 2 desigualdad
resolviendo la primera desigualdad, se tiene:
Primera desigualdad:
4x 1
1
2 x
Como se trata de un coeficiente donde aparece la variable en el denominador, se considerarn

dos casos.
Caso 1: 2 x 0 x 2
36
Al multiplicar en ambos miembros de la desigualdad por 2 x , se tendr:
4x 1
2 x 1 2 x
2x
simplificando:
x 2 4x 1
de donde se obtiene:
3x 1
por lo tanto:
1
x
3
en consecuencia, la solucin al caso 1 estar dada por por:
1
x x y x 2 x x y x
3
o bien, grficamente:
1 0
-1/3 2 +
R

3
GRFICA 15
1
x 2
3
Caso 2: 2 x 0 x 2
Multiplicando en ambos miembros de la desigualdad por 2 x , se tendr:
4x 1
2 x 1 2 x
2 x
37
simplificando:
x 2 4x 1
3x 1
por lo tanto:
1
x
3
En consecuencia, la solucin al caso 2 estar dada por:

1
x x y x 2 x x y x
3
1 0
-1/3 2 +R

3
GRFICA 16
por lo que, la solucin al caso 2 ser el conjunto vaco:
Dado que la solucin a la primera desigualdad se obtiene con la unin de las soluciones al caso 1
y al caso 2, entonces se tiene:
Solucin a la primera desigualdad:
1
x 2
3
Segunda desigualdad:
4x 1
1
2 x
Al igual que para la primera desigualdad, se considerarn los siguientes dos casos:
38
Caso 1: 2 x 0 x 2
Al multiplicar en ambos lados de la desigualdad por 2 x , se tendr:
4x 1
2 x 1 2 x
2 x
simplificando:
4x 1 2 x
5x 3
por lo tanto:
3
x
5
En consecuencia, la solucin al caso 1 de la segunda desigualdad ser:
3
x x y x 2 x x y x
5
3
5
GRFICA 17
3
x
5
Caso 2: Si 2 x 0 x 2
Al multiplicar en ambos lados de la desigualdad por 2 x , se tendr:
39
4x 1
2 x 12 x
2 x
simplificando:
4x 1 2 x
5x 3
por lo tanto:
3
x
5
En consecuencia la solucin al caso 2 de la segunda desigualdad estar dada por:
3
x x y x 2 x x y x
5
3/5
3
5
GRFICA 18
x2
40
Dado que la solucin a la segunda desigualdad est dada por la unin de las soluciones al caso 1
y al caso 2, entonces se tiene:
Solucin a la segunda desigualdad

3
, 2,
5

Finalmente, se tiene que la solucin a la desigualdad originalmente planteada, estar dada por la
interseccin de los conjuntos solucin de la 1 y 2 desigualdad, esto es:
1 3
, 2 , 2,
3 5
1 3

3 5
GRFICA 19
por lo tanto, la solucin ser:
1 3
x x y x
3 5
Segundo procedimiento:
Se tiene que la desigualdad a resolver es:
4x 1 2 x
Elevando al cuadrado en ambos miembros de la desigualdad la relacin de orden de la misma no

cambia. Es importante mencionar que esta aseveracin es cierta solamente si en ambos miembros
41
de la desigualdad se tienen valores absolutos, ya que se tienen cantidades positivas en ambos

miembros, por lo que se tiene:
4x 1 2 x
2 2
por propiedades del valor absoluto se puede escribir:
4x 1 2 x
2 2
dado que en ambos miembros de la desigualdad se tienen trminos cuadrticos, stos siempre
sern positivos, por lo que los valores absolutos se pueden omitir, esto es:
4x 1 2 x
2 2
desarrollando los binomios, se tiene:
16 x 2 8 x 1 x 2 4 x 4
15 x 2 4 x 3 0
obteniendo las races
3
x1 5
4 16 180 4 14
x
30 30 1
x2
3
por lo que se puede escribir la desigualdad anterior en forma factorizada de la siguiente forma:
3 1
15 x x 0
5 3
1
multiplicando en ambos miembros por , se tiene:
15
3 1
x x 0
5 3
Para la solucin de esta desigualdad se considerarn los siguientes dos casos:
42
3 1
Caso 1: x 0 y x 0
5 3
Entonces:
3 1
x y x
5 3
de donde la solucin al caso 1 estar dada por la interseccin de ambas condiciones.
Grficamente:
-1/3
1 0 3/5
3 R

3 5
GRFICA 20
por lo que la solucin para este caso es .

3 1
Caso 2: x 0 y x 0
5 3
Entonces:
3 1
x y x
5 3
definiendo grficamente la interseccin de ambas condiciones, se tiene:
-1/3
1 0 3/5
3 R

3 5
GRFICA 21
43
1 3
x
3 5
En consecuencia, la solucin a la desigualdad originalmente planteada, estar dada por la unin

de las soluciones a los dos casos, esto es:
1 3
x x y x
3 5
o bien:
1 3
x x y x
3 5
Resultado que coincide con el del primer procedimiento
44
EJERCICIOS PROPUESTOS
1. Sean los conjuntos

A 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5
B 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13
C ... 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6
D 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13,
Indicar si las siguientes afirmaciones son verdaderas o falsas. Justificar las respuestas.
a) A B B C
b) A D A C B
c) A C C D A B
d) A C B D
2. Con los siguientes conjuntos:

A 1, 3, 5, 7, 9
B 1, 2, 3, 4, 5
C x x es una vocal
U A B C
Obtener:
a) A C B
b) AC B
y, representar la respuesta empleando diagramas de Venn.
45
3. Dados los siguientes conjuntos:
A 3, 4, 5, 6, 7, 8, 9
B 3 , 4 , 5
C 3, 4, 5, 6, 7, 8, 9
D p, tal que p es un entero positivo mayor que 2 y menor que 10
Indicar si son verdaderas o falsas las siguientes afirmaciones.
Justificar las respuestas.
a) A C
b) 3 A
c) B D
d) C = D
e) A D
f) A = D
g) D C
h) 3, 4 D
i) A C
j) A B
4. Sean los conjuntos de nmeros N , Z , Q, Q y . Considerando el conjunto como el
conjunto universo, determinar el resultado de:
Q Z N Z Q N Q Q Z N
5. Indicar con una V si la afirmacin es verdadera o con una F si es falsa.
a) Si a Z , entonces a Q ..................................................................................... ( )
b) N ................................................................................................................... ( )
c) 0 ................................................................................................................. ( )
d) Z Q ................................................................................................................... ( )
e) Q Q ............................................................................................................ ( )
46
6. En las siguientes proposiciones indicar mediante una V si dichas propuestas son ciertas o con
una F en caso de ser falsas.
a
a) Q x x , a, b Z , b 0 ................................................................... ( )
b
b) Q Q ............................................................................................................ ( )
c) Q Z .................................................................................................................... ( )
d) Z Z N ............................................................................................................ ( )
e) A B C A B A C ....................................................................... ( )
f) x x x 0 ................................................................................................... ( )
g) A B A B A C .......................................................................... ( )
h) Q ..................................................................................................................... ( )
i) Q ............................................................................................................... ( )
j) A A .............................................................................................................. ( )
7. El origen del juego de ajedrez es muy incierto. La hiptesis ms difundida es de que fue en la
India donde se invent. Aunada a esta teora existe una leyenda en cuanto a un premio que el
rey hind Sheram o Shirham, insisti que el inventor recibiese por su genial creacin. La
recompensa solicitada consista en una cierta cantidad de granos de trigo calculada de la
siguiente manera: un grano de trigo en el primer cuadro, dos en el segundo, cuatro en el
tercero, ocho en el cuarto, y as sucesivamente hasta completar los sesenta y cuatro cuadros.
La leyenda habla del desaliento del monarca al escuchar semejante peticin que, por modesta,
era indigna de su generosidad. No obstante su disgusto, orden a sus matemticos el clculo
de la cantidad demandada para proceder a su pago. La leyenda termina con la narracin del
tiempo extraordinario que utilizaron los sabios para dicho clculo y de la sorpresa del
soberano al no poder pagar su deuda. Mucho se ha hablado de la cantidad fabulosa de trigo
que se necesitara para cubrir tal peticin; para no repetir lo que se ha escrito, solamente se
indicar que el nmero de granos era de:
264 1 , es decir 18 446 744 073 709 551 615 granos.
Si se considera que un metro cbico de trigo tiene un promedio quince millones de granos y
que la produccin promedio anual de Mxico es de 2 650 000 ton. (Agenda estadstica 1979,
SPP), nuestro pas necesitara de aproximadamente 464 aos de produccin para pagar.
Pero, dejando a un lado la leyenda y enfocando la atencin en lo matemtico, seguramente si

los sabios de aquella poca hubieran conocido el mtodo de induccin matemtica y
hubieran observado el comportamiento de la suma de los granos en los primeros cuadros,
47
hubieran podido establecer y demostrar la expresin siguiente, que le pudo dar el resultado
para n = 64 aun para todo nmero natural.
1 2 4 2n 1 2n 1
Como ejercicio, se pide demostrar la validez de esta expresin.
8. Utilizando el mtodo de induccin matemtica, demostrar:
a) 1 2 3 n
4 4 4 4
n n 1 6n 3 9n 2 n 1
; n N

30
1 1 1 1
b) n para n 2; n N
1 2 3 n
c) cos n 1 ; n N
n
n n 1 n r 2 n r 1 r 1
d) a x a n na n 1 x x xn ; n N
n
a
r 1 !
e) 1 3 2 3 3 3 n 3
2 3 n

2n 1 3n 1 3
; n N
4
f) 2a 4a 6a 2na n n 1 a; n N a
g) 3 1 2 3 2 4 3 3 4 3n n 1 n n 1 n 2 ; n N
h) 1 4 9 16 1 n 2 1 1 2 3 n ;
n 1 n 1
n N
1
i) 1 2 2 3 3 4 n n 1 n n 1 n 2 ; n N
3
n 4n 2 6n 1 ; n N
1
j) 1 3 3 5 5 7 2n 1 2n 1
3
1 1 1 1 n
k) ; n N
2 5 5 8 8 11 3n 1 3n 2 6n 4
1 1 1 1 1 1
l) 2 3 n 1 n ; n N
3 3 3 3 2 3
n 16n 2 12n 13 ; n N
1
m) 1 5 5 9 9 13 4n 3 4n 1
3
n) 1 2 2 3 2 4 2 n 2 1 n 1 2n ; n N
2 3 n 1
1 1
n
o) 1 1 1 1 ; n N
1 2 3 n
2
n 2a n 1 d
p) a a d a 2d a n 1 d ;
2
n N a, d ,
48
9. Demostrar por induccin matemtica que 10n 1 3 10n 5 es divisible entre 9 para todo
n N .
10. Demostrar, por induccin matemtica, que un polgono de n lados tiene exactamente un
nmero de diagonales igual a:
1
D n n 3 ; n 3, n N
2
matemtica.
an 1
Si a 1 entonces 1 a a 2 a n 1 ; n
a 1
matemtica.
1 1 1 1 n n 3
; n
1 2 3 2 3 4 3 4 5 n n 1 n 2 4 n 1 n 2
13. Demostrar, utilizando el mtodo de induccin matemtica que:
Si n N , entonces
2
3
2n3 3n 2 n N
14. Demostrar, por induccin matemtica que, para todo
n N , a n b n si a, b, tales que 0 a b
15. Demostrar, utilizando induccin matemtica, que:

sen 2n x
cos x cos 2 x cos 4 x cos 2n 1 x
; n
2n sen x
16. Demostrar la siguiente desigualdad, llamada la desigualdad de Bernoulli, utilizando
induccin matemtica:
1 1 n
n
donde:
n 2, n N ; 1,
49
17. Para cada uno de los siguientes incisos, obtener un par de valores a, b Z , tales que:
a
a) 2.272727 2.27
b
a
b) 3.936936 3.936
b
a
c) 35.88533 35.88533
b
18. Para cada una de las siguientes desigualdades, obtener el conjunto de valores de
x , que las satisfacen.
1
a) 0
x4
4x
b) 6 14
x
4 1 3
c)
x 3 2 3 x
3 2
d)
x2 x3
x 2
e)
8 x
f) 0 x2 4x
g) 3x 1 2 x 4 3x 1 x 5
h) x 9 6 2x
i) 2x 3 4 x
j) 2x 4
20
k) 5 0
x
l) x2 4
2
m) 1
x 1
2
n) 1
1 x
1
o) 3 6
x
p) x 1 x
q) 3 2x 2 x
50
r) 5 3x 1 x
1
s) 2
3 x
1
t) 0
x
51
RESPUESTA A LOS EJERCICIOS PROPUESTOS
1. a) V
b) F
c) F
d) V
2. a) A C B 2, 4 b) A C B 1, 2, 3, 4, 5 B
A B A B
C C
3. a) V
b) F
c) F
d) F
e) V
f) V
g) F
h) V
i) F
j) V
4. a)
5. a) V
b) F
c) F
d) V
e) V
6. a) V
b) F
c) F
d) F
e) F
f) F
g) F
h) V
52
i) F
j) V
75
17. a)
33
437
b)
111
13 457
c)
375
18. a) x 4
4
b) 0 x
9
c) x x 3, x x x 5, x
d) x x 2, x x 3 x 13, x
e) x x 4, x x 0 x 4, x
f) 4 x 0

x x 1, x
1
g) x x , x
3
h) x 1 x 15
7
i) x 1 x
3
j) 0 x 8

k) x x 4, x x x 4, x
l) 6 x 2

m) x x 1, x x x 3, x
n) 3 x 1
1 1
o) x x , x x , x
3 9
p)
1
q) x5
3
r) 3 x 1 x x 1, x x x 3, x
11
s) x3
4
t) x x 0, x
53
CAPTULO 2
NMEROS COMPLEJOS
El primer asomo de la raz cuadrada de un nmero negativo se present en la stereometra de

Hern de Alejandra (ao 50), y ms tarde en la aritmtica de Diofanto (ao 275).
La historia de los nmeros complejos ha ocasionado reacciones muy encontradas en quienes, a

travs de los tiempos, han tenido contacto con ellos.
As se encuentra la negacin de su existencia en Mahavira (ao 850) y Bhaskara (ao 1150), ante
la imposibilidad de tener un nmero real que al elevarse al cuadrado diera como resultado un
nmero negativo.
Pero ante la necesidad de crear unos nmeros que respondieron a la verificacin de ecuaciones
cuadrticas del tipo x 2 c 0 , muchos estudiosos de la ciencia de las formas y de los nmeros
se dedicaron a este problema. Entre ellos estn Gerolamo Cardano (1501-1576), Raphael
Bombelli (1572), Karl Friedrich Gauss (1777-1855) y William Rowan Hamilton (1805-1865).
Al hablar de trminos y smbolos, Cardano habl de soluciones de la forma 5 15 como

cantidades sofisticadas; Bombelli llam a los nmeros n y n como piu di meno y
meno di meno; y fue Descartes (1637) quien contribuy con los trminos real e imaginario.
Muchos de los escritores de los siglos XVII y XVIII hablaron de expresiones a b 1 como
CAPTULO2.NMEROSCOMPLEJOS
cantidades imaginarias. A Gauss se debe el nombre de nmeros complejos, y el uso de i para

1 se le reconoce a Euler en 1748. Cauchy sugiri los trminos conjugados para a bi y
a bi y mdulo para a 2 b 2 . Weierstrass utiliz el trmino valor absoluto y lo represent con
a bi , y Gauss bautiz a a 2 b 2 como norma.
Debe haber sido asombroso constatar que el nmero i, no era natural, tampoco positivo, negativo,
fraccionario, algebraico o trascendente. En una palabra, no era real. Se saba que todos los
nmeros reales podan ser representados por puntos situados sobre una recta, pero el nmero i no
figuraban ah. La representacin grfica de estos nmeros complejos se debe a Wallis, Kuhn,
Wessel, Truel, Bue, J. R. Argand, Gauss, Franais y Warren.
La frmula, ei 1 atribuida a De Moivre (1667-1757) y a Euler (1707-1783), asombro del

mundo matemtico pues relaciona la unidad de los nmeros imaginarios, i, con la unidad de los
reales, 1, y los nmeros trascendentes cargados de historia e y . Esta expresin est grabada
sobre una puerta del museo El palacio del descubrimiento en Pars.
55
1. Sean los nmeros complejos:
z1 1 i, z2 1 i, z3 i, z4 1, z5 2 i
Realizar las siguientes operaciones:
z32 z4
a)
z1 z2 z5
z3 z 4 z 2
b)
z1 z5 z3
2
z
c) 1 z3 z4 z5
z2
Solucin:
a) Sustituyendo valores:
i 1
2
z32 z4

z1 z2 z5 1 i 1 i 2 i
como i 1 1 i 1 i 2i , entonces se tiene:

2
y
1 1 2

2i 2 i 2 3i
para efectuar la divisin se multiplicar numerador y denominador por el conjugado del

denominador, entonces:
2 2 3i 4 6i 4 6i 4 6
i
2 3i 2 3i 4 6i 6i 9i 2
4 9 13 13
por lo tanto:
z32 z4 4 6
i
z1 z2 z5 13 13
56
b) Sustituyendo valores y desarrollando se tiene:
z3 z4 z2

i 1 1 i
i 1 i
z1 z5 z3 1 i 2 i i 2 i 2i i i
2 2 2 2
como i 2 1 entonces:
z3 z4 z2 1 2i 1 2i 1

z1 z5 z3
2
1 2i
2
1 2i 1 2i 1 2i
multiplicando y dividiendo por el conjugado del denominador:
z3 z 4 z 2 1 1 2i 1 2i 1 2i

z1 z5 z3 1 2i 1 2i 1 4i 2
2
5
por lo tanto:
z3 z 4 z 2 1 2
i
z1 z5 z3
2
5 5
z1 1 i 1 i
c) z3 z 4 z5 i 1 2 i 1 2i
z2 1 i 1 i
efectuando la divisin se tiene:
z1 1 i
z3 z4 z5 1 2i
z2 1 i
1 i
1 2i
1 i
1 1 2i
z1
z3 z4 z5 1 1 2i 2 2i
z2
por lo tanto:
z1
z3 z4 z5 2 2i
z2
57
2. Transformar el nmero z 2 4 i a la forma polar.
Solucin:
r 2 2 42
4 16 20
4
ang tan ang tan 2
2
63.4349
es decir:
63.4349 63 60 26.0969
finalmente:
26.0969 26 60 5.82
entonces:
63 26 5.82
z 20 cis 63265.82
3. Transformar el nmero z 3 4 i a la forma trigonomtrica.
Solucin:
r 32 42
9 16 5
4
ang tan
3
53.13
finalmente:
z 5 cis 53.13
58
4. Transformar el nmero z 3 4 i a la forma polar o trigonomtrica.
Solucin:
r 3 4
2 2
r 9 16
r5
Para calcular el argumento de este nmero, es necesario observar que su representacin en el

diagrama de Argand se localiza en el segundo cuadrante:
Eje imaginario
Z 4
1
0 Eje real
-3
si se intenta obtener este argumento con una calculadora, se tiene:
4
1 ang tan 53.13
3
Esto se debe a que las calculadoras slo dan el resultado de esta funcin con variaciones entre
90 y 90. Entonces, el resultado dado por la calculadora es el ngulo 1 mostrado en la figura
y el argumento principal es:
180 53.13
126.87
de donde:
z 5 cis 126.87
59
5. Transformar el nmero z 3 4 i a la forma polar.
Solucin:
r 3 4
2 2
9 16
r 5
4
1 ang tan 53.13
3
Sin embargo, el nmero complejo z tiene abscisa y ordenada negativas, lo cual significa que su
representacin en el diagrama de Argand se localiza en el tercer cuadrante, entonces:
180 53.13
233.13
z 5 cis 233.13
6. Transformar el nmero z 3 4i a la forma polar.
Solucin:
r 32 4
2
9 16
r 5
4
1 ang tan 53.13
3
Este resultado se obtuvo con calculadora, pero el nmero z se localiza en el cuarto cuadrante del
diagrama de Argand, por tener abscisa positiva y ordenada negativa, as que el valor del
argumento principal es:
360 53.13
306.87
entonces:
z 5 cis 306.87
60
7. Transformar el nmero z 2 cis 60 a la forma binmica o algebraica.
Solucin:
a 2 cos 60 1
b 2 sen 60 3
entonces:
z 1 3 i
8. Transformar el nmero z 3 2 cis 202.5 a la forma binmica.
Solucin:
a 3 2 cos 202.5 1.16
b 3 2 sen 202.5 0.48
finalmente:
z 1.16 0.48i
Como puede observarse, el argumento principal de este nmero es 202.5; es decir, su

representacin geomtrica se localiza en el tercer cuadrante, lo cual se comprueba al obtener los
valores de a y b negativos.
9. Transformar el nmero z 4 cis 720 a la forma algebraica.
Solucin:
a 4 cos 720 4
b 4 sen 720 0
z 4
Obsrvese que el argumento 720 no es el principal de este nmero. Al restarle 2 360 al

argumento, da como resultado 0 como argumento principal, esto indica que su representacin
geomtrica est sobre el eje real y se trata de un nmero real.
61
10. Efectuar las siguientes operaciones y expresar el resultado en la forma trigonomtrica:
4z1 z22
z3 z4
si z1 i z3 8 cis 45
z2 3 i z4 5 cis 0
Solucin:
Para obtener el numerador de la fraccin pedida se tiene:
z1 i
z22 3 i 3 i 9 6i i 2
8 6i dado que i 2 1
es decir:
4 z1 z22 4i 8 6i
32i 24i 2
24 32i
Por otra parte, dado que en el denominador se debe realizar una suma, se procede a convertir los
nmeros a la forma binmica:
1 8
Para z3: a 8 cos 45 8
2 2
a2
b 8 sen 45
b2
z3 2 2i
Para z4: z4 5 , pues el argumento es cero y ello indica que se trata de un nmero real.
62
Entonces:
z3 z4 2 2i 5 7 2i
finalmente:
4 z1 z22 24 32i

z3 z 4 7 2i
24 32i 7 2i

7 2i 7 2i
168 224i 48i 64i 2

49 4i 2
entonces:
4 z1 z22 104 272i
R
z3 z4 53
Para expresar el resultado R en la forma polar:
104 272
2 2
r 5.47
53 53
272
360 ang tan 53 290.92
104
53
R 5.47 cis 290.92
11. Sea la unidad imaginaria i 1 , determinar y demostrar una frmula que permita elevar
esta unidad a cualquier exponente par.
Solucin:
Si se eleva i al cuadrado:
i 2 i i 1 1 1
ahora, al elevarlo a la cuarta potencia:
i4 i2 i 2 1 1 1
63
a la sexta potencia:
i6 i4 i2 1 1 1
Como la tendencia al parecer, es la alternacin de signos, se puede suponer que la expresin

buscada es:
i 2 n 1 ;
n
n N
Para efectuar su demostracin, se utilizar induccin matemtica:
Verificacin para n = 1:
i 2 1 1
1
i 2 1 s se cumple.
Se supone vlida la expresin para n = k:
i 2 k 1
k
hiptesis de induccin
Debe cumplirse para n = k + 1:
i 2 k 1 1
k 1
tesis
Si en la hiptesis, supuestamente vlida, se multiplica en ambos miembros por i2, seguir siendo
vlida:
i 2 k i 2 1 i 2
k
Por leyes de los exponentes:
i 2 k 2 1
k
i2
i 2 k 1 1
k
i2
pero i 2 1 como se comprob

i 2 k 1 1 1
k
por leyes de los exponentes:

i 2 k 1 1
k 1
Q.E.D.
64
12. Obtener en forma trigonomtrica el resultado de z1 z2 , donde z1 y z2 son los nmeros

complejos que se muestran en la figura:
Eje imaginario
2 Z1
-3 30
Eje real
45
Z2
Solucin:
De la figura se observa:
Para z1:
1 30
Se tiene que
2
sen 30
r1
2
r1 4
sen 30
z1 4 cis 30
para z2:
2 270 45 225
3
r2 3 2
sen 45
z2 3 2 cis 225
65
entonces:
z1 z2 r1r2 cis 1 2

4 3 2 cis 30 225
12 2 cis 255
13. Determinar un nmero complejo z, tal que multiplicado por 2 cis 315 sea igual a uno.
Solucin:
Si se hace z x yi y como 2 cis 315 1 i , entonces se plantea la siguiente

ecuacin:
1 i x yi 1 0i
efectuando el producto:
x yi ix yi 2 1 0i
agrupando:
x y x y i 1 0i
por igualdad de complejos se tiene:
x y 1 (1)
x y 0 (2)
resolviendo el sistema por sumas y restas:
x y 1
x y 0
1
2y 1 y
2
1
sustituyendo y en la ecuacin (1):
2
1 1
x 1 x
2 2
66
por lo que el nmero buscado es:
1 1
z i
2 2
A continuacin se resolver este mismo ejercicio, pero trabajando con los nmeros complejos en
forma polar. Se tiene que:
2 cis 315 r cis 1

1 1
1
2 r1 1 ; r1
2
315 1 0 1 315 k 360; k Z
Considerando el argumento principal:
1 1
z cis 315 cis 45
2 2
o bien
1 1 1 1
a cos 45
2 2 2 2
1 1 1 1
b sen 45
2 2 2 2
entonces
1 1
z i
2 2
14. Representar en el plano de Argand las soluciones de la ecuacin:
z1 / 5 2 2i
1/ 3
Solucin:
Para despejar z se elevar a la quinta potencia en ambos miembros de la ecuacin:
z
5
2 2i
1/ 5 5 1/ 3

z 2 2i 2 2i
5/3 3 5
67
transformando 2 2i a su forma polar por facilidad de manejo, se tiene:
2 2i 8 cis 315
entonces:
8 cis 315 8 cis 5 315

5 5
z 3 3
8 cis1575
5
z 3
considerando el argumento principal se tendr:
8
5
z 3 cis 135
obteniendo las races cbica:
135 k 360 135 k 360

8
5
z 3 cis 4 2 cis
3 3
de donde los valores buscados son:
135
para k 0 : z1 4 2 cis 4 2 cis 45
3
135 360
para k 1 : z2 4 2 cis 4 2 cis 165
3
135 720
para k 2 : z3 4 2 cis 4 2 cis 285
3
Representando en el plano de Argand, los nmeros complejos obtenidos:
Eje imaginario
Z1
4 2
Z2 4 2 165
45
0 Eje real
285
4 2
Z3
68
15. Resolver la siguiente ecuacin y expresar el resultado en forma binmica, polar y

exponencial.

i
3 5i 2 e 4
2 cis 180
z1 / 4
Solucin:
Despejando z1 / 4 de la ecuacin, se tendr:

i
3 5i 2 e 4
z 1/ 4

2 cis 180

i
transformando el nmero complejo 2e 4
a su forma binmica para poder efectuar la suma del
numerador, se tiene:
3 5i 1 i 4 4i
z1 / 4
2 cis 180 2 cis 180
como 2 cis 180 2 , entonces:
4 4i
z1 / 4 2 2i 8 cis 135
2
elevando a la cuarta potencia en ambos miembros de la ecuacin:
z
4 4
1/ 4
8 cis 135
8 cis 4 135 64 cis 540

4
z
considerando el argumento principal:
z 64 cis 180
por lo tanto, el resultado pedido en sus tres formas de expresin ser:
z 64
z 64 cis 180
z 64 e i
69
16. Obtener los valores de z C para los cuales se satisface la siguiente ecuacin:

2

z 1 z cis 1 cis 180 e2 i
2
i
2 2 2 4
2 i
Solucin:
Transformando los nmeros complejos que intervienen en la ecuacin a su forma binmica se

tiene:

cis i
2
1 cis 180 1
e2 i 1 cis 360 1
sustituyendo en la ecuacin se tendr:
2
i z 2 1 z 2 i 1 1
2 2 4
sumando uno en ambos lados de la ecuacin y factorizando z2 , se obtiene:
z2 i2 i2
2
1
4
de donde:
2i z
2 2

2
i
por lo que:
2
z2
2i 3
como i 3 i entonces:
1
z2
i
multiplicando por el conjugado del denominador para efectuar la divisin, se tiene:
1 i i i
z2 2 i
i i i 1
por lo que:
70
z 2 1 cis 90
entonces:
90 k 360
z 1 cis 90 1 cis
2
de donde los valores buscados son:
para k 0 : z1 1 cis 45
para k 1: z2 1 cis 225
17. Resolver la siguiente ecuacin y expresar el resultado en la forma polar:
i x2 3 ix 1 3 i 0
Solucin:
De la frmula general para resolver ecuaciones de segundo grado:
b b 2 4ac
x
2a
3i 3i 4 i 1 3i
2
x
2i
Se obtiene primero el resultado del radicando:
3i 4 i 1 3i 9 4 i 3
2
9 12 4i
3 4i
Para extraer raz cuadrada, se convierte este radicando a la forma trigonomtrica
r 3 4 5
2 2
4
ang tan 53.13
3
71
ahora
1 1
53.13 k (360)
5 cis 53.13 2 5 2 cis
2
k 0, 1
1
para k 0 : 5 cis 53.13 2 5 cis 26.57
1
para k 1: 5 cis 53.13 2 5 cis 206.57
En la frmula, el utilizar el signo positivo es equivalente a considerar la raz para k 0 , y el

signo negativo equivale a la raz para k 1 .
Entonces
3i 5 cis 26.57
x1
2i
para poder sumar los nmeros complejos del numerador, se convierte el segundo sumando a la
forma binmica:
3i 5 cos 26.57 i 5 sen 26.57

x1
2i
3i 2 i 2 4i

2i 2i

2 4i i 2i 4 2 i x1 2 i
2i i 2
72
Por otra parte:
3i 5 cis 206.57
x2
2i
3i 5 cos 206.57 i 5 sen 206.57

2i
3i 2 i

2i
2 2i

2i

2 2i i
2i i
2 2i

2
1 i x2 1 i
18. Determinar las expresiones, en trminos de k, de 0 y 1 que cumplen con:
1 i 0 1 i 1
k
donde k es una constante, k N .
Solucin:
Dado que con la frmula de De Moivre es posible elevar un nmero complejo a una potencia
natural cualquiera, se procede a convertir el nmero 1 i a la forma trigonomtrica:
r 12 12
r 2
1
ang tan
1
73
sustituyendo:
k

2 cis 0 1 i 1
4

2k / 2 cis k 0 1 1 i
4
es decir:

2 k / 2 cos k i sen k 0 1 1 i
4 4

k 2 k / 2 sen k i 0 1 1 i
2 k / 2 cos
4 4
por igualdad de nmeros complejos:

0 1 2 k / 2 cos k (1)
4

1 2k / 2 sen k (2)
4
sustituyendo (2) en (1):

0 2k / 2 sen k 2k / 2 cos k
4 4
despejando 0 :

0 2k / 2 cos k 2k / 2 sen k
4 4
finalmente:

0 2k / 2 cos k sen k
4 4

1 2k / 2 sen k
4
74
19. Determinar las expresiones, en trminos de t, de 0 y 1 que cumplan:
e 23i t 0 2 3i 1
donde t es una constante, t .
Solucin:
El miembro izquierdo de la ecuacin puede escribirse:
e
2 3i t
e 2 t e 3ti
por propiedades de la funcin exponencial,
convirtiendo la expresin e3ti a la forma polar:
e 2t e3ti e 2 t cos 3t i sen 3t
llevando este valor a la expresin original:
e 2t cos 3t i sen 3t 0 2 3i 1
desarrollando:
e 2t cos 3t e 2t sen 3t i 0 2 1 3 1 i
por igualdad entre nmeros complejos:
e 2t cos 3t 0 2 1 (1)
e 2t sen 3t 3 1 (2)
de la ecuacin (2):
e2t sen 3t
1
3
sustituyendo este valor en la ecuacin (1):
0
3
e sen 3t e2t cos 3t
2 2t
75
despejando:
2 2t
0 e 2t cos 3t e sen 3t
3
finalmente:
2
0 e 2t cos 3t sen 3t
3
1 2t
1 e sen 3t
3
20. Obtener los valores de r y que satisfacen la ecuacin:
r cis z1 z2 z3
2
donde:
z1 8 cis 315
z 2 2 e 5 i / 2
z3 25 27i
Solucin:
Primeramente se trabajar con el miembro derecho:
Para:
z1 8 cis 315
a1 8 cos 315
a1 2
b1 8 sen 315
b1 2
z1 2 2i z1 2 2i
76
Para:
z2 2e5 i / 2 2e i / 2

a2 2 cos
2
a2 0

b2 2 sen
2
b2 2
z2 2i
sustituyendo:
r cis 2 2i 2i 25 27i
2
2 2i 25 25i
50 50i 50i 50i 2

r cis 100 i
2
si se convierte el segundo miembro a la forma trigonomtrica:
3
r cis 100 cis
2
elevando al cuadrado el primer miembro:
3
r 2 cis 2 100 cis
2
finalmente
r 10
3
2n ; n 0, 1, 2,
4
si n 0 se trata del argumento principal.
77
21. Demostrar que:
e i e i
sen
2i
Solucin:
El nmero complejo expresado en la forma de Euler e i , tiene como mdulo r 1 y argumento

.
Entonces:
e i cos i sen (1)
De la misma manera, el nmero e i puede expresarse:
e i cos i sen (2)
pero:
cos cos (3)
por ser una funcin par.
Adems:
sen sen (4)
por ser una funcin impar.
Sustituyendo (3) y (4) en (2):

e i cos i sen (5)
restando la expresin (5) a la expresin (1):
e i e i cos i sen cos i sen
e i e i cos i sen cos i sen
reduciendo trminos semejantes:
e i e i 2i sen
78
finalmente:
e i e i
sen
2i
Q.E.D.
22. Obtener los valores de x, y para los cuales se cumple la siguiente igualdad:
x yi x yi
2 2
Solucin:
Desarrollando los cuadrados, se tiene:
x2 2 xyi y 2 i 2 x 2 2 xyi y 2 i 2
agrupando partes reales y partes imaginarias:
x 2
y 2 2 xyi x 2 y 2 2 xyi
por igualdad de complejos puede plantearse el siguiente sistema de ecuaciones:
x2 y 2 x2 y 2 (1)
2 xy 2 xy (2)
una de las soluciones al sistema ser:
1
multiplicando la ecuacin (2) por se tiene:
2y
1 1
2 xy 2 xy ; con y 0
2y 2y
x x
2x 0
x0
79
sustituyendo x 0 en la ecuacin (1):
y2 y2
de donde:
yy
por lo tanto, esta igualdad se cumple para todo valor de y
Finalmente los valores buscados son:
x0
Otra solucin sera
y0
1
si la ecuacin (2) se multiplica por y se sigue el mismo procedimiento.
2x
23. Obtenga los valores de x, y que satisfacen la siguiente ecuacin, considerando el argumento
principal.
2 cis 210 3
e x yi 0
e 3 i / 2
Solucin:
Como 2 cis 210 3 i y e3 i / 2 1 cis 90 i , entonces:
e x yi
3 i 3 0
i
80
simplificando:
i
e x yi 0
i
e x yi 1 0
de donde:
e x yi 1
e x yi 1 cis 180
e x yi 1e i
por igualdad de nmeros complejos en su forma binmica, se tiene que:
x yi i
por lo que:
x0
24. Determinar los valores de x, y , para los cuales se satisface la siguiente igualdad:
x 2i cis 180 2 yi e i / 4 4e i / 2
Solucin:
Transformando los nmeros complejos que intervienen en la ecuacin a su forma binmica, se

tiene:
cis 180 1

i 1 1
e 4 1 cis 45 i
2 2
4e i / 2 4 cis 90 4i
sustituyendo en la ecuacin:
1 1
x 2i 1 2 yi i 4i
2 2
81
desarrollando los productos:
2 2 y y 2
x 2i i i i 4i
2 2 2 2
agrupando:
2 y 2 y
x 2 i 4i
2 2 2 2
por igualdad de nmeros complejos se puede plantear el siguiente sistema de ecuaciones:
2 y
x 0 (1)
2 2
2 y
2 4 (2)
2 2
de la ecuacin (2) se obtiene:

y 2
42
2 2
y 2
2
2 2
de donde:
y 2 2 2
por lo que, sustituyendo el valor de y en la ecuacin (1), se obtiene:
x
2
2

1
2

2 2 2 0
2 2
x 2 0
2 2
de donde:
4
x 2
2
82
por lo tanto, los valores pedidos son:

4
x 2
2
y 2 2 2
25. Obtener los valores de z, z C , que satisfacen la siguiente ecuacin:
4z 2 e i
2 cis 270 0.5 e

8i z e i / 2 1 3 i
3 i
z
Solucin:
Transformando los nmeros complejos que intervienen en la ecuacin a su forma binmica, se

tiene:
e i / 2 i
e i 1
e3 i 1
cis 270 i
sustituyendo en la ecuacin:
4z 2 1

8i z i 1 3 i
2 i 0.5 1 z
simplificando:
8i z i 3 i 2 8i z i 3
4z
2i 0.5 z 2i 0.5 z
de donde se obtiene que:
4 z 2i 0.5 z 8i z i 3
8iz 2 z 2 8i z 3 i
83
restando 8iz en ambos miembros de la ecuacin:
2z2 3 i
entonces
3 1
z2 i
2 2
3 1
como i 1 cis 30 entonces:
2 2
z 2 1 cis 30
de donde:
30 k 360
z 1 cis 30 1 cis
2
por lo que, los valores pedidos son:
para k 0 : z1 1 cis 15
para k 1: z2 1 cis 195
26. Calcular el valor o los valores de z C que satisfacen la siguiente ecuacin:
z 3 / 2 e i / 2 1 i 1 i 4 3i z 3 / 2
Solucin:
En primera instancia, se procede a despejar z de la ecuacin:
z 3 / 2 e i / 2 4 3i z 3 / 2 1 i 1 i
factorizando z 3 / 2 , se tiene:
z 3 / 2 e i / 2 4 3i 1 i 1 i
de donde:
1 i 1 i
z3 / 2
e i / 2 4 3i
transformando y efectuando operaciones:
84
1 i i i 2 2i
z3 / 2
i 4 3i 4 4i
como:
2i 2 cis 270
y
4 4i 32 cis 45
entonces:
2 cis 270 2
z3 / 2 cis 270 45
32 cis 45 32
1
z3 / 2 cis 225
8
2
elevando a la en ambos miembros de la ecuacin:
3
2/3
1
z
2/3
3/2
cis 225
8
de donde:
2
1 1
z 3 cis 225 3 cis 450
8 8
1
z 3 cis 90
8
obteniendo la raz cbica se tiene:
1 90 k 360 1 90 k 360
z 3 cis cis
8 3 2 3
1 90 1
para k 0 : z1 cis cis 30
2 3 2
1 90 360 1 450 1
para k 1 : z2 cis cis cis 150
2 3 2 3 2
1 90 720 1 810 1
para k 2 : z3 cis cis cis 270
2 3 2 3 2
85
por lo tanto, los valores pedidos son:
1
z1 cis 30
2
1
z2 cis 150
2
1
z3 cis 270
2
27. Resolver el siguiente sistema de ecuaciones
3x i y 1 4i
1 i x 2 y 4i
Solucin:
Aplicando el mtodo de sumas y restas, tenemos:
3x i y 1 4i (1)
1 i x 2 y 4i (2)
Multiplicando la ecuacin (1) por 2 y la ecuacin(2) por i, tenemos:
6 x 2iy 2 8i (3)
1 i x 2iy 4 (4)
Al sumar las ecuaciones (3) y (4) se tiene:
7 i x 6 8i
de donde:
6 8i
x
7 i
al dividir se obtiene:
6 8i 7 i 42 6i 56i 8 50 50i
x
7 i 7 i 50 50
86
por lo que:
x 1 i
al sustituir x 1 i en la ecuacin (1), tenemos:
3 1 i iy 1 4i
3 3i iy 1 4i
iy 2 i
2i
y
i
Al dividir se obtiene:
2i i 1 2i
y
i i 1
de donde:
y 1 2i
Finalmente, la solucin al sistema de ecuaciones es:
x 1 i
y 1 2i
87
1. Determinar y demostrar una frmula que permita elevar a la unidad imaginaria i 1 a un

exponente impar cualquiera.
2. Transformar los siguientes nmeros a la forma trigonomtrica o polar:
a) 1 i
b) i
c) 1 3 i
d) 2 2 3 i
3
e) 3 i
2
3. Transformar los siguientes nmeros a la forma binmica o algebraica:
1
a) cis 210
3
b) 16 cis 270
c) 1 cis 1845
d) 3 cis 45
e) 3 cis 248.37
4. Determinar:
z1 z2
z3
z3
donde:
z1 2 2i
z2 3 i

i
z3 2 e 4
5. Resolver la ecuacin:
2 i x 2 5 i x 2 2i 0
88
6. Obtener en la forma Euler el resultado de z1 z2 , donde z1 y z2 son los nmeros complejos

que se muestran en la siguiente figura:
Eje imaginario
Z1
3
2
1
30
Eje real
45 -1
-2
-3
Z2 -4
7. Obtener los valores de x, y que satisfacen la ecuacin:
2 cis 300 3 i
e x iy 0
e5 i / 2
8. Demostrar que:
e i e i
cos
2
9. Determinar los valores de 0 y 1 que cumplen con
1
k
3i 0 1 3 i 1
donde k es una constante que pertenece a los naturales
10. Determinar los valores de 0 y 1 que cumplen con
e 3 4i t 0 3 4i 1
donde t es una constante, t R
89
11. Dados los nmeros complejos
z1 3 2i; z2 2 2i; z3 1; z4 2 3i; z5 i
efectuar las siguientes operaciones:
z5
100
a)
z1 z2 z3 z2
2
b)
z4 z5
12. Obtener el o los valores de z, z C , que satisfacen las siguientes ecuaciones:
a) 3
16 z
8 e 5 i / 4 6 cis 90 0 i
8 e5 i / 12
1 cis 30 16 cis 30
b)
3 i e i / 6
z3 / 2
c) z 4 / 3 z1 z 4 / 3 z2 z3 z4 0
donde:
z1 2 4 3 i; z2 6e2 i ; z3 2 cis 90; z4 4e3 i /2
d) z 2 iz e i 0
4 4i 8e i / 2
e)
2 cis 270 5 2 i
z2 2 2 i
4e i / 2
f) z 3/2
2 cis 270 e i
z 3 / 2 2 4 cis 90
2 cis 270
g) z 3 / 2 z1 z 3 / 2 z2 z3 z2 z3 z1 z4
donde: z1 4 3i; z2 3 2i; z3 4 4i; z4 8e i /2
1 3
i cis 45
2 2 1 i
h)
i / 3
1 3 2
z3 / 4 cis 60 e i
2 2
90
i) 0.5 cis 540 z 2e3 i / 2

cis 90 1 3 i 8i z
4 z cis 180 2
13. Obtener los valores de m y n que satisfacen la siguiente igualdad:
3 cis 60 m 2n e5 i / 2 2 3i
14. Dados z1 4 cis 1 y z2 2 cis 45 obtener 1 y 2 si se tiene que:
z1 1 3 2 2 3
i
z2 1.5 2 3 2
15. Con los nmeros complejos que se ilustran en el siguiente diagrama de Argand,
Eje imaginario
Z3
1i Z1
2
45 1
30 Eje real
1 Z2
calcular el valor de z, z C , que satisface la siguiente ecuacin:
z2 6
z1 z2 z3 z1 z2 z3 z z3
z
2
16. Resolver el siguiente sistema de ecuaciones:

1 i z1 z2 0
iz1 z2 3 i
91
1. i 2 n 1 1
n 1
i; n N
2. a) 2 cis 45
b) cis 90
c) 2 cis 300
d) 4 cis 120
e) 3.67 cis 215.26
1 1
3. a) i
2 2 3
b) 16i
1 1
c) i
2 2
3 3
d) i
2 2
e) 0.639 1.61 i
4. z1 2 cis 40
z2 2 cis 160
z3 2 cis 280
5. x1 1 i
4 2
x2 i
5 5
17
i
6. z1 z2 24 2 e 12
7. x = 0
3
y 2n ; n 0, 1, 2, 3,
2
2k
9. 0 3 cos k sen k
3 3 3
2 k

1 sen k
3 3
92
4e3t cos 4t 3e3t sen 4t

10. 0
4
3t
e sen 4t
1
4
11. a) z5 1
100
b) 15 8i
12. a) z 13.5 cis 180

b) z1 3 256 cis 20
z2 3 256 cis 140
z3 3 256 cis 260
c) z1 i
z2 1
z3 i
z4 1
3 1
c) z1 i
2 2
3 1
z2 i
2 2
8
e) z1 cis 0
3
8
z2 cis 180
3
1
f) z1 3 cis 30
2
1
z2 3 cis 150
2
1
z3 3 cis 270
2
g) z1 4 cis 0
z2 4 cis 120
z3 4 cis 240
h) z1 1 cis 0
z2 1 cis 120
z3 1 cis 240
93
i) z1 1 cis 15
z2 1 cis 195
4
13. m
3
3
n 3
2
14. 1 30
2 3
15. z = 1
1 7
16. z1 i
5 5
8 6
z2 i
5 5
94
CAPTULO 3
POLINOMIOS
La palabra polinomio est compuesta por los vocablos poli (del griego polys que significa
mucho, pluralidad) y nomio (del griego nmos que significa divisin). Es decir una expresin, en
este caso algebraica, que consta de ms de un trmino.
En la hiertica egipcia del Papiro de Ahmes en el ao 1550 a.C. ya se habla de una cantidad
desconocida o incgnita, cuyo valor debe encontrarse para poder resolver una ecuacin de primer
grado.
En el ao 275 de esta era, Diofanto de Alejandra fue el primero en desarrollar un mtodo de

simbolismos para las potencias de expresiones algebraicas. En sus trabajos propuso la ecuacin
con dos miembros y el signo igual.
A partir de este mtodo griego se basaron los rabes y persas para desarrollar los suyos; asimismo
los chinos e hindes tuvieron mtodos para escribir ecuaciones.
Por otra parte, Bhaskara en el ao 1150 encontr una representacin par una ecuacin de segundo
grado.
En manuscritos de la Edad media ya se reconocen letras para representar cantidades algebraicas

en el estudio de las ecuaciones. Entre los cientficos que trabajaron en el desarrollo de
simbolismos para ecuaciones, desde finales del siglo XV hasta finales del siglo XVII, se puede
citar a Pacioli en 1494, Vander Hoecke en 1514, Ghaligai en 1521, Rudolff en 1525, Cardano en
1545, Sheubel en 1551, Tartaglia en 1556, Buteo en 1559, Stevin en 1585, Ranus y Schoner en
1586, Vite en 1590, Clavius en 1608, Girard en 1629, Oughtred en 1631, Herigone en 1534,
Descartes en 1637 y Wallis en 1693.
Posiblemente el primero en igualar a cero el segundo miembro de una ecuacin polinominal fue
el matemtico escocs Napier, y el primero en clasificar las ecuaciones de acuerdo con su grado
fue Khayyam en el siglo XII.
Si se habla de ecuaciones cuadrticas o de segundo grado, se puede citar a los griegos, quienes
fueron capaces de resolver algunos casos, mediante mtodos geomtricos. Euclides cita en sus
obras problemas que involucran este tipo de ecuaciones.
En la India quienes estudiaron con mayor xito las ecuaciones cuadrticas fueron Ayabhata,
Brahmagupta, Mahuaira y Sridhara en los siglos VI, VII, IX y XI, respectivamente.
Asimismo, el matemtico persa Al-Khowarizm en el siglo IX utiliz mtodos generales para

resolver la ecuacin cuadrtica x 2 px q , expresin en la que tambin trabaj Khayyam siglos
ms tarde.
El primer tratamiento importante para la solucin de ecuaciones cuadrticas y de otros tipos

utilizando la factorizacin, se encuentra en el Artis Analyticae Praxis, del matemtico ingls
Harriot y que se public en 1631.
La expresin utilizada hoy en da para resolver una ecuacin cuadrtica se basa en un mtodo que
usa determinantes y que se atribuye a Euler y Bezout.
La ms antigua ecuacin cbica o de tercer grado se debe posiblemente a Menaechmus,

contemporneo de Platn y discpulo de Eudoxo. Otras rererencias antiguas de ecuaciones
cbicas se tienen en algunos problemas del griego Arqumides y del persa Khayyman.
En la edad Media quienes ms estudiaron el caso de la ecuacin cbica fueron los italianos
Fibonacci, Pacioli, Cardano, Tartaglia y Petri, el alemn Rodolff y el francs Vite.
El primer intento infructuoso de resolver una ecuacin de cuarto grado lo efectuaron los rabes.
Siglos ms tarde, Ferrari en Italia propuso un mtodo de solucin que Cardano public en su Ars
Magna y que fue utilizado por Petri. Vite y Descartes tambin trabajaron en la solucin de una
ecuacin de cuarto grado.
Euler y posteriormente Lagrange intentaron resolver una ecuacin de quinto grado, reducindola
a una de cuarto grado; sin embargo fracasaron. En 1803, el fsico italiano Ruffini fue el primero
en demostrar que una ecuacin de quinto grado no se puede resolver por mtodos algebraicos.
Actualmente la teora de ecuaciones se sita a partir de los matemticos Abel (noruego) y Galois
(francs), quienes demostraron que las races de una ecuacin de quinto grado o mayor no pueden
ser expresadas en trminos de los coeficientes de la ecuacin por medio de radicales.
96
CAPTULO3.POLINOMIOS
La ley de los signos, que asocia los tipos de races para una ecuacin, con los cambios de signo
para sus coeficientes, fue conocida por Cardano, pero su justificacin plena se le atribuye a
Harriot y, ciertamente, tambin a Descartes.
97
1. Dadas las siguientes expresiones, indicar si son o no polinomios; en caso negativo decir
porqu; en caso afirmativo determinar su grado.
a) p x 7 x 7 5 x 6 2 x5 8 x 4 3x3 10 x 2 x 4
b) f cos 1.71 cos3 3.14 cos 2 8.25 sen 2 4.84 cos
c) h x x3 2 x 2 4 x 7
d) f y 5 y6 7 y5 3 y 4 2 y3
e) 3 x 3 2 x 2 x 1 0
f) m 2 4 x 5 8 x 3 7 x 2 6 x 5
2 x3 2 x 2 2 x 1
g) q x
x4
h) g x 3x 8 x 7 x 2
0
i) x 4 6 x5 2 x3 5 x 8 x 2 6 x 4
Solucin:
a) S es un polinomio en x, donde gr p 7
b) S es un polinomio con variable independiente cos , ya que puede escribirse:
f cos 1.71 cos3 3.14 cos2 8.25 1 cos2 4.84 cos
1.71 cos3 3.14 cos 2 8.25 8.25 cos 2 4.84 cos
finalmente:
f cos 1.71 cos3 11.39 cos2 4.84 cos 8.25 gr f 3
c) No es un polinomio por tener un trmino con exponente negativo.

d) S es un polinomio en y, donde gr f 6
e) No es un polinomio, se trata de una ecuacin.
f) No es un polinomio por no ser una funcin.
g) No es un polinomio, es un cociente de polinomios y x 4 no es un factor del dividendo.
h) S es un polinomio, donde gr g 2
i) S es un polinomio, aunque sus trminos estn desordenados; ordenando:
x 6 x5 6 x 4 2 x3 8 x 2 5 x 4
gr 5
98
CAPTULO3.POLINOMIOS
2. Determinar los valores de A, B y C para que los polinomios p x y q x sean iguales:
p x 4 x 2 14 x 8
q x A 3x 2 2 x 1 B x 2 1 C x 2 4 x 1
Solucin:
4 x 2 14 x 8 A 3 x 2 2 x 1 B x 2 1 C x 2 4 x 1
Para que dos polinomios sean iguales, sus coeficientes correspondientes deben ser iguales,
desarrollando:
4 x 2 14 x 8 3 Ax 2 2 Ax A Bx 2 B Cx 2 4Cx C
agrupando trminos semejantes:
4 x 2 14 x 8 3 A B C x 2 2 A 4C x A B C
entonces:
3A B C 4 (1)
2 A 4C 14 (2)
A B C 8 (3)
Para resolver el sistema, tomando en cuenta que en la ecuacin (2) no interviene B, se eliminar B
de las ecuaciones (1) y (3); as que, restando (3) a (1):
3A B C 4
A B C 8
(4)
2 A 2C 4
despejando 2A de (4) y sustituyendo en (2):
2C 4 4C 14
6C 18
entonces:
C 3
sustituyendo este valor en (4):
99
2A 2 3 4
A 1
Sustituyendo los valores A y C en (3):
1 B 3 8
despejando:
B4
finalmente:
A 1
B4
C 3
3. Determinar los valores de A, B, C, D y E, de tal manera que se cumpla la igualdad:
x3 4 x 2 5 x 3 A Bx C Dx E
2
x 1 x2 x 1 x 1 x x 1 x 2 x 1 2
2
Solucin:
Obsrvese que este ejercicio es parte del mtodo de descomposicin en fracciones parciales,
comnmente empleado en integracin.
Multiplicando ambos miembros por x 1 x 2 x 1 :

2
x3 4 x 2 5 x 3 A x 2 x 1 Bx C x 1 x 2 x 1 Dx E x 1
2
(1)
si se le da a x el valor 1:
1 4 5 3 A 1 1 1 A 1
2
100
CAPTULO3.POLINOMIOS
desarrollando ahora la ecuacin (1):
x3 4 x 2 5 x 3 A x 4 2 x3 3x 2 2 x 1
Bx C x3 2 x 2 2 x 1 Dx 2 Dx Ex E
agrupando trminos y tomando en cuenta que A 1 :
x3 4 x 2 5 x 3 1 B x 4 2 2 B C x3
3 2 B 2C D x 2 2 B 2C D E x 1 C E
por igualdad de polinomios:
0 1 B (2)
1 2 2B C (3)
4 3 2 B 2C D (4)
5 2 B 2C D E (5)
3 1 C E (6)
de (2):
B 1
tomando en cuenta este valor en (3):
C 1
sustituyendo en (6) y despejando:
E 1
finalmente de (5):
D 1
101
4. Demostrar que el polinomio p x x 2 a bi x c di tiene una raz real cuando

abd d 2 b 2 c . En qu caso el polinomio tiene dos races reales?
Solucin:
Sea x1 R una raz del polinomio, entonces:
x12 a bi x1 c di 0
desarrollando:
x12 ax1 bx1i c di 0
factorizando:
x
2
1 ax1 c bx1 d i 0
Por igualdad de nmeros complejos:
x12 ax1 c 0 (1)
bx1 d 0 (2)
de la ecuacin (2):
d
x1
b
llevando este valor a (1):
2
d d
a c 0
b b
desarrollando:
d 2 ad
c 0
b2 b
multiplicando por b2 en ambos miembros:
d 2 abd b 2 c 0
102
CAPTULO3.POLINOMIOS
finalmente:
abd d 2 b2 c
Q.E.D.
Por otra parte, para que el polinomio tenga dos races reales, se debe cumplir que b d 0 para
que el polinomio quede:
x 2 ax c 0
Pero tambin se deber cumplir que el discriminante no sea negativo, es decir:
a 2 4c 0.
Obsrvese que en el enunciado se habla de una raz real y no de dos. Esto es posible ya que existe
un teorema que seala la existencia de races complejas conjugadas, pero solamente en el caso de
que los coeficientes del polinomio sean reales y no es el caso.
5. Determinar los nmeros reales a y b de manera que z 1 i sea raz del polinomio
p x x5 ax3 b
Solucin:
Dado que z 1 i es raz del polinomio, x 1 i es factor del polinomio, entonces:
1 i 1 0 a 0 0 b
1 i 2i a 2 a 2 i 4 2ai 4 2a 2a 4 i
1 1 i a 2i a 2 a 2 i 4 2ai b 4 2a 2a 4 i
Como 1 i es raz, entonces el residuo debe ser igual a cero, es decir:
b 4 2a 2a 4 i 0 0i
Por igualdad de nmeros complejos:
b 4 2a 0 (1)
2a 4 0 (2)
de (2):
a2
103
sustituyendo este valor en (1):
b 4 2 2 0 b8
6. Cul es la relacin que debe existir entre a y b para que el polinomio p x x3 ax b
sea divisible entre x c ?
2
Determinar una expresin de la constante c en trminos de las constantes a y b.
Solucin:
Efectuando la divisin
x 2c
x 2cx c x3 0 x 2 ax b
2 2
2cx 2 a c 2 x b
a 3c 2 x b 2c3
Como debe ser divisible, el residuo vale cero:
a 3c 2 0 (1)
b 2c 3 0 (2)
despejando c de (1):
a a
c2 ; c
3 3
3
a 2
entonces, c
3
llevando este valor a (2) y despejando b:
3
a 2
b 2
3
Por otra parte, multiplicando por 2c la ecuacin (1), por 3 la (2) y sumando:
2ac 6c 3 0 (1)
3b 6c3 0 (2)
2ac 3b 0
104
CAPTULO3.POLINOMIOS
finalmente, despejando c:
3b
c
2a
7. Verificar que P x x3 a b c x 2 bc ac ab x abc es divisible entre

x a x b . Cul es el cociente?
Solucin:
Si el polinomio p x es divisible entre x a x b , por el teorema del factor, tambin es

divisible entre x a . As que, empleando divisin sinttica primero con ese factor:
1 a b c bc ac ab abc
a a ab ac abc
1 b c bc 0
de manera que se comprueba que x a es factor de p x .

Adems, el polinomio reducido es:
p1 x x 2 b c x bc
Ahora, con el factor x b :

1 b c bc
b b bc
1 c 0
Por lo tanto s es factor de p x y el cociente es q x x c
8. Determinar el valor de , en radianes, de tal manera que h = 0:
h sen 3 cos 2 sen 2 sen 2

Solucin:
Dado que cos 2 1 sen 2 :
h sen 3 1 sen 2 sen 2 sen 2
105
h sen 3 sen 2 sen 1
se trata de un polinomio en sen y lo que se har es determinar sus races.
Haciendo x sen :
h x3 x 2 x 1
de acuerdo con la regla de los signos de Descartes:
h x3 x 2 x 1 ; 3 variaciones
si se sustituye x por x:
h x x3 x 2 x 1 ; No hay variaciones
entonces:
1. 2.
Races reales positivas 3 1
Races reales negativas 0 0
Races complejas 0 2
Total 3 3
Para las posibles races racionales, se determinan los
posibles numeradores: 1
posibles denominadores: 1
posibles races racionales: 1
dado que no hay races negativas, se intentar con x 1 :
1 1 1 1
1 1 0 1
1 0 1 0
Esto significa que x 1 es una raz, el polinomio reducido queda:
x2 1 0 x i
106
CAPTULO3.POLINOMIOS
entonces, la nica raz real es x 1 y como x sen , se tiene:

sen 1
finalmente:
ang sen 1

2n
2
donde:
n 0, 1, 2, ...
9. Determinar a, b , de tal manera que x 4 4 sea divisible entre x 2 ax b .
Solucin:
x 2 ax a 2 b
x 2 ax b x 4 0 x3 0 x 2 0 x 4
x 4 ax3 bx 2
ax3 bx 2
ax3 a 2 x 2 abx
a b x abx
2 2
a b x a ab x a b b
2 2 3 2 2
a 2ab x 4 a b b
3 2 2
dado que el residuo debe ser cero:
a 3 2ab 0 (1)
4 a 2b b 2 0 (2)
analizando las dos ecuaciones se observa que a tiene que ser diferente de cero pues de la ecuacin
(2), b tendra que ser complejo. Entonces, dividiendo entre a ambos miembros de (1):
a 2 2b 0; a0
por lo tanto:
a 2 2b
107
sustituyendo en (2):
4 2b b b 2 0
4 2b 2 b 2 0
4 b2 0 b2
b no puede tomar el signo negativo de la extraccin de raz, ya que a 2 2b y entonces a tendra

que ser complejo.
Sustituyendo el valor de b:
a2 2 2
a 4
a 2
finalmente:
a 2, b2
10. Demostrar que el polinomio p x nx n 1 n 1 x n 1 es divisible entre x 1 , n N .

2
Obtener el cociente.
Solucin:
Este ejercicio puede resolverse por medio de induccin matemtica aqu se efectuar por medio
de divisin sinttica.
x 1 , esto significa que x 1 es raz del

2
Dado que el polinomio debe ser divisible entre
polinomio con multiplicidad 2.
Entonces:
n 2 trminos
n n 1 0 0 ... 0 1
1 n 1 1 ... 1 1
n 1 1 1 ... 1 0
108
CAPTULO3.POLINOMIOS
Obsrvese que por ser un polinomio de grado n 1 , se tienen n 2 trminos en el primer rengln
de la divisin sinttica. Por otra parte, como el residuo es cero, s es divisible p x entre x 1
Ahora se trabajar con el polinomio reducido, el cual tiene n 1 trminos por ser su grado una
unidad menor que el del original.
n 1 trminos
n 1 1 1 ... 1 1
1 n 1 n 2 n n 2 n n 1 n
n 1 n 2 n 3 n ... 1 0
Q.E.D.
El cociente es, entonces:
c x nx n 1 n 1 x n 2 n 2 x n 3 ... 2 x 1
con n trminos.
11. Sea el polinomio p x x 4 ax 2 a 3 . Para qu valores de, a , las cuatro races de

p x son reales?
Solucin:
Si se hace un cambio de variable:
Considerando y x 2 p1 y y 2 ay a 3
Para encontrar las races, se utilizar la frmula de la ecuacin de segundo grado:
a a2 4 a 3
y
2
a a 2 4a 12
y
2
a a6 a2
y
2
como y x :2
109
a a6 a2
x2
2
entonces:
a a6 a2
x
2
Primeramente, a 6 a 2 debe ser positivo o nulo para que al extraerle raz cuadrada el
resultado sea real.
Entonces:
a6 a2 0
Ambos factores deben ser positivos o ambos negativos, entonces:
a6
a6
a 2
a6
a 2
a 2
Para este primer radical, el conjunto solucin es:
a 2 6 a
Analizando ahora el segundo radical, el cociente
a a6 a2
0
2
dado que el denominador es una constante positiva, el numerador debe ser positivo o nulo tanto
con el signo (+) del radical como con el ().
De inmediato se desecha el intervalo a 2 , pues con el signo negativo del radical se

tendra el numerador negativo y, por lo tanto el cociente tambin negativo.
De manera que el conjunto solucin es:
a6
110
CAPTULO3.POLINOMIOS
12. Para cada uno de los siguientes polinomios:
1. p x 6 x5 5 x 4 41x3 71x 2 37 x 6
2. q x 8 x 7 4 x5 3x 4 2 x 2
Determinar:
a) Las posibles races racionales.

b) El nmero mximo y mnimo de races reales positivas, negativas y complejas, usando la
regla de los signos de Descartes.
Solucin:
1. Para el polinomio p x 6 x5 5 x 4 41x3 71x 2 37 x 6 , se tiene:

a) Las posibles races racionales de p x tienen como numerador a los factores, positivos
y negativos, del trmino independiente del polinomio y como denominador a los factores
del coeficiente de la variable de mayor exponente en el mismo. De esta forma se tendr:
posibles numeradores:
1, 2, 3, 6
posibles denominadores:
1, 2, 3, 6
posibles races racionales:
1 1 1 2 3
1, , , 2, , 3, , 6
2 3 6 3 2
b) Se tiene que el nmero de races reales positivas en p x , es igual al nmero de cambios

de signos en el polinomio, o menor que ste en un nmero par.
Por otro lado, el nmero de races reales negativas en p x , es igual al nmero de

cambios de signos en p x , o menor que ste en un nmero par.
Los cambios de signo en los polinomios p x y p x son:
p x 6 x5 5 x 4 41x3 71x 2 37 x 6 cuatro cambios de signo.
p x 6 x 5 x 41 x 71 x 37 x 6
5 4 3 2
p x 6 x5 5 x 4 41x3 71x 2 37 x 6 un cambio de signo.
111
De acuerdo con lo anterior, dado que p x present cuatro cambios de signo, entonces
dicho polinomio tendr cuatro, dos o cero races reales positivas y slo una raz real
negativa; puesto que en p x hubo solamente un cambio de signo.
Esta informacin se puede resumir en una tabla, donde se consideran adems, las posibles
races complejas del polinomio obtenidas mediante la diferencia del total de races de
p x , menos el nmero de races positivas y negativas del mismo.
De esta forma, para el polinomio p x la tabla ser:
R. Positivas 4 2 0
R. Negativas 1 1 1
R. Complejas 0 2 4
Total de races 5 5 5
Si se obtuvieran las races del polinomio p x , stas seran: (se sugiere verificarlas por
divisin sinttica)
x1 1
x2 2
1
x3
2
1
x4
3
x5 3
Como se puede observar cuatro races son positivas y una negativa, lo cual coincide con la
primera posibilidad de la informacin resumida en la tabla anterior.
2. Para el polinomio q x 8 x 7 4 x5 3x 4 2 x 2 , se tiene:
a) Dado que q x no tiene trmino independiente y el exponente menor del polinomio es

dos, el polinomio tiene dos races nulas, por consiguiente el anlisis pedido se har al
polinomio reducido que resulta de factorizar x 2 en q x .
q x x 2 8 x5 4 x3 3x 2 2
posibles numeradores: 1 , 2
posibles denominadores: 1 , 2 , 4 , 8
1 1 1
posibles races racionales: 1 , , ; , 2
2 4 8
112
CAPTULO3.POLINOMIOS
b) q x x 2 8 x 5 4 x 3 3 x 2 2 tres cambios de signo.

q x x 2 8 x 5 4 x 3 3 x 2 2 dos cambios de signo.
De donde, las cinco races del polinomio reducido debern coincidir con alguna de las
siguientes posibilidades:
R. Positivas 3 1 1 3
R. Negativas 2 2 0 0
R. Complejas 0 2 4 2
Total de races 5 5 5 5
13. Determinar las races del polinomio:

p x x 4 9 x3 25 x 2 19 x 6
Solucin:
Primeramente, se recabar toda la informacin posible sobre las races del polinomio p x ,
empleando la regla de los signos de Descartes, entonces:
p x x 4 9 x3 25 x 2 19 x 6 tres cambios de signo.

p x x 4 9 x3 25 x 2 19 x 6 un cambio de signo.
por lo que las races pueden ser:
R. Positivas 3 1
R. Negativas 1 1
R. Complejas 0 2
Total de races 4 4
Las posibles races racionales de p x sern:
posibles numeradores: 1 , 2 , 3 , 6
posibles denominadores: 1 ,
posibles races racionales: 1 , 2 , 3 , 6
De acuerdo con la tabla, el polinomio p x tiene una raz negativa y al menos una positiva, por
lo que se probarn por divisin sinttica las posibles races positivas.
1 9 25 19 6
2 2 14 22 6 x1 2
1 7 11 3 0
113
probando con el siguiente valor:
1 7 11 3
3 3 12 3 x2 3
1 4 1 0
de donde el polinomio reducido es:
q x x2 4 x 1
aplicando la ecuacin de segundo grado para obtener las dos races restantes se tiene:
4 16 4 20
x 2 2 5 x3 2 5
2 2
x4 2 5
por lo tanto, las races de p x son:
x1 2; x2 3; x3 2 5; x4 2 5
14. Obtener las races del polinomio
f x x5 5x 4 10 x3 10 x 2 5x 1
tomando en cuenta que f 1 0 .
Solucin:
De acuerdo con el enunciado, x1 1 es raz de f x , por lo que el polinomio reducido ser:
1 5 10 10 5 1
1 1 4 6 4 1
1 4 6 4 1 0
q1 x x 4 4 x3 6 x 2 4 x 1
aplicando la regla de los signos de Descartes, se tiene:
114
CAPTULO3.POLINOMIOS
q1 x x 4 4 x3 6 x 2 4 x 1 cuatro cambios de signo.
q1 x x 4 4 x3 6 x 2 4 x 1
Como se puede observar en q1 x no se presentaron cambios de signo, lo cual implica que

q1 x no tiene races negativas.
R. Positivas 4 2 0
R. Negativas 0 0 0
R. Complejas 0 2 4
Total de races 4 4 4
Las posibles races racionales de p1 x sern:
posibles numeradores: 1 ,
posibles races racionales: 1 ,
probando la nica posible raz positiva:
1 4 6 4 1
1 1 3 3 1 x2 1
1 3 3 1 0
de donde el polinomio reducido es:
q2 x x3 3x 2 3x 1
dado que para q2 x sus posibles races son 1 y considerando que q1 x slo tienen races
positivas, de nuevo se probar
1 3 3 1
1 1 2 1 x3 1
1 2 1 0
q3 x x 2 2 x 1
115
factorizando:
x4 1
q3 x x 1
2
x5 1
por lo que, las races de f x son:
x1 x2 x3 x4 x5 1
15. El polinomio f x x 4 4 x3 3x 2 8 x 10 tiene dos races irracionales. Situar cada una de

estas races entre dos nmeros enteros consecutivos.
Solucin:
Obteniendo las posibles races racionales de f x , se tiene:

para determinar entre qu nmeros enteros se encuentran las races irracionales de f x , se

buscarn los cambios de signo en el residuo de la divisin sinttica, al probar las posibles races
de dicho polinomio.
De esta forma se tendr:
1 4 3 8 10
1 1 5 8 0
1 5 8 0 10
1 4 3 8 10
2 2 12 30 44
1 6 15 22 34
Dado que para x 1 y x 2 se present un cambio de signo en el residuo, esto implica que entre
1 y 2 existe una raz irracional, entonces:
1 r1 2
116
CAPTULO3.POLINOMIOS
Como se puede observar, en el tercer rengln de la segunda divisin sinttica no existen nmeros
negativos, lo cual implica que el nmero dos es cota superior de las posibles races del polinomio
f x , por consiguiente, se buscar la segunda raz irracional con valores negativos.
1 4 3 8 10
1 1 3 0 8
1 3 0 8 2
1 4 3 8 10
2 2 4 2 12
1 2 1 6 2
puesto que para x 1 y x 2 tambin se present un cambio de signo en el residuo, entonces

entre 1 y 2 se encuentra la segunda raz irracional de f x , esto es:
2 r2 1
16. Determinar las races del polinomio
p x x 4 9 x3 25 x 2 19 x 6
Solucin:
Obteniendo las posibles races racionales:
posibles denominadores: 1
empleando la divisin sinttica se tiene:
1 9 25 19 6
2 2 14 22 6 x1 2
1 7 11 3 0
117
1 7 11 3
3 3 12 3 x2 3
1 4 1 0
del polinomio reducido se puede plantear la ecuacin:
x2 4x 1 0
de donde:
4 16 4 4 20 4 2 5
x 2 5
2 2 2
por lo tanto, las races de p x son:
x1 2; x2 3; x3 2 5; x4 2 5
Obsrvese que las races irracionales que se presentaron x3 y x4 son de la forma a b y

a b . Existe un teorema que afirma que, si un polinomio de coeficientes racionales admite una
raz irracional de la forma a b , donde a, b Q con b 0 , entonces, a b es otra de sus
races.
17. Dada la funcin f t definida por:
f t 256 t 4 128 t 3 96 t 2 8 t 5
si x 4 t obtener:
a) El polinomio f x
b) Los valores de t para los cuales f t 0 .
Solucin:
x
a) Como x 4t entonces t , por consiguiente f x ser:
4
4 3 2
x x x x
f x 256 128 96 8 5
4 4 4 4
118
CAPTULO3.POLINOMIOS
simplificando:
f x x 4 2 x3 6 x 2 2 x 5
b) Para obtener las races del polinomio f t , se determinarn las races del polinomio
f x y posteriormente se regresar a la variable original, obteniendo con ello las races
buscadas.
Posibles races racionales de f x: 1, 5
1 2 6 2 5
1 1 3 3 5 x1 1
1 3 3 5 0
1 3 3 5
1 1 2 5 x2 1
1 2 5 0
x2 2 x 5 0
con lo cual las dos races restantes sern:
2 4 20 2 24 2 2 6
x 1 6
2 2 2
x3 1 6 y x4 1 6
regresando a la variable original, se tiene:
x
como t entonces:
4
x1 1 1
t1 t1 t1
4 4 4
x2 1 1
t2 t2 t2
4 4 4
119
x3 1 6 1 6
t3 t3 t3
4 4 4 4
x4 1 6 1 6
t4 t4 t4
4 4 4 4
Comprobar que los valores de t1, t2, t3 y t4 son las races del polinomio f t .
p x x6 4 x4 x2 4
Solucin:
Para obtener las races del polinomio p x , se efectuar el siguiente cambio de variable:
si x 2 w entonces:
p w w3 4w2 w 4
Obteniendo las races del polinomio p w , se tiene:

posibles races racionales de p w : 1, 2, 4
1 4 1 4
1 1 5 4 w1 1
1 5 4 0
w2 5w 4 0
factorizando:
w 1 w 4 0
entonces:
w2 1 y w3 4
regresando a la variable original:
120
CAPTULO3.POLINOMIOS
x1 1
para w1 1 , entonces x 2 1; x 1
x2 1
x3 i
x4 i
x5 2i
x6 2i
19. Calcular el valor de k y las races del polinomio:
f x 2 x6 3x5 kx4 15x3 32 x2 12 x

si x 1 es uno de sus factores.
Solucin:
Factorizando el polinomio f x:
f x x 2 x5 3 x 4 kx3 15 x 2 32 x 12 x Q x

Q x
dado que x 1 es factor del polinomio Q x , entonces se debe cumplir que Q 1 0
Q 1 2 1 3 1 k 1 15 1 32 1 12 0
5 4 3 2
simplificando:
2 3 k 15 32 12 0
k 32 32 0
k 0
por lo que, el polinomio Q x ser:
Q x 2 x5 3x 4 15 x 2 32 x 12
Obteniendo las races por medio de divisin sinttica:
121
2 3 0 15 32 12
1 2 5 5 20 12 x1 1
2 5 5 20 12 0
2 5 5 10 12
3 6 3 24 12 x2 3
2 1 8 4 0
2 1 8 4
1 1
1 0 4 x3
2 2
2 0 8 0
de donde:
2 x2 8 0
x4 2i
x 2 4 x 4
x5 2i
Finalmente, las races del polinomio f x son:

1
x1 1; x2 3; x3 ; x4 2i; x5 2i; x6 0
2
20. Para el polinomio p x 2 x 4 Ax3 Bx 2 6 x 4 determinar:

a) Los valores de A y B para que el polinomio p x sea divisible entre 2 x 4 y x 1 .
b) Las races de p x .
Solucin:
a) Dado que p x es divisible entre 2 x 4 y x 1 , entonces al dividir p x entre

dichos factores el residuo de la divisin debe ser igual a cero, de donde se tiene:
2 A B 6 4
2 4 2A 8 4 A 2 B 16 8 A 4 B 20
2 A 4 2 A B 8 4 A 2 B 10 8 A 4 B 24 0 (1)
122
CAPTULO3.POLINOMIOS
2 A B 6 4
1 2 A 2 A B 2 A B 4
2 A 2 A B 2 A B 4 A B 0 (2)
De acuerdo con lo anterior, se han generado dos ecuaciones con dos incgnitas, las que
resolviendo simultneamente darn los valores de A y B buscados.
8 A 4 B 24 (1)
A B 0 (2)
simplificando la ecuacin (1):
2 A B 6 (1)
A B 0 (2)
A 6 y B6
por lo tanto, el polinomio p x ser:
p x 2 x 4 6 x3 6 x 2 6 x 4
b) Obteniendo las races de p x por divisin sinttica, se tiene:
2 6 6 6 4
2 4 4 4 4 x1 2
2 2 2 2 0
2 2 2 2
1 2 0 2 x2 1
2 0 2 0
de donde:
x3 i
2 x 2 2 0; x 1
x4 i
123
1. Dadas las siguientes expresiones, indicar si son o no polinomios; en caso afirmativo

determinar su grado y en caso negativo decir porqu.
1 8 2 6 4 5 7 4 3 3 5 2 6 1
a) g x x x x x x x x
4 5 9 15 8 7 5 9
s 5s 14 s 9s 14
4 3 2
b) v s ; s2
s2
c) p y y 2 2 y 8 y 3 3 y 2 7 y 5
x5 7 x 4 8 x3 2 x 2 x 7
d) h x
x5
e) y 2
x 3 x 2 x 1
4
f) f x 4 x 7 x1 / 2 8 x
2/3
g) 4 x 3 2 x 2 5 x 8 0
h) m 12 tan 3 7 tan 2 5 tan 10 8 sec 2
i) p x h x g x f x
donde: h x 5 x 4 12 x3 8 x 2 7 x 8
g x 7 x3 6 x 2 2 x 6
f x 3x7 2 x6 5x 4 7 x3 14 x2 8 x 4
j) f x 3x2 2 x 4 7
2. Demostrar que x a es factor de p x x 2 n a 2 n donde n N .
3. Demostrar que h x x15 1 es divisible entre x 3 1
4. Demostrar que f x x3 3abx a3 b3 es divisible entre x a b.
5. Determinar los valores de p y q de tal manera que una de las races de h x sea el cuadrado
de otra. Demostrar que la tercera raz es la suma de las anteriores:
h x x3 px q
6. Sea el polinomio p x x 2 n 2 , donde n N . Determinar la naturaleza de sus races

utilizando la regla de los signos de Descartes.
124
CAPTULO3.POLINOMIOS
7. Sea el polinomio h x x 2 n 1 2 , donde n N . Determinar la naturaleza de sus races

utilizando la regla de los signos de Descartes.
8. Determinar los valores A y B de tal manera que se cumpla la igualdad:
f x h x
donde:
f x 3x 4 2 x3 x 2 x 32
h x A x3 2 x 2 4 x 7 B x 4 x 2 3x 6
9. Determinar los valores de A, B, C, D y E de tal manera que se cumple la igualdad:
3x 4 4 x3 16 x 2 20 x 9 A Bx C Dx E
2
x2 x 3 x 2 x 3 x 2 3 2
2 2
10. Demostrar que para el polinomio p x x3 7 x 6i , x1 i es una raz de p x pero

x2 i no lo es. Explicar porqu no, aunque los dos nmeros son complejos conjugados.
11. Determinar p y q para que x 4 a 2 sea divisible entre x 2 px q ; a R .
12. Determinar el valor o los valores de , de tal manera que t sea nulo:
t 3 tan 3 2 sec 2 4 tan 2 4 tan 7
13. Calcular el valor o los valores de x para que f valga 5
1 1 1 1
f 3
x 4 x3 x 2 x
14. Dado el polinomio p x a 2 x 4 2ax 2 a 1 , determinar el intervalo de valores de a,

a R , de tal manera que las cuatro races de p x sean reales.
15. Determinar los valores de a, a R , para los cuales el polinomio

p x a 5 x 2a 3 x a 3 tiene sus cuatro races reales.
4 2
16. Para cada uno de los siguientes polinomios, obtener sus races, incluyendo en su desarrollo la
utilizacin de la regla de los signos de Descartes.
a) p x 2 x5 4 x 4 22 x3 44 x 2 36 x 72
125
b) f x 2 x5 10 x 4 11x3 4 x 2 x 6
c) q x 2 x 6 x5 x 4 x3 x 2
d) h x x5 x 4 5 x3 5 x 2 6 x 6
e) g x 2 x5 12 x 4 26 x3 28 x 2 24 x 16
f) R x x 6 2 x5 x 4 4 x3 14 x 2 16 x 24
17. Obtener el valor de a en el polinomio
f x x3 ax 16
de tal forma que f x admita dos races iguales.

18. Determinar los valores de los coeficientes a, b, y c, de tal forma que sean adems races del
polinomio.
p x x3 ax 2 bx c
19. Obtener las races del polinomio f x , si se sabe que:

f x p x q x
donde:
p x x2 1 y
q x x6 3x5 9 x 4 20 x3
20. Expresar mediante factores lineales al polinomio
p x x 6 5 x5 4 x 4 14 x3 32 x 2 24 x , si se sabe que 1 i es una de sus races y

adems que f 3 0 .
21. Obtener las races del polinomio:
f x x5 1 i x 4 2 i x3 4 2i x 2 8 4i x 8i
si se sabe que x i es una de sus races.
126
CAPTULO3.POLINOMIOS
22. Obtener las races del polinomio:

p x x 7 2 x6 x5 2 x 4 4 x3 4 x 2 4 x
si se sabe que tres de ellas son:
1 1 i; 2 2 y a3 2
23. Si 3 i es una raz del polinomio
f x x5 8 x 4 ax3 20 x2
determinar:
a) El valor de la constante a.
b) Las races del polinomio f x.
f x x 7 x 6 2 x 4 3x3 x 2 2 x
si se sabe que 1 es una de sus races.
25. Para el polinomio f x Ax3 2 x 2 Bx 2 determinar:

a) Los valores de A y B, si se sabe que f 1 6 y f 2 20 .
b) Las races de f x .
26. Obtener las races de los siguientes polinomios:
a) p x 2 x9 2 x7 2 x5 2 x3
b) f x x9 x 6 x3 1
127
1. a) S, es polinomio en x y su grado es ocho.

b) No, se trata de un cociente de polinomios, pero al dividir se obtiene un polinomio de grado
3.
c) S, es un polinomio en y con gr p 5
d) No, es un cociente de polinomios.
e) No, por no ser una funcin.
f) No, por las potencias fraccionarias.
g) No, se trata de una ecuacin.
h) S, es un polinomio en tan y su grado es 3.
i) S, es un polinomio en x con grado 10.
j) No, por tener potencias negativas.
5. p 2 2 donde , son races de h x y 2

q 2 2
6. Una raz real positiva, una negativa y 2n 2 complejas.
7. Una raz real positiva, ninguna negativa y 2n complejas.
8. A 2
B3
9. A 1
B2
C 0
D4
E 0
11. p 2a ; q a

12. n ; n N
4
1
13. x1
2
x2 1
x3 cis 270
x4 cis 90
128
CAPTULO3.POLINOMIOS
14. a 2
51
15. 3 a
20
16. a) x1 2; x2 2i; x3 2i; x4 3i; x5 3i

1 1 1 1
b) x1 1; x2 2; x3 3; x4 i; x5 i
2 2 2 2
1
c) x1 x2 0; x3 1; x4 ; x5 i; x6 i
2
d) x1 1; x2 2; x3 2; x4 3; x5 3
e) x1 x2 x3 2; x4 i; x5 i
f) x1 1; x2 3; x3 2; x4 2; x5 2i; x6 2i
17. a 12 las races son: x1 x2 2; x3 4
18. a 1; b 1 y c 1
1 21
19. x1 i; x2 i; x3 x4 x5 0; x6 4; x7 ;
2 2
1 21
x8
2 2
20. p x x x 3 x 1 i x 1 i x 2 x 2
21. x1 i; x2 1; x3 2; x4 2i; x5 2i
22. 1 1 i; 2 2; 3 2; 4 1 i; 5 0; 6 i; 7 i
23. 1 2 0; 3 3 i; 4 3 i; 5 2
24. x1 x2 i; x3 x4 i; x5 0; x6 1; x7 2
25. a) A = 1
B = 1
b) x1 2; x2 i; x3 i
129
26. a) x1 x2 x3 0; x4 1; x5 1; x6 1 cis 45;
x7 1 cis 135; x8 1 cis 225; x9 1 cis 315
b) x1 1 cis 60; x2 1 cis 180; x3 1 cis 300;
x4 1 cis 30; x5 1 cis 150; x6 1 cis 270;
x7 1 cis 90; x8 1 cis 210; x9 1 cis 330
130
CAPTULO 4
SISTEMAS DE ECUACIONES LINEALES
Se dice que la aritmtica de los egipcios estaba muy adelantada para las simples exigencias de sus
asuntos cotidianos. El detalle ms significativo de este desarrollo est en el hecho de que los
egipcios gustaban de realizar comprobaciones de sus clculos, lo cual parece indicar que ya en el
siglo XVII a.C. comprendan el valor de la demostracin en la aritmtica.
Uno de los problemas de mayor inters es el planteado por Ahmes que consista en obtener un
nmero que sumado a su quinta parte diera 21. Es posible que este problema tuviera cierto valor
prctico, pero el siguiente, fechado entre 2200 y 1700 a.C. es una muestra del desarrollo del
pensamiento matemtico de los egipcios. Tal problema consista en resolver las ecuaciones
3
x 2 y 2 100, y x (con el simbolismo propio de la poca). Parece ser que este problema es uno
4
de los primeros ejemplos de sistemas de ecuaciones simultneas registrados en la historia. El mtodo
que se utiliz para resolver dicho sistema de ecuaciones, llamado de falsa posicin, sobrevivi hasta
los inicios del siglo XV de nuestra era.
En la actualidad, el mtodo de eliminacin de Gauss es, por su sencillez, el ms utilizado para

resolver sistemas de ecuaciones lineales simultneas. Existe una gran diversidad de problemas
relacionados con la cinemtica, la dinmica, la esttica, la electrnica, la ptica y otras disciplinas
que conducen a sistemas de ecuaciones simultneas.
1. Sea el sistema de ecuaciones
x xy y 5 ...(1)

S :x y z 4 ...(2)

x xz z 1 ...(3)
Determinar:
a) si x 2, y 1, z 1 es solucin de S, y
b) si x 0, y 5, z 1 es solucin de S.
Solucin:
a) Sustituimos cada uno de los valores propuestos en las ecuaciones de S.

Para la ecuacin (1):
2 2 1 1 5
2 2 1 5
55
2 1 1 4
3 1 4
44
2 2 1 1 1
2 2 1 1
1 1
Como se obtienen 3 identidades, x 2 , y 1 , z 1 es una solucin de S.
132
CAPTULO4.SISTEMADEECUACIONESLINEALES
b) Sustituimos cada uno de los valores propuestos en las ecuaciones de S.
00 55 5
0055
55
0 5 1 4
44
0 0 1 1 1
1 1
Como en la ecuacin (3) no se obtuvo una identidad x 0 , y 5 , z 1 no es solucin del

sistema S, a pesar de que en (1) y en (2) s se obtuvieron identidades. Una solucin de S debe
satisfacer todas sus ecuaciones.
2. En caso de ser posible, obtener la solucin del siguiente sistema de ecuaciones lineales:
2 x y 3z 1

3x 2 y z 2

5 x 2 y 2 z 1
Solucin:
Como se puede observar, los coeficientes de x en las tres ecuaciones son diferentes de uno y dado
que resulta ms simple iniciar el proceso de escalonamiento cuando se tiene por lo menos, en una
ecuacin, la primer incgnita con coeficiente unitario, entonces, en este sistema de ecuaciones,
podemos optar por alguna de las siguiente alternativas:
133
a) Multiplicar la primera ecuacin por un medio para obtener el coeficiente de x igual a uno y con
esto iniciar el escalonamiento; sin embargo, los coeficientes de las incgnitas restantes y el
trmino independiente seran fraccionarios, lo cual complica el procedimiento. Lo mismo
sucedera si intentamos esto con las otras dos ecuaciones.
b) Otra alternativa sera multiplicar por menos uno la primera ecuacin y sumarla a la segunda,
para lograr con esto, el coeficiente unitario en x en la segunda ecuacin y con ello, proceder al
escalonamiento del sistema. Esta alternativa se considera ms conveniente que la anterior.
c) La opcin que se considera ms simple, es aplicar la propiedad de la conmutatividad de la

adicin en las tres ecuaciones del sistema, de tal forma que la incgnita que se deje como
primera tenga precisamente coeficiente unitario y, con ello, proceder al escalonamiento.
Apliquemos esta alternativa.
Como y tiene coeficiente unitario en la primera ecuacin del sistema, entonces se conmutar con
x en las tres ecuaciones, quedando como sigue:
y 2 x 3z 1 ...(1)

2 y 3x z 2 ...(2)

2 y 5 x 2 z 1 ...(3)
procediendo al escalonamiento, al multiplicar por 2 ambos miembros de la ecuacin (1) y al sumarla

con la ecuacin (2); y al multiplicar por 2 ambos miembros de la ecuacin (1) y al sumarla con la
ecuacin (3), se obtiene:
y 2 x 3z 1 ...(1)

7x 7z 0 ...(4)

9 x 8 z 1 ...(5)
1
Al multiplicar por ambos miembros de la ecuacin (4), se tiene:
7
y 2 x 3z 1 ...(1)

x z 0 ...(6)

9 x 8 z 1 ...(5)
Multiplicando por 9 ambos miembros de la ecuacin (6) y sumarla a la ecuacin (5), se llega a:
134
y 2 x 3z 1 ...(1)

x z 0 ...(6)

z 1 ...(7)
de (3):
z=1
de la ecuacin (6):
x = 1
sustituyendo en la ecuacin (1) se tiene:
y = 2
por lo tanto, la solucin al sistema de ecuaciones es:
x 1
y 2
z 1
3. Resolver el sistema de ecuaciones lineales
x y 1 ...(1)
S :
ix y i ...(2)
Solucin:
Aplicando el mtodo de Gauss
1
1 1 1 iR1 R2 1 1 1 1 i R2 1 1 1
2
i 1 i 0 1 i 2i 0 1 1 i
Por lo tanto y 1 i . Sustituyendo en la ecuacin (1):
x y 1
x 1 i 1
xi 0
xi
La solucin del sistema S es x i , y 1 i .
135
4. Obtener el conjunto solucin del sistema:
2 2i x 2 4i y 2 6i z 2 8i w 2 10i

3 i x 4 2i y 1 i z 4iw 2 i
donde x, y, z, w
Solucin:
Como el valor de las incgnitas deber ser real, entonces se debe expresar cada ecuacin de la
siguiente forma:
Primera ecuacin:
2 x 2ix 2 y 4iy 2 z 6iz 2 w 8iw 2 10i
agrupando:
2 x 2 y 2 z 2w 2 x 4 y 6 z 8w i 2 10i
por igualdad de nmeros complejos se llega a:
2 x 2 y 2 z 2w 2 ...(1)
2 x 4 y 6 z 8w 10 ...(2)
Segunda ecuacin:
3 x ix 4 y 2iy z iz 4iw 2 i
agrupando:
3x 4 y z x 2 y z 4w i 2 i
por igualdad:
3x 4 y z 2 ...(3)
x 2 y z 4w 1 ...(4)
Con las ecuaciones de la (1) a la (4) se forma el siguiente sistema de ecuaciones:
136
2 x 2 y 2 z 2w 2

2 x 4 y 6 z 8w 10

3 x 4 y z 2

x 2 y z 4 w 1
al simplificar las dos primeras ecuaciones, tenemos:
x y z w 1 ...(1)

x 2 y 3 z 4 w 5 ...(2)

3 x 4 y z 2 ...(3)

x 2 y z 4 w 1 ...(4)
Restando la ecuacin (1) de la ecuacin (2); multiplicando por 3 ambos miembros de la ecuacin (1)
y sumarle la ecuacin (3); y al restar la ecuacin (1) de la ecuacin (4), se obtiene:
x y z w 1 ...(1)

y 2 z 3w 4 ...(5)

7 y 2 z 3w 1 ...(6)

3 y 2 z 5w 2 ...(7)
Al multiplicar por 7 ambos miembros de la ecuacin (5) y sumarla con la ecuacin (6); y al
multiplicar por 3 ambos miembros de la ecuacin (5) y sumarla con la ecuacin (7), se llega a:
x y z w 1 ...(1)

y 2 z 3w 4 ...(8)

12 z 18w 27 ...(9)

4 z 4 w 10 ...(10)
Al multiplicar por 3 ambos miembros de la ecuacin (10) y sumarla con la ecuacin (9); y al
1
multiplicar por ambos miembros de la ecuacin (10), se tiene:
2
137
x y z w 1 ...(1)

y 2 z 3w 4 ...(8)

6 w 3 ...(11)

2 z 2w 5 ...(12)
de la ecuacin (11) se obtiene:

1
w
2
al sustituir w en la ecuacin (12) tenemos
z 3
al sustituir en la ecuacin (1) se tiene:
1
y
2
sustituyendo en la ecuacin (1), obtendremos:
x 1
por lo que la solucin al sistema es:
x 1
1
y
2
z 3
1
w
2
138
5. Determinar la solucin del sistema de ecuaciones lineales
2 1

3 2
S :
2 4 3 3

3 0
Solucin:
R1 R2
1 1 2 1 1 1 2 1 R R 1 1 2 1
2 R1 R3 2 3
1 3 1 2 0 2 1 1 0 2 1 1
2 4 3 3 0 2 1 1 R2 R4 0 0 0 0

1 1 3 0
R1 R4 0 2 1 1 0 0 0 0
Un sistema equivalente a S es
2 1 ...(1)
S :
2 1 ...(2)
De la ecuacin (2) 2 1
Sustituyendo este ltimo resultado en (1)
2 2 1 1
4 2 1
5 1
1 5
Haciendo t donde t , la solucin del sistema es
1 5t , t, 2t 1
139
6. Determinar los valores de a , b , c tales que el sistema de ecuaciones lineales
ax by cz 0

M : a b x cy z 0

x y b c z 0
tenga como solucin a x t, y t, z t para todo t .
Solucin:
Sustituyendo la solucin en el sistema M y simplificando, se obtiene
at bt ct 0 a b c t 0

a b t ct t 0 ; a b c t t

t t b c t 0 b c t 0
Como el sistema es compatible para todo t , se tiene que
a b c 0 ...(1)

a b c 1 ...(2)

bc 0 ...(3)
De la ecuacin (3) c b ; sustituyendo este resultado en la ecuacin (2) se tiene que:
a b b 1
a 1
Sustituyendo este valor en la ecuacin (1)
1 b c 0
b c 1
y como c b
b b 1
2b 1
1 1
Por tanto, a 1 , b y c , son los valores solicitados.
2 2
140
7. Determinar los valores de k para el sistema de ecuaciones lineales
2 x y kz 1

x y kz 0

2 x y 2kz 1
sea compatible determinado.
Solucin:
2 1 k 1 1 1 k 0 2 R1 R2 1 1 k 0
R R2 R R3
1 1 k 0 1
2 1 k 1 2 R R3 0 1 k
1
1 2

2 1 2 k 1 2 1 2 k 1 0 1 0 1

1 1 k 0

0 1 k 1
0 0 k 2

Un sistema equivalente al sistema dado es:
x y kz 0
y kz 1
kz 2
Por tanto si k 0 el sistema tiene solucin nica, es decir es compatible determinado.
8. Determinar los valores de a, de b y de c para que el sistema de ecuaciones lineales
x yz a

3x 2 y z b

7 x 6 y 3z c
Sea compatible.
141
Solucin:
Aplicando el mtodo Gauss
1 1 1 a 3R1 R2 1 1 1 a 1 1 1 a
R2 R3
3 2 1 b 7 R1 R3 0 1 4 3a b 0 1 4 3a b
7 6 3 c 0 1 4 7a c 0 0 0 4a b c

Para que el sistema sea compatible se tiene que cumplir la condicin
4a b c 0
Despejando c
c 4a b
Por tanto el sistema es compatible si a , b y c 4a b
9. Sea el sistema de ecuaciones lineales
x 2y z 0

S : 2x 3y z 0

3x my nz 0
Determinar el conjunto de valores de m y n que hacen a S compatible indeterminado.
Solucin:
Aplicando transformaciones elementales a la matriz de coeficientes de R
1 2 1 2 R1 R2 1 2 1 1 2 1
m 6 R2 R3
2 3 1 0 1 1 0 1 1
3 m n 3R R 0 m6 n3 0 0 nm3
1 3
Para que S sea compatible indeterminado n m 3 0 . Los valores solicitados pueden expresarse
como
n m3 V m
142
10. Determinar para qu valor o valores de k el siguiente sistema de ecuaciones tiene solucin
distinta a la trivial.
2 x ky z w 0

3x k 1 y 2 z w 0

x 2 y 4 z 2w 0

2 x y z 2w 0
Solucin:
Intercambiando la primera y tercera ecuacin, tenemos:
x 2 y 4 z 2w 0 ...( E1 )

3x k 1 y 2 z w 0 ...( E2 )

2 x ky z w 0 ...( E3 )

2 x y z 2w 0 ...( E4 )
Efectuando 3E1 E2 , 2E1 E3 y 2E1 E4 se obtiene:
x 2 y 4 z 2w 0

k 5 y 14 z 7 w 0 ...( E5 )

k 4 y 7 z 3w 0 ...( E6 )

5 y 7 z 2w 0
haciendo E6 E5
x 2 y 4 z 2w 0

y 7 z 4w 0 ...( E7 )

k 4 y 7 z 3w 0 ...( E6 )

5 y 7 z 2w 0 ...( E8 )
143
realizando k 4 E7 E6 y 5E7 E8
x 2 y 4 z 2w 0
y 7 z 4w 0
7 k 21 z 4k 13 w 0 ...( E9 )
28 z 18 w 0 ...( E10 )
1
multiplicando la ecuacin E10 por e intercambindola con la ecuacin E9, tenemos:
28
x 2 y 4 z 2w 0

y 7 z 4w 0

9
z w 0 ...( E11 )
14

7k 21 z 4k 13 w 0 ...( E12 )
Al efectuar 7k 21 E11 E12 se obtiene:
x 2 y 4 z 2w 0

y 7 z 4w 0

9
z w0
14

1 1
2 k 2 w 0

Si k 1 entonces la ecuacin cuatro queda reducida, con lo cual el sistema de ecuaciones

escalonado es de tres ecuaciones con cuatro incgnitas y por lo tanto, se trata de un sistema
compatible indeterminado que admite soluciones distintas de la trivial.
144
2kz 2 4 y 2 x
6 z 3 y x ; , k
2z 2 2 y x
Determinar los valores que simultneamente deben tomar y k para que el sistema sea:
a) Compatible determinado,
b) compatible indeterminado,
c) incompatible.
Solucin:
Al reordenar el sistema se tiene:
2 x 4 y kz 2

x y 6 z 3

x 2 y 2 z 2
La matriz aumentada del sistema es:
2 4 2 k 2 1 1 2 k R1 R2
1 1 6
3 2
R1
1 1 6 3 R1 R3
1 2 2 2 1 2 2 2
1 2 k

0 1 6k 4
0 0 2k 2
Por facilidad, se respondern los incisos en el siguiente orden: c), b) y a)
c) Si k 2 y 2 entonces el sistema es incompatible.

b) Cuando k 2 y 2 el sistema es compatible indeterminado.
a) k 2 y el sistema es compatible determinado.
145
x 2 y 1
2 x 3 y kz 2
kx ky yz 2
y z 0
Determinar el valor o los valores de k para los cuales el sistema sea

b) compatible indeterminado, o
c) incompatible
Para cada caso obtenga el conjunto solucin.
Solucin:
La matriz aumentada del sistema es
1 2 0 1 1 2 0 1
2 3 k 2 2 R1 R2 0 1 k 0 R2
kR1 R3
k k 4 2 0 k 4 k 2

0 1 1 0 0 1 1 0
1 2 0 1 1 2 0 1
0 1 kR2 R3
k 0 0 1 k 0

0 k 4 k 2 0 0 k2 4 k 2
R2 R4
0 1 1 0 0 0 k 1 0
1 2 0 1
0 1 k 0

0 0 k 2 k 2 k 2

0 0 k 1 0
El sistema equivalente queda:

x 2 y 1
y kz 0
k 2 k 2 z k 2
k 1 z 0
146
si k 1 , el sistema resulta:
x 2 y 1
yz 0
3 z 3
que es un sistema compatible determinado con k 1 . En este caso el conjunto solucin es:
3, 1, 1
Por otra parte, si k 2 el sistema es ahora:
x 2 y 1
y 2z 0
3 z 0
Nuevamente el sistema es compatible determinado pero ahora su conjunto solucin es:
1, 0, 0
Si k 2 , el sistema es incompatible porque en la tercera ecuacin se tiene la igualdad incongruente

04.
Por ltimo, para cualquier otro valor de k el sistema es tambin incompatible ya que despejando z de
la tercera ecuacin
kz 1
z (la cancelacin es posible porque k 2 ).
k 2 k 2 k 2
por otra parte de la ecuacin k 1 z 0 :
0
z 0
k 1
Estas dos ecuaciones son incompatibles.
Resumen:
a) Compatible determinado para k 1 y k 2

b) No existe valor para que el sistema sea compatible indeterminado.
c) Incompatible si k 1 , k 2
147
13. Dado el sistema
x1 x2 x3 1
kx1 3kx2 2k 3 x3 14
kx1 kx2 k 2 4k 2 x3 2k 1
Determinar el valor o los valores de k que hacen que el sistema sea:

a) Incompatible,
b) compatible determinado, o
c) compatible indeterminado.
Solucin:
1 1 1 1 kR1 R2 1 1 1 1
k 3k 2k 3 4 0 2k k 3 4 k

k k k 4k 2 2k 1 kR1 R3
2
0 0 k 2 3k 2 k 1
Como k 2 3k 2 k 2 k 1
1 1 1 1

0 2k k 3 4k
0 0 k 2 k 1 k 1
El sistema equivalente queda:
x1 x2 x3 1 (1)
2kx2 k 3 x3 4 k (2)
k 2 k 1 x3 k 1 (3)
a) El sistema es incompatible si k 2 pues las ecuaciones quedan:
x1 x2 x3 1
4 x2 x3 6
0 x3 1
que es incongruente.
148
b) Por otra parte, si k 2 , k 1 , el sistema es compatible determinado, ya que de (3)
k 1 1
x3
k 2 k 1 k 2
y con el valor de x3 pueda determinarse el valor de x2 al sustituir en (2) y con ellos se tiene x1
sustituyendo en (1).
c) Finalmente, si k 1 , el sistema es compatible indeterminado. Al sustituir este valor el sistema

queda:
x1 x2 x3 1 (4)
2 x2 2 x3 5 (5)
0 x3 0 (6)
De (5): 2 x3 5 2 x2
5 2 x2
x3
2
en (4):
5 2 x2
x1 x2 1
2
2 x2 5 2 x2
x1 1
2
5 4 x2 3 4 x 2
x1 1
2 2
Por lo que el conjunto solucin del sistema es
3 4 x2 5 2 x2
, x2 , ; x2
2 2
149
14. Determinar los valores de k de tal manera que el sistema de ecuaciones lineales sea
b) compatible indeterminado,
c) incompatible.
x1 3 x2 2 x3 1
x2 4 x3 7
kx1 7 x2 6 x3 5
x2 kx3 3
Solucin:
1 3 2 1 1 3 2 1
0 1 4 7 kR1 R3 0 1 4 7 R3 R4

k 7 6 5 0 7 3k 6 2k k 5

0 1 k 3 0 1 k 3
1 3 2 1 1 3 2 1
0 r2 r3
1 4 7 0
1 4 7

0 1 k 3 0 0 k 4 4
3k 7 R2 R4
0 7 3k 6 2k k 5 0 0 10k 22 20k 44
R4 1 1
1 3 2 1 3 2
10k 22 0
1 4 7 R3 R4 0
1 7
4

0 0 k 4 4 0 0 2
1
k
11
0 0 0 2 0 0 k 4 4
5
1 3 2 1
4 k R3 R4 0 1 4 7
0 0 1 2

0 0 0 2k 4
150
Sistema equivalente:
x1 3 x2 2 x3 1
x2 4 x3 7 11
; k
x3 2 5
0 2k 4
11
de manera que el sistema ser compatible determinado si k 2 , tambin lo es si k pues en ese
5
caso, antes de hacer la cancelacin, el sistema equivalente es:
x1 3 x2 2 x3 1
x2 4 x3 7
k 4 x3 4
10k 22 x3 20k 44
11
Si k , la cuarta ecuacin queda 0 = 0 y la tercera
5
11
4 x3 4
5
que conduce a una solucin nica.
Para valores diferentes de k el sistema es incompatible.

Resumen:
11
a) Compatible determinado para k 6 para k
5
b) No hay posibilidad de que el sistema sea compatible indeterminado.
11
c) Incompatible si k k2
5
15. Determinar el valor de A, el de B y el de C de modo que

1 A B C

x 1 x 1 x 2 x 1 x 1 x 2
151
Solucin:
Al descomponer en fracciones parciales y efectuar la suma de fracciones se tiene:
1 A B C

x 1 x 1 x 2 x 1 x 1 x 2
x 1 x 2 A x 1 x 2 B x 1 x 1 C

x 1 x 1 x 2

x 2
x 2 A x 2 3x 2 B x 2 1 C
x 1 x 1 x 2
Ax 2 Ax 2 A Bx 2 3Bx 2 B Cx 2 C

x 1 x 1 x 2
Agrupando trminos semejantes y factorizando:
1

A B C x 2 A 3B x 2 A 2 B C
x 1 x 1 x 3 x 1 x 1 x 2
1 A B C x 2 A 3B x 2 A 2 B C
Por igualdad de polinomios
A B C 0
A 3B 0
2 A 2 B C 1
Resolviendo este sistema por el mtodo de Gauss
1 1 1 0 R1 R2 1 1 1 0 1 1 1 0
2 R2 R3
1 3 0 0 2 R1 R3 0 2 1 0 0 2 1 0
2 2 1 1 0 4 1 1 0 0 3 1

Sistema equivalente
A B C 0 (1)
2B C 0 (2)
3C 1 (3)
152
De (3)
1
C
3
De (2)
1 1
2B 0 B
3 6
De (1)
1 1 1
A 0 A
6 3 2
Por lo tanto al sustituir en la expresin original, se tiene:
1 1 1

1
2 6 3
x 1 x 1 x 2 x 1 x 1 x 2
16. La ecuacin de la parbola que se muestra en la figura es de la forma y ax 2 bx c. Si la

parbola contiene los puntos A 4, 10 , B 2, 5 y C 2, 1 , obtener su ecuacin.
153
Solucin:
Como la parbola contiene a los puntos A, B y C, stos deben satisfacer la ecuacin y ax 2 bx c.
Para A 4, 10 , se tiene que 10 16a 4b c

Para B 2, 5 , se tiene que 5 4a 2b c
Para C 2, 1 , se tiene que 1 4a 2b c
Los valores a, b y c en la ecuacin y ax 2 bx c , se determinan al resolver el sistema de
ecuaciones lineales
16a 4b c 10
4a 2b c 5
4a 2b c 1
16 4 1 10 4 2 1 5 4 R1 R2 4 2 1 5
R1 R2 R2 R3
4 2 1 5 16 4 1 10 R1 R3 0 4 3 10
4 2 1 1 4 2 1 1 0 4 0 4

4 2 1 5

0 4 3 10
0 0 3 6
El sistema equivalente es:

4a 2b c 5 (1)
4b 3c 10 (2)
3c 6 (3)
De (3), c 2
De (2) 4b 3 2 10 b 1
1
De (1) 4 a 2 1 12 5 a
4
Por lo que la ecuacin de la parbola es:
1 2
y x x2
4
154
17. Sean las rectas L1, L2 y L3 de ecuaciones
L1 : y 2x 3
L2 : y 1 4 x 5
x y
L3 : 1
2 3
Determinar si las rectas dadas se intersecan en el mismo punto.
Solucin:
La ecuacin de L1 se reescribe como 2 x y 3

La ecuacin de L2 se reescribe como 4 x y 21
La ecuacin de L3 se reescribe como 3x 2 y 6
Se determina el punto de interseccin de L1 y L2
2 x y 3
4 x y 21
De donde:
2 1 3 2 R1 R2 2 1 3

4 1 21 0 1 15
Sistema equivalente
2 x y 3
y 15
Si y = 15 entonces x 9
El punto de interseccin de L1 y L2 es 9, 15
Si L3 se intersecan con L1 y L2 en 9, 15 este punto debe estar contenido en L3 . Sustituyendo

x 9 y y 15 en la ecuacin de L3 se tiene:
155
3x 2 y 6
3 4 2 15 6
27 30 6
57 6
lo cual es falso. Por tanto las rectas L1 , L2 y L3 no se intersecan en el mismo punto.
Otra forma de investigar si las rectas se intersecan en un punto, es determinando si el sistema de

ecuaciones tiene solucin nica
2 x y 3

4 x y 21

3x 2 y 6
Aplicando el mtodo de Gauss:
2 1 3 1 3 9 4 R1 R2 1 3 9
R3 R1 3R3
4 1 21 4 1 21 3R1 R3 0 13 57
3 2 3 2 0 7 21
6 6
1 3 9 1 3 9 1 1 3 9
R3 R2 R3 R2 R3
0 13 57 0 1 15 4 0 1 15
0 14 0 14 42 0 1
42 3
1 3 4

0 1 15
0 0 18

x 3 y 4

El sistema equivalente y 15 resulta incompatible

0 10 y 18
Por tanto L1 , L2 y L3 no se intersecan en el mismo punto.
156
18. Obtener el punto de interseccin de los planos 1 , 2 y 3 cuyas ecuaciones son:
1 : 3x 2 y 4 z 12
2 : x 5y z 2
3 : 2 x y 3z 8
Solucin
Para obtener el punto de interseccin entre los planos: 1 , 2 y 3 simplemente se resuelve el

sistema de ecuaciones lineales
3x 2 y 4 z 12

x 5y z 2

2 x y 3z 8
Por mtodo de Gauss
3 2 4 12 1 5 1 2 3R1 R2 1 5 1 2 2 R2
R1 R2
1 5 1 2 3 2 4 12 2 R1 R3 0 17 1 18 3R3
2 1 3 8 2 1 3 8 0 11 1 12

1 5 1 2 1 5 1 2 1 1 5 1 2
R3 R2 R3 11R2 R3
0 34 2 36 0 1 1 0 3 0 1 1 0

0 33 3 36 0 33 3 36 0 11 1 12

1 5 1 2 1 1 5 1 2
R3
0 1 1 0 12 0 1 1 0
0 0 12 12
0 0 1 1
El sistema equivalente es
x 5y z 2 ...(1)
yz 0 ...(2)
z 1 ...(3)
Sustituyendo z 1 en (2) se obtiene y 1 .

Sustituyendo y 1 y z 1 en (1) se obtiene x 2
Por tanto, los planos 1 , 2 y 3 se intersecan en el punto 2, 1, 1
157
19. Determinar el polinomio de tercer grado p x cuya grfica se muestra en la siguiente figura:
y
P(x)
Punto mximo
relativo x
9
Punto mnimo
relativo
x
x
x = -2 -2 x=
-1-1 x =0 0 x =1 1
Solucin:
Sea p x ax 3 bx 2 cx d . A partir de la grfica de p x y puesto que 1, 9 y 2, 0 son

puntos que pertenecen a ella:
p 1 a b c d 9 ...(1)
p 2 8a 4b 2c d 0 ...(2)
Por otra parte, la derivada de p x es el polinomio
p x 3ax 2 2bx c
y como en x 1 y en x 0 , p x tiene valores extremos:
p 1 3a 2b c 0 ...(3)
p 0 c 0 ...(4)
Sustituyendo la ecuacin (4) en las ecuaciones (1), (2) y (3) se construye el sistema de ecuaciones
lineales:
158
abd 9

S : 8a 4b d 0

3a 2b 0
Luego,
1 1 1 9
1 1 1 9 8R1 R2 1 1 1 9 1
R2
0 1 3
8 4 1 0 0 12 9 72 12 6
3 2 0 0 3R R 0 5 3 27 4
1 3 0 5 3 27

1 1 1 9

5R2 R3 3
0 1 6
4
3
0 0 3
4
El sistema de ecuaciones lineales equivalentes a S es

a b d 9

3
S1 : b d 6
4
3
d 3
4
por lo tanto d 4 , b 3 y a 2 . El polinomio cuya grfica se muestra en la figura es
p x 2 x3 3x2 4
20. La asuma de las tres cifras de un nmero es diez. La suma de la cifra de las centenas y la cifra de
las decenas excede en cuatro a la cifra de las unidades y la suma de la cifra de las centenas y la
cifra de las unidades excede en seis a la cifra de las decenas. Cul es dicho nmero?
Solucin:
Consideremos que el nmero buscado es: xyz, donde x representa la cifra de las centenas, y a las
decenas y z las unidades. De acuerdo con esto y los datos proporcionados, se llega al siguiente
sistema de ecuaciones:
159
x y z 10

x y 4 z

x z 6 y
ordenando tenemos:
x y z 10

x y z 4

x y z 6
escalonando:
1 1 1 10 R1 R2 1 1 1 10
0 0 2 6
1 1 1 4 R1 R3
1 1 1 6 0 2 0 4
x y z 10 x5
2 z 6 z 3
2 y 4 y2
por lo que el nmero es: 523
21. Se va a realizar el inventario de una librera que cuenta con un total de 30000 libros. Los ttulos
que en ella se manejan son de fsica, qumica, matemticas y termodinmica. El nmero de
libros de fsica es igual a la suma de los libros de matemticas ms los de termodinmica. Si al
doble del nmero de libros de matemticas se le suma 10000, se obtiene el nmero de libros de
qumica y la suma del nmero de libros de qumica, matemticas y termodinmica es de 23000.
Cuntos ejemplares hay en existencia de cada ttulo?
Solucin:
F # de libros de fsica
Q # de libros de qumica
M # de libros de matemticas
T # de libros de termodinmica
160
con los datos proporcionados se llega al sistema:
F Q M T 30000

F M T

2 M 10000 Q

Q M T 23000
de donde se llega a
F Q M T 30000
F M T 0
Q 2M 10000
Q M T 23000
Efectuando el escalonamiento con la matriz aumentada tenemos:
1 1 1 1 30000 1 1 1 1 30000
1 R1 R2 0 1 2 2 30000 R3 R2
0 1 1 0 R R2
R3 R4
0 1 2 0 10000 0 1 2 0 10000 3

0 1 1 1 23000 0 0 3 1 13000
1 1 1 30000
1 1 1 11 30000
0 1 2 0 10000 2 R4 R3 0 1 2 0 10000

0 0 4 2 20000 0 0 3 1 13000

0 0 3 1 13000 0 0 2 0 6000
con lo cual se llega al sistema:
F Q M T 30000

Q 2M 10000

3M T 13000

2M 6000
161
de donde:
M 3000
T 4000
Q 16000
F 7000
22. Una fbrica de computadoras vendi 20 unidades. El cliente pidi tres modelos diferentes, cuyos
precios son $10000.00, $12000.00 y $15000.00. El importe pagado fue de $226000.00,
solicitando que la cantidad de unidades de mayor precio corresponda a la quinta parte de la
cantidad de unidades de menor precio. Cuntas unidades de cada modelo se vendieron?
Solucin:
x Nmero de computadoras de $10000.00

y Nmero de computadoras de $12000.00
z Nmero de computadoras de $15000.00
de esta forma se tiene:

x y z 20

10000 x 12000 y 15000 z 226000

1
xz
5
de donde se llega a:
1 1 1 20 10 R1 R2 1 1 1 20 2 R3 R2
10 12 15 226 R R 0 2 5 26 R2 R3
1 3
1 0 5 0 0 1 6 20
1 1 1 20
0 1 6 20

0 0 7 14
162
entonces se tiene:
x y z 20

y 6 z 20

7 z 14
con lo cual
z2
y 8
x 10
23. El permetro de un tringulo es igual a 54 centmetros. Calcular las longitudes de los tres lados,
si se sabe que la hipotenusa tiene el doble de la longitud que el cateto ms corto y que un cateto
es 6 centmetros ms largo que el otro.
Solucin:
a longitud del cateto corto

b longitud del cateto largo
c longitud de la hipotenusa
El modelo matemtico que representa al problema es:
a b c 54

c 2a

a6b
163
de donde:
1 1 1 54 2 R1 R2 1 1 1 54 R2
2 a 0 1 0 R R 0 2 3 108 R
1 3 3
1 1 0 6 0 2 1 60
1 1 1 54 R3 R2 1 1 1 54
0 2 3 108 R R 0 2 1 60
3 2
0 2 1 60 0 0 2 48
con lo que el sistema equivalente es:
a b c 54

2b c 60

2c 48
de donde
c 24
b 18
a 12
24. Un grupo de alumnos de ingeniera est formado por 60 estudiantes de las siguientes
asignaturas: lgebra, clculo y computacin. Se sabe que hay 16 estudiantes menos de lgebra
que la suma de los de computacin y clculo. Adems, el nmero de estudiantes de lgebra ms
los de computacin es tres veces el de clculo. Determinar la cantidad de estudiantes de cada
asignatura.
Solucin:
x nmero de estudiantes de lgebra

y nmero de estudiantes de clculo
z nmero de estudiantes de computacin
164
x y z 60

y z x 16

x z 3y
entonces:
x y z 60

x y z 16

x 3 y z 0
de donde
1 1 1 60 R1 R2 1 1 1 60
1 1 1 16 R R 0 2 2 76
1 3
1 3 1 0 0 4 0 60
por lo que:
x y z 60

2 y 2 x 76

4 y 60
y 15
z 23
x 22
por lo que se tiene:
22 alumnos de lgebra
15 alumnos de clculo
23 alumnos de computacin
165
25. El responsable de cuatro plantas automotrices debe decidir cul debe ser la produccin mnima
diaria en cada planta para que no pare ninguna de ellas puesto que eso representara muchas
prdidas. La informacin de produccin de las plantas se describe a continuacin.
1) La suma de las unidades producidas por las tres primeras plantas es igual a la produccin de
la ltima.
2) El doble de la produccin de la tercera planta es igual a cuatro veces la produccin de las
plantas uno y dos menos el triple de lo que produce la cuarta.
3) Cuatro veces la produccin de la segunda es igual a seis veces la produccin de la primera
ms diecisis lo de la tercera menos lo que produce la cuarta.
4) Seis veces la produccin de la primera es igual a la produccin de la cuarta.
Solucin:
Al traducir al lenguaje algebraico, si denominamos x, y, z, w a la produccin de las plantas uno, dos,

tres y cuatro, respectivamente:
x y z w
2 z 4 x y 3w
4 y 6 x 16 z w
6x w
Al ordenar y eliminar parntesis:
x yzw0
4 x 4 y 2 z 3w 0
6 x 4 y 16 z w 0
6x w 0
Para resolver este sistema homogneo se utilizarn matrices:
1 1 1 1 4 R1 R2 1 1 1 1 1 1 1 1
4 4 2 3 6 R1 R3 0 0 6 1 3 0 0 6 1
R
5
6 4 16 1 6 R1 R4 0 10 10 5 0 1 2 1

6 0 0 1 0 6 6 5 0 6 6 5
1 1 1
1 1 1 1
1 1 1 11
3R3 R4 0 0 6 1 R2 R3 0
2 2 1 2 R3 R4 0
2 2 1
0 2 2 1 0 0 6 1 0 0 6 1

0 0 12 2 0 0 12 2 0 0 0 0
166
El sistema equivalente es
x yzw0
2 y 2z w 0
6 z w 0
Es decir, se trata de un sistema compatible (lgico, pues es homogneo) indeterminado.
Despejando de la tercera ecuacin:
w
z
6
llevando este valor a la segunda:
w 4 2
2y 2 w 0 , 2y w 0 y w
6 3 3
ahora en la primera:
2 1 w
x w ww 0, x
3 6 6
el conjunto solucin es
w 2 w
x , y w, z , w; w Z
6 3 6
w debe ser entero porque no hay unidades fraccionarias de automvil y todas las variables deben ser
enteras y positivas, por lo que la produccin mnima se tiene para w 6 .
As que x 1, y 4, z 1, w 6
26. Un ingeniero tiene que administrar el suministro de agua en un conjunto residencial. Para ello se
cuenta con tres contenedores que en total pueden almacenar cuatro mil metros cbicos. Se tiene
que cinco veces la capacidad del tercero menos la suma de las capacidades de los dos primeros
es igual a ocho mil metros cbicos. Por otra parte, el doble de la del primero ms el triple de la
del segundo resulta igual a tres mil metros cbicos ms el del tercero. Por ltimo la suma de las
del primero y la del segundo es igual al triple de la del tercero menos cuatro mil. Cules son las
capacidades de cada depsito?
167
Solucin:
Sean a, b y c las capacidades de los contenedores A, B y C respectivamente. Las ecuaciones que

modelan el problema son:
abc 4
5c a b 8
2a 3b 3 c
a b 3c 4
donde las capacidades tienen unidades en miles de metros cbicos.
Al ordenar las ecuaciones quedan:
abc 4
a b 5c 8
2a 3b c 3
a b 3c 4
Matricialmente:
1 1 1 4 R1 R2 1 1 1 4 1 1 1 4 R3
1 1 5 8 2 R R 0 0 6 12 R2 R3 0 1 3 5
6
1 3
2 3 1 3 0 1 3 5 0 0 6 12
R4
1 1 3 4 R1 R4 0 0 4 8 0 0 4 8
4
1 1 1 4 1 1 1 4
0 1 3 5 R3 R4 0 1 3 5

0 0 1 2 0 0 1 2

0 0 1 2 0 0 0 0
168
El sistema equivalente es:
abc 4 ...(1)
b 3c 5 ...(2)
c2 ...(3)
(3) en (2)
b 3(2) 5
b 65 1
b y c en (1)
a 1 2 4, a 1
La respuesta es:
A tiene capacidad de mil metros cbicos
B de mil metros cbicos y
C de dos mil metros cbicos.
27. Un ingeniero residente de una obra tena, al inicio de la jornada, un capital de alrededor de
quince mil pesos en billetes de mil y de doscientos, para gastos imprevistos. En el momento del
corte, al trmino de la jornada, tena tantos billetes de mil pesos como de doscientos tena al
inicio y tantos de doscientos como los de mil que tena en un principio. La cantidad de dinero al
corte era de un tercio de la cantidad inicial.
Cunto se gast en imprevistos?
Solucin:
Si x es el nmero de billetes de mil pesos

y es el nmero de billetes de doscientos pesos.
Al inicio, en caja haba

1000 x 200 y pesos
Al corte:
200 x 1000 y pesos
Debido a que al corte se tena un tercio de la cantidad inicial:
169
1
1000 x 200 y 200 x 1000 y
3
1000 x 200 y 600 x 3000 y
400 x 2800 y
x 7y
Al tenerse una sola ecuacin con dos incgnitas, el sistema es compatible indeterminado; sin
embargo, el nmero de soluciones se reduce considerablemente al tenerse un nmero entero de
billetes.
Ahora bien, analizando:
Si y = 1, x = 7, la cantidad inicial sera 1000(7) 200 7200 pesos que no corresponde a que se
mencion que haba alrededor de quince mil pesos.
Si y = 2, x = 14; lo que equivale a 1000(14) 200(2) 14400 pesos . Podra ser:
Si y = 3, x = 21; esto ya no es admisible.
1
De manera que al inicio se tenan $14,400 y al corte (14, 400) 4800 .
3
Los gastos imprevistos fueron:
14400 4800 $9600.00
170
EJERCICIO PROPUESTOS
1. Para el siguiente sistema de ecuaciones
x 2y z 2

2x 5 y 4z 7

x 3 y 3z 5
obtener su solucin en caso de ser compatible determinado, la solucin general y una particular en
caso de ser compatible indeterminado.
2. Obtener en caso de ser posible, la solucin del siguiente sistema de ecuaciones
x y 2 z 1

x 2 y z 4

x 3 y 4 z 7
3. Determinar una solucin particular del sistema de ecuaciones lineales.
2 x1 4 x2 3x2 x4 2 x5 9

4 x1 3x2 6 x3 7 x4 2 x5 9

3x1 2 x2 x3 2 x4 4 x5 27
4. Determinar el valor de k R para que el sistema de ecuaciones lineales homogneo
x ky z 0

2x y k 1 z 0

x k 1 y z 0
sea compatible indeterminado.
171
5. Determinar las soluciones del sistema de ecuaciones
x y 2 ...(1)

2 x z 3 ...(2)

x y z 1 ...(3)

xy z 2 1 ...(4)
6. Sea el sistema
x y z 1

2 x 3 y mz 3

x my 3z 2
Determinar para qu valores de m R este sistema es:

a) Compatible determinado.
b) Compatible indeterminado.
c) Incompatible.
7. Determinar si el sistema es compatible o incompatible. Si es indeterminado obtenga su solucin

general y una particular.
mn p 7

4m n 5 p 4

6m n 3 p 18
8. Determinar los valores de k R de tal forma que el sistema de ecuaciones lineales
x yz k

x 2 y 3z 4

2 x y kz 2
sea:
a) Incompatible.
b) Compatible determinado.
c) Compatible indeterminado.
172
x 2 y 3z 3

x yz 3

x y bz 0
Determinar el valor o los valores de b R , para que el sistema sea:

a) Incompatible.
c) Compatible determinado.
10. Para cada uno de los sistemas de ecuaciones lineales, obtener su solucin en caso de que sta
exista. Si se trata de un sistema compatible indeterminado, obtener una solucin particular y la
solucin general.
2 x y 3z 4 3x 4 y z 2

a) x 2 y 3z 0 b) x 2 y 2 z 1

3 x 2 y z 2 2 x 6 y z 4
3 x 2 y 2 z w 1
x 3 y 3 z 5
2 x y z 2 w 3
c) 2 x y 2 z 2 d)
x y 3z w 2
3 x 2 y z 7
x 2 y z 3w 0
3x 3 y 3z 3

x y z 2

2 x 2 y 2 z 2
Determinar el valor o los valores de R , para que el sistema sea:

c) Incompatible.
173
2 x 2 y 2 z 6

x y z 0

2 x 3 y z 3
Determinar para qu valor o valores de R el sistema es:

c) Incompatible.
2 x1 x2 3 x3 4
x1 2 x2 x3 1
x1 x2 2 x3 3 5
4 x1 2 x2 6 x3 3 2 8
Obtener el valor o los valores de R , para que el sistema sea:

c) Incompatible.
14. Un grupo de 32 estudiantes est formado por personas de 18, 19 y 20 aos de edad. El promedio
de sus edades es 18.5 aos. Cuntas personas de cada edad hay en el grupo, si la cantidad de
personas de 18 aos es 6 ms que la suma de los de 19 y 20 aos?
15. Las rutas 1, 2 y 3 del sistema de transporte de una ciudad cuenta con 106 microbuses. El
nmero promedio de pasajeros que transporta cada unidad es de 20 en la ruta 1, 15 en la ruta 2 y
18 en la ruta 3, para un total de 1850 pasajeros transportados en un solo viaje de los 106
microbuses. El nmero de viajes que realiza cada unidad por da es de 15 en la ruta 1 y de 20 en
las rutas 2 y 3, efectundose un total de 1920 viajes.
Determinar el nmero de microbuses con que cuenta cada una de las rutas.
174
16. Una empresa tiene 3 mquinas A, B y C; cada una es capaz de producir cierto artculo. Por falta
de operadores diestros, slo se pueden usar simultneamente dos de ellas. La tabla siguiente
muestra la produccin en un periodo de tres das usando distintas combinaciones de mquinas.
Mquinas usadas Horas de No. de artculos

produccin producidos
AyB 6 450
AyC 8 360
ByC 7 490
Determinar cunto tiempo emplea cada mquina, estando las dems fuera de operacin, en
producir 100 artculos.
17. Una cafetera tiene 56 mesas; x mesas con 4 asientos cada una, y mesas con 8 asientos cada
una, y z mesas con 10 asientos cada una. La capacidad de asientos de la cafetera es de 364.
Durante una tarde se ocuparon la mitad de las x mesas, un cuarto de las y mesas y un
dcimo de las z mesas, para un total de 19 mesas. Cuntas mesas de cada tipo se usaron esa
tarde?
18. Cuando Ana se gradu en la universidad, haba cursado 40 asignaturas, en las cuales obtuvo 8, 9
10 de calificacin. Su promedio final fue 9.125. Su promedio en las asignaturas en donde
obtuvo 9 y 10 fue de 9.8. Determinar el nmero de asignaturas en donde obtuvo 8, 9 10,
respectivamente.
19. El costo de tres dispositivos de laboratorio es igual a seis mil euros. El costo del segundo equipo
es igual a la suma del doble del costo del primero ms el triple del tercero menos nueve mil
euros; adems el costo del tercero es el triple del costo del primero ms el doble del segundo
menos cuatro mil euros. Cunto cuesta cada equipo?
175
1. x 4 3k , y 3 2k , z k; kR
con k 1
x 7, y 5, z 1
2. Incompatible
3. x1 2, x2 0, x3 2, x4 1, x5 3
3
4. k
5
5. x 2 , y , z 1 2 ; R
6. a) m 2, m 3
b) m 2
c) m 3
7. Compatible indeterminado
11 4 p 24 9 p
m , n , pR
5 5
Con p 0
11 24
m , n , p0
5 5
8. a) k 0
b) k R, k 0
c) No existen valores de k
9. a) b 1
b) No existen valores de b
c) b R, b 1
176
10. a) x 1, y 1, z 1
b) Incompatible
3k 11 8 8k
c) x , y , zk
7 7
con k 1; x 2, y 0, z 1
d) x 1, y 1, z 0, w2
11. a) 2, 1
b) 2
c) 1
12. a) R, 1
b) No existen valores de
c) 1
13. a) 0, 1
b) 0
c) 1
14. 19 de 18 aos
10 de 19 aos
3 de 20 aos
15. 40 de la ruta 1
46 de la ruta 2
20 de la ruta 3
16. A emplea 4 horas

B emplea 2 horas
C emplea 5 horas
17. 13 sillas de 4 asientos

5 sillas de 8 asientos
1 silla de 10 asientos
18. 15 con 8
5 con 9
20 con 10
19. 1000 euros el primer equipo

2000 euros el segundo equipo
3000 euros el segundo equipo
177
CAPTULO 5
MATRICES Y DETERMINANTES
Aunque se piensa, por la forma de impartir los cursos de lgebra, que primero aparecieron las
matrices y luego los determinantes, los hechos histricos demuestran lo contrario. Por esta razn
primero se da una breve historia de los determinantes y despus de las matrices.
Cuenta la historia que es posible que ya hacia 1100 a. c. los chinos resolvieron sistemas de dos
ecuaciones lineales con dos incgnitas utilizando una regla equivalente a lo que hoy se conoce
como el mtodo de los determinantes y existe la creencia de que el japons Seki Kowa tambin lo
hizo en el ao de 1683. Poco despus de que Seki Kowa hubiera previsto los determinantes, G.
W. Leibniz, en el ao de 1593, dio una regla para resolver los sistemas de ecuaciones lineales
simultneas equivalente a la de los chinos. Esta regla fue ampliada por G. Cramer en el ao de
1750 y simplificada por E. Bezout en 1764. Pero a pesar de lo atractivo los desarrollos de estas
reglas no correspondan al clculo formal de un determinante.
Una de las aportaciones ms representativas fue la de A. T. Vandermonde, quien en 1771 mejor

la notacin y aisl como objeto de estudio independiente a lo que despus se habra de ver eran
determinantes.
En 1812 J. P. M. Binet dio un gran paso hacia adelante al enunciar una regla que, bajo hiptesis
adecuadas, era suficiente para definir los determinantes. En el mismo ao A. L. Cauchy acometi
fuertemente dando demostraciones generales de los teoremas fundamentales de los determinantes

y A. Cayley invent la notacin de acomodar elementos en cuadro entre barras verticales. Con
esta notacin aparecieron muchos determinantes especiales.
En 1920 T. Muir necesit cinco volmenes con un total de aproximadamente 2500 pginas para
relatar la historia de los determinantes.
Uno de los puntos de mayor inters en la obra de H. G. Grassmann es la generalizacin que daba
a los nmeros complejos, z a bi como parejas ordenadas (a, b) hasta llegar a los nmeros
hipercomplejos x1 , x2 , x3 , ..., xn . Resulta inevitable el relacionar a esta generalizacin con
otra que realiz de forma explcita Cayley en 1858, pero que ya estaba implcita en la obra de
Grassmann: las matrices.
Fue tal el impacto que causaron las matrices que los fsicos comenzaron a familiarizarse con
ellas; en 1925 aparecieron en la teora de los quanta. Con esto, la invencin de las matrices ilustra
lo poderosa que puede ser una notacin bien ideada; algunos matemticos admitieron con cierto
disgusto que un artificio trivial de notacin puede ser el germen de una vasta teora con
innumerables aplicaciones.
Se cuenta que en 1894 Cayley mismo relat a P. G. Tait el motivo de inspiracin que lo condujo
a las matrices: Desde luego que no llegue al concepto de matriz a travs de los cuaternios, fue
directamente a partir de los determinantes; o bien como un modo conveniente de expresar las
ecuaciones
x ax by
y cx dy
Si no hubiera sido por el testimonio de Cayley, es posible que incluso hoy da se afirmara que
Hamilton se anticip a Cayley en la invencin de las matrices, o por lo menos que Cayley dedujo
el concepto de matriz a partir de los cuaternios, tal y como lo afirmaba Tait, gran defensor de los
cuaternios.
179
CAPTULO5.MATRICESYDETERMINANTES
1. Sean las matrices
x 1 1 1 1 1 3 3 3
A 1 x 2 , B 2 3 4
y C 1 4 7

1 3 x 0 1 2 7 9 11
Determinar el valor de x tal que A B C
Solucin:
Realizando la multiplicacin de las matrices A y B :
x 1 1 1 1 1
A B 1 x 2
2 3
4

1 3 x 0 1 2
x2 x 2 x2
A B 1 2 x 3 x 1 4x 3

7 10 x 13 2 x
Luego
x2 x 2 x2 3 3 3
1 2 x 3 x 1 4x 3 1 4 7

7 10 x 13 2 x 7 9 11
Por igualdad de matrices
x2 3 x 2 3 x2 3
1 2 x 1 3 x 1 4 4x 3 7
7 7 10 x 9 13 2 x 11
Fcilmente se determina que x 1 satisface cada una las ecuaciones anteriores.
Por lo tanto, para x 1 se tiene que A B C
180
2 1
2. Expresar a la matriz M como el producto de las matrices de orden dos A B ,
1 1
donde A es triangular superior y B triangular inferior.
Qu condicin deben cumplir estas matrices para que B A sea simtrica?
Solucin:
x y a 0 ax by cy
Sean A y B , AB
0 z b c bz c z
ax by cy 2 1
Por igualdad de matrices AB
bz cz 1 1
ax by 2 K (1)
cy 1 K (2)
bz 1 K (3)
cz 1 K (4)
1 1 b c
De las ecuaciones ( 3 ) y (4) bc , y de la ecuacin ( 2 ) c
z y y z
1
lo que implica que a x 1 y que a .
x
Las matrices solicitadas son todas las que tienen la forma:
1
0
x y x 2 1
0 x0, y0
y 1 1 1 1
y y

Si cambiamos el orden los factores
1 y
0 1
x x y x

1 1 0 y x
2
y y y

As, para que B A sea simtrica es necesario que x y ; es decir
181
1
0
x x x
A y B para x0
0 x 1 1

x x
Los elementos de las matrices A y B pueden ser reales o complejos.
3. Sean A , B y C matrices tales que A B B A y AC C A . Demostrar que

a) A B C B C A,
b) A BC BC A , y
2
c) AB A2 B 2 .
Solucin:
a) A B C AB AC
BA C
A B C B C A
b) A BC AB C
BA C
B AC
B CA
A BC BC A
2
c) AB AB AB
A BA B
A AB B
AA BB
2
AB A2 B 2
182
4. Sean A y B matrices cuadradas de orden n ; determinar cul de los siguientes desarrollos

es correcto.
2
a) A B A B A B
A A B B A B
A2 AB BA B 2
A2 2 AB B 2
2

b) tr A B tr A AB BA B
2 2

t r A2 t r A B t r B A t r B 2
t r A 2 t r AB t r B
2 2

tr A tr B
2
c) A B A B A2 B 2
d) A I A I A2 I 2
n n n
donde I n es la matriz identidad de orden n.
Solucin
a) Es incorrecto. En general
AB B A AB B A 2 AB
b) Es incorrecto
t r A B t r A t r B por lo que t r A t r A
2 2
c) Es incorrecto.
Por la misma razn dada en a)
d) Es correcto, pues
183
AI AI
n n
A A In In AI n
A 2 A I n A I n2
A 2 A A In 2
A 2 In 2
5. Sea X una matriz cuadrada de orden 2 con elementos reales tal que
tr X 2 t r ( X ) 2 . Determinar X .
Solucin:
a b 2
Sea X tr ( X ) ad tr (X ) a 2 2ad d 2 K ( 1 )
c d
a b a b a b c a b bd
2
X 2

c d c d
ac d c bc d 2
t r X 2 a2 2 bc d 2 K ( 2 )

Para que ( 1 ) sea igual a ( 2 ) se requiere que
2b c 2 a d bc ad
As, el conjunto de matrices que cumplen la condicin es:
a b
a d bc 0 ; a, b, c, d
c d
Es decir, el determinante de X debe ser cero.
6. Determinar el conjunto de matrices con elementos reales que conmutan con la matriz
0 1 0

A 0 0 0
1 0 0

184
Solucin:
a b c

Sea X x y z una matriz tal que A X X A , como el orden de A es 3 x 3, X
u v w

tambin debe serlo para que las multiplicaciones estn bien definidas.
0 1 0 a b c x y z

AX 0 0 0 x y z 0 0 0
1 0 0 u v w a b c

a b c 0 1 0 c a 0
XA x y z 0 0 0 z x 0
u v w 1 0 0 w u 0

Como AX = XA, entonces x c 0, y a w, z 0, y b u.
El conjunto solicitado es
a b 0

0 a 0 a, b, v
b v a

sec tan sec tan

7. Sean las matrices A y B tan sec . Comprobar
tan sec
que AB I 2 y que B A I 2 , donde I 2 es la matriz identidad de orden dos.
Solucin:
sec tan sec tan

AB
tan sec tan sec
sec 2 tan 2 sec tan tan sec

AB
tan sec sec tan tan 2 sec 2
185
1 0
AB
0 1
AB I 2
Por otro lado

sec tan sec tan
BA
tan sec tan sec
sec 2 tan 2 sec tan tan sec
BA
tan sec sec tan tan 2 sec 2
1 0
BA
0 1
BA I2
Nota: Las matrices A y B son permutables.
1 1 i 2 i
8. Sean las matrices triangulares superiores A 0 2 0
y
0 0 5
1 i 2 3
B 0 1 i . Mostrar que A B es una matriz triangular superior.
0 0 i
Solucin:
1 1 i 2 i 1 i 2 3
AB 0 2 0 0 1 i

0 0 5 0 0 i
1 i 1 i 6 i
AB 0 2 2i

0 0 5 i
A B es una matriz triangular superior.
186
2 0 0
9. Sea la matriz diagonal C
0 y sea la matriz triangular inferior
0 1
0 0 3
4 0 0
D 1 3 0 . La matriz C D , ser una matriz diagonal o una matriz triangular
1 2 3
inferior?
Solucin:
2 0 0 4 0 0

CD 0 1 0 1 3 0

0 0 3 1 2 3
8 0 0
CD 1 3 0

3 6 9
C D es una matriz triangular inferior.
10. Demostrar que la multiplicacin de una matriz diagonal de orden n por una matriz
triangular inferior de orden n da por resultado una matriz triangular inferior.
Solucin:
Sea M diag m 11 , m 12 , m 13 , K , m nn
y H hij con h i j 0 si i 1 . La
matriz M H es una matriz P Pi j de orden n , definida por
n
Pi j
k 1
m i k hk j , pero i 1, 2, 3 , K , n y j 1, 2, 3 , K , n
Pi j m i 1 h 1 j m i 2 h 2 j m i 3 h 3 j K m i n h n j
si i j entonces m i 1 0 y h 1 j 0 , por tanto Pi j m i 1 h 1 j 0
si i j entonces Pii m i i h i i
As,
187
m11 0 0 K 0 h 11 0 0 K 0

0 m 22 0 K 0 h 21 h 22 0 K 0
ME 0 0 m 33 K 0 h h 32 h 33 K 0
31
M M M M M M M M M M

0 0 0 K m n n h n1 h n2 h n3 K h n n
m 11 h 11 0 0 K 0

m 22 h 21 m 22 h 22 0 K 0
m 33 h 31 m 33 h 32 m 33 h 33 K 0

M M M M M

m n n h n1 m nn h n2 m nn h n3 K m n n h n n
M E es una matriz triangular inferior.
11. Determinar las condiciones que deben cumplir , para la matriz
0

M 0 0
0

1
sea invertible. Encontrar M para el caso 2 , 1 .
Solucin:
Realizando operaciones elementales en la matriz M
1 0 1 0
0
0 0 :
0 1 0 : 0 1 0
0 1 0 1 0 0
1

se concluye que M no tendr inversa si 1 0 , 0 para que exista M 1 .

188
Si 2 y 1 entonces
2 0 1 1 0 0

0 2 0 0 1 0
1 0 1 0 0 1

1
1 1 0 0
0 2
2
0 1
1 0 0 0
2
0 0 1
1 0 2

1 0 1
1 0 0
0 1
1 0 0 0
2
0 0 1
1 0 2

por lo que la matriz buscada es

1 0 1
1
M 0
1
0
2
1 0 2

12. Sean M y N matrices cuadradas de orden n y sea P una matriz no singular tal que
M P 1 N P . Demostrar que M k P 1 N k P para todo k .
Solucin:
Por definicin
Mk M M L4444
144442 M3
k veces
Mk 1444444444444444444444442
P N P P N P K P N P P N P
1 1 1
444444444444444444444443
1
k veces
189
M k P 1 N P P 1 N PP K PP N PP N P
1 1 1
M k P 1 N I N K I N P donde I es la matriz identidad de orden n
M k P 1 144442
N N K4444
N43 P
k veces
M k P 1 N k P
Nota: Si M P 1 N P se dice que M y N son matrices similares.
13. Sean A y B matrices cuadradas de orden n y sea P una matriz no singular tal que
A P 1 B P . Demostrar que tr ( A ) tr ( B ) .
Solucin:
Si A P 1 B P entonces
tr(A) = tr(P-1BP)
Si asociamos las matrices del segundo trmino tenemos que
tr(A) = tr(P-1(BP))
pero, como sabemos, si M y N son matrices cuadradas tr(MN) = tr(NM), por lo que la ltima
expresin puede escribirse como
tr(A) = tr((BP)P-1)
luego, en virtud de la asociatividad de la multiplicacin de estas matrices,
tr(A) = tr(B(PP-1))
y, como PP-1 es la matriz identidad, tenemos finalmente que
tr(A) = tr(B)
14. Obtener la matriz X que satisfaga la ecuacin matricial
A X B*A tr C X X T
Donde
190
2 0 0 i 4 2i 5 6i
A B C
0 2 i 0 7 8i 6 2 i
Solucin:
2 0
A 2I2
0 2
0 i 0 i
B B*
i 0 i 0
0 i 0 2i
B*A 2 I2
i 0 2i 0
t r (C ) 4 2i 6 2i 2
A X B* A ( t r C ) X X T
2 I 2 X B* A 2 X X T
2 X B* A 2 X X T
B * A X T
B* A X T
0 2i
2i X T
0 2i
2 i X
0
15. Sea X una matriz triangular superior de orden dos y sean las matrices
2 3i 1i i 2i
A , B
3 8i 2 2 i i i

7 i 2 i 1 2 i 1 4i
C , D
i i 1 6 i 1 4 i
191
Obtener una matriz X que satisfaga la ecuacin matricial
tr A D X X T det B C
Solucin:
tr A D X X T det B C
XX T
det B C tr A D
det B i 2 2 i 2 i 2 1
t r A 2 3 i 2 2i i
XX T
C iD
7i 2i 1 2i 1 4i
XX T
i
i i 1 6 i 1 4 i

7i 2i i 2 i 4

i i i 6
i 4
7ii2 2ii4

i i 6 ii4
9 6
XX T

6 4
Proponiendo
192
a b
X
0 d
T a b a 0
XX
0 d b
d
T a2 b2 bd
XX
bd b2
a2 b2 bd 9 6
6
bd b2 4
a2 b2 9 K (1)
bd 6 K (2)
d2 4 K (3)
De (3)
d 2
De (2)
6 6
b 3
d 2
De (1)
a2 9 b2 9 9 0
Las matrices solucin son
0 3 0 3
X y X
0 2 0 2
16. Por medio de la matriz adjunta, obtener la inversa de la matriz
a b
A
c d
193
Solucin:
1
A 1 Adj A
det A
1 C 11 C 21
A 1
det A C 12 C 22

11 2
C 11 1 M 11 1 d d

2 1 3
C 21 1 M 21 1 b b

1 2 3
C 12 1 M 12 1 c c

22 4
C 22 1 M 22 1 a a
a b
det A ad bc
c d
1 d b
A 1
a d b c c a
17. Por medio del mtodo de operaciones elementales, obtener la inversa de la matriz
a b
A
c d
Solucin:
1 b 1
a R2 b 1 C R1 R 2
1 0
a b 1 0 1 a 0 a a
: a :
c d 0 1 0 ad bc c
c d 0 1 1
a a
a
multiplicando el segundo rengln por
ad bc
1 b d b
1 b 0
a R 2 R1
1 0
a a d bc a d bc
a :
c a c a

0 1
ad b c ad b c 0 1
ab bc ad b c

194
Por tanto
d b
ad bc
a d bc
A 1
c a
ad bc ad bc

que se puede escribir como
1 d b
A 1
a d b c c a
Como a d b c det ( A )
1 d b
A 1
det A c a
0 2i 2 3 3i i
A 1 0 6i , B i
4 5 2 i ; C 0 0 1
0 1 0 8 6 3
Obtener a , b , c para que se cumpla la igualdad
2a i 0 0 1
A B CT 0 1 bi 0

1

0 0 c 2i 2
Solucin:
2i
AB C T
1 3 i K (1)
3
Por otro lado
2a i 0 0 1 2a i
0 1 bi 0 1 1 bi K (2)

0 0 c 2 2 c
195
De (1) y (2)
2i 2a i
1 3i 1 bi

3 2 c
2 i 2a i
3
1 3i 1 b i a 1 ; b 3 ; c
2
3 2c
19. Demostrar que si A , B y A B son matrices no singulares entonces

1 1
A 1 B 1 A A B B
Solucin:
Teniendo en cuenta que si M, N y P son matrices invertibles del mismo orden, entonces
(MNP)-1 = P-1 N-1 M-1 .
Se tiene que:
A A B B B 1 A B A1
1 1
B A B B A
1
1 1 1
B A I A
1
1 1

B 1 AA1 A1
1
,
B 1 I A1
1
A A B B B 1 A1
1 1
como quera demostrarse.
20. Obtener el valor del siguiente determinante:
196
1 2b b 2 5 2 2b
8 5b 2 1 5 0
1 0 0 b8
0 0 0 1
Solucin:
Aplicando el mtodo de cofactores con el elemento a44, tenemos
1 2b b 2 5 2 2b
1 2b b 2 5 2
8 5b 2 1 5 0
5b 8
2
1 5 =m
1 0 0 b8
1 0 0
0 0 0 1
Aplicando una vez ms el mtodo de cofactores con el elemento a31, se llega a
5 2
m 23
1 5
0 0 0 1 0 2 0 0
1 0 1 2 2 1 4 3
A y B
1 1 2 3 1 3 2 1

1 2 1 5 2 0 1 0
Obtener
a) det B AT 3
b) det 5 A 10
det B 1
c)
det A B
Solucin:
Calculamos los determinantes de las matrices A y B
197
0 0 0 1
1 0 1 2
1 1
1 4
det A M 14
1 1 2 3
1 2 1 5
1 0 1
det A M 14 1 1 2 2
1 2 1
0 2 0 0
2 1 4 3
2 1
1 2
det B M 12 2 M 12
1 3 2 1
2 0 1 0
2 4 3
det B 2 1 2 1 2 3 6
2 1 0
Por lo tanto,

a) det B 3 A T det B 3 det A T
det B
3
det A
6 3 2
432

b) det 5 A10 5 4 det A 10

10
54 det A
2
10
625
640,000
198
det B 1 det B 1 1 1
c)
det A B det A det B det A det B det B det A det B 2
1

2 6
2
1

72
1 i 2i
22. Obtener la inversa de la matriz D
3 2i 1 2 i
Solucin:
Encontramos la matriz solicitada por medio de la adjunta de D
1 1 2i 2 i
D 1 3 2 i
1 i 1 2i 2 i 3 2i 1 i
y como 1 i 1 2i 3 i y 2i 3 2i 8 i
1 1 2i 2 i
D 1 3 2 i
3 i 8 i 1 i
1 1 2i 2 i
D 1
5 2 i 3 2 i 1 i
Finalmente, despus de realizar las divisiones se obtiene la matriz
1 12 8 9
i i
29 29 29 29
D 1
19 4 i 7 3 i

29 29 29 29
2i 4
23. Determinar si la matriz E 1 es invertible.
i
2
Solucin:
199
En este caso
1
a d bc 2i i 4
2
a d bc 2 2
a d bc 0
Por lo tanto la matriz E no es invertible. Se dice tambin que E es singular.
a 0 2

24. Sea la matriz A 2 b 3 . Si la inversa de la matriz A es

4 1 c
11 2 2
A 1
4 0 a obtener los valores de a , b y c .
6 b b
Solucin:
A A 1 I 3
a 0 2 11 2 2 11 a 12 2 a 2b 2 a 2b
2 b 3 4 0 a 4 4b 4 3b 4 a b 3b

4 1 c 6 b b 48 6 c 8 bc 8 a b c
1 0 0
0 1 0

0 0 1
Por igualdad de matrices
200
11 a 12 1 K (1)
2 a 2b 0 K (2)
2 a 2b 0 K (3)
4 4b 0 K (4)
4 3b 1 K (5)
4 a b 3b 0 K (6)
48 6 c 0 K (7)
8 bc 0 K (8)
8 a bc 1 K (9)
De la ecuacin ( 1 )
11a 12 1 a 1
De la ecuacin ( 4 )
4 4b 0 b 1
De la ecuacin ( 7 )
48 6 c 0 c 8
Es fcil verificar que los valores de a , b y c obtenidos satisfacen las ecuaciones (2), (3),
(5), (6), (8) y (9).
25. Dar una matriz de orden 3 , diferente de la matriz nula, que muestre que si A A 0 no
necesariamente A es la matriz nula.
Solucin:
0 0 1
A 0 0 0
0 0 0
0 0 1 0 0 1
A A 0 0 0 0 0 0

0 0 0 0 0 0
201
0 0 0
A A 0 0 0
0 0 0
A A 0 para una matriz A 0.
1 2 1
26. Determinar la inversa de la matriz

B 0 3 1 , por medio de su matriz
1 1 1
adjunta.
Solucin:
El determinante de B es
1 1 1 2
det ( B) (3) (1) (1)5 6 3 3
1 1 1 1
Por definicin la matriz adjunta de B , que se denota como a d j B , es
c 11 c 21 c 31

ad j B c 12 c 22 c 32

c 13 c 23 c 33
i j
donde c i j 1 Mij
Realizando clculos
202
11 3 1
c 11 1 M 11 M 11 2
1 1
1 2 0 1
c 12 1 M 12 M 12 1
1 1
1 3 0 3
c 13 1 M 13 M 13 3
1 1
2 1 2 1
c 21 1 M 21 M 21 1
1 1
22 1 1
c 22 1 M 22 M 22 2
1 1
23 1 2
c 23 1 M 23 M 23 3
1 1
31 2 1
c 31 1 M 31 M 31 1
3 1
3 2 1 1
c 32 1 M 32 M 32 1
0 1
33 1 2
c 33 1 M 33 M 33 3
0 3
La a d j B es:
203
2 1 1
ad j B 1 2 1
3 3 3
y la matriz inversa de B est dada por
1
B 1 ad j B
det B
2 1 1
3
2 1 1 3 3

1 1 2 1
B 1 1 2 1
3 3 3 3
3 3 3
1 1 1

27. Si A es una matriz cuadrada de orden 5 y antisimtrica, demostrar que det A 0
Solucin:
Como A es antisimtrica entonces A A T . En consecuencia
det A det A T
Aplicando propiedades de los determinantes
det A det A T
det ( 1 ) A T
1
5
det AT
1 det A T
det A det A
Luego, si det A det A , entonces det A 0 .
204
28. Mostrar que toda matriz hermitiana M con elementos complejos puede escribirse como
M = A + iB, donde A es una matriz simtrica con elementos reales y B es una matriz
antisimtrica con elementos reales.
Solucin:
Toda matriz M con elementos complejos puede escribirse como la suma de dos matrices con
elementos reales M = A + iB; en efecto, considerando la forma binmica de los elementos de M,
a bi c di a c b d
M m ni p qi m p i n q

de donde podemos identificar a las matrices con elementos reales
a c b d
A m p y B n q

Por otra parte
M* = AT iBT
puesto que A*= AT y B*=BT ya que ambas matrices tienen elementos reales, y el conjugado de
un nmero real es el mismo nmero real.
Como M es una matriz hermitiana se tiene que M = M* y as
A + iB = AT iBT
por lo que A= AT y B= BT, es decir, A es una matriz simtrica y B es una matriz antisimtrica,
lo que completa la demostracin.
29. Por medio de la regla de Cramer, determinar si el sistema de ecuaciones dado tiene solucin
nica
x 2 y 3z 9
4 x 5 y 6 z 10
7 x 8 y 9 z 12
Solucin:
205
Calculamos el determinante de la matriz de coeficientes empleando la regla de Sarrus:
1 2 3
4 5 6
7 8 9 1 5 9 4 8 3 7 2 6 3 5 7 6 8 1 9 2 4
1 2 3
4 5 6
45 96 84 (105 48 72)
225 225 0
por lo que el sistema de ecuaciones es incompatible o compatible indeterminado, esto es, si admite
solucin sta no es nica.
30. Por medio de la regla de Cramer, obtener, si existe, la solucin al sistema de ecuaciones
x 2 y 3z 1
2x 3y z 1
3 x y 2 z 0
Solucin:
Calculamos el determinante de la matriz de coeficientes empleando la regla de Sarrus:
1 2 3
2 3 1
3 1 2 1 3 (2) 2 1 (3) (3) 2 1 (3) 3 (3) 11 1 (2) 2 2
1 2 3
2 3 1
6 6 6 27 1 8 18 20 38
por lo que el sistema es compatible determinado. Calculando los valores de las incgnitas:
206
1 2 3 1 1 3 1 2 1
1 3 1 2 1 1 2 3 1
0 1 2 3 0 2 3 1 0
x y z

6 10 4
x y z
38 38 38
3 5 2
x y z
19 19 19
207
1. Escribir en el parntesis de la derecha la letra V si la proposicin es verdadera y una letra

F si es falsa.
a) La adicin de matrices de orden m n es conmutativa .............................................( )
b) Si A, B y C son matrices cuadradas de orden n entonces A B C AB C .( )
c) La multiplicacin de matrices cuadradas de orden n es conmutativa ..................( )
d) La matriz C c i j ; i 1, 2, 3 ; j 1, 2 es de orden 2 3 .......................( )
i 2i 1 2i 5
e) Si 2 i y A entonces A ( )
i

2 i i 2i 5
2i i 1 1 1 1
f) Si A y B entonces A B 2 A i .( )
i i 1
1 2
4
1 i 1 i 2 2i
g) Si A y A entonces 1 i .( )
i i 1 i 1 i
h) Si A es una matriz de orden 2 3 y B es una matriz de 3 2 entonces BA es de
orden 2 2 ..................................................................................................................( )
2
i) Si A 1 1 2 y B 1 entonces A B
5 .......................( )
1
2 8
entonces A A A 8 ..............................................................(
j) Si A 2 )

2 8
k) Si A y B son matrices de orden dos, det ( AB ) = 6 y det( B ) = 3 entonces
det ( A ) = 2 ... ( )
l) Si N es una matriz simtrica entonces N + NT = 0....( )
m) Si tr( A ) = 2 y tr ( B ) = 5 entonces tr( A B ) = 3....... ( )
208
n) Si M es una matriz antisimtrica entonces tr ( M ) = 0( )
2. Escribir en el parntesis de la izquierda la letra de la opcin correcta.
a) Si I es la matriz identidad de orden n, Cul de las siguientes proposiciones es

falsa?............................................................................................................................( )
1) det ( I ) = n 2) I-1 = I
3) AI = IA si A es de orden n 4) tr ( I ) = n
b) Sean A y B matrices invertibles orden n. La matriz X que satisface la ecuacin

( AX 1B)1 B1 A es ...(
)
1) A2 2) I 3) 2A 4) AB 1 AB
c) Sea A una matriz no singular de orden tres, tal que det( 2A ) = det ( A3 )det( AT ).
El valor de det (A-1 ) es.......( )
1
1) 2 2) 3) 3 2 4) 8
2
3 2 1 6

1 1 4 2
d) El determinante de la matriz es ...( )
4 0 3 0

2 1 2 5
1) 0 2) 3 3) 15 4) 178
a b c a c 2b
e) Sea c 0 a 3 . El valor de c a 0 es ( )
c c a c a 2c
1) 12 2) 6 3) 6 4) 12
f) Si N es una matriz de orden cuatro tal que det( N (adjN) ) = 81, entonces det( N )
es .......( )
1) 3 2) 6 3) 9 4) 12
1 0 1 1

1 1 0 2
g) El cofactor C23 de la matriz es .( )
0 0 1 2

1 1 3 2

1) 9 2) 2 3) 0 4) 2
209
2 5 4 5
3. Sean A y B . Determinar, si existe, el conjunto de todos los valores
3 1 3 k
de k para que AB = BA.
4. Se dice que una matriz A es idempotente si A2 = A. Determinar todos los valores de a, c y d

a 0
que hacen que la matriz F sea idempotente.
c d
5. Comprobar que si A es una matriz idempotente entonces la matriz B = I A tambin es

idempotente y adems que AB = BA = 0.
1 a 1
6. Sea la matriz M . Determinar el conjunto de valores reales a para los cuales

0 1 3
T
tr (MM ) = 16.
1 1
1 0 m m 1
7. Sean las matrices A , B 0 1 , C y D , donde esta ltima
2 1 1 1 2 1 2

es de orden dos y tal que tr( D ) = 2. Determinar el valor de m si
tr ( AB ) = tr( C + D ).
1 2
1 1 2
8. Sean las matrices A y B 1 3 .
3 1 2 1 1

a) Verificar que tr(AB) = tr(BA).
b) Determinar si AB es invertible.
i 1 2

9. Obtener la inversa de C 0 2 i 1 3i .
0 1 i

10. Determinar el conjunto de valores de k y m para que las siguientes matrices sean invertibles:
210
1 2 3 1 m 2m

K 1 k 5 M 2 0 4
3 2 2 m 1 2m 1

1 0 2

11. Sea la matriz R 2 1 3 .
4 1 k

a) Determinar los nmeros reales k para los cuales R es invertible.

b) Obtener, si existe, la inversa de R para k = 8.
c) Para k = 2, escribir a la matriz R como la suma de una matriz simtrica ms otra matriz
antisimtrica.
12. Demostrar que si A , B y A B son matrices no singulares, entonces

A A B BB A B
1 1
A
a 1 1

13. Determinar todos los valores a tales que la matriz M 1 a 1 sea singular.
1 1 a

14. Demostrar que si F es una matriz invertible, entonces F T F 1 .

1 T
15. Demostrar que si N es una matriz que cumple la ecuacin N2 N I = 0, entonces N es una
matriz invertible.
16. Determinar los valores de x tales que
x 0 2 x 1 1 0
0 x 3 1 2 x 7 0
2 0 x6 3 0 x2
17. Demostrar que si M es una matriz ortogonal de orden n, entonces
det(M)= 1.
211
18. Obtener el determinante de la matriz
1 1 1 1

1 2 2 2
P 1 2 3 3

1 2 3 n

1 3 2

19. Determinar la matriz inversa de Z 2 0 1 a partir de la matriz adjunta de Z.
0 3 0

20. Demostrar que si M es una matriz cuadrada, entonces MMT es una matriz simtrica.
cos sen
21. Comprobar que la matriz de rotacin R es ortogonal.
sen cos
22. Sean A y B matrices cuadradas de orden n y sea P una matriz invertible tal que
1
A P B P . Demostrar que:
a) det( A ) det( B ) ,
b) adj ( A ) P adj ( B ) P
1
4 1 0 2 1 0 4 3i 2 2i 0

A 1 3 1 , B 1 1 1 y M 5 4i 2 3i 0 .
2
0 0 3 0 0 1 5 4i 3i
Determinar la matriz X que satisface la ecuacin
B1 AX (2det B) B1 X M * tr (M ) ABM
212
24. Determinar, si existe, la matriz X que satisface la ecuacin
AX + BTX = CT X
1 2 1 2 1 2
donde A , B y C ,
2 1 3 5 3 1
1 1 1

1 2 4 1
25. Determinar el valor de para que det (N)=16, si N .
1 1 1 2

4 1 1 3
1 i 2 0 2
26. Sean A y B . Determinar la matriz X que satisface la
0 1 i 2i 0
ecuacin (adjA) X tr ( A) B *
1 i 0 8 0
27. Para las matrices A y B , obtener la matriz X que satisface la
0 2i 3 1
ecuacin
T
1 T * 1
X iA 1
B 1
4 det(2 B )
28. Dadas las matrices
3 0 0 1 0 0 2 3i 5 4i

A 1 3 1 , B 1 1 1 y N 0 2 3i 5 4i
0 1 4 0 1 2 0 2 2i 4 3i

obtener la matriz Y que satisface la ecuacin
AYB 1 2 det B YB 1 N *
*
donde N es la matriz transpuesta conjugada de N.
213
1 1 3 1 2 3 0 2 3 1 1 3

A 1 1 3 , B 0 1 1 , C 1 0 0 y D 0 1 3
1 0 1 0 1 2 1 0 0 0 0 1

Obtener la traza y el determinante de la matriz X que satisface la ecuacin

AXD B CXD .
30. Por medio de la regla de Cramer, obtener, si existe, la solucin del sistema de ecuaciones
lineales
x 2 y 3z w 3
x 2 y z 2w 1
3x y z 3w 3
2 x y z 5w 2
214
1. a) V
b) V
c) F
d) F
e) F
f) V
g) F
h) F
i) V
j) F
k) V
l) F
m) V
n) V
2. a) 1
b) 1
c) 2
d) 3
e) 3
f) 1
g) 4
3. {5}
4. El conjunto solucin S es la unin de los conjuntos:

0 0 1 0 1 0 0 0
S1 c , S2 c y S3 ,
c 1 c 0 0 1 0 0
S S1 S2 S3
6. { 2, 2 }
7. 1
8. a) tr(AB) = tr(BA) = 9
b) AB es invertible
i 2 i 5 i

1
9. C 0 1 3 i
0 i 1 2i

215
18
10. k a | a , a y no existe ningn valor m que haga a M invertible.
7
11. a) k 9
11 2 2
1
b) R 4 0 1
6 1 1

1 1 3 0 1 1

c) R 1 1 2 1 0 1
3 2 2 1 1 0

13. { 2, 1 }
16. { 5, 6 }
18. 1
1 2 1

3 3 3

1
19. Z
1
0 0
3

2 1 2

3 3 3
4 3i 5 4i 5 4i

23. X 2 2i 2 3i 3i
0 0 2

5 8
3 3
24. X
2 1

3 3
25. =3
4 2 2i
26. X
2 2i 0
3 4i 0
27. X
3 0
216
2 0 0

28. Y 0 1 i 1
0 1 1 i

29. tr( X) = 4 y det (X) = 1
83 10 32 2
30. x , y , z , w
67 67 67 67
217
CAPTULO 6
ESTRUCTURAS ALGEBRAICAS
Uno de las ideas centrales que aparecen recurrentemente al hablar de lgebra moderna es la de
estructura algebraica. Es indudable que la investigacin matemtica llevada a cabo dentro de la
tendencia conocida como estructura algebraica, trajo consigo resultados de gran valor,
particularmente en lo que respecta al lgebra.
El lgebra moderna se inicia con Evariste Galois quien cambi radicalmente el carcter del lgebra.
Antes de Galois, los esfuerzos de los algebristas estaban dirigidos principalmente hacia la solucin
de ecuaciones algebraicas; despus de Galois, los esfuerzos de los algebristas se dirigieron hacia las
estructuras de grupos y campos.
A la obra de Galois se debe la realizacin de trabajos revolucionarios de cientficos importantes

como Leopold Kronecker, Richard Dedekind, Heinrich Martin Weber y otros, que consistieron en
fundamentar los modernos desarrollos abstractos de las teoras algebraicas.
Las primeras veces que aparecieron los campos, aunque sin definirlos explcitamente, fueron en las
investigaciones de Niel Henrik Abel en 1828 y Evariste Galois en 1830 y 1831, sobre la resolucin
de ecuaciones por medio de radicales. Las primeras conferencias formales que se dieron sobre la
teora de Galois fueron las de Richard Dedekind en los primeros aos de la dcada 1850-1860. Por
aquella misma poca Leopold Kronecker empez sus estudios sobre las ecuaciones abelianas.
Parece que el concepto de campo se introdujo en las matemticas a travs de las obras de Dedekind
y Kronecker. Ambos, y especialmente Dedekind, admitieron la importancia de los grupos para el
lgebra. El concepto de campo de nmeros qued firmemente establecido en las matemticas con el
famoso Eleventh Supplement de Dedekind; sin embargo, en esta obra Dedekind se ocup
CAPTULO6.ESTRUCTURASALGEBRAICAS
nicamente de los nmeros y las races de ecuaciones algebraicas con coeficientes racionales.
Dedekind defini los campos de los nmeros reales y complejos.
Un tratamiento formal y abstracto de los conceptos de grupos y campos fue realizado por Heinrich
Martin Weber. En colaboracin con Dedekind, Weber public en 1882 un trabajo sobre funciones
algebraicas, en el cual se aplicaban muchos de los conceptos que Dedekind haba desarrollado en su
teora de ideales. Weber y Dedekind son considerados como pioneros del punto de vista abstracto
del lgebra.
Weber define un campo como un grupo al que se le aade una operacin que cumple ciertas
restricciones. En la definicin de Weber, los grupos quedan definidos por una ley de composicin.
Se cumple la propiedad de asociatividad, pero en general, no la de conmutatividad; existe un
elemento neutro y elemento inverso para cada elemento del grupo.
Niel Henrik Abel fue quien se encarg de estudiar, entre muchas otras cosas, la propiedad de la
conmutatividad en lo que a los grupos se refiere. De ah el nombre de grupos conmutativos o
abelianos.
Habr que mencionar que el problema de la determinacin del nmero de grupos existentes para un
orden dado, como bien se sabe, fue planteado por primera vez en 1851 por Arthur Cayley, quien
tambin defini el concepto de grupo con una formulacin altamente abstracta.
Weber define isomorfismo y establece que dos grupos isomorfos constituyen un mismo concepto
genrico, y que por tanto, es indiferente tomar uno u otro como representante de ambos.
Si bien es cierto Weber haba sido el primero en definir los campos en forma abstracta, fue Steinitz
el primero en investigar estructuralmente dicho concepto.
El trabajo de Steinitz repercuti en diversas reas de la matemtica. Tal vez el ejemplo ms

importante de esto es el trabajo de Abraham Fraenkel, en el cual se estudi por primera vez el
concepto abstracto de anillo, mencionando explcitamente a Steinitz como fuente de inspiracin. A
su vez los trabajos de Fraenkel abrieron el camino para los trabajos importantes de Emmy Noether,
Emil Artin y Wolfgang Krull sobre las teoras algebraicas abstractas.
219
1. Sean M2 el conjunto de matrices cuadradas de orden dos con elementos reales, la matriz
1 2
F y N A AF FA, A M 2 . Determinar si la multiplicacin usual entre
1 0
matrices es una operacin binaria en N:
Solucin:
A N AF FA
B N BF FB
Se quiere demostrar que AB F F AB
AB F A BF
A FB
AF B
FA B
AB F F AB
Por tanto AB N y la multiplicacin usual entre matrices es una operacin binaria en N.
2. Sea el conjunto de los nmeros enteros y * la operacin binaria en definida por:
a * b k 2a 2k 2 1 b
Determinar el conjunto de valores k tal que * sea conmutativa.
Solucin:
a * b k 2 a 2k 2 1 b ...(1)

b * a k 2 b 2k 2 1 a ...(2)

Las ecuaciones (1) y (2) deben cumplirse a , b , por tanto si a * b b * a se tendr que:
k 2 a 2 k 2 1 b 2 k 2 1 a k 2b
220
lo que implica que k 2 2 k 2 1 , es decir, k 2 1 para todo a , b .
As, el conjunto solicitado es 1, 1 .
3. Sea el conjunto de los nmeros enteros y la operacin binaria en definida por

a * b a ab a , b .
Determinar si * :
a) Es asociativa.
b) Es conmutativa.
c) Tiene idntico derecho e izquierdo.
d) Tiene elementos inversos derecho e izquierdo.
Solucin:
a) Sean a , b , c entonces
a * b * c a * b bc a a b bc a ab abc ...(1)
a * b * c a ab * c a ab a ab c a ab ac abc ...(2)
Como (1) es diferente de (2) la operacin * no es asociataiva.
b) a * b a ab y b * a b ba b ab implican a * b b * a por lo tanto, * no es

conmutativa.
c) Sea e1 tal que a * e1 a. Aplicando * se tiene a ae1 a por lo que e1 0 es el

elemento idntico derecho de para la operacin * .
a
Sea e2 tal que e2 * a a . Aplicando * se tiene e2 e2 a a por lo que e2 que est
a 1
definida slo si a 1 , por lo que no tiene idntico izquierdo.
d) Sea a tal que a * a e1 . Al aplicar * y sustituir e1 0 se tiene a aa 0 a 1

As, a 1 es el elemento inverso derecho de todo a .
No existen los inversos izquierdos de * puesto que no existe idntico izquierdo.
221
4. Sea el conjunto D x , y x , y y la operacin + definida como
x1 , y1 x2 , y2 x1 x2 , 0 x1 , y1 , x2 , y2 D
Determinar si el sistema D, * es un grupo.
Solucin:
i) Asociatividad
x1 , y1 x2 , y2 x3 , y3 x1 , x2 x2 x3 , 0
x1 x2 x3 , 0
x1 x2 x3 , 0
x1 x2 , 0 x3 , y3
x1 , y1 x2 , y2 x3 , y3
Por lo que existe asociatividad.
ii) Existencia de elemento idntico
x1 , y1 e1 , e2 x1 , y1 ...(1)
x1 , y1 e1 , e2 x1 e1 , 0 ...(2)
De (1) y (2)
x1 e1 , 0 x1 , y1
x1 e1 x1 , y1 0
e1 0; y1 0
Como e2 no existe elemento idntico nico, ya que al tomar e2 distintos valores

implica que existen diferentes elementos idnticos en el conjunto. Adems, la igualdad slo
se satisface para y1 0 , es decir, no es vlida para todos los elementos del conjunto D. Por
lo tanto, el sistema D, no tiene estructura de grupo.
222
5. Para el sistema algebraico , , donde es el conjunto de los nmeros enteros y es la

operacin binaria dada por
x y x 2 y 1 x, y
determinar
a) si el sistema , cumple con cerradura, y

b) el resultado de 5 * 6 * 2 *10 .
Solucin:
a) x y x 2y 1
x , 2y x 2 y 1 . Por tanto x y y el sistema algebraico ,
cumple con cerradura.
b) 2*10 2 2 10 1 2 20 1 19
6*19 6 2 19 1 6 38 1 45
5* 45 5 2 45 1 5 90 1 86
Por tanto
5 * 6 * 2 *10 86
6. Determinar si el conjunto G cis 60, cis 120, 1, cis 240, cis 300, 1 es un grupo con la
multiplicacin usual en .
Solucin:
i) Cerradura: x, y G : x y G
. cis 60 cis 120 1 cis 240 cis 300 1

cis 60 cis 120 1 cis 240 cis 300 1 cis 60
cis 120 1 cis 240 cis 300 1 cis 60 cis 120
1 cis 240 cis 300 1 cis 60 cis 120 1
cis 240 cis 300 1 cis 60 cis 120 cis 180 cis 240
cis 300 1 cis 60 cis 120 1 cis 240 cis 300
1 cis 60 cis 120 1 cis 240 cis 300 1
En la tabla se observa que G es cerrado.
223
ii) Asociatividad: x, y, z G : x y z x y z
Como G (G est contenido en ) entonces G cumple con asociatividad.
iii) Elemento idntico: e C tal que e x x x e x G.
e 1 ya que 1 x x x 1 x G
iv) Elementos inversos: x G x G tal que x x 1 x x
El elemento inverso de cis 60 es cis 300

El elemento inverso de 1 es 1
El elemento inverso de 1 es 1
Por tanto G es un grupo con la multiplicacin usual en .
7. Sea el conjunto P cis 0 , cis 120 , cis 240 . Determinar si el sistema algebraico
P, * es un grupo abeliano, donde * es la multiplicacin usual en .
Solucin:
Construimos la tabla
* cis 0 cis 120 cis 240

cis 0 cis 0 cis 120 cis 240
i) En la tabla se observa que P es cerrado

ii) Asociatividad: a , b, c P : a b c a b c
Ya que P entonces a b c a b c a, b, c P
iii) Existencia de elemento idntico: e P tal que a e a e a a P
De la tabla se observa que cis 0 a a a cis 0 a P
Luego cis 0 es el elemento idntico.
iv) Existencia de elementos inversos: a P a P tal que a a cis 0 a a
Nuevamente de la tabla se observa que:
cis 0 cis 0 cis 0 cis 0 cis 0 cis 0 es el inverso de cis 0
cis 120 cis 240 cis 0 cis 240 cis 120 cis 240 es el inverso de cis 120
cis 240 cis 120 cis 0 cis 120 cis
290 cis 120 es el inverso de cis 240
Por tanto todos los elementos de P tiene un nico elemento inverso en P.
224
v) Conmutatividad: a , b P : a b b a
Como P , a b b a a , b P
Por tanto el sistema algebraico P, es un grupo abeliano.
8. Verificar que si G, * es un grupo entonces cada elemento a G tiene nicamente un

elemento inverso en G.
Solucin:
Sean a , a G dos elementos inversos de a G y sea e G el elemento idntico del grupo.

Tenemos que
a * a e y a * a e
por lo tanto
a * a a * a
luego, operando en ambos miembros con a se tiene
a * a * a a * a * a
empleando la propiedad asociativa:
a * a * a a * a * a
e * a e * a
a a
lo que indica que, en realidad, a G slo tiene un elemento inverso, como quera demostrarse.
9. Sea el grupo , , donde a b a b 3 a, b . Obtener el elemento idntico del

grupo y los elementos inversos.
Solucin:
Por definicin de elemento idntico
a ee aa a
Para a e a
225
Por regla de correspondencia
a e ae 3
Por transitividad
ae 3 a
e 3
Como , es un grupo, entonces el idntico derecho es igual al idntico izquierdo, por tanto
e 3 es el elemento idntico del grupo.
Por definicin de elementos inversos
a a a a 3
Para a a 3
a a a a 3
Por transitividad
a a 3 3
a a 2 3
Anlogamente, los inversos izquierdos estn dados por a a 2 3 , ya que , es un

grupo.
Por tanto, los elementos inversos estn dados por a a 2 3 a
10. Sea el grupo , donde la operacin binaria est definida por

a b a b 6 a, b . Obtener el inverso de 2.
Solucin:
Para obtener el inverso de 2 es necesario calcular previamente el idntico del grupo.
226
Por definicin
a ea a
a e ae6
Por transitividad
ae6 a
e6
El elemento inverso de 2 se obtiene por medio del siguiente proceso
2 2 6
2 2 2 2 6
2 2 6 6
2 2 6 6
2 10
a b
11. Sean el conjunto M 2 a , b, c , d y la operacin + definida por
c d
a b m n a m 1 bn

c d p q c p d q3
a) Verificar que M 2 , tiene estructura de grupo abeliano.

1 2
b) Determinar el elemento inverso de M
3 4
c) Obtener la matriz X que satisface la ecuacin M X N donde
1 2 1 0
M y N
3 4 1 1
227
Solucin:
a b m n r s
a) Sean A , B , C M2
c d f q t v
a m 1 bn
i) Cerradura A B M2
c p d q3
ii) Propiedad asociativa
a b m n r s
A BC
c d p q t v
a b m r 1 n s

c d pt qv3
a m r 1 1 bn s

c pt d q v 3 3
a m 1 r 1 bns

c pt d q 3 v 3
a m 1 b n r s

c p d q3 t v
a b m n r s

c d p q t v
A B C A B C
iii) Existencia del elemento idntico
x y
Sea E M 2 tal que A E A , entonces
z w
a b x y a b
A E
c d z w c d
228
a x 1 b y a b
A E
c z d w3 c d
Empleando la definicin de igualdad de matrices
a x 1 a

b y b

c z c

d w 3 d
entonces x 1, y 0, z 0, w 3.
1 0
Por tanto, existe el elemento idntico derecho y ste es: E
0 3

Ahora, sea F M 2 tal que F A A , entonces

a b a 1 b a b
F A
c d c d 3 c d
de donde
a 1 a

b b

c c

d 3 d
y 1, 0, 0, 3 , por lo que el elemento idntico izquierdo es
1 0
F .
0 3
1 0
Como E F , existe el elemento idntico que es E
0 3
iv) Existencia de los elementos inversos:
229
m n
Sea A M 2 tal que A A E ,
p q
a b m n a m 1 bn 1 0
A A
c d p q c p d q 3 0 3
Nuevamente, empleando la definicin de igualdad entre matrices:
a m 1 1

b n 0

c p 0

d q 3 3
de donde m 2 a , n b, p c, q 6 d ; por lo que
2a b
A es el elemento inverso derecho de A.
c 6 d
r s
Por otra parte, sea A M 2 tal que A A E .
t u
r s a b r a 1 ab 1 0
A A
t u c d t c u d 3 0 3
por lo que
r a 1 1

s b 0

t c 0

u d 3 3
r 2 a , s b, t c, u 6 d ; por lo tanto
2a b
A
c 6 d
Como A A , para toda A existe un elemento inverso A.
230
Hasta este punto se ha determinado que el sistema M 2 , tiene estructura de grupo.
v) Conmutatividad
a b m n a m 1 b n m a 1 nb
A B
c d p q c p d q3 pc qd 3
m n a b
B A
p q c d
Por lo tanto M 2 , es un grupo abeliano.
a b
b) A partir del resultado del axioma iv, si A entonces
c d
2a b
A A M2
c 6 d
1 2
se tiene que si M entonces:
3 4
2 1 2 1 2
M
3 6 4 3 10
c) De acuerdo con las propiedades de grupos
MX N
M M X M N
M M X M N
E X M N
X M N
1 2 1 0
Sustituyendo M y N se obtiene que:
3 10 1 1
1 2 1 0
X
3 10 1 1
231
1 2
X
4 6
12. Sean G , * un grupo y a G cuyo elemento inverso es a . Demostrar que si a a a G ,

entonces G, * es un grupo abeliano.
Solucin:
Deseamos verificar que a * b b * a a , b G . Como en este grupo el inverso de a * b debe

ser justamente a * b , procedemos de la siguiente forma:
a * b * b * a a * b * b * a Propiedad asociativa
a *b * b * a a *e * a e es el idntico del grupo
a *b * b * a a * a
a *b * b * a e (1)
y por otro lado
a *b * a *b e (2)
Comparando las expresiones (1) y (2) concluimos que a * b b * a . Por lo tanto, G, * es un

grupo abeliano.
13. Sea S, * un grupo, donde S cis 60, cis 120, 1, cis 240, cis 300, 1 y * es la
multiplicacin usual en . Determinar si el conjunto B cis 120, cis 240, 1 es subgrupo
de S.
Solucin:
La siguiente tabla ilustra a la operacin * en S
232
* cis 120 cis 240 1

cis 120 cis 240 1 cis 120
cis 240 1 cis 120 cis 240
1 cis 120 cis 240 1
i) De la tabla es claro que B cumple con cerradura.

ii) B cumple con asociatividad por ser un subconjunto de .
iii) El elemento idntico de B es 1
iv) cis 240 es el inverso de cis 120
cis 120 es el inverso de cis 240
1 es el inverso de 1
Por tanto B es un subgrupo de S.
14. Sea G, un grupo, donde G 1, 1 , i , i y es la multiplicacin usual en .

Determinar si el conjunto T 1, 1, i es un subgrupo de G.
Solucin:
Dado que es la multiplicacin usual en , se puede construir la siguiente tabla.
. 1 1 i
1 1 1 i
1 1 1 i
i i i 1
Observar que 1 i i , pero i T , luego T no cumple con cerradura y no es un subgrupo

de G.
15. Sea G un conjunto no vaco y sea * una operacin binaria definida en G.

Si G , * es un grupo y a , b , d , G , obtener la solucin de la ecuacin
x * a * x *b * x x * d * x
Solucin:
x * a * x *b * x x * d * x
x * x * a * x * b * x x * x * d * x Existencia de elementos inversos
233
x * x * a * x * b * x x * x * d * x Asociatividad
e * a * x *b * x e * d * x Existencia de elemento idntico
a * x *b * x d * x
a * x * b * x * x d * x * x Existencia de elementos inversos
a * x * b * x * x d * x * x Asociatividad
a * x *b *e d *e Existencia de elementos idnticos
a * x *b d
a * a * x * b a * d Existencia de elementos inversos
a * a * x * b a * d Asociatividad
e * x * b a * d Existencia de elemento idntico
x * b a * d
x * b * b a * d * b Existencia de elementos inversos

x * b * b a * d * b Asociatividad
x * e a * d * b Existencia de elemento idntico
x a * d * b
16. Sea el anillo A, , , en donde A x , y x, y y las operaciones binarias ,

estn definidas como:
x, y w, z x w, y z
x, y w, z xw yz, xz yw
Determinar si A, , tiene unidad.
234
Solucin:
Para todo x, y A u1 , u2 A tal que x, y u, u2 x, y
x, y u1 , u2 xu1 yu2 , xu2 yu1 x, y

Por igualdad se tiene que:
x xu1 yu2

y xu2 yu1
Resolviendo para u1 y u2 , se obtiene
u1 1; u2 0 .
Por tanto u1 , u2 1, 0 A y el anillo A, , tiene unidad por la derecha.
Por otro lado:
u1 , u2 x, y u1 x u2 y, u1 y u2 x x, y
de donde:
x u1 x u2 y

y u1 y u2 x
Resolviendo para u1 y u2 , se obtiene que
u1 1, u2 0 .
Por tanto u1 , u2 1, 0 A y el anillo A, , tiene unidad por la izquierda y como es

igual a la unidad por la derecha, el anillo tiene unidad.
La unidad del anillo dado es u1 , u2 1, 0 .
17. Sea P el conjunto de polinomios de la forma p x ax, a y sean + y o las operaciones

binarias en P definidas por:
235
p xq x pq x p x , q x P
p x o q x p q x p x , q x P
Considerando que el sistema P, es un grupo abeliano, verificar que el sistema P, , o

tiene estructura de anillo. Determinar si P, , o es un anillo conmutativo y si tiene unidad.
Solucin:
Sean p x ax, q x bx, r x cx P
Verificando la asociatividad de o en P
i) p x o q x o r x p x o q r x

p x o q x o r x p q r x ...(1)
Por otro lado
p x o q x o r x p q x o r x
p x o q x o r x p q r x ...(2)
Comparando las igualdades (1) y (2) se tiene que
p x o q x o r x p x o q x o r x
Verificando las propiedades distributivas

i) p x o q x r x p q x r x
p bx cx
p bc x
a bc x
p x o q x r x abx acx ...(3)
Por otro lado
236
p x o q x p x o r x p q x p r x
p bx p cx
p x o q x p x o r x abx acx (4)
Comparando las igualdades (3) y (4) se concluye que
p x o q xr x p x o q x p x o r x
ii) p xq x o r x pq x o r x
en donde p q x ax bx a b x , as
p xq x o r x pq r x
p q cx
a b cx
p xq x o r x acx bcx (5)
Por otra parte
p x o r xq x o r x p r xq r x
p cx q cx
p x o r x q x o r x acx bcx (6)
Comparando las igualdades (5) y (6) se concluye que
p xq x o r x p x o r xq x o r x
Por lo tanto, P, , o es un anillo.
Para determinar si P , , o es un anillo conmutativo se tiene que investigar la

conmutatividad para la segunda operacin, esto es:
237
p x o q x p q x
p bx
a bx
p x o q x ab x (7)
Por otra parte
q x o p x q p x
q ax
b ax
q x o p x (ba) x (8)
Comparando las igualdades (7) y (8) y teniendo en cuenta que ab ba a , b se

concluye que
p x o q x q x o p x
por lo que P, , o es un anillo conmutativo.
Para determinar si el anillo P, , o tiene unidad se proponen u1 x e1 x,

u2 x e2 x P como idnticos derecho e izquierdo, respectivamente.
p x o u1 x p x
p u1 x p x
p e1 x ax
ae1 x ax
por lo que e1 1 y u1 x x es la unidad derecha. Por otro lado
238
u2 x o p x p x
u2 p x p x
u2 ax ax
e2 ax ax
por lo que e2 1 y u2 x x es la unidad izquierda. En virtud de que

u1 x u2 x u x es tal que
p x o u x u x o p x p x ; p x P
el polinomio u x x es la unidad del anillo.
Por lo tanto, el sistema P, , o tiene estructura de anillo conmutativo con unidad.
z
18. Sean el conjunto L 1 2i z1 , z2 ; z2 0; i 2 1 y las operaciones binarias # y *
z2
definidas por
z1 z3 z1 z3
2i * 2i 2i
z2 z4 z2 z4
z1 z3 z1 z3
2i # 2i 2i
z2 z4 z2 z4
Si L, * es un grupo abeliano, la operacin # es cerrada, conmutativa y asociativa en L y # es

distributiva por la izquierda sobre *, determinar si L, *, # es un anillo conmutativo con
unidad.
Solucin
Distributividad por la derecha
z1 z3 z5 z1 z5 z3 z5
2i * 2i # 2i 2i # 2i * 2i # 2i
z2 z4 z6 z2 z6 z4 z6
239
z1 z3 z5 z1 z5 z3 z5
2i 2i
z 2 z 4 z6 z 2 z6 z 4 z6
z1 z5 z3 z5 zz zz
2i 1 5 3 5 2i
z 2 z6 z 4 z6 z 2 z6 z 4 z6
Elemento idntico para #
e1 z
El elemento idntico 2i L es tal que para todo 1 2i L se tiene que
e2 z2
z1 e1 z1
2i # 2i 2i
z2 e2 z2
z1e1 z
2i 1 2i e1 e2 0
z2 e2 z2
Podra parecer que existen una infinidad de elementos idnticos, sin embargo si e1 e2 0
e
entonces 1 2i 1 2i L . Por tanto, la unidad del anillo es 1 + 2i.
e2
L, *, # es un anillo conmutativo con unidad.
19. Sea el anillo con unidad A, *, # , donde A a, b, c y las operaciones * y # se definen como
* a b c # a b c
a a b c a a a a
b b c a b a b c
c c a b c a c b
Determinar si se cumple la siguiente igualdad
a * b # c * a e # b * e # c
Nota: a es el inverso de a respecto de la operacin *

b es el inverso de b respecto de la operacin *
e es el idntico de la operacin *
e es el idntico de la operacin #
240
Solucin:
De las tablas que definen las operaciones * y # se deduce que
e a, e b, a a, b c
a * b # c * a a * b # c * a
b # c
c
Por otro lado:

e # b * e # c a # c * b # c
a *c
c
Por tanto
a * b # c * a e # b * e # c
20. Sean el conjunto A , , , y las operaciones binarias y definidas por
.
a

Determinar:
a) el elemento idntico para la operacin + y para la operacin
b) el elemento inverso de cada elemento de A respecto de la operacin +
Solucin:
a) Para la operacin +, se observa de la primer tabla que
241

idntico izquierdo e1

idntico derecho e2

Como e1 e2 , el idntico para la operacin + es e
Para la operacin , se observa de la segunda tabla que

idntico izquierdo e1

a

idntico derecho e2

Dado que e1 e2 , el idntico para la operacin es e
b) Nuevamente de la tabla para la operacin + se tiene que
(el inverso izquierdo de es )

(el inverso derecho de es )

242

Por tanto el inverso de cada elemento de A respecto de la operacin + es:
para ,
para ,
para y
para .

21. Sean S a b 2 a, b y las operaciones de adicin y multiplicacin definidas en .
Demostrar que el sistema algebraico S , , es un campo.
Solucin:
i) Asociatividad para la adicin en S.
Si x , y , z S entonces debe cumplirse que x y z x y z
Sean x a1 b1 2 , y a 2 b2 2, z a3 b3 2 S

x y z a1 b1 2 a2 b2 2 a3 b3 2

a1 b1 2 a2 a3 b2 b3 2
a1 a2 a3 b1 b2 b3 2
a1 a2 a3 b1 b2 b3 2
a a1 2 b1 b2
2 a3 b3 2

a1 b1 2 a2 b2 2 a3 b3 2

x y z
ii) Conmutatividad para la adicin en S.
243

x y a1 b1 2 a2 b2 2
a1 a2 b1 b2 2
a2 a1 b2 b1 2

a2 b2 2 a1 b1 2
yx
iii) Elemento idntico para S.
x S , e S tal que x e e x x
Sea e e1 e2 2

x e a1 b1 2 e1 e2 2
a1 e1 b1 e2 2 ...(1)
como
x e a1 b1 2 ...(2)
De las expresiones (1) y (2) se tiene:
a1 e1 a1 e1 0
b1 e2 b1 e2 0
Dado que
e e1 e2 2
entonces el idntico derecho es
e 00 2
Obteniendo el idntico izquierdo, ahora sea m m1 m2 2

m x m1 m2 2 a1 b1 2
m1 a1 m2 b1 2 ...(3)
como
m x a1 b1 2 ...(4)
244
De las expresiones (3) y (4) se tiene que:
m1 a1 a1 m1 0
m2 b1 b1 m2 0
Entonces el idntico izquierdo es:
e 00 2
De lo anterior se concluye que:
El elemento idntico es: e m 0 0 2
iv) Elementos inversos
Sea x y1 y2 2 S tal que x x 0 0 2
a b 2 y y
1 1 1 2
2 00 2
a1 y1 b1 y2 2 00 2
Por la igualdad se tiene:
a1 y1 0 y1 a1
b1 y2 0 y2 b1
x a1 b1 2 S
x x 0 0 2
y y
1 2
2 a1 b1 2 0 0 2
y1 a1 y2 b1 2 00 2
y1 a1 0 y1 a1
y2 b1 0 y2 b1
x a1 b1 2 S
245
El elemento inverso de x es x a1 b1 2
v) Asociatividad para la multiplicacin en S.
x y z x y z

x y z a1 b1 2 a2 b2 2 a3 b3 2

a1 b1 2 a2 a3 2b2 b3 a2 b3 b2 a3 2
a1 a2 a3 2b2b3 a1 a2 b3 b2 a3 2 b1 a2 a3 2b2b3 2 2b1 a2 b3 b2 a3
a1a2 a3 2 a1b2 b3 2b1a2b3 2b1b2 a3 a1a2 b3 a1b2 a3 b1a2 a3 2b1b2b3 2 ...(5)
Ahora
x y z a1 b1
2 a 2 b2 2 a3 b3 2

a1a2 2b1b2 a1b2 b1a2 2 a3 b3 2
a1a2 2b1b2 a3 a1b2 b1a2 2b3 a1a2 2b1b2 b3 a1b2 b1a2 a3 2
a1a2 a3 2b1b2 a3 2a1b2b3 2b1a2b3 a1a2b3 2b1b2b3 a1b2 a3 b1a2 a3 ...(6)
Al comparar las expresiones (5) y (6) se concluye que:
x y z x y z
vi) Conmutatividad para la multiplicacin en S.

x y a1 b1 2 a2 b2 2
x y a1a2 2b1b2 a1b2 b1a2 2 ...(7)
Por otra parte

y x a2 b2 2 a1 b1 2
y x a2 a1 2b2b1 a2b1 b2 a1 2
y x a1a2 2b1b2 a1b2 b1a2 2 ...(8)
De las expresiones (7) y (8) se tiene que:
246
x y yx
vii) Elemento idntico para la multiplicacin en S.
u x x u x
u u1 u2 2
ux x
sustituyendo
u u
1 2
2 a1 b1 2 a1 b1 2
u1a1 u1b1 2 a1u2 2 2b1u2 a1 b2 2
a1u1 2b1u2 b1u1 a1u2 2 a1 b1 2
por igualdad
a1u1 2b1u2 a1 u1 1, u2 0
b1u1 a1u2 b1 u1 1, u2 0
con lo cual
u 1 0 2
Por otro lado
x u x
a b 2 u u
1 1 1 2
2 a1 b1 2
desarrollando y agrupando se tiene que:
a1u1 2b1u2 a1u2 b1u1 2 a1 b1 2
por igualdad
a1u1 2b1u2 u1 u1 1, u2 0
a1u2 b1u1 b1 u1 1, u2 0
u 1 0 2
247
El elemento idntico para la multiplicacin es u 1 0 2
viii) Elementos inversos.
x x 1 0 2
x m n 2
m n 2 a b 2 1 0
1 1 2
ma1 2nb1 na1 mb1 2 1 0 2
por igualdad
ma1 2nb1 1
na1 mb1 0
o bien
ma1 2nb1 1
mb1 na1 0
resolviendo el sistema de ecuaciones para m y n, se obtiene
a1 b1
m , n
a 2b12
2
1 a 2b12
2
1
El elemento inverso de x es:
a b1
x 2 1 2 2 2 a 0, b 0
a1 2b1 a1 2b1
Anlogamente para x x 1 0 2 , se obtiene
a b1
x 2 1 2 2 2
2 a 0, b 0
a1 2b1 a1 2b1
Existen elementos inversos
248
x y z x y x z

ix) Distributividad
x y z x z y z
x x1 x2 2, y y1 y2 2, z z1 z2 2
Se demostrar primero que x y z x y x z
y y 2 z z 2
x y z x1 x2 2 1 2 1 2
x x 2 y z y z 2
1 2 1 1 2 2
x1 y1 z1 2 x2 y2 z2 x1 y2 z2 x2 y1 z1 2
x1 y1 x1 z1 2 x2 y2 2 x2 z 2 x1 y2 x1 z2 x2 y1 x2 z1 2
x1 y1 x1 z1 2 x2 y2 2 x2 z2 x1 y2 2 x1 z2 2 x2 y1 2 x2 z1 2

x1 y1 2 x2 y2 x1 y2 2 x2 y1 2 x1 z1 2 x2 z2 x1 z2 2 x2 z1 2
x x1 2 2 y y
1 2
2 x1 x2 2 z z
1 2 2
x y x z
Luego x y z x y x z
De la misma manera, el lector puede verificar que
x y z x z y z
Por tanto el sistema S , , tiene estructura de campo.

22. Sea E a bi a, b , i 2 1 un subconjunto de . Determinar si E , , es un campo,
en donde y son las operaciones usuales de adicin y multiplicacin en .
Solucin:
Sean z1 a bi, z2 c di, z3 m ni E , lo que implica que a , b , c , d , m , n
i) z1 z2 z3 z1 z2 z3 z1 , z2 , z3
249
Como E , la igualdad tambin es vlida para todo z1 , z2 , z3 E .
ii) z1 z2 z2 z1 z1 , z2 , por lo que es vlida z1 , z2 E.
iii) Sea e x yi E tal que z1 e z1

a bi x yi a bi
a x b y i a bi
Por lo que x y 0 y e 0 0 i
iv) Sea z1 h ki E tal que z1 z1 e
a bi h ki 0 0i
a h b k i 0 0i
Por lo que h a , k b y z1 a bi es el inverso aditivo de z1 a bi E
v) z1 z2 a bi c di ac bd ad bc i
Como ac bd , ad bc , z1 z2 E
vi) z1 z2 z3 z1 z2 z3 z1 , z2 , z3 por lo que es vlida tambin z1 , z2 , z3 E .
vii) Sea u u1 u2i E tal que

u z1 z1
u1 u2i a bi a bi
u1a u2b u1b u2 a a bi
lo que implica que u1 1, u2 0 y que u 1 0i
viii) Sea z a bi
E tal que
z1 z u

a bi a bi 1 0i
aa bb ab ba i a 0i
lo que implica que
250
aa bb 1 ....(1)

ba ab 0 ...(2)
Multiplicando (1) por a y (2) por b, para despus sumar las ecuaciones obtenidas se tiene
a 2 a abb a
b 2 a abb 0
a 2
b 2 a a
a
por lo que a y , sustituyendo en (2)
a b2
2
ab
ab 0
a b2
2
b
por lo que b . As el inverso multiplicativo de z1 a bi es
a b2
2
a b
z1 2 i, a 0, b 0
a b
2 2
a b2
Ntese que si a b 0 entonces z1 no estar definido, pero no afecta a la definicin de

campo puesto que en este caso z1 0 0i e.
ix) z1 z2 z3 z1 z2 z1 z3 y z1 z2 z3 z1 z3 z2 z3 se cumple z1 , z2 , z3 E ,
ya que E es un subconjunto de .
Por lo tanto E , , es un campo.
23. Sea el grupo M, donde M diag a , b , c a , b , c y + es la adicin usual de

matrices y sea el grupo P, donde P ax 2 bx c a , b , c y es la adicin usual
de polinomios.
Determinar si la funcin f : M P con regla de correspondencia
f diag a, b, c ax 2 bx c
es un isomorfismo entre los grupos M , y P,
251
Solucin:
f es un isomorfismo si es un homorfismo y es biyectiva.

f es un homorfismo?
A diag a, b, c , B diag e, f , g A B diag a e, b f , e g
f A B f diag a e, b f , c g
a e x2 b f xc g
ax 2 ex 2 bx fx c g
ax 2 bx c ex 2 fx g
f A f B
Como f A B f A f B entonces f es un homorfismo.
f es biyectiva?
f diag a, b, c f diag e, f , g
ax 2 bx c ex 2 fx g
Por igualdad de polinomios a e, b f , c g , luego
diag a, b, c diag e, f , g
f es inyectiva.
Adems como el codominio de f es igual al recorrido de f (todo polinomio ax 2 bx c tiene

asociada una matriz diag a, b, c ) entonces
f es suprayectiva.
Entonces f es biyectiva.
Por tanto f es un isomorfismo.
252
24. La funcin f : con regla de correspondencia f x x , es un isomorfismo entre los

grupos , y , . La operacin binaria est definida por
x y x y 3 x, y
Determinar la regla de correspondencia de la operacin binaria
Solucin:
Como f es un isomorfismo entonces
f xy f x f y ...(1)
Aplicando la regla de correspondencia f x x
f x y x y
f x x
f y y
Sustituyendo en (1)
x y x y
x y x y 3
x y x y 3
Por tanto
x y x y3
253
1. En el conjunto de
los nmeros naturales se define la operacin binaria
a * b 4 a 2b a , b ; calcular 2* 3* 1*1 .
2. Sean el conjunto de los nmeros racionales y la operacin dada por

m n m 3n 5 m , n . Determinar el valor de x que satisface la ecuacin
3 2 x 2 4 0
3. Determinar si la operacin binaria x y 2 x 3 y definida en el conjunto de los nmeros

enteros, es asociativa.
4. Sean A a, b, c, d y la operacin binaria dada por
a b c d
a b c a d
b c a b d
c a b c d
d d d d d
Determinar si la operacin binaria es:
a) Conmutativa.
b) Asociativa.
1
5. Para la operacin binaria a b 6a 2b definida en , determinar si:
3
a) existe elemento idntico, y
b) existen elementos inversos.
6. Sean el conjunto S 1, 1, i, i , donde i 2 1 , y la operacin binaria definida como:
1 1 i i
1 1 1 i i
1 1 1 i i
i i i 1 1
i i i 1 1
Determinar:
254
a) El elemento idntico de S.
b) Los elementos inversos de S.
1
7. Sea el sistema algebraico , donde est dada por a b a b 5ab .
5
Determinar el elemento inverso de 10 .
8. Sean el conjunto G x, y, z , w y la operacin binaria definida por
x y z w
x x y z w
y y z w x
z z w x y
w w x y z
Determinar si el sistema algebraico G , es un grupo abeliano.
9. Sean el conjunto E m, n, r , p y la operacin binaria + dada por
m n r p
m p m r n
n m r n p
r n p m r
p r n p m
Determinar si el sistema algebraico E , es un grupo.

Si no lo es cules axiomas no se cumplen?
10. Si G , es un grupo abeliano y a , b , c G , resolver la ecuacin

a x bb c
11. Sean el conjunto B cis 0, cis 120, cis 240 y la multiplicacin usual en .
Determinar si el sistema algebraico B, es un grupo.
12. Sean G, un grupo y a , b G . Demostrar que si a b b c entonces b c .
13. Sea L, un grupo, donde L 1, 1, i, i y es la multiplicacin usual en .

Determinar si F 1, 1 es un subgrupo de L.
255
14. Para el grupo del ejercicio anterior, determinar si existe un conjunto de tres elementos que
sea subgrupo de L.
15. Sea P ax b a , b y la operacin * definida por
ax b * cx d a c 1 x b d 1
Determinar si el sistema algebraico P, * es un grupo.

16. Determinar si el conjunto R a b 7 5 c 7 11 a, b, c es un anillo con la adicin y
multiplicacin usuales en .
17. Sea el conjunto H , , , y las operaciones y definidas por
Determinar si el sistema algebraico H , , es un:
a) Anillo.
b) Anillo conmutativo.
c) Anillo con unidad.
18. Demostrar que si A, , es un anillo y e es el elemento idntico para la operacin +,

entonces a e e a e
19. Sean D, *, # donde D a , b a , b y las operaciones binarias *, # definidas por
a , b * c, d a c, b d
a, b # c, d ac bd , ad bc a , b , c, d D
Determinar si D, *, # es un anillo.
256
1
20. Demostrar que el conjunto J x x ab , b 0, a, b es un campo con las
3
operaciones y # definidas como
x y x y
1
x # y y
3
x
21. Sean los grupos , y G, donde G x, x y las operaciones binarias
5
y se definen como
x y x y x , y
x y 1 x y
x1 y , x y, x y x, , y , G
5 5 5 5 5
Determinar si la funcin g : G es un isomorfismo, considerando que la regla de

x
correspondencia g es g x x, .
5
22. Sean , y , dos grupos, donde las operaciones binarias y estn dadas por
a b ab2
a b ab a, b
Determinar si la funcin f : con regla de correspondencia f x x 2 , es un

isomorfismo.
257
1. 56
14
2.
3
3. No
4. a) S b) S
5. a) No existe b) No existen
6. a) e 1
b) 1 1
1 1
i i
i i
10
7.
49
8. S
9. No, la operacin no es asociativa, no existe idntico, no existen inversos.
10. x a c
11. S
13. S
14. No
15. S
16. S
17. a) S b)No c) No
19. S
21. S
22. S
258

Cuaderno de Ejercicios de Algebra - 2 PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cuaderno de Ejercicios de Algebra - 2 PDF

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL AUTNOMA

Captulo 1: Nmeros Reales ..................................................... 1

La Facultad de Ingeniera de la UNAM, preocupada por apoyar a sus

La presente obra titulada Cuaderno de Ejercicios de lgebra nos muestra los

Este cuaderno ofrece un estudio completo debido al tratamiento histrico de

M.I. Mara del Roco vila Nez

Una frase muy conocida es La prctica hace al maestro. A pesar de la

El cuaderno de ejercicios consta de seis captulos. En los dos primeros se

Cabe la aclaracin de que no pocos autores consideran que los conceptos

Es de justicia manifestar un agradecimiento infinito a la Maestra Mara Cuairn

Ciudad Universitaria, Distrito Federal, a 3 de noviembre de 2010

C 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18

2. Sean los conjuntos:

3. Dada la siguiente tabla, contestar en cada cuadro con un s, si cumple la propiedad y un no en

4. Sean los conjuntos de nmeros N, Z, Q, Q' e . Considerando al conjunto como el

El primer parntesis rectangular se resuelve de la siguiente manera:

Del segundo parntesis se obtiene:

5. En los parntesis de la derecha escribir V o F, segn la aseveracin de la izquierda sea

a) (V) El conjunto unin de los racionales y de los irracionales, s es un subconjunto de

d) (V) La interseccin de un conjunto con su complemento siempre es el conjunto vaco.

a) El nmero 1 es un nmero racional. ( )

a) ( V ) El nmero 1 se puede escribir 1/1 y cumple con la definicin de nmero racional.

d) ( F ) El nmero 2 es irracional, pero no es trascendente.

7. Demostrar, por medio de induccin matemtica, que:

El miembro derecho de la expresin (1), es el cuadrado de la suma de los primeros n nmeros

La expresin debe satisfacerse para n 1 :

Ahora, se supone vlida para n k :

Si 3 es cierta por hiptesis, la expresin 2 tambin debe cumplirse para n k 1 :

tomando como factor comn k 1 en el miembro izquierdo:

con lo cual queda demostrado la validez de la expresin (2).

Para demostrar la expresin (5), se procede a verificar su validez para n 1 :

Se supone que la expresin es vlida para n k :

los miembros derechos de 6 y 7 tambin son iguales:

Tomando como factor comn k 1 :

que es la misma expresin (7), por lo tanto queda esto demostrado.

8. Demostrar que x n y n tiene como factor x y para cualquier n natural.

Por induccin matemtica:

x1 y1 s tiene como factor a x y.

Suponiendo vlida la proposicin para n = k:

x k y k tiene como factor a x y hiptesis

x k 1 y k 1 es divisible entre x y tesis

En la tesis pude sumarse y restarse el trmino xky y no se altera:

9. Sean m, n, p N , demostrar que:

tomando en cuenta la definicin:

Por induccin matemtica:

por la primera parte de la definicin de adicin en N, se tiene:

Esta expresin es cierta por la segunda parte de la definicin de adicin en N.

Se supone vlida para p = k:

Si la hiptesis es cierta, la proposicin debe serlo tambin para p = k + 1, es decir para p = k* :

m n k * m n k * Por la definicin de adicin en N.

m n k * m n k * Por la hiptesis de induccin.

m n k * m n k * Por la definicin de adicin en N.

m n k * m n k * Por la definicin de adicin en N.

Como 10 s es divisible entre 5, la proposicin s se cumple para n 1.

Ahora, se supone vlida para n k :

7 16 k 1 3 es divisible entre 5 por hiptesis de induccin. (1)

7 16k 11 3 debe ser divisible entre 5. tesis

Sumando y restando el trmino 7 16 k 1 en la expresin (2):

11. Demostrar que:

La demostracin se efectuar por medio de induccin matemtica:

es cierta, pues se trata de una identidad trigonomtrica.

Ahora, se supondr vlida la expresin para n = k:

Si la hiptesis de induccin es cierta, la expresin original debe cumplirse para n k 1 :