Reglas de divisibilidad |
||||
|
Inicio 1 2 3 4 5 6 7 8 9 10 11 12 |
|
Resulta evidente que las reglas de división para el 13 que hemos formulado representan el fruto de la desesperación, puesto que en la gran mayoría de los casos el cálculo para obtener es complicado y debe repetirse varias veces antes de alcanzar un número cuya divisibilidad sea evidente. Usando el lenguaje de la sección anterior, podemos decir que las reglas son no solo complicadas, sino además ineficientes. Pero estas reglas también sugieren que no es difícil obtener una regla de divisibilidad para cualquier número superior a 10, que no sea múltiplo de 2 o de 5. El procedimiento es el siguiente:
Primero, debemos encontrar el menor entero positivo que sea múltiplo de y cuyo último dígito sea 9 o 18.
Segundo, debemos calcular y redondear al entero más cercano. Al resultado lo llamaremos .
Finalmente, formulamos esta regla: es divisible por si y solo si es divisible por . El signo de en la fórmula para debe escogerse así: positivo si tiene 9 por último dígito, o negativo si el último dígito de es 1. Sugerimos al lector interesado que se detenga a formular una regla de divisibilidad correspondiente para el 17 y que la utilice en un par de números apropiadamente seleccionados. El lector que haya llegado hasta aquí en esta discusión seguramente podrá luego formular la demostración rigurosa de que el procedimiento descrito siempre produce reglas de divisibilidad válidas (aunque muy poco útiles o eficientes). Quienes tengan interés en completar ese ejercicio pueden luego comparar su razonamiento con la demostración que damos a continuación. La demostración que ofrecemos acá se aplica al caso en que . (El caso es muy similar y, para simplificar la discusión, no lo presentaremos aquí.) Tenemos que . Luego:
Y por lo tanto:
Por hipótesis, es divisible por . Como y no comparten divisores, es divisible por si y solo si es divisible por .
Cidse
- Revista
virtual Matemática, Educación e Internet -
ITCR
|