Iberoamericana 2009 P2

Problemas que aparecen en el Archivo de Enunciados.
Avatar de Usuario
Matías V5

Colaborador-Varias OFO - Jurado-OFO 2015 OFO - Jurado-OFO 2016 FOFO 6 años - Jurado-FOFO 6 años OFO - Jurado-OFO 2017
OFO - Jurado-OFO 2018 OFO - Jurado-OFO 2020 OFO - Jurado-OFO 2021
Mensajes: 1114
Registrado: Dom 17 Oct, 2010 4:44 pm
Medallas: 8
Nivel: Exolímpico

Iberoamericana 2009 P2

Mensaje sin leer por Matías V5 »

Para cada entero positivo [math], definimos [math], donde [math] es el mayor entero tal que [math]. Determinar cuáles son los enteros positivos que no aparecen en la sucesión [math].
We gave you a start so you'd know what to do
You've seen how it works, now it's over to you (...)
For there's so much more to explore!

Numberblocks - https://www.youtube.com/watch?v=KzTR72_srTU
Avatar de Usuario
Violeta

OFO - Mención-OFO 2017 FOFO 7 años - Medalla Especial-FOFO 7 años OFO - Medalla de Bronce-OFO 2018 FOFO 8 años - Mención Especial-FOFO 8 años OFO - Medalla de Plata-OFO 2019
Mensajes: 405
Registrado: Sab 04 Jun, 2016 11:50 pm
Medallas: 5
Ubicación: Puerto Rico

Re: Iberoamericana 2009 P2

Mensaje sin leer por Violeta »

Spoiler: mostrar
Primero probamos que si [math] y [math], entonces [math].

Basta con probar los extremos solamente, ya que es obvio que si [math].

Partamos el problema en probar cuatro desigualdades:

i) [math]

ii) [math]

iii) [math]

iv) [math]

Demostraciones:

i) Dividiendo ambos lados por [math] se llega a tener que probar que [math], que es cierto para [math]. No lo voy a proba, queda de ejercicio.

ii) Dividiendo por [math] queremos probar que [math], pero como [math] sigue que [math].

iii) No es dificil ver que [math] para [math] de donde sigue el resultado inmediatamente (Se puede probar, pero no lo voy a hacer por vago :P )

iv) Dividiendo por [math] se tiene que hay que probar que [math], que es trivial porque [math].

Podemos ver con esto que entonces [math] si [math]. Si [math], entonces [math] y el valor que nunca se toca es [math], pues la sucesion [math] es estrictamente creciente. (Sé que pude haber dicho esto de una forma mas rigurosa pero tengo sueño y creo que se entiende mas o menos, la idea es que los [math] toman todos los valores que no son potencias de [math] mayores que [math].).

Ahora solo falta considerar los [math]. [math], [math]. Entonces, [math] nunca toma el valor de una potencia de [math], excepto [math].
Para todo [math], existen [math] primos en sucesión aritmética.
Responder