Cuarto problema, primero del segundo día, de la Olimpiada Matemática Española celebrada en Bilbao. Ahí va:
¿Existen infinitos enteros positivos que no pueden representarse de la forma
donde
son enteros positivos? Razona la respuesta.
A por él.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.
Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.
Y si los símbolos < y > te dan problemas al escribir en LaTeX, te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.
Tienes un 20% de descuento y envío gratis en toda la web de La Tostadora con al menos dos artículos. Usa el código GAUSSIANOS entrando con el enlace de la imagen.
Y usando el código REBAJAS tienes un 30% de descuento hasta el 8 de agosto con al menos 3 artículos.
Si quieres recibir los artículos de Gaussianos en tu mail haz click en la imagen.
Si tienes alguna duda, pregunta o sugerencia visita ForoGauss, nuestro foro (click en la imagen). Seguro que alguien te podrá ayudar
Únete a la iniciativa Yo construí el poliedro de Császár. Haz click en la imagen para conocer todo los detalles.
Y visita este set de Flickr para ver las construcciones de los lectores de Gaussianos.
Visita XRooMers, nuestro nuevo blog sobre escape rooms.
En él encontrarás reseñas e información sobre los juegos de escape que hemos realizado y podrás dar tu opinión sobre ellos y tus propias sugerencias.
Y no te pierdas nuestra clasificación: The XRanking.
Hmmm… todos son exponentes impares.
That’s souspicious!
Aish, no tengo tiempo para pensarlo, pero de todas maneras, los numeros entre 1 y 8 no se pueden representar.
Ahora, solo hay que buscar los otros infinitos!
Ragnos
El 5 sí con la trivial a=b=c=d=e=1
@JuanjoEscribano
¡Touché! No lo pensé mucho antes de decirlo.
🙂
¡Tengo curiosiudad por ver como se demuestra este!
Información Bitacoras.com…
Valora en Bitacoras.com: Cuarto problema, primero del segundo día, de la Olimpiada Matemática Española celebrada en Bilbao. Ahí va: ¿Existen infinitos enteros positivos que no pueden representarse de la forma donde son enteros positivos? Razona ……
Buenas, como dice Juanjo, el menor numero entero representable es 5 (Ya tenemos 4 para menos para llegar a oo). pero es que el siguiente mas pequeño es 12, siendo a=2, b=c=d=e=1, con lo que ya tenemos 6 mas que no son representables (6, 7, 8, 9, 10, 11). Solo con ir variando el valor de a, vamos obetniendo mas y mas numero, con lo que aunque lentamente, llegaremos a oo numeros. Seguramente se me escapa algo y no se escribirlo en lenguaje matematico por falta de conocimiento, pero me encantará leer las correcciones asi como la solucion final… Saludos…!!!… Lee más »
Intuitivamente parece bastante obvio, por una cuestión de granularidad. Si fijamos un número máximo M (por ejemplo M=10000), podemos calcular, para cada exponente, cuántos números dan lugar a una potencia menor o igual que M (en este caso 21,6,3,2,2). Multiplicando los cinco resultados obtenemos el número de posibles combinaciones que dan lugar a una suma menor o igual que M (en este caso 21x6x3x2x2=1512). En realidad habrá menos, ya que habrá sumas que den el mismo resultado y otras que sumen más de M. Restando de M obtenemos el número mínimo de números que quedan sin cubrir. En el ejemplo,… Lee más »
Imaginemos un entero primo cualquiera x, y tomamos el siguiente numero:
(x^(3x5x7x11))^3+(x^(9x7x11))^5+(x^(5x9x11))^7+(x^(5x7x11))^9+(x^(5x7x9))^11+1
Este no seria un conjunto infinito de numeros que cumpla con la condicion que se pregunta en el problema? Tal vez, este simplificandolo demasiado…..
Paul, ¿por qué?
golvano, en efecto la solución oficial es así, en concreto toma como exponente el producto 3·5·7·9·11.
Me he perdido.
La solución es así ¿cómo? ¿El exponente de qué?
Golvano,
Como dije antes, no se si este bien. lo que hice fue construir un numero, con un numero primo «x» de la siguiente forma:
x^(3*m)+x^(5*n)+x^(7*p)+x^(9*q)+x^(11*r)+1, donde 3*m=5*n=7*p=9*q=11*r, donde m=mcm(3,5,7,9,11)/3, n=mcm(3,5,7,9,11)/5, p=mcm(3,5,7,9,11)/7, q=mcm(3,5,7,9,11)/9 y r=mcm(3,5,7,9,11)/11. De esta forma, lo unico que daria por demostrar es si ese numero puede ser escrito de tal forma que existan 5 numeros a, b, c, d y e, tal que a^3+b^5+c^7+d^9+e^11=5m^(mcm(3,5,7,9,11))+1. De no haber tales a, b, c, d y e, entonces la respuesta al problema seria «si»
Correccion…. en la ultima igualdad, al comienzo del termino de la derecha no es «5m» es «5x»
Ya, claro. Eso es la parte fácil.
¿Pero por qué no pueden existir 5 números enteros que cumplan eso para un cierto x primo? Yo no veo una razón sencilla. ¿Por qué has construido el número así? Alguna idea tendrías…
Simplificándolo para dos números, la ecuación
con x primo, sí que tiene solución: a=2, b=5, x=2
¿Por qué para cinco números es distinto?
Como se ha hecho notar en comentarios anteriores, al ser enteros positivos, el valor mínimo de a, b, c, d y e es 1. Luego entonces, si para cada valor de a (entero y positivo), existe un Si hacemos y Tomando , puesto que y Para cada a existen (al menos) valores , , imposibles de representar con la ecuación Como a puede crecer arbitrariamente se concluye que existen infinitos enteros que no se pueden representar de esta forma. Nota: Sólo se ha señalado un reducido intervalo de valores imposibles de representar. Para b , c , d y e… Lee más »
muy chulo. Si hubieran cogido la suma:
a^3+b^5+c^7+d^9+e^11+f^13+g^15
Golvano ya no lo hubiera podido demostrar…
Vicente, creo que te equivocas, por ejemplo
5**3+1+1+1+1 = 129
y
1+1+2**7+1+1 = 132
siendo 132-129 =3 < 4
Yo veo dos fallos en esa demostración.
Uno, que sólo compara entre cubos consecutivos, y dos, que lo que importa no es que la suma de las otras potencias sea mayor o igual que cuatro. Lo que importa es la diferencia entre esa suma y la diferencia entre los cubos. Lógicamente, un número mayor o igual que cuatro y otro mayor o igual que siete pueden ser muy parecidos entre ellos.
Tienes razón rtomas, me dejé llevar por una falsa intuición, una disculpa.
Yo lo queria demostrar inspirado en la Conjetura de Catalan (las unicas potencias consecutivas son 2^3 y 3^2). Asi si demostramos que no existen dos M consecutivos
(sea M cualquier numero tal que a^3+b^5+c^7+d^9+e^11 = M)
habriamos demostrado el enunciado. Pero demostrar esto debe ser incluso mas dificil que demostrar la conjetura de Catalan (que costo 158 anyos probarla) asi que lo dejo en conjetura: No existen M consecutivos.
Sea
definida por 
Creo que el siguiente de un elemento de la forma
es 
, ¿qué opináis vosotros? de ser cierto, habría infinitos «huecos» de 
números que no se pueden representar en la forma indicada.
He intentado probarlo aplicando el teorema del valor medio… pero no tengo más tiempo para seguir pensando.
Adjunto un documento donde aparece ordenado el conjunto
. Donde se observa la afirmación que he realizado en mi comentario anterior.
https://www.dropbox.com/s/3d52np2u05uzi6m/Problema%20infinitos.pdf
RB, me gusta tu conjetura pero es facil de rebatir, un ejemplo:
f(24,8,6,4,4)-f(1,1,9,1,1) = 3
Para la mia de mas arriba no he encontrado ningun contraejemplo…
contiguos no parece haber ninguno
rtomas, el ejemplo que pones no es de la forma
. Cuando afirmo que el siguiente del elemento 
es el elemento 
, lo que quiero decir es que entre 
y 
no hay ningún otro número 
. Y como entre esos dos elementos hay 
números, éstos no se pueden representar. Por tanto, habría infinitos huecos de 
elementos sin representar.
Si observas el documento que adjunté en mi comentario anterior parece que es cierta esta afirmación.
RB,
f(1,1,9,1,1) no es de la forma f(1,b,c,d,e)????
pues que condiciones pones en b,c,d,e?
Si fuera de la forma verias que f(24,8,6,4,4) aparece antes que f(2,1,9,1,1)
Cierto rtomas, disculpa!! lo que si parece ser cierto es lo que decías, que contiguos ni hay…
entre tanto he pensado que igual querias decir con b,c,d,e diferentes entre si,
pero bueno tampoco:
f(49, 40, 16, 11, 7) – f(1,86,3,5,2) =2
que son los primeros que encuentro a distancia de 2.
Habra consecutivos?
Fin de la conjetura. Hay consecutivos:
f(2736, 6,1,1,1)=20480872035
f(12, 23, 20, 13, 8 )=20480872036
La unica demostracion posible es la de Golvano!
Qué pena, he encontrado dos grupo con diferencia 0:
f(3,1,3,1,1)=2217=f(2,2,2,1,2)
Como dato curioso las sumas a+b+c+d+e de ambos grupos también son iguales.
JJGJJG, muy curioso!
Muy bien rtomas y JJGJJG. También
y
Algo sencillo de probar es que si
entonces
(basta tomar clases de resto módulo
y aplicar el pequeño teorema de Fermat).
¿Sencillo @RB? Tenemos una suma de diferentes potencias con exponentes no necesariamente primos -9 no lo es- (ni tampoco dice el problema que sean coprimos con la base), con lo que no se puede aplicar el pequeño teorema de Fermat por las condiciones del mismo. Aparte, si se pudiera, saldrían sumandos congruentes modulo 3, 5, 7, 9, 11 respectivamente a cada uno de los cinco sumandos, no solamente módulo 3.
featuring si tomas clases módulo
y aplicas el pequeño teorema de Fermat, observa lo que se obtiene:
Por tanto,
.
En general,![\left[n^{2k+1}\right]=[n]](https://s0.wp.com/latex.php?latex=%5Cleft%5Bn%5E%7B2k%2B1%7D%5Cright%5D%3D%5Bn%5D&bg=ffffff&fg=000000&s=0 "\left[n^{2k+1}\right]=[n]")
. Ya que ![\left[n^{2k+1}\right]=\left[n^{2k-1}\right]\left[n\right]^2](https://s0.wp.com/latex.php?latex=%5Cleft%5Bn%5E%7B2k%2B1%7D%5Cright%5D%3D%5Cleft%5Bn%5E%7B2k-1%7D%5Cright%5D%5Cleft%5Bn%5Cright%5D%5E2&bg=ffffff&fg=000000&s=0 "\left[n^{2k+1}\right]=\left[n^{2k-1}\right]\left[n\right]^2")
de donde se puede aplicar inducción.
Si utilizamos los n primeros números enteros podremos construir n^5 sumas diferentes (variaciones con repetición de n elementos tomados cinco a cinco).
Los números obtenidos de dichas sumas son iguales o menores que n^3+n^5+n^7+n^9+n^11. Aunque todas las sumas fueran diferentes nos quedarían n^3+n^5+n^7+n^9+n^11-n^5=n^3+n^7+n^9+n^11 huecos.
Cuando n tiende a infinito n^3+n^7+n^9+n^11 también tiende a infinito que era lo que queríamos demostrar.
@RB: También se cumple para módulo 2, obviamente, y por tanto para módulo 6.
@JJGJJG: Creo que tu demostración está al revés. Parece lo mismo, pero no lo es. Cuando dices «los números obtenidos de dichas sumas son iguales o menores que», eso es verdad, pero no son los únicos (puedes escoger una base mayor que n para el primer sumando y una menor para el último, por ejemplo, y obtener un número menor), y por lo tanto no puedes asegurar que existan los huecos.
Golvano, si eliges una base mayor que n para el primer sumando por ejemplo m, aumenta el número de huecos potenciales porque ahora el numero máximo de sumas distintas a considerar es m^5 y el número de sumas posible será m^3+m^5+m^7…. con lo que estamos en el caso anterior. Siempre que acepte utilizar un número mayor que el nuevo m sucederá lo mismo, y cuando m crezca ilimitadamente el número de huecos crecerá ilimitadamente. En el supuesto teórico de que pueda ir cerrando huecos anteriores aumentando m iré abriendo muchos más con cada incremento.
Creo que no entiendes lo que quiero decir. Si cogemos, por ejemplo, n=2, según tu demostración, solamente se cubrirían 32 números () de los 2728 primeros (() y quedarían 2696 sin cubrir. Pero eso no es así. En el documento que compartió RB se puede ver que se cubren muchos más (más de 100). Eso es así porque, por ejemplo, f(3,1,1,1,1) es 31, que es mucho menor que 2728, y no lo has contado en los 32. Puedes aumentar la base del primer sumando sin aumentar la de los otros, y eso no hace que aumente el número de huecos… Lee más »
Si cogemos n=2 no podemos tomar como contraejemplo poner 3 como primer sumando. No es lo que plantea mi razonamiento. Lo que sí dice es que si admitimos el 3 pasamos a una nueva situación en la que las sumas posibles son 3^5=243 y los números a cubrir son 3^3+….+3^11=199260 con lo que, aunque podamos haber rellenado algunos huecos de los 2696 primeros, hemos generado más de 199000 huecos nuevos, y esa generación de huecos va siendo cada vez más desproporcionada al aumentar n con los que podamos ir rellenando. Insisto, cuando n tienda a infinito, el número de huecos… Lee más »
JJGJJG, creo que con problemas de infinitos hay que andarse con cuidado y se nos escapan sutilezas. Voy a poner un problema muy facil y parecido para que veas que tu razonamiento no ha de ser correcto necesariamente. A cada n natural le asignamos el conjunto de los numeros del 1 al n y (en solitario) el n^11. Cuantos numeros sin corresponder quedan? Evidentemente ninguno. Pero si aplicamos tu razonamiento: Considerando todos las correspondencias hasta N, esta claro que el numero de huecos es N^11-N que tiende a infinito a medida que N tiende a infinito y en conclusion el… Lee más »
JJGJJG, lo que Golvano trata de decir es que no es cierto que el número de huecos
en el intervalo![[1,n^3+n^5+n^7+n^9+n^{11}]](https://s0.wp.com/latex.php?latex=%5B1%2Cn%5E3%2Bn%5E5%2Bn%5E7%2Bn%5E9%2Bn%5E%7B11%7D%5D&bg=ffffff&fg=000000&s=0 "[1,n^3+n^5+n^7+n^9+n^{11}]")
sea mayor o igual que
conjunto![f\left(\mathbb{N}^5\right)\cap [1,n^3+n^5+n^7+n^9+n^{11}]](https://s0.wp.com/latex.php?latex=f%5Cleft%28%5Cmathbb%7BN%7D%5E5%5Cright%29%5Ccap+%5B1%2Cn%5E3%2Bn%5E5%2Bn%5E7%2Bn%5E9%2Bn%5E%7B11%7D%5D&bg=ffffff&fg=000000&s=0 "f\left(\mathbb{N}^5\right)\cap [1,n^3+n^5+n^7+n^9+n^{11}]")
pero en lugar de tomar el cardinal de ese conjunto estás tomando el cardinal de
como dices es menor o igual a
.
Como
es desconocido, no puedes afirmar que
En primer lugar veo con claridad la falta de rigor de mi razonamiento expuesta por rtomas.
En segundo lugar, y más importante, me ha obligado a leer con más atención la solución de golvano en el sexto comentario y que, en mi afán de encontrar mi propia solución, había mirado solo por encima. Quizás no sea la única posible pero la encuentro impecable y sencilla de entender.
yo tambien me rompi los cascos buscando otras soluciones…
Yo también he intentado encontrar otra solución, pero no he podido, 🙁
Tengo curiosidad que otras soluciones habrán dado los concursantes.
Con el primer comentario de Golvano, mi primer comentario y algo de suerte creo que he llegado a una solución, por favor revisenla: imaginemos este numero: x^(3p)+x^(5q)+x^(7r)+x^(9s)+x^(11t) donde x es un numero cualquiera, p=3*5*7*11, q=7*9*11, r=5*9*11, s=5*7*11 y t=5*7*9. Este numero sera igual a 5*x^(5*7*9*11). Tratando de calcular las posibles combinaciones de numeros que cumplan con la condicion a^3+b^5+c^7+d^9+e^11<=5*x^(5*7*9*11), me di cuenta de que se tienen que cumplir las siguientes condiciones para que cada sumando no sobrepase el resultado que quiero obtener: a<x^(p+1), b<x^(q+1), c<x^(r+1), d<x^(s+1) y e<x^(t+1). Esto implica que el numero de de digitos "Dsi" que cumplen con… Lee más »
Correccion en mi comentario anterior:
Dsi=5*x^(5*7*9*11)-Dno > 5*x^(5*7*9*11)-x^(3*5*7*11+7*9*11+5*9*11+5*7*11+5*7*9+5)
Creo que la respuesta es muy sencilla con sólo conocer el teorema siguiente. Las únicas potencias cuya diferencia es 1 (abs((a^b-c^d) = 1) son 3^2 – 2^3. La presencia de exponentes deistintos del 2 y del 3, en la suma de potencias positivas en cuestión, garantiza, incluso si hubieran sólo dos sumandos, que infinitos números naturales no sean representados, puesto que 1, que es la diferencia entre dos números naturales sucesivos infinitas veces, solo puede darse entre cuadrados y cubos. Así de sencillo me parece a mí. Si se sabe el teorema este. Si no se sabe el teorema, es… Lee más »
O en otras palabras que dos valores de la función sean consecutivos es una excepción que no interesa resolver para demostrar el caso. Podría incluso ocurrir que hubieran infinitos pares de valores de la función (no lo sé) que fueran consecutivos, al igual que se cree que hay infinitos primos gemelos que distan sólo 2 unidades uno de otro; pero ello no cubre todos los primos, al igual que esta función es incapaz también de cubrir todas y cada una de las distancias unidad que hay entre cada dos enteros sucesivos.
Ese teorema ya lo mencionó alguien, pero no se llegó a nada. A lo mejor si nos explicas cómo deducir la solución a partir de él…
Es curiosa la frase «incluso si hubieran sólo dos sumandos». Cuantos más sumandos, más difícil es que queden infinitos números sin cubrir, no al revés.
Si quieres formar todos los números del 1 al x (x entero positivo) de dicha suma solo puedes usar los números del 1 al x para
dado que para un número mayor la suma da un número mayor a x.
Por lo que una cota para los números posibles máximos que se pueden usar para cada variable son:
para
para
para
para
para
por lo que el número de combinaciones no puede exceder el siguiente número:
Lo que es menor que x por lo que existen infinitos números que no se pueden representar por esa suma.
capisci?
¡Vaya! Felicidades JJGJJG, me ha gustado mucho tu solución.