Selectivo de IMO 2018 - Problema 5

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

Selectivo de IMO 2018 - Problema 5

Mensaje sin leer por Matías V5 »

Consideramos la sucesión $a_1,a_2,\ldots$ definida por$$a_n=\displaystyle \frac 1n\left (\left \lfloor \frac n1 \right \rfloor +\left \lfloor \frac n2\right \rfloor +\ldots +\left \lfloor \frac nn\right \rfloor \right )$$para todo entero $n\geq 1$.
a) Demostrar que $a_{n+1}>a_n$ para infinitos valores de $n$.
b) Determinar si $a_{n+1}<a_n$ para infinitos valores de $n$.

Aclaración. $\lfloor x\rfloor$ denota la parte entera del número $x$.
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
enigma1234

OFO - Medalla de Oro-OFO 2018 FOFO 8 años - Medalla Especial-FOFO 8 años OFO - Medalla de Plata-OFO 2019 FOFO Pascua 2020 - Copa-FOFO Pascua 2020 OFO - Medalla de Oro-OFO 2024
Mensajes: 211
Registrado: Sab 03 Jun, 2017 8:07 pm
Medallas: 5
Nivel: Exolímpico

Re: Selectivo de IMO 2018 - Problema 5

Mensaje sin leer por enigma1234 »

Spoiler: mostrar
Solución:
20180505_120829-1.jpg
20180505_120846-1.jpg
No tienes los permisos requeridos para ver los archivos adjuntos a este mensaje.
2  
Avatar de Usuario
Joacoini

OFO - Medalla de Plata-OFO 2018 FOFO 8 años - Medalla Especial-FOFO 8 años OFO - Medalla de Oro-OFO 2019 FOFO Pascua 2019 - Medalla-FOFO Pascua 2019 FOFO 9 años - Medalla Especial-FOFO 9 años
OFO - Medalla de Oro-OFO 2020 FOFO Pascua 2020 - Copa-FOFO Pascua 2020 FOFO 10 años - Jurado-FOFO 10 años OFO - Jurado-OFO 2021 FOFO 11 años - Jurado-FOFO 11 años
OFO - Jurado-OFO 2022 FOFO Pascua 2022 - Jurado-FOFO Pascua 2022 FOFO 12 años - Jurado-FOFO 12 años OFO - Jurado-OFO 2023 FOFO 13 años - Jurado-FOFO 13 años
OFO - Jurado-OFO 2024
Mensajes: 460
Registrado: Jue 12 Oct, 2017 10:17 pm
Medallas: 16
Nivel: Exolímpico
Ubicación: Ciudad Gotica

Re: Selectivo de IMO 2018 - Problema 5

Mensaje sin leer por Joacoini »

Inciso B
Spoiler: mostrar
Sea $S_n$ lo que esta entre paréntesis en el enunciado, si $j$ tiene $d$ divisores $S_j=S_{j-1}+d$ y como cada número mayor a $1$ tiene al menos 2 divisores $S_n\geq S_{n-1}+2$ (1).
$S_6>2\times 6$, por eso y (1) si $k$ es un natural mayor a $6$, $S_k>2k$
Sea $p$ un primo mayor a 6 (los cuales son infinitos), como solo tiene $2$ divisores $S_{p}=S_{p-1}+2$
$a_{p-1}=\frac{S_{p-1}}{p-1}$ y $a_{p}=\frac{S_{p-1}+2}{p}$
Como $p$ es mayor a $6$.
$S_p>2p$
Restamos $S_p$ en ambos lados.
$0>2p-S_p$
Sumamos $S_{p-1}p$ en ambos lados
$S_{p-1}p>S_{p-1}p+2p-S_p=S_{p-1}p+2p-S_{p-1}-2=(S_{p-1}+2)(p-1)$
Y terminamos dividiendo ambos lados por $p(p-1)$
$a_{p-1}=\frac{S_{p-1}}{p-1}>\frac{S_{p-1}+2}{p}=a_{p}$
NO HAY ANÁLISIS.
Nowhereman

FOFO 6 años - Mención Especial-FOFO 6 años
Mensajes: 65
Registrado: Mar 17 Mar, 2015 12:18 pm
Medallas: 1
Nivel: 3

Re: Selectivo de IMO 2018 - Problema 5

Mensaje sin leer por Nowhereman »

enigma1234 escribió: Sab 05 May, 2018 11:59 am
Spoiler: mostrar
Solución:20180505_120829-1.jpg
20180505_120846-1.jpg
Spoiler: mostrar
Me parece que no esta permitido usar limites en OMA
tuvie

Colaborador-Varias OFO - Medalla de Oro-OFO 2015 OFO - Medalla de Oro-OFO 2016 FOFO 6 años - Medalla Especial-FOFO 6 años OFO - Jurado-OFO 2017
FOFO 7 años - Jurado-FOFO 7 años OFO - Jurado-OFO 2018 FOFO 8 años - Jurado-FOFO 8 años OFO - Jurado-OFO 2019 FOFO Pascua 2019 - Jurado-FOFO Pascua 2019
OFO - Jurado-OFO 2020 FOFO Pascua 2020 - Jurado-FOFO Pascua 2020 OFO - Jurado-OFO 2021 OFO - Jurado-OFO 2022
Mensajes: 629
Registrado: Dom 09 Sep, 2012 11:58 am
Medallas: 14
Nivel: Exolímpico

Re: Selectivo de IMO 2018 - Problema 5

Mensaje sin leer por tuvie »

Nowhereman escribió: Sab 26 May, 2018 11:58 am
enigma1234 escribió: Sab 05 May, 2018 11:59 am
Spoiler: mostrar
Solución:20180505_120829-1.jpg
20180505_120846-1.jpg
Spoiler: mostrar
Me parece que no esta permitido usar limites en OMA
Spoiler: mostrar
Que use límite es algo anecdótico, fijate que lo único que necesita es que exista $n$ tal que $1+\frac{1}{2}+\ldots+\frac{1}{n}>c$. Eso es algo que se puede pensar y sale sin nada.

Más allá de eso, en mi opinión, es perfectamente válido usar limite. Lo que sí creo, es que cuando uno usa este tipo de cosas (como “matar a cuentas” un problema de geomtría, con complejos por ejemplo) quizás los jurados son más puntillosos con la corrección de la solución.
FabriATK

COFFEE - Mención-COFFEE Matías Saucedo OFO - Mención-OFO 2020 COFFEE - Mención-COFFEE Carolina González COFFEE - Mención-COFFEE Iván Sadofschi OFO - Medalla de Plata-OFO 2021
FOFO 11 años - Mención-FOFO 11 años OFO - Medalla de Plata-OFO 2022 FOFO Pascua 2022 - Mención-FOFO Pascua 2022 FOFO 12 años - Medalla-FOFO 12 años OFO - Medalla de Plata-OFO 2023
OFO - Jurado-OFO 2024
Mensajes: 60
Registrado: Mié 17 Abr, 2019 11:17 pm
Medallas: 11
Nivel: Exolímpico
Ubicación: Corrientes

Re: Selectivo de IMO 2018 - Problema 5

Mensaje sin leer por FabriATK »

No sé, me pareció re mágico:
Spoiler: mostrar
Sea $S_n = \left \lfloor \frac n1 \right \rfloor +\left \lfloor \frac n2\right \rfloor +\ldots +\left \lfloor \frac nn\right \rfloor $

Y observemos que, para todo $1 \leq i \leq n$, pasa que:
Si $i \nmid n+1 \Rightarrow \left \lfloor \frac {n+1}i \right \rfloor = \left \lfloor \frac ni \right \rfloor$

Si $i \mid n+1 \Rightarrow \left \lfloor \frac {n+1}i \right \rfloor = \left \lfloor \frac ni \right \rfloor + 1$

Sea $d(n)$ la cantidad de divisores positivos de $n$.
Por lo que dijimos antes(además de que se agrega el término $\left \lfloor \frac {n+1}{n+1} \right \rfloor $) tenemos que:
$S_{n+1} = S_n + d(n)$

Y como $S_1 = 1 = d(1)$ tenemos que:
$S_n = d(1) + d(2) +...+ d(n)$

Y con esto vamos a resolver los dos incisos:

Parte a):
Spoiler: mostrar
Queremos que $a_{n+1} > a_n$ para infinitos $n$

$\frac{d(1) + d(2)+...+d(n+1)}{n+1} > \frac{d(1) + d(2)+...+d(n)}{n}$

$(d(1) + d(2)+...+d(n+1))\times n > (d(1) + d(2)+...+d(n))\times (n+1)$

$n\times d(n+1) > d(1) + d(2)+...+d(n)$

$d(n+1) > \frac{d(1) + d(2)+...+d(n)}{n}$

Es decir que la cantidad de divisores de $n+1$ debe ser mayor al promedio de la cantidad de divisores de los números desde $1$ hasta $n$.
Sabemos que $d(n)$ no está acotada:
Spoiler: mostrar
Si $n = p_1^{x_1} \times p_2^{x_2}\times...\times p_k^{x_k} \Rightarrow d(n) = (x_1 + 1)\times (x_2+1)\times ... \times (x_k +1)$
Y si estuviese acotada, tomamos $q$ tal que $d(q)$ es máximo y $p$ primo tal que $p \nmid q$ y obtendremos que:
$d(p\times q) = d(q) \times 2 > d(q)$ absurdo.

y como no está acotada, podemos hacer lo siguiente:
Vamos a recorrer los enteros en orden de menor a mayor, uno por uno, desde el $1$ en adelante.
Como $d()$ no está acotada, habrán infinitos $k$ que cumplen que $d(k) > d(1), d(2),...,d(k-1)$
Es decir que para todos esos $k$ se cumple que $d(k) > \frac{d(1) + d(2)+...+d(k-1)}{k-1} \Rightarrow a_k > a_{k-1}$
Y estamos.
Parte b):
Spoiler: mostrar
Similar a la primer parte:
$a_{n+1} < a_n$ para infinitos $n$

$\frac{d(1) + d(2)+...+d(n+1)}{n+1} < \frac{d(1) + d(2)+...+d(n)}{n}$

$(d(1) + d(2)+...+d(n+1))\times n < (d(1) + d(2)+...+d(n))\times (n+1)$

$n\times d(n+1) < d(1) + d(2)+...+d(n)$

$d(n+1) < \frac{d(1) + d(2)+...+d(n)}{n}$

Es decir que la cantidad de divisores de $n+1$ debe ser menor al promedio de la cantidad de divisores de los números desde $1$ hasta $n$.
Sea $p$ cualquier primo.
Por definición, $d(p) = 2$
y necesitamos que
$2 < \frac{d(1) + d(2)+...+d(n)}{n}$

El único entero positivo que cumple que $d(k) < 2$ es $k = 1$
Pero veamos que
$\frac{d(1) + d(2) + d(3) +...+ d(6)}{6} > 2$
Y siempre que agreguemos un término más a la suma, este término será al menos $2$, así que el promedio nunca va a igualar ni bajar de $2$

Así que para todo primo $p >6$ se cumple que
$d(p) < \frac{d(1) + d(2)+...+d(p)}{p}$
$\Rightarrow a_p < a_{p-1}$
y estamos.
Responder