La forma general de este tipo de número es $2^{15}3^{10}5^{6}x^{30}$ para todos los valores de $x$ .
Cuando $x=1$ este número es el producto de potencias de 2, 3 y 5 justo por debajo de algún número entero, por ejemplo $32768$ , $59049$ y $15625$ son las mayores potencias bajo, digamos $60,000$ .
El funcionamiento general para tal número es tratar las indeces por resto chino. Así, por ejemplo, si buscamos algo donde $N/2$ es cuadrado, $N/3$ es un cubo, y $N/5$ es una quinta potencia, observaríamos que, por ejemplo, es un producto de algunas potencias de 2, 3 y 5, por ejemplo $2^a 3^b 5^c$ .
Tenemos entonces que 2 divide $a-1, b, c$ , 3 divide a cada uno de $a, b-1, c$ y 5 divide a cada uno de $a, b, c-1$ . Obtenemos entonces que 15 divide a, 10 divide b y 6 divide c.
- Encontramos ahora un múltiplo de 15 que 2 divide a-1: resultado = $a=15$
- Encontramos entonces que 10 que 3 divide a b-1, resultan $b = 10$
- Encontramos un resultado donde 5 divide a c-1: resultado = $6$ .
Entonces observamos que todo número que es una potencia de 30, ya es un cuadrado, un cubo y una quinta potencia, es decir $x^{2 \cdot 3 \cdot 5} = x^{30}$ y, por tanto, si $N/2$ es cuadrado, también lo es $(N\cdot x^{30})/2$ también es cuadrado, y si $N/3$ es un cubo, también lo es $(N\cdot x^{30})/3$ y si $N/5$ es una quinta potencia, también lo es $(N\cdot x^{30})/5$ es cierto para todos $x$ .
En el ejemplo trabajado, incluimos una última fila, para todos los $x$ donde el poder de $x$ es un múltiplo de 2, 3, 5 y 7, y por lo tanto satisface todas las condiciones anteriores.
Si queremos seguir añadiendo $N/7$ como séptima potencia, entonces tendríamos que buscar algún conjunto donde $2 | (a-1, b, c, d) $ , $3 | (a, b-1, c, d)$ etc. Esto significa que, por ejemplo $b, c, d$ están igualados, $a, c, d$ son múltiplos de 3, etc. Aquí escribimos el módulo en forma de lista, donde el módulo se toma sobre el punto correspondiente de la función mod.
Lo vemos en la primera fila, $a$ debe dar un resto de 0, cuando se divide por 3, 5, 7, por lo que debe ser un múltiplo del producto de $3 \cdot 5 \cdot 7$ , lo que deja un remanente de $1$ cuando se divide por $2$ .
- a = 1, 0, 0, 0, mod(2, 3, 5, 7), es un múltiplo de 105, da $a=105$
- b = 0, 1, 0, 0, mod(2, 3, 5, 7), es un múltiplo de 70, da $b=70$
- c = 0, 0, 1, 0, mod(2, 3, 5, 7), es un múltiplo de 42, da $c=126$
- d = 0, 0, 0, 1, mod(2, 3, 5, 7), es un múltiplo de 30, da $d=120$
- e = 0, 0, 0, 0, mod(2, 3, 5, 7), es un múltiplo de 210, da $e=210$
Así que podemos escribir esto como $2^{105} 3^{70} 5^{126} 7^{120} x^{210}$ para todos los valores de $x$ . Tenga en cuenta que no es necesario escribir $x^{210y}$ ya que el rango de $x$ ya incluye $x^y$ .
0 votos
Me pregunto quién habrá utilizado esto en un concurso. Apareció como un ejercicio en el libro de Albert Beiler que popularizaba la Teoría de los Números en 1962 o así. Puede que no fuera nuevo ni siquiera entonces.
0 votos
Es un ejercicio de un libro llamado 'Bases de la Olimpiada Matemática', no del concurso en sí, creo que he etiquetado mal el 'concurso-matemáticas'. De todas formas ¿cómo se llama el libro del que salió este ejercicio?
0 votos
El libro donde lo vi es Recreaciones en la teoría de los números: la reina de las matemáticas entretiene, y la primera publicación fue en 1964.