Maestría en Enseñanza de las Matemáticas

Tópicos de Aritmética

Tarea 1

Instituto de Matemáticas
Grupo EMAC

c 2018 - Instituto de Matemáticas - Universidad Antioquia.

Universidad de Antioquia
Facultad de Ciencias Exactas y Naturales
Instituto de Matemáticas
Tópicos de Aritmética: tarea 1 2

1. Instrucciones
La asignación de los ejercicios que debe resolver y la fecha de entrega serán publicadas en la
página Moodle del curso.
Para la elaboración y entrega de la tarea tenga en cuenta las siguientes recomendaciones:

Utilice letra legible y ordenada.

Tenga presente las reglas básicas de ortografía y estilo del español, que son de uso
frecuente en documentos matemáticos. Puede resultarle útil consultar la “Pequeña guía
de ortografía y estilo para escribir matemáticas en español”, texto que se encuentra
disponible en http://albertofest.matcuer.unam.mx/Misc54/5406.pdf.

Este trabajo de escritura debe reflejar la comprensión de las ideas y de los concep-
tos matemáticos empleados por usted para resolver los ejercicios. Lo invitamos a
consultar “A Guide to Writing Mathematics”, texto que se encuentra disponible en
http://web.cs.ucdavis.edu/~amenta/w10/writingman.pdf.

Los procedimientos teóricos empleados para resolver cada uno de los ejercicios pro-
puestos, deben ser justificados y quedar registrados en el documento que entregará.

El documento debe ser escaneado y guardado en formato pdf para su envío. Puede
utilizar su celular para realizar esta labor, como se describe en el siguiente videotutorial:
https://youtu.be/79Gj0qpSv_8.

2. Ejercicios
1. Utilice inducción matemática para demostrar que para todo entero n ≥ 1,

a) 1 + 3 + 5 + · · · + (2n − 1) = n2 .
b) 3 + 11 + 19 + · · · + (8n − 5) = 4n2 − n.
c) 1 + 7 + 13 + · · · + (6n − 5) = 3n2 − 2n.
n(3n − 1)
d) 1 + 4 + 7 + · · · + (3n − 2) = .
2
n(3n + 1)
e) 2 + 5 + 8 + · · · + (3n − 1) = .
2
f ) 1 + 4 + 12 + · · · + n · 2n−1 = 1 + (n − 1)2n .
n(n + 1)(n + 2)
g) 1 · 2 + 2 · 3 + 3 · 4 + · · · + n(n + 1) = .
3
n(2n − 1)(2n + 1)
h) 12 + 32 + 52 + · · · + (2n − 1)2 = .
3
n(n + 1)
i) 12 − 22 + 32 + · · · + (−1)n+1 n2 = (−1)n+1 · .
2
Tópicos de Aritmética: tarea 1 3

" #2
3 3 3 n(n + 1)
3
j) 1 + 2 + 3 + · · · + n = .
2
n(n + 1)(2n + 1)(3n2 + 3n − 1)
k) 14 + 24 + · · · + n4 = .
30
1 1 1 n
l) + + ··· + = .
1·2 2·3 n(n + 1) n+1
1 2 3 n n+2
m) + 2 + 3 + · · · + n = 2 − n .
2 2 2 2 2
n(n + 1)(n + 2)(n + 3)
n) 1 · 2 · 3 + 2 · 3 · 4 + · · · + n(n + 1)(n + 2) = .
4
2. Si r 6= 1, demuestre que para todo entero positivo n,

a (rn+1 − 1)
a + ar + ar2 + · · · + arn = .
r−1

3. Utilice inducción matemática para demostrar que para todo n ≥ 1,

 
(an − 1) = (a − 1) an−1 + an−2 + an−3 + · · · + a + 1 .

[Sugerencia: an+1 − 1 = (a + 1) (an − 1) − a (an−1 − 1)].

4. Sea x > −1 un número real. Demuestre que para todo entero n ≥ 1,

(1 + x)n > 1 + nx.

La desigualdad anterior se denomina desigualdad de Bernoulli.

5. Si los números an se definen por a1 = 11, a2 = 21 y an = 3an−1 − 2an−2 para n ≥ 3,

demuestre que para todo n ≥ 1,

an = 5 · 2n + 1.

6. Demuestre que n3 + 5n es divisible por 6 para todo entero n ≥ 1.

7. Demuestre que 52n − 1 es divisible por 8 para todo entero n ≥ 1.

8. Demuestre que 24 divide a 16n − 16 para todo entero n ≥ 1.

9. Demuestre que 5n − 4n − 1 es divisible por 16 para todo entero n ≥ 1.

10. Demuestre que 5 divide a 8n − 3n para todo entero n ≥ 1.

11. Demuestre que n3 + (n + 1)3 + (n + 2)3 es divisible por 9 para todo entero n ≥ 1.

12. Demuestre que 5 divide a 34n − 1 para todo entero n ≥ 1.

13. Demuestre que 10n + 3 · 4n+1 + 5 es divisible por 9 para todo entero n ≥ 1.
Tópicos de Aritmética: tarea 1 4

14. Demuestre que 9 divide a 4n + 5n para todo entero impar n ≥ 1.

15. Demuestre que 72n + 16n − 1 es divisible por 64 para todo entero n ≥ 1.

16. Demuestre que 3 divide a 22n+1 + 1 para todo entero n ≥ 0.

17. Demuestre que n < 2n para todo entero n ≥ 1.

18. Demuestre que 2n < n! para todo entero n ≥ 4.

19. Demuestre que 7n < 2n para todo entero n ≥ 6.

20. Demuestre que 3n > n3 para todo entero n ≥ 4.

 n
1
21. Demuestre que 1 + n
< n para todo entero n ≥ 3.

22. Demuestre que 2n − 3 < 2n−2 para todo entero n ≥ 5.

23. Encuentre todos los valores de n ∈ N tales que n2 < 2n . Demuestre su afirmación.

24. Encuentre todos los valores de n ∈ N tales que n2 −9n+19 > 0. Demuestre su afirmación.

25. Demuestre por inducción matemática que para todo entero n ≥ 1,

1 1 1 1
a) + + · · · + ≤ 2 − .
12 22 n2 n
1 1 1 √
b) √ + √ + · · · + √ ≥ n.
1 2 n
1 1 1 1 5 1
c) + + + ··· + 2
≤ − .
1 9 25 (2n + 1) 4 4(n + 1)

26. Demuestre que si a y b son enteros, con b > 0, entonces existen enteros únicos q y r tales
que a = qb + r, donde 2b ≤ r ≤ 3b.

27. Demuestre que si un entero es de la forma 6k + 5, entonces también es de la forma 3j + 2

pero que el enunciado recíproco no se satisface.

28. Utilice el algoritmo de la división para demostrar las siguientes afirmaciones.

a) El cuadrado de cualquier entero es de la forma 3k ó 3k + 1.

b) El cubo de cualquier entero es de alguna de las siguientes la formas: 9k, 9k + 1 ó
9k + 8.
c) La cuarta potencia de cualquier entero es de la forma 5k ó 5k + 1.

29. Demuestre que 3a2 − 1 nunca es cuadrado perfecto.

[Sugerencia: a2 = 3k ó a2 = 3k + 1 por el ejercicio (28a).]

30. Demuestre que n(n + 1)(2n + 1)/6 es un entero para todo entero n ≥ 1.
[Sugerencia: Aplique el algoritmo de la división con dividendo n y divisor 6.]
Tópicos de Aritmética: tarea 1 5

31. Demuestre que el cubo de cualquier entero es de la forma 7k ó 7k ± 1.

32. Demuestre que ningún entero en la sucesión de números

11, 111, 1111, 11111, . . .

es un cuadrado perfecto.
[Sugerencia: Observe que 11 = 8 + 3, 111 = 108 + 3, 1111 = 1008 + 3, 11111 = 10008 +
3, . . . , 111 · · · 11 = 100 · · · 08 + 3 y 8, 108, 1008, . . . , 100 · · · 08, . . . son divisibles por 4.]

33. Verifique que si un entero es simultáneamente un cuadrado y un cubo (como es el caso

de 64 = 82 = 43 ), entonces es de la forma 7k ó 7k + 1.

34. Muestre que n4 + 4n2 + 11 es de la forma 16k para todo entero impar n ≥ 1.

35. Muestre que si a | b, entonces (−a) | b, a | (−b) y (−a) | (−b).

36. Sean a, b, c y d enteros. Verifique que:

a) Si a | b, entonces a | bc.
b) Si a | b y a | c, entonces a2 | bc.
c) a | b si y sólo si ac | bc, donde c 6= 0.
d) Si a | b y c | d, entonces ac | bd.

37. Demuestre o refute la siguiente afirmación: Si a | (b + c), entonces a | b ó a | c.

38. Para todo entero n ≥ 1, demuestre que:

a) 15 | 24n − 1.
b) 5 | 33n+1 + 2n+1 .
c) 21 | 4n+1 + 52n−1 .
d) 24 | 2 · 7n + 3 · 5n − 5.

39. Demuestre que para cualquier entero a, uno de los enteros a, a + 2, a + 4 es divisible por
3.

40. Para todo entero a, verifique que:

a) 2 | a(a + 1) y 3 | a(a + 1)(a + 2).

b) 3 | a (2a2 + 7).
c) Si a es impar, entonces 32 | (a2 + 3) (a2 + 7).

41. Demuestre que si a y b son enteros impares, entonces 16 | a4 + b4 − 2.

42. Demuestre las siguientes afirmaciones:

Tópicos de Aritmética: tarea 1 6

a) La suma de los cuadrados de dos enteros impares no puede ser cuadrado perfecto.
b) El producto de cuatro enteros consecutivos es igual a un cuadrado perfecto menos
1.

43. Demuestre que la diferencia de dos cubos consecutivos nunca es divisible por 2.

44. Si a y b son enteros, al menos uno de ellos distinto de cero, demuestre que

mcd(a, b) = mcd(−a, b) = mcd(a, −b) = mcd(−a, −b).

45. Sean a y b enteros. Demuestre que:

a) Existen enteros x, y para los cuales c = ax + by si y solo si mcd(a, b) | c.

b) Si x, y son enteros tales que ax + by = mcd(a, b), entonces mcd(x, y) | 1.

46. Para cualquier entero a, muestre que:

a) mcd(2a + 1, 9a + 4) = 1.
b) mcd(5a + 2, 7a + 3) = 1.
c) Si a es impar, mcd(3a, 3a + 2) = 1.

47. Si a y b son enteros, al menos uno de ellos distinto de cero, demuestre que mcd(2a −
3b, 4a − 5b) | b y por tanto mcd(2a + 3, 4a + 5) = 1.

48. Para todo entero impar a, muestre que

a2 + (a + 2)2 + (a + 4)2 + 1

es divisible por 12.

49. Demuestre que (3n)!/(3!)n es entero para todo entero n ≥ 0.

50. Demuestre que:

a) El producto de tres enteros consecutivos cualesquiera es divisible por 6.

b) El producto de cuatro enteros consecutivos cualesquiera es divisible por 24.
c) El producto de cinco enteros consecutivos cualesquiera es divisible por 120.

[Sugerencia: Utilice el corolario visto en clase que afirma que si a | c y b | c, con a y b

primos relativos, entonces ab | c.]

51. Demuestre cada uno de los siguientes enunciados.

a) 6 | a (a2 + 11) para todo entero a.

b) 24 | a (a2 − 1) para todo entero impar a.
[Sugerencia: El cuadrado de un entero impar es de la forma 8k + 1.]
Tópicos de Aritmética: tarea 1 7

c) Si a y b son enteros impares, entonces 8 | (a2 − b2 ).

d) Si a es un entero que no es divisible por 2 o por 3, entonces 24 | (a2 + 23).
e) 360 | a2 (a2 − 1) (a2 − 4) para todo entero a.

52. Demuestre las siguientes propiedades del máximo común divisor.

a) Si mcd(a, b) = 1 y mcd(a, c) = 1, entonces mcd(a, bc) = 1.

[Sugerencia: Como 1 = ax + by = au + cv para algunos x, y, b, u, v, entonces 1 =
(ax + by)(au + cv) = a(aux + cvx + byu) + bc(yv).]
b) Si mcd(a, b) = 1 y c | a, entonces mcd(b, c) = 1.
c) Si mcd(a, b) = 1, entonces mcd(ac, b) = mcd(c, b).
d) Si mcd(a, b) = 1 y c | a + b, entonces mcd(a, c) = mcd(b, c) = 1.
[Sugerencia: Sea d = mcd(a, c). Entonces d | c y como c | a + b, d | (a + b) − a, i.e.,
d | b.]
e) Si mcd(a, b) = 1, d | ac y d | bc, entonces d | c.
f ) Si mcd(a, b) = 1, entonces mcd (a2 , b2 ) = 1.
[Sugerencia: Muestre primero que mcd (a, b2 ) = mcd (a2 , b) = 1.]

53. Demuestre que:

a) Si d | n, entonces 2d − 1 | 2n − 1.
 
[Sugerencia: Utilice la identidad xk − 1 = (x − 1) xk−1 + xk−2 + · · · + x + 1 .]
b) 235 − 1 es divisible por 31 y por 127.

54. Si a | bc, muestre que a | mcd(a, b) mcd(a, c).

55. Encuentre:

a) mcd(143, 227)
b) mcd(306, 657)
c) mcd(272, 1479)

56. Utilice el algoritmo de Euclides para obtener enteros x, y tales que:

a) mcd(24, 138) = 24x + 138y.

b) mcd(119, 272) = 119x + 272y.
c) mcd(1769, 2378) = 1769x + 2378y.

57. Demuestre que si d es un divisor común de a y b, entonces d = mcd(a, b) si y sólo si

mcd(a/d, b/d) = 1.

58. Suponga que mcd(a, b) = 1. Demuestre que:

Tópicos de Aritmética: tarea 1 8

a) mcd(a + b, a − b) es igual a 1 ó 2.
[Sugerencia: Sea d = mcd(a + b, a − b). Muestre que d | 2a, d | 2b y así d ≤
mcd(2a, 2b) = 2 mcd(a, b).]
b) mcd(2a + b, a + 2b) es igual a 1 ó 3.
c) mcd(a + b, a2 + b2 ) es igual a 1 ó 2.
[Sugerencia: a2 + b2 = (a + b)(a − b) + 2b2 .]
d) mcd(a + b, a2 − ab + b2 ) es igual a 1 ó 3.
[Sugerencia: a2 − ab + b2 = (a + b)2 − 3ab.]

59. Para enteros positivos a, b y n ≥ 1, muestre que:

a) Si mcd(a, b) = 1, entonces mcd (an , bn ) = 1.

[Sugerencia: Utilice el ejercicio (52a).]
b) Si an | bn , entonces a | b.
[Sugerencia: Sea d = mcd(a, b). Exprese a a y a b como a = rd y b = sd, donde
mcd(r, s) = 1. Por la parte (59a), mcd (rn , sn ) = 1. Muestre que r = 1.]

60. Demuestre que si mcd(a, b) = 1, entonces mcd(a + b, ab) = 1.

61. Para enteros a y b distintos de cero, muestre que las siguientes afirmaciones son equiva-
lentes:

a) a | b.
b) mcd(a, b) = |a|.
c) mcm(a, b) = |b|.

62. Encuentre mcm(143, 227), mcm(306, 657) y mcm(272, 1479).

63. Demuestre que el máximo común divisor de dos enteros positivos divide a su mínimo
común múltiplo.

64. Para dos enteros a y b distintos de cero, demuestre las siguientes propiedades del mínimo
común múltiplo mcm(a, b).

a) mcd(a, b) = mcm(a, b) si y sólo si a = ±b.

b) Si k > 0, entonces mcm(ka, kb) = k mcm(a, b).
c) Si m es un múltiplo común cualquiera de a y b, entonces mcm(a, b) | m.
[Sugerencia: Haga t = mcm(a, b) y utilice el algoritmo de la división para que
m = qt + r, donde 0 ≤ r < t. Muestre que r es un múltiplo común de a y b.]

65. Sean a, b y c enteros, al menos dos de ellos distintos de cero, y d = mcd(a, b, c). Muestre
que
d = mcd(mcd(a, b), c) = mcd(a, mcd(b, c)) = mcd(mcd(a, c), b).
Tópicos de Aritmética: tarea 1 9

66. Encuentre enteros x, y y z tales que

mcd(198, 288, 512) = 198x + 288y + 512z.

[Sugerencia: Haga d = mcd(198, 288) y observe que mcd(198, 288, 512) = mcd(d, 512)
por el ejercicio (65). Encuentre enteros u, v tales que mcd(d, 512) = du + 512v.]

67. Determine cuáles de las siguientes ecuaciones diofánticas tiene solución.

a) 6x + 51y = 22.
b) 33x + 14y = 115.
c) 14x + 35y = 93.

68. Encuentre todas las soluciones en los enteros de las siguientes ecuaciones diofánticas.

a) 56x + 72y = 40.

b) 24x + 138y = 18.
c) 221x + 35y = 11.

69. Encuentre todas las soluciones en los enteros positivos de las siguientes ecuaciones dio-
fánticas.

a) 18x + 5y = 48.
b) 54x + 21y = 906.
c) 123x + 360y = 99.
d) 158x − 57y = 7.

70. Demuestre que si a y b son primos relativos, con a y b positivos, entonces la ecuación
diofántica ax − by = c tiene infinitas soluciones en los enteros positivos.
[Sugerencia: Existen enteros x0 y y0 tales que ax0 + by0 = c. Para todo entero t mayor
que |x0 |/b y |y0 |/a, una solución positiva de ax − by = c es x = x0 + bt, y = −(y0 − at). ]

71. a) Demuestre que una ecuación diofántica ax+by +cz = d tiene solución en los enteros
si y sólo si mcd(a, b, c) | d.
b) Encuentre todas las soluciones en los enteros de la ecuación diofántica 15x + 12y +
30z = 24. [Sugerencia: Haga y = 3s − 5t y z = −s + 2t].

72. Se ha conjeturado que existen infinitos primos de la forma n2 − 1. Encuentre cinco

números primos que sean de esa forma.

73. Proporcione un ejemplo que muestre que la siguiente conjetura es falsa: Todo entero
positivo puedes expresarse de la forma p + a2 , donde p ó es primo ó es 1, y a ≥ 0.

74. Demuestre las siguientes afirmaciones.

Tópicos de Aritmética: tarea 1 10

a) Todo primo de la forma 3n + 1 también es de la forma 6m + 1.

b) Cada entero de la forma 3n + 2 tiene un factor primo de esta forma.
c) El único primo de la forma n3 − 1 es 7.
[Sugerencia: n3 − 1 = (n − 1)(n2 + n + 1).]
d) El único primo para p tal que 3p + 1 es un cuadrado perfecto es p = 5.
e) El único primo de la forma n2 − 4 es 5.

75. Demuestre que si p ≥ 5 es primo, entonces p2 + 2 es compuesto.

[Sugerencia: Utilice el algoritmo de la división con dividendo p y divisor 6.]

76. Demuestre que si p es primo y p | an , entonces pn | an .

77. Si mcd(a, b) = p es primo, ¿cuáles son los posibles valores de. . .

a) mcd(a2 , b2 )?
b) mcd(a2 , b)?
c) mcd(a3 , b2 )?

78. Demuestre las siguientes afirmaciones.

a) Para cada entero n > 1, n4 + 4 es compuesto.

2
[Sugerencia: n4 +4 = n4 +4n2 +4−4n2 = (n4 + 4n2 + 4)−4n2 = (n2 + 2) −(2n)2 .]
b) Si n > 4 es compuesto, entonces n | (n − 1)!.
c) Para cada entero n ≥ 1, 8n + 1 es compuesto.
[Sugerencia: Factorice 8n + 1.]
d) Cada entero n > 11 se puede expresar como la suma de dos números compuestos.
[Sugerencia: Si n es par, n = 2k y n − 6 = 2(k − 3). Si n es impar, considere n − 9.]

79. Halle todos los números primos que dividen a 50!.

80. Demuestre que si p ≥ q ≥ 5, con p y q primos, entonces 24 | p2 − q 2 .

81. Encuentre la descomposición en factores primos de 1234, 10140 y 36000.

82. Demuestre que si un entero n > 1 no es de la forma 6k +3, entonces n2 +2n es compuesto.
[Sugerencia: n puede ser de la forma 6k, 6k + 1, 6k + 2, 6k + 4 ó 6k + 5. Para los casos
6k, 6k + 2 o 6k + 4, n es par, n = 2s y n2 + 2n = (2s)2 + 22s = 4s2 + 4s es compuesto.
Para n = 6k + 1, demuestre por inducción que n2 + 2n = (6k + 1)2 + 26k+1 es divisible
por 3. Para n = 6k + 5 desarrolle un análisis similar.]

83. Demuestre que un entero a > 1 es un cuadrado si y sólo si los exponentes de la repre-
sentación canónica de a son enteros pares.
Tópicos de Aritmética: tarea 1 11

84. Un entero se dice que es libre de cuadrados si no es divisible por el cuadrado de ningún
entero mayor que 1. Demuestre que:

a) Un entero n > 1 es libre de cuadrados si y sólo si puede factorizar como un producto

de primos distintos.
b) Cada entero n > 1 es el producto de enteros libres de cuadrado y un cuadrado
perfecto.
[Sugerencia: Si n = pk11 pk11 · · · pks s es la representación canónica de n, haga ki =
2qi + ri , donde ri = 0 o 1 dependiendo de que ki es par o impar. ]

85. Verifique que todo entero n puede expresarse como n = 2k m, con k ≥ 0 y m un entero
impar.

Referencias
[1] Ethan D. Bloch. Proofs and Fundamentals: A First Course in Abstract Mathematics.
Undergraduate Texts in Mathematics. Springer-Verlag New York, 2 edition, 2011.

[2] David M. Burton. Elementary Number Theory. McGraw-Hill Higher Education, 7th
edition, 2010.

[3] Lindsay N. Childs (eds.). A concrete introduction to higher algebra. Undergraduate Texts
in Mathematics. Springer-Verlag New York, 3 edition, 2009.

[4] Donald R. Sherbert Robert G. Bartle. Introduction to Real Analysis. Wiley, 4 edition,
2011.