Unos días después de terminar el plazo para el envío de respuestas os traigo la solución del Desafíos GaussianosyGuijarro – Desafío nº 9: Una sucesión muy particular y, por tanto, del ganador de El número en la Naturaleza. Matemáticas y comprensión de la realidad observable, 1.
Se han recibido 45 respuestas, de las cuales 16 eran correctas. A continuación recordamos el enunciado del problema y dejamos la solución de Antonio Rojas, que fue quien nos lo propuso:
Definimos la siguiente sucesión de números enteros,
, de forma recurrente:
Este noveno desafío consiste en responder correctamente a estas dos cuestiones:
1) Demostrar que para todo número entero
existen infinitos números enteros positivos
tales que
.
2) Hallar el menor entero positivo
tal que
.
La solución propuesta por Antonio es la siguiente:
La definición por recurrencia de la sucesión sugiere que se intente demostrar por inducción y, de hecho, muchas de las respuestas obtenidas intentan resolverlo así. Sin embargo, en este caso es mucho más directo razonar en base . Sabemos que todo número entero positivo
puede escribirse de manera única en base
, es decir, en la forma
donde ,
y
ó
para todo
. Teniendo en cuenta que
si
es par y
ó
(lo cual es evidente si
y por definición de la sucesión
si
) tenemos que
es decir, no es más que la suma alternada de las cifras de
en base
o, dicho de otra forma, el número de unos en posición impar menos el número de unos en posición par (empezando a contar desde la última cifra).
A partir de aquí es fácil responder a las preguntas planteadas:
- para cada entero
existen infinitos
tales que
: basta tomar como
cualquier número que en base
tenga la forma
(con
unos) seguido de un número par de ceros si
es positivo, la forma
(con
unos) seguido de un número impar de ceros si
es negativo, o
seguido de un número par de ceros si
.
- También se deduce que el menor
tal que
debe tener, como mínimo,
cifras en base
(puesto que debe tener al menos
unos en posición impar), y el único con
cifras que lo cumple es el que no tiene ningún uno en posición par, es decir, el número
que tiene
cifras en base
.
Comentarios sobre las soluciones
Básicamente se han recibido dos tipos de soluciones:
- Por un lado las que usan un argumento parecido al anterior, posiblemente con alguna variación (como usar base 4 en vez de base 2). De entre ellas destacamos las de José Antonio Prado Bassas (@eliatron), Massimo Milesi, José Antonio Rama López y Romeo.
- Por otra parte están las soluciones por inducción: algunas de éstas son incompletas, pues aunque se llega al resultado correcto para el menor
tal que
, no se demuestra que ése es en efecto el menor. De entre las correctas destacamos las de Felix Gimeno y Enric Tamarit.
- Y para finalizar destacar especialmente la solución de Miguel Capitán Ruiz quien, además de resolver el problema de las dos formas, con tablas numéricas incluidas, nos ofrece un entretenido relato detectivesco.
Y el ganador de este desafío ha sido, curiosamente, el propio Miguel Capitán Ruiz (los sorteos son así de caprichosos), que pronto recibirá El número en la Naturaleza. Matemáticas y comprensión de la realidad observable, 1. Enhorabuena.
Muchas gracias a todos por participar.
En pocos días habrá nuevo desafío, el décimo. Estad atentos.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Pues ahora que lo pienso no se si estaré entre los acertantes, supongo que sí, ya que mi metodo calculaba la forma de obtener cada número natural (el primero de forma implicita). Lo cierto es que no me preocupé en absoluto en demostrar que para a(n)=1000, el valor de ‘n’ obtenido era el menor. Aunque creo que quedó implicito, yo entiendo que el segundo punto pide «Hallar el valor», y no pide «Demostrar». Tal vez sólo sea un problema mío, y no se si lo compartis los demás. Pero para futuros problemas me gustaría aclararlo antes. Aunque ahora que lo… Lee más »
Información Bitacoras.com…
Valora en Bitacoras.com: Unos días después de terminar el plazo para el envío de respuestas os traigo la solución del Desafíos GaussianosyGuijarro – Desafío nº 9: Una sucesión muy particular y, por tanto, del ganador de El número en la Nat……
Por un poco más se podía haber puesto la lista de respuestas consideradas acertadas, 8-9 nombres más, y así uno sabe si dio o no; porque el índice de aciertos ha sido muy bajo.
También pienso que no se pedía demostrar.
En realidad decía «hallar el mínimo n tal que a(n) = 1000». Pero ¿cómo estamos seguros de que el n que hallamos es el mínimo? Para ello hay que demostrar que es el mínimo. Al menos yo lo entendí así.
Mira que fácil lo hizo Antonio Rojas y yo me reventé la cabeza dándole vueltas al asunto. Por eso algunos son genios y otros sólo admiramos de lejos.
Y la mía esta destacada porque salió bien todo, o porque estuvo dentro de intentos parecidos a la de Rojas.
¿Es muy complicado ver las otras demostraciones?
Yo no sé si lo hice bien o mal (el planteamiento seguro que es correcto, pero algun error se puede escapar en el intermedio) pero el nº lo obtuve de manera constructiva, por lo que era el menor sin duda.
Romeo, te dejo mi solución si te interesa. Creo que Diamond ya tiene bastante en mantener la página para publicar todas las respuestas. Además no se como las mandais vosotros, pero yo lo hice en word, y eso no se traslada directamente a texto plano o a latex para pegarlo aquí fácilmente. Esta bien comentarlas las soluciones, por un lado se aprende de los errores y por otro se descubren otros puntos de vista. Saludos 1. Dado un a(n) = k se tiene que todo término de la forma a(4cn) = k, siendo c un número natural (me parece trivial,… Lee más »
Yo también envié mi respuesta por Word, es más fácil manejar aquel editor de ecuaciones que el latex. Lástima que no se puedan colgar archivos en el blog. De todos modos sigue siendo muy bueno este lugar de encuentro. Siguen mis felicitaciones para aquellos que hacen que esto sea posible. Genial tu aporte de 4n+1, siendo n el término anterior en la sucesión de números enteros positivos. Ni cuenta me había dado de eso :(. Tampoco se me ocurrió nunca utilizar la base 4, ni la base 2. Yo en lugar de usar 4n+1, use la idea de que par… Lee más »
El tema de publicar las respuestas es algo de lo que se ha hablado ya por aquí en alguna ocasión. Os aseguro que a mí me encantaría poder publicar todas las respuestas correctas (y esencialmente distintas) que habéis enviado, pero por desgracia no tengo tiempo suficiente. Como bien dice Cartesiano Caótico, el mantenimiento del blog lleva su tiempo, y además las soluciones son enviadas de todas las formas que os podéis imaginar: en doc (con las fórmulas con el editor de ecuaciones o similar), en pdf (creado a partir de LaTeX), en un archivo de imagen (que muchas veces corresponde… Lee más »
esta web es genial, yo estoy empezando mi proyecto web de matemáticas y la verdad que os visito muchas veces y estoy anotando ideas.
un fuerte saludo.
Por supuesto que se comprende gaussianos. Gran laburo el tuyo y gracias por hacerlo.
Es una sugerencia. En este desafío me ha sorprendido el bajo porcentaje de aciertos.
Creo que hubiera sido muy interesante hacer alguna mención genérica de los errores más habituales.
Suelo aprender más de mis errores que de los aciertos de los demás.
¿Cómo puedo saber al menos si mi solución era correcta o no?
julio, le pasé el otro día tu sugerencia a Antonio Rojas. Esperemos a que tenga un rato libre para ver si considera interesante contarnos algo.
Fomlhaut, en principio prefiero no contestar individualmente a quienes enviáis soluciones, ya que ello conlleva mucho trabajo, no por contestar en sí, sino porque luego podría ser razonable que quien envió una respuesta incorrecta preguntara por las razones por las que no lo es, etc. Espero que lo comprendas. Muchas gracias.
Quizá Fomlhaut hacía referencia a hacer un listado completo de los que respondieron bien, por descarte quienes no están allí no respodieron bien.
julio: La mayor parte de las respuestas consideradas «no válidas» ha sido por incompletas, no por erróneas. El fallo más frecuente, con diferencia, es dar por supuesto sin justificación que la sucesión b(k+1)=4b(k)+1 nos da el menor índice tal que a(b(k))=k (teniendo en cuenta que la sucesión va oscilando entre valores positivos y negativos esto no es evidente). Otras respuestas olvidaban probar la parte (a) para valores negativos de k. Igual en un examen esto habría supuesto unas décimas menos, pero aquí no me parecía justo para los que sí lo han resuelto por completo el dar estas respuestas incompletas… Lee más »
Muchas gracias Antonio. Considero muy acertado tu criterio, es justo. Nada que reprochar. Soy de los que no argumentó debidamente el tema.
[…] la solución que os traigo hoy para el noveno desafío GyG. La envió Miguel Capitán, que además resultó ser el ganador de dicho desafío. Por todo lo que hemos comentado antes creo que merece ocupar un post ella […]