G 2 ASII

Álgebra superior II; Grupo 4094.
Guı́a para el segundo examen parcial
1. 7.1.3. Sean a, b, c, d ∈ Z. Determine si los siguientes enunciados son verdaderos o falsos. Si son
verdaderos, probar el resultado, y si son falsos, dar un contraejemplo.
(1) Si a | b y c | d, entonces a + c | b + d. (7) Si ac | bc, entonces a | b.

(2) Si a | b y a | c, entonces a | b − c. (8) Si a | b + c, entonces a | b y a | c.
(3) Si a ∤ b, entonces b ∤ a. (9) Si a2 | b3 , entonces a | b.
(4) Si a ∤ b y b ∤ c, entonces a ∤ c. (10) Si a ∤ b y a ∤ c, entonces a ∤ b + c.
(5) Si a < b entonces a | b. (11) Si a | b y b | a, entonces a = b.
(6) a | b ó b | a.
2. 7.1.4. Sea q ∈ Z tal que q | (8a − b) y q | (8c − d), donde a, b, c, d ∈ Z. Demuestre que q | (ad − bc).
3. 7.1.6. Sean a, b1 , . . . , bn ∈ Z. Demuestre que si a | bi para i = 1, . . . , n, entonces para cualesquiera
x1 , . . . , xn ∈ Z; a | b1 x1 + · · · + bn xn .
4. 7.1.7. Encuentre enteros a, b y c tales que a | bc pero a ∤ b y a ∤ c.
5. 7.1.9. Sean a, b, c, d ∈ Z. Demuestre que:
(1) Si a | 1, entonces a = ±1. (5) a | an para todo n ∈ N.

(2) a | n para todo n ∈ Z si y sólo si a = ±1. (6) Si ac | bc y c 6= 0, entonces a | b.
(3) n | a para todo n ∈ Z si y sólo si a = 0. (7) Si a | b y c | d, entonces ac | bd.
(4) Si a ∤ bc entonces a ∤ b y a ∤ c.
6. 7.1.10. Sean a, b, c, d ∈ Z con a 6= 0. Demuestre que
(1) Si c | a, entonces c 6= 0. (4) Si d 6= 0, a | b, c | d y ad | bc, entonces

bd b d 1 b
(2) Si c 6= 0, a | b y c | d, entonces ac = a · c. bc
= a
.
ad d
(3) Si a | b y a | c, entonces b+ca =
b c
a + a.
c
an
(5) Si m ≤ n, entonces am | an y am = an−m .
7. 7.1.13. Usando el algoritmo de la división pruebe que

(a) Todo entero es de la forma, 4k, 4k + 1, 4k + 2 o 4k + 3, para algún entero k.
(b) Todo entero impar es de la forma 4k + 1 o 4k + 3 donde k ∈ Z.
(c) Todo entero impar es de la forma 6k + 1, 6k + 3 o 6k + 5 donde k ∈ Z.
8. 7.1.16. Sean a, b ∈ Z tales que 17 | 2a + 3b. Pruebe que 17 | 9a + 5b.
9. 7.1.18. Demuestre que para todo n ∈ Z se cumple:
(a) 2 | n2 − n.
(b) 6 | n3 − n.
(c) 30 | n5 − n.
10. 7.1.25. Decimos que c ∈ Z+ ∪ {0} es un cuadrado, si existe m ∈ Z tal que c = m2 . Demuestre que
si c es un cuadrado, entonces existe k ∈ Z+ ∪ {0} tal que c ∈ {4k, 4k + 1}.
11. 7.1.41. Demuestre los siguientes criterios de divisibilidad:
(a) Un número es divisible por 2 si y sólo si su último dı́gito es par.
(b) Un número es divisible por 3 si y sólo si la suma de sus dı́gitos el múltiplo de 3.
(c) Un número es divisible por 4 si y sólo si sus últimos dos dı́gitos son 00 o forman un número
divisible por 4.
(d) Un número es divisible por 5 si y sólo si su último dı́gito es 0 ó 5.
12. 7.1.45. Realice las siguientes operaciones:
(1) (1076)8 + (2076)8 ; (3) (2000) 7 − (1336)7 .

(2) (89β)12 + (5α6)12 ;
1Véase nota 7.1.8, pg. 246 de [G], para la notación b

.
a
1
13. 7.1.47. Encuentre el valor de la base a en cada uno de los siguientes casos.
(1) (54)a = (64)10 . (3) (1001)a = (126)10 .

(2) (1001)a = (9)10 . (4) (144)a = (110001)2 .
14. 7.2.14. Sean a, b, c, d ∈ Z. Demuestre que

(a) (a, b) = 1 si y sólo si (a + b, ab) = 1.
(b) Si (b, c) = 1 y d | b entonces (d, c) = 1.
(c) Si (a, b) = 1 y c | a + b, entonces (a, c) = 1 y (b, c) = 1.
(d) i (b, c) = 1, d | b y d | a · c, entonces d | a.
15. 7.2.6. Sean a, b, c enteros positivos. Demuestre que
(a) Si (a, b) = [a, b], entonces a = b.
(b) Si (a, b) = (a, c) y [a, b] = [a, c], entonces b = c.
(c) Si [a, b] + (a, b) = a + b, entonces a | b o b | a.
16. 7.2.12.
(a) Sean a, b1 , b2 , . . . , bn ∈ Z con (a, b1 ) = (a, b2 ) = . . . = (a, bn ) = 1. Demuestre que
(a, b1 b2 · · · bn ) = 1.
(b) Sean a1 , a2 , . . . , an , c ∈ Z con (ai , aj ) = 1 para todo i 6= j. Muestre que si ai | c para toda i,
entonces a1 a2 · · · an | c.
17. 7.2.7. Considere las siguientes parejas de números enteros.
(1) 15 y 21. (5) 1024 y 1000.

(2) 527 y 765. (6) −2024 y 1024.
(3) 361 y 1178. (7) 2n + 1 y 4n.
(4) 132 y −473. (8) 4n2 + 2n − 40 y 2n + 7.
(a) Usando el algoritmo de Euclides, determine para cada pareja de enteros su máximo común
divisor y expréselo como una combinación lineal de éstos.
(b) Encuentre para cada pareja su mı́nimo común múltiplo.
18. 7.2.8. Demuestre que si d > 0, d | a, d | b y ad , db = 1, entonces d = (a, b).
19. 7.2.22. Determine:
(1) (a, a + 1); (4) (a + b, a2 − b2 );

(2) [a, a + 1]; (5) (a2 − b2 , a3 − b3 );
(3) (a, a + 2); (6) (a2 − b2 , a4 − b4 ).
20. 7.2.34. Sean a1 , . . . , an ∈ Z − {0} y d = (a1 , . . . , an ). Probar que

(a) d es la mı́nima combinación lineal positiva de a1 , . . . , an .
(b) (ca1 , . . . , can ) = |c| · (a1 , . . . , an ).
(c) [ca1 , . . . , can ] = |c| · [a1 , . . . , an ].
21. 7.2.36.
(a) Pruebe que (a1 , a2 , . . . , an ) = ((a1 , a2 , . . . , an−1 ), an ).
(b) Sean a = 165, b = 42, c = 147. Encuentre (a, b, c) y escrı́balo como combinación lineal de a, b y
c.
22. 7.2.37. Pruebe que [a1 , a2 , . . . , an ] = [[a1 , a2 , . . . , an−1 ], an ].
23. 7.2.38. Sea n un entero positivo. Encuentre (n, n + 1, n + 2) y [n, n + 1, n + 2].
Referencias
[G] Gómez L, Carmen; Álgebra superior curso completo; Publicaciones y fomento editorial UNAM; Primera reimpresión;
2015.
México D.F.; Facultad de Ciencias; Universidad Nacional Autónoma de México; Septiembre 2017
Prof. Ernesto Mayorga Saucedo

E-mail address: [email protected]
blog : http://emsaucedo.wordpress.com/
Aydte. Alejandro Mendoza Dı́az de Léon

E-mail address: [email protected]
2

G 2 ASII

Cargado por

Copyright:

Formatos disponibles

G 2 ASII

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

G 2 ASII

Cargado por

Copyright:

Formatos disponibles

Álgebra superior II; Grupo 4094.

Guı́a para el segundo examen parcial

(1) Si a | b y c | d, entonces a + c | b + d. (7) Si ac | bc, entonces a | b.

(1) Si a | 1, entonces a = ±1. (5) a | an para todo n ∈ N.

6. 7.1.10. Sean a, b, c, d ∈ Z con a 6= 0. Demuestre que

(1) Si c | a, entonces c 6= 0. (4) Si d 6= 0, a | b, c | d y ad | bc, entonces

7. 7.1.13. Usando el algoritmo de la división pruebe que

(1) (1076)8 + (2076)8 ; (3) (2000) 7 − (1336)7 .

1Véase nota 7.1.8, pg. 246 de [G], para la notación b

(1) (54)a = (64)10 . (3) (1001)a = (126)10 .

14. 7.2.14. Sean a, b, c, d ∈ Z. Demuestre que

(1) 15 y 21. (5) 1024 y 1000.

(1) (a, a + 1); (4) (a + b, a2 − b2 );

20. 7.2.34. Sean a1 , . . . , an ∈ Z − {0} y d = (a1 , . . . , an ). Probar que

Prof. Ernesto Mayorga Saucedo

Aydte. Alejandro Mendoza Dı́az de Léon

También podría gustarte