Maratón de Problemas

Avatar de Usuario
Emerson Soriano

OFO - Mención-OFO 2015 OFO - Medalla de Oro-OFO 2016 OFO - Medalla de Plata-OFO 2017 OFO - Medalla de Bronce-OFO 2018 OFO - Mención-OFO 2020
OFO - Medalla de Plata-OFO 2022
Mensajes: 826
Registrado: Mié 23 Jul, 2014 10:39 am
Medallas: 6

Re: Maratón de Problemas

Mensaje sin leer por Emerson Soriano »

Solución al Problema 263.
Spoiler: mostrar
Hacemos [math]. Entonces [math]. Haciendo [math], tenemos que [math] es múltiplo de [math]. Entonces, [math]. Con [math] suficientemente grande, es claro que esos tres factores son distintos y además son menores que [math]. Por lo tanto, [math] es divisible por el producto de esos tres factores.
Avatar de Usuario
MateoCV

OFO - Medalla de Bronce-OFO 2016 FOFO 6 años - Medalla Especial-FOFO 6 años OFO - Medalla de Oro-OFO 2017 FOFO Pascua 2017 - Medalla-FOFO Pascua 2017 FOFO 7 años - Medalla Especial-FOFO 7 años
OFO - Medalla de Plata-OFO 2018 FOFO 8 años - Jurado-FOFO 8 años OFO - Jurado-OFO 2019 FOFO Pascua 2019 - Jurado-FOFO Pascua 2019 FOFO 9 años - Jurado-FOFO 9 años
OFO - Jurado-OFO 2020 COFFEE - Jurado-COFFEE Iván Sadofschi FOFO 10 años - Jurado-FOFO 10 años OFO - Jurado-OFO 2021
Mensajes: 255
Registrado: Vie 18 Dic, 2015 12:35 am
Medallas: 14
Nivel: Exolímpico
Ubicación: Córdoba

Re: Maratón de Problemas

Mensaje sin leer por MateoCV »

264?
$2^{82589933}-1$ es primo
Avatar de Usuario
Emerson Soriano

OFO - Mención-OFO 2015 OFO - Medalla de Oro-OFO 2016 OFO - Medalla de Plata-OFO 2017 OFO - Medalla de Bronce-OFO 2018 OFO - Mención-OFO 2020
OFO - Medalla de Plata-OFO 2022
Mensajes: 826
Registrado: Mié 23 Jul, 2014 10:39 am
Medallas: 6

Re: Maratón de Problemas

Mensaje sin leer por Emerson Soriano »

Problema 264.
Sea [math] el conjunto de todos los enteros positivos [math] tales que [math] divide a [math]. Determine si el conjinto [math] es finito o infinito.
Avatar de Usuario
jhn

OFO - Medalla de Plata-OFO 2018
Mensajes: 520
Registrado: Mié 10 Oct, 2012 3:25 pm
Medallas: 1
Nivel: Otro
Ubicación: Venezuela

Re: Maratón de Problemas

Mensaje sin leer por jhn »

Solución 264
Spoiler: mostrar
Es finito. Supongamos que [math] divide a [math]. Emtonces cada factor primo [math] de [math] satisface [math], y puede aparecer en [math] con exponente a lo sumo [math] Si [math] entonces [math] y [math] para [math], es decir que la potencia de [math] que divide a [math] es a lo sumo [math]. Por otra parte es fácil ver que el producto de los primos entre [math] y [math] cumple
[math]

Luego [math]
[math]

y [math] Pero [math] es un infinito de orden superior a cualquier exponencial [math], luego para [math] suficientemente grande la desigualdad anterior no se cumple y [math] no divide a [math].
Todo problema profana un misterio; a su vez, al problema lo profana su solución.
Avatar de Usuario
Emerson Soriano

OFO - Mención-OFO 2015 OFO - Medalla de Oro-OFO 2016 OFO - Medalla de Plata-OFO 2017 OFO - Medalla de Bronce-OFO 2018 OFO - Mención-OFO 2020
OFO - Medalla de Plata-OFO 2022
Mensajes: 826
Registrado: Mié 23 Jul, 2014 10:39 am
Medallas: 6

Re: Maratón de Problemas

Mensaje sin leer por Emerson Soriano »

265?
Avatar de Usuario
jhn

OFO - Medalla de Plata-OFO 2018
Mensajes: 520
Registrado: Mié 10 Oct, 2012 3:25 pm
Medallas: 1
Nivel: Otro
Ubicación: Venezuela

Re: Maratón de Problemas

Mensaje sin leer por jhn »

Problema 265
Los ciclistas 1,2,...,n comienzan una carrera en ese orden (1 delante de 2, 2 delante de 3, etc.). Durante la carrera cada ciclista adelanta a exactamente uno de sus compañeros. ¿En cuántos órdenes diferentes pueden quedar los ciclistas al terminar la carrera?
Todo problema profana un misterio; a su vez, al problema lo profana su solución.
Avatar de Usuario
jhn

OFO - Medalla de Plata-OFO 2018
Mensajes: 520
Registrado: Mié 10 Oct, 2012 3:25 pm
Medallas: 1
Nivel: Otro
Ubicación: Venezuela

Re: Maratón de Problemas

Mensaje sin leer por jhn »

Aclaraciones al problema 265

1) La pista de carreras es recta, y no circular como algunos podrían pensar.

2) La situación del problema es imposible para [math] (pues 1 no podría adelantar a nadie).

3) Pongamos [math] para indicar que el ciclista [math] adelanta al [math]. Entonces para [math]
la única posibilidad es que [math] y luego [math], quedando en el orden 1,2.

4) Para [math] hay dos posibilidades:
[math], [math] y [math], quedando en el orden 2, 1, 3.
[math], [math] y [math], quedando en el orden 1, 3, 2.

En este caso el primer adelanto no puede ser [math], pues sólo podría seguir [math] y 1 no podría adelantar a nadie.
Todo problema profana un misterio; a su vez, al problema lo profana su solución.
isavl

FOFO Pascua 2017 - Mención-FOFO Pascua 2017
Mensajes: 8
Registrado: Lun 03 Abr, 2017 10:14 pm
Medallas: 1
Nivel: Otro

Re: Maratón de Problemas

Mensaje sin leer por isavl »

SOLUCION PROBLEMA 265
Spoiler: mostrar
Si [math] tenemos que los órdenes posibles para los corredores son: [math], [math], [math], y [math], entonces tenemos [math] órdenes posibles, Definimos para [math], [math] como la cantidad de órdenes posibles al finalizar una carrera con [math] corredores, suponemos que [math], lo demostraremos por inducción fuerte.

El caso base para [math], y [math] funciona asi que supondremos [math] y que que se cumple para [math]. Probaremos que se cumple en una carrera de [math] corredores.

Tenemos [math] casos, si el corredor [math] queda de último, o si el corredor [math] queda de penultimo. Vemos que no hay mas casos ya que éste no puede ser adelantado por ningun corredor que el mismo no haya adelantado previamente, y solo puede adelantar a un corredor.

[math] Si el corredor [math] queda de penultimo, entonces adelantó a algún corredor que haya quedado de último en la carrera con [math] jugadores, y por hipotesis tenemos [math] órdenes posibles en este caso.

[math] Si el corredor [math] queda de último, entonces, si este adelanta a un corredor [math], este corredor [math] no puede haber adelantado a nadie previamente (para poder adelantar a [math]), y tiene que haber sido adelantado sucesivamente por los corredores [math]. Delante de [math] quedan [math] corredores, que no pueden ser adelantados por nadie [math], entonces sus órdenes posibles son [math]. Y como [math] puede ser cualquier número del [math] al [math] excepto el [math], entonces los órdenes posibles para este caso son [math]

Por lo tanto el total de órdenes posibles es [math]. Y el resultado queda demostrado por inducción. [math]
PROBLEMA 266
Sean [math]. Demostrar
[math]
Avatar de Usuario
MateoCV

OFO - Medalla de Bronce-OFO 2016 FOFO 6 años - Medalla Especial-FOFO 6 años OFO - Medalla de Oro-OFO 2017 FOFO Pascua 2017 - Medalla-FOFO Pascua 2017 FOFO 7 años - Medalla Especial-FOFO 7 años
OFO - Medalla de Plata-OFO 2018 FOFO 8 años - Jurado-FOFO 8 años OFO - Jurado-OFO 2019 FOFO Pascua 2019 - Jurado-FOFO Pascua 2019 FOFO 9 años - Jurado-FOFO 9 años
OFO - Jurado-OFO 2020 COFFEE - Jurado-COFFEE Iván Sadofschi FOFO 10 años - Jurado-FOFO 10 años OFO - Jurado-OFO 2021
Mensajes: 255
Registrado: Vie 18 Dic, 2015 12:35 am
Medallas: 14
Nivel: Exolímpico
Ubicación: Córdoba

Re: Maratón de Problemas

Mensaje sin leer por MateoCV »

Solución 266
Spoiler: mostrar
Por AM-GM tenemos [math] que es lo mismo que [math] (1)
Por AG-GM con [math] y [math] (que son positivos) tenemos que [math] (2)
Juntando (1) y (2) tenemos [math] (3)
HAciendo AM-GM otra vez tenemos que [math]
Pero por (3) [math] y uniendo estas dos últimas desigualdades obtenemos la desigualdad buscada
Problema 267
Sean [math] reales positivos tales que [math]. Probar que:
[math]
$2^{82589933}-1$ es primo
Avatar de Usuario
Emerson Soriano

OFO - Mención-OFO 2015 OFO - Medalla de Oro-OFO 2016 OFO - Medalla de Plata-OFO 2017 OFO - Medalla de Bronce-OFO 2018 OFO - Mención-OFO 2020
OFO - Medalla de Plata-OFO 2022
Mensajes: 826
Registrado: Mié 23 Jul, 2014 10:39 am
Medallas: 6

Re: Maratón de Problemas

Mensaje sin leer por Emerson Soriano »

Solución al Problema 267.
Spoiler: mostrar
Lo que nos piden probar es equivalente a:
[math]

es decir, piden probar que
[math]


Como [math], [math], [math] son reales positivos menores que [math], entonces existen reales positivos [math], [math], [math] tales que [math], [math],
[math]. Así, [math]. Reemplazando estas nuevas variables, vemos que el equivalente de lo que nos piden probar es
[math]

En efecto, notemos que
[math]
que es a donde se quería llegar.
1  
Responder