INTRODUCCION A LA MATEMATICA

TRABAJO PRACTICO: Divisibilidad

Para comenzar: El Hotel de las infinitas puertas

a. Resuelvan el problema siguiente

En un hotel que tiene infinitas habitaciones el conserje comprueba al inicio de la noche que
todas las puertas están cerradas. Luego llega un bromista que abre las puertas de 2 en 2, es
decir que abre las puertas 2, 4, 6, 8, … y así sucesivamente. Llega otro bromista que modifica
el estado de las puertas de 3 en 3, comenzando con la 3, la 6, la 9, la 12 … pero de modo que
si está cerrada, la abre, y si está abierta, la cierra, así abre la 3, cierra la 6, abre la 9, cierra la
12, etc. Y a partir de allí siguen llegando bromistas que abren la puerta que está cerrada y
cierran la puerta que está abierta. El siguiente bromista va de 4 en 4, empezando con 4, 8,
etc.; el siguiente de 5 en 5, luego de 6 en 6, luego de 7 en 7… y así indefinidamente van
llegando al hotel infinitos bromistas a modificar el estado de las puertas.
¿Cuáles son las puertas que estarán abiertas y cuáles cerradas al terminar de pasar los
bromistas?

b. Escriban las conclusiones matemáticas que puedan derivar del problema.

Divisibilidad con números enteros

Revisen en un libro de la escuela secundaria o en el Anexo teórico Divisibilidad del Taller

Inicial de Matemática para Informáticos1
 la relación básica de la división entera (D = d · c + r con 0  r < d)
 las ideas de múltiplo y divisor
 las ideas de números primos y compuestos
 las ideas de múltiplo común menor y divisor común mayor
 la propiedad de la descomposición única de un número natural en sus factores primos
 la propiedad de la suma de dos múltiplos de un número, es múltiplo de ese número

1.Ver Anexo teórico del Módulo 1 del Taller inicial PONER VINCULO AL MISMO

Material de uso exclusivamente educativo

 INTRODUCCION A LA MATEMATICA

Avancen a reconocer los números congruentes respecto de un módulo

Al analizar el resto en un conjunto de divisiones con el mismo divisor y cuyos dividendos son
números consecutivos se observa una regularidad en los restos.
Por ejemplo para el divisor 3:
3 : 3 da 1 y resto 0 3=3·1+0
4 : 3 da 1 y resto 1 4=3·1+1
5 : 3 da 1 y resto 2 5=3·1+2
6 : 3 da 2 y resto 0 6=3·2+0
7 : 3 da 2 y resto 1 7=3·2+1
8 : 3 da 2 y resto 2 8=3·2+2
…………………………. ………………

Los números 3, 6, y los que siguen a ellos contando de 3 en 3 tienen resto 0 al dividirlos por 3.
Los números 4, 7, y los que siguen a ellos contando de 3 en 3 tienen resto 1 al dividirlos por 3.
Los números 5, 8, y los que siguen a ellos contando de 3 en 3 tienen resto 2 al dividirlos por 3.
Cada uno de estos grupos de números con resto 0, 1, ó 2, tienen infinitos elementos y se los
denomina números congruentes módulo 3.
De manera general se puede decir:

 Dos números enteros son congruentes respecto de m si al dividirlos por m sus restos
son iguales.
 Todo múltiplo del módulo es congruente con 0 respecto del módulo
 Dos números enteros son congruentes respecto de m si su diferencia es múltiplo de
m

1. Sin hacer las cuentas de multiplicar y dividir respondan las preguntas y expliquen sus respuestas.

 ¿Cuántas unidades hay entre 39 · 6 y 40 · 6? ¿Y entre -9 · 6 y -8 · 6?

 Si 17 · 6 = 102, ¿es cierto que 108 = 18 · 6?

 Si -33 · 6 = -198, ¿es cierto que -192 = -34 · 6?

2. Usen la información de la cuenta para explicar las afirmaciones y escribir otras tres.
 1529 es múltiplo de 11
1529 /11
 1540 es múltiplo de 11
 1518 es divisible por 11 0/ 139
 -139 es divisor de 1529

Material de uso exclusivamente educativo

 INTRODUCCION A LA MATEMATICA

3. Decidan sin hacer cálculos si cada cuenta tiene el mismo resultado (o es un cálculo equivalente) que
60 · 12
 6 · (-10) · 2 · 2 · (-3)  115 · 4 · 4 · (-3)

 -16 · (-15) · 3  (-36) · (-20)

4. Escriban expresiones equivalentes

-24 · 35 = 29 · (-11) + 29 · (-2) =

-13 · 5 + 5 = 121 · (-18) + 121 · 2 =

5. En esta recta numérica se ubicaron algunos múltiplos de 15 y, de manera aproximada, se ubicaron

3195 y 3199

 Expliquen por qué 15 ·213 + 4 es equivalente a 15·214 -11

 Escriban otras tres expresiones formadas por un múltiplo de 15 y una suma o una resta que
permitan obtener un número equivalente a 3199.
 Escriban tres números menores que 3195 y congruentes con él módulo 15.

6. Sabemos que D=d·c+r y 0r<d

a) Cuando sea una expresión válida para una división entera, busquen cuál o cuáles valores de
las variables hacen que la expresión sea verdadera. Cuando no lo sea expliquen por qué.

D=d·5+3 D=4·c+6
35 = 7 · c + r 120 = d · 7 + r
156 = d · c + 6 D=7·3+r

b) ¿Qué relación hay entre las nociones de división entera y de múltiplo?

c) ¿Qué valores debe tomar a para que a · 6 + 2 sea múltiplo de 2? ¿Y para a · 6 + 3? ¿Por qué?
d) Expliquen por qué cada afirmación es verdadera para cualquier valor de la variable t.
 el resultado de (2 t + 1) · 3 es un número impar
 el resultado de 4 t + 5 + 6 t termina en 5.

Material de uso exclusivamente educativo

 INTRODUCCION A LA MATEMATICA

7. a) Decidan si las siguientes afirmaciones son V o F en el campo de los números enteros.

Expliquen sus decisiones.
 Si la variable m toma el valor -10, entonces 8 + m = -18
 La expresión 3 + 5 · m es igual a la expresión 8m para cualquier valor de m
 La expresión 3 · m + 5 · m es igual a la expresión 8m para cualquier valor de m
 La igualdad 10 · m + 3 = 8 · m + 2 · m es V para algunos valores de m.

b) Escriban un texto coloquial para completar cada expresión donde aparezca “un múltiplo de 5”

8. Marcos dice que un procedimiento para encontrar el mcd de dos números es “escribir cada número
como producto de sus factores primos, luego buscar los factores comunes y multiplicarlos entre sí. El
producto es el dcm buscado. Lo que dice Marcos, ¿vale para cualquier número natural? ¿Por qué?

Pensar afirmaciones y decidir en divisibilidad

Sabemos que, si en una afirmación intervienen expresiones con variables, pueden darse las
siguientes situaciones excluyentes:
 que la afirmación sea V para cualquier valor de la variable
 que la afirmación sea V para algunos valores de la variable y para otros, no.
 que la afirmación sea F para todos los valores de la variable, es decir que no sea
verdadera para ningún valor.
Sabemos que, para justificar que una afirmación es falsa,
 basta con dar un ejemplo en el que esta no se cumpla. Se lo llama contrajemplo.

9. Decidan si las afirmaciones son V. Expliquen sus decisiones.

 Si a un cualquier múltiplo de 7 se le suma un múltiplo de 3, el resultado es un múltiplo de 10.

 Si se suman tres múltiplos de 5 el resultado siempre termina en 5.
 Si se suman cuatro múltiplos de 5 el resultado siempre termina en 0.

10. a. Ana dice que la expresión 2n permite representar los números pares cuando n es un número
entero de manera general. ¿Les parece que es cierto? ¿Por qué?

b. Si a es un número par, a+2 también lo es. ¿Lo será a + 20? ¿Por qué?

c. Encuentren una expresión para representar a los números impares y justifiquen.

Material de uso exclusivamente educativo

 INTRODUCCION A LA MATEMATICA

Para tener en cuenta antes de seguir

DEMOSTRAR, UNO DE LOS QUEHACERES DE LA MATEMÁTICA

Nos interesa considerar en esta breve presentación para el curso de INTRODUCCIÓN A LA

MATEMÁTICA 2020 uno de los quehaceres propios de los procesos de producción de
conocimientos en Matemática, demostrar, y los saberes que él genera, los resultados de las
demostraciones.
Cada comunidad tiene formas propias de producir y de aceptar los saberes que produce. El
proceso de producción y sus resultados están determinados por los conocimientos de quien lo
realiza y en su transcurso, intervienen diferentes formas de razonamiento tales como el
razonamiento analógico, el inductivo, o el deductivo.2
Pero la legitimación de los saberes en la comunidad matemática se da al aceptar como válidos
algunos enunciados de partida y las explicaciones que derivan de ellos mediante
encadenamientos deductivos denominados demostraciones. Esa forma que toma el saber para
ser validado no representa el conjunto de razonamientos llevados a cabo en el proceso de
producción, tampoco recoge los caminos de búsqueda comenzados y descartados luego por no
ser fructíferos. Se trata de una “pasada en limpio” que muestra un paso a paso que sigue reglas
lógicas aceptadas en la comunidad.

¿Cómo se acepta un nuevo saber?

En principio nos interesa diferenciar3 las ideas de explicación, prueba y demostración.

Llamamos explicación a todo discurso sostenido por una persona o un grupo cuyo objetivo es el
de comunicar a otro el carácter de verdad de un enunciado matemático.
Una prueba es una explicación aceptada por otro en un momento dado. Así una explicación
puede tener el status de prueba para un grupo social dado pero no para otros.
Una demostración es una prueba que tiene ciertas características: una social, es aceptada por la
comunidad de matemáticos, y una de forma, un cierto número de enunciados son aceptados
como verdaderos y otros son deducidos de estos o de otros demostrados a partir de reglas de
deducción tomadas de un conjunto de reglas lógicas. Los objetos matemáticos sobre los cuales
estas pruebas operan no pertenecen al mundo sensible.
Esta diferenciación es interesante al considerar los procesos de producción de nuevos
conocimientos tanto en la comunidad matemática de académicos como en la clase cuando se
instala un tipo de trabajo matemático en el que funcionen haceres matemáticos tales como los
que se desarrollan en la comunidad científica. En los momentos de validación de lo producido,
se pueden considerar las explicaciones que dan los alumnos para ver si adquieren el carácter de
prueba en el grupo de la clase.

2
Panizza, Mabel. Razonar y conocer. Libros del Zorzal
3
Arsac, G Iniciación al razonamiento deductivo.

Material de uso exclusivamente educativo

 INTRODUCCION A LA MATEMATICA

En término de la estructura de las demostraciones podemos decir que4

Un teorema es un enunciado que tiene la forma H  T (si H entonces T). Demostrar el
teorema significa poder afirmar que el enunciado es cierto. No que T es verdadero ni que H
es verdadero, sino que “si H es verdadero entonces T es verdadero”. Se demuestra la verdad
de la implicación.
Para ello podemos partir que H es verdadero y llegar, con una secuencia de razonamientos
válidos, a que T también lo es (método directo). Otra forma es partir de que H es verdadero
y T falso, y llegar a una contradicción (por el absurdo)

Un ejemplo de demostración directa

La suma de dos números enteros impares es un número entero par.

Conocemos que un número par podemos escribirlo de la forma 2 k siendo k un número entero
y a los impares 2q + 1 con q entero. Es lo que sabemos (la hipótesis).
Si se buscan ejemplos 35 + 11 = 46; 543 + 2117 = 2660; … se puede comprobar que se cumple
pero… muchos ejemplos no son suficientes para probar una propiedad!!!
Si pensamos los impares de manera general podemos escribir cada número impar con
expresiones de la misma forma pero diferentes: 2a + 1 y 2b+1 (con a y b enteros)
Al sumar tenemos
2 a + 2 b + 2 = 2 (a + b + 1)
que es en efecto un número par porque tiene la forma pedida ya que a + b + 1 es un número
entero.

Si m ϵ Z y m es impar y n ϵ Z y n es impar

Sabemos que 2k es par y 2 q + 1 es impar con k y q en Z

Podemos pensar m = 2 a + 1 es un número impar
n = 2 b + 1 es también un número impar
m + n = 2a + 2 b + 2 = 2 (a + b + 1) y donde k = a + b + 1

Entonces 2 (a + b + 1) es par, porque tiene la forma 2k

m ϵ Z y m es impar y n ϵ Z y n es impar => (m + n) ϵ Z y (m+n)

es par

4
Gysin y González (1999) Matemática. Una mirada numérica. AZ editora.

Material de uso exclusivamente educativo

 INTRODUCCION A LA MATEMATICA

Un ejemplo de demostración por el absurdo

Sabemos que los números racionales pueden escribirse como fracción irreducible (no se puede
simplificar) o con una expresión decimal finita o periódica. Los números que no admiten esas
3
escrituras son irracionales, por ejemplo 𝜋, √2 , √2 .

¿Cómo podemos demostrar que √2 no es racional?

Comenzamos suponiendo lo contrario de lo que queremos demostrar, es decir que √2 es

racional. Si es así, podemos escribirlo como fracción irreducible con los números p y q enteros
p/q = √2
Elevando al cuadrado p2/q2 = 2
p2 = 2 · q2
Como p2 es igual al doble de un número, p es par
y podemos escribirlo p=2·k
Elevando al cuadrado esta expresión P 2 = 4 · k2
Entonces 2 . q2 = 4 · k2
q2 = 2 · k2
y entonces q2 es par y también q es par.
Si ambos p y q son números pares, la fracción p/q puede simplificarse lo que es contrario a lo
planteado al inicio. Es una contradicción, no pueden ser ambos p y q números pares y √2 no
es un número racional
Entonces √2 no es un número racional.

Decimos que √2 es racional, √2 = p/q no se pueden simplificar

Podemos pensar p2/q2 = 2 p2 = 2 . q2
p es par p=2.k
P 2 = 4 . k2
2 . q2 = 4 . k2
q2 = 2 . k2
q2 es par q es par
p y q son ambos pares, se pueden simplificar
√2 no es racional

Material de uso exclusivamente educativo

 INTRODUCCION A LA MATEMATICA

11. a) Analicen el siguiente razonamiento utilizado para responder la pregunta

“La suma de dos números pares es par” ¿es un enunciado verdadero?

Un número par se puede escribir 2n

Otro número par se puede escribir 2k

La suma de ambos es 2n + 2K = 2 (n + k) usando la propiedad distributiva

Haciendo n + k = m resulta 2n + 2 k = 2 m donde 2m es número par

b) Escriban una prueba para asegurar que cada una de las afirmaciones es verdadera.

 La suma de par más impar es impar

 El producto de un par por un impar es par
 La suma de múltiplos de un número es múltiplo de ese número.
 La suma de tres números consecutivos es múltiplo de 3
 La suma de siete números consecutivos es múltiplo de 7
 Si un número es múltiplo de otro y éste de un tercero el primero es múltiplo del tercero

Material de uso exclusivamente educativo