Una propiedad elemental de la divisibilidad

Versión para impresión

Voy a discutir en este post una propiedad de la divisibilidad que surge cuando la suma de dos números es múltiplo de un primo. Se le podría llamar propiedad de transferencia de la divisibilidad. Incluyo dos instancias de uso en el problem solving de olimpiada.

Una propiedad de transferencia

Considere la suma a+b de dos números enteros y supongamos que es múltiplo de un primo p. Puede suceder que ninguno de los sumandos sea múltiplo de p. Pero si alguno lo es, entonces también lo es el otro. Formalmente, la propiedad se puede establecer así:

a,bZ,p primo, p|a+b(p|ap|b)

La demostración es casi obvia: la suma es múltiplo de p y uno de los sumandos también  (a+b=rp y a=sp); por tanto, al despejar el otro sumando y factorizar p  (b=rpa=rpsp=(rs)p) el resultado se hace evidente.

Instancia de uso

Sean x,yZ. Demostrar que 2x+3y es múltiplo de 17 si y sólo si 9x+5y es múltiplo de 17.

Demostración

Una forma de demostrarlo es evocando la propiedad de transferencia de la divisibilidad en la suma. Con esa idea, lo que hay que buscar es una combinación lineal de las dos expresiones que sea múltiplo de 17.

Para ello, sea f=2x+3y y g=9x+5y. Entonces buscamos números enteros m,n de tal manera que mf+ng sea múltiplo de 17. No es difícil ver que m=4,n=1 hacen el truco. Es decir, 4f+g=17(x+y). Ahora sí, lo que resta es argumentar que --como 4 es primo con 17-- si una de las expresiones es múltiplo de 17, entonces la otra tambien.

Segunda instancia de uso

Considere la sucesión infinita 1,3,5,9,,2n+1+. Encontrar --con prueba-- todos elementos de la sucesión que son múltiplos de 5.

Demostración

Si consideramos la posición de los elementos de la sucesión desde cero, entonces es claro que los elementos en las posiciones 2,6,10 son múltiplos de 5. Ello nos lleva a la conjetura de que son múltiplos de 5 los elementos en las posiciones n=2+4r, para r=0,1,2.

Para la prueba, definamos f(r)=24r+2+1. Vamos a tratar de expresar f(r+1) en términos de f(r) --más algo que esperamos sea múltiplo de 5-- con la idea de aplicar la propiedad de transferencia de la divisibilidad.

f(r+1)=24r+4+2+1=2424r+2+1

=24(24r+2+11)+1=24f(r)24+1=24f(r)15

En resumen, f(r+1)=24f(r)15. Así que --aplicando la propiedad de transferencia de la divisibilidad-- si f(r) es múltiplo de 5, entonces f(r+1) también lo es.

Pero f(0) es múltiplo de 5. Por tanto, también lo es f(1) --y con ello también lo es f(2), etc. (el efecto dominó ¿no es cierto?).

En resumen, la respuesta es que todos los números de la forma 22+4r+1 son múltiplos de 5. 

Epílogo

Ya sé que es más fácil resolver el segundo problema con aritmética modular. Sólo que ello implica poner a funcionar una herramienta poderosa y cara (su adquisición cuesta tiempo y esfuerzo). Y por esa razón, los aficionados principiantes a las matemáticas de concurso no cuentan con ella.

No obstante --y pensándolo bien-- éste podría ser el momento para una exhibición de la eficacia de la aritmética modular. Quedaría a cargo del novicio decidir si está dispuesto a pagar el costo de su aprendizaje...

Para ilustrar considere este otro problema de la misma familia:

Encontrar todos los valores de n para los cuales 2n+1 es múltiplo de 11. 

Solución

Lo que queremos son los n que satisfacen la ecuación de congruencias 2n1(mod11). Busquemos entonces el 1 y el -1.

El 1 lo encontramos en 20 y el -1 en 25. Por tanto, los múltiplos de 11 son los de la forma 25(2r+1)+1 --con r=0,1,2. (El 2r+1 surge del hecho que 25k puede ser -1 o +1 dependiendo de si la k es impar o par, por ello se necesita que k sea impar.)

Los saluda

jmd

Ver también: 
Divisibilidad
Ver también: 
Múltiplo (de un entero)