Entrenamiento Cono 2018 P34

Problemas que aparecen en el Archivo de Enunciados.
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

Entrenamiento Cono 2018 P34

Mensaje sin leer por Joacoini »

Determinar el menor entero positivo $n$ tal que para toda coloración de los elementos del conjunto $\{2, 3,...,n\}$ con dos colores, la ecuación $x+y=z$ tiene una solución monocromática con $x\neq y$. (Decimos que la ecuación $x+y=z$ es monocromática si existen $a$, $b$, $c$ distintos, del mismo color, tales que $a+b=c$.)
NO HAY ANÁLISIS.
Matías

OFO - Medalla de Bronce-OFO 2016 OFO - Medalla de Bronce-OFO 2017 FOFO Pascua 2017 - Medalla-FOFO Pascua 2017 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 COFFEE - Mención-COFFEE Ariel Zylber
Mensajes: 206
Registrado: Mar 06 Oct, 2015 7:59 pm
Medallas: 8
Nivel: 3

Re: Entrenamiento Cono 2018 P34

Mensaje sin leer por Matías »

Spoiler: mostrar
Sean $\epsilon_1$ y $\epsilon_2$ los colores.
Consideremos la función $f:\{2,3,\ldots,12\}\rightarrow\{\epsilon_1,\epsilon_2\}$ tal que
$f(2)=f(3)=f(4)=f(11)=f(12)=\epsilon_1$
$f(5)=f(6)=f(7)=f(8)=f(9)=f(10)=\epsilon_2$
Para esta coloración de los elementos de $\{2,3,\ldots,12\}$ no existe una solución monocromática de $x+y=z$ con $x\neq y$ (y si $n<12$ también podemos aplicar la función y no va a haber solución) por lo tanto debe ser $n\geq 13$.

Ahora vamos a demostrar que si $n=13$ para toda coloración de $\{2,3,\ldots,13\}$ existe una solución monocromática de $x+y=z$ con $x\neq y$. Supongamos que existe una coloración sin solución. Supongamos sin pérdida de generalidad que $f(2)=\epsilon_1$.
-si $f(3)=f(4)=\epsilon_1$
Spoiler: mostrar
$f(5)=\epsilon_2$ (ya que sino $f(2)=f(3)=f(5)$)
$f(6)=\epsilon_2$ (ya que sino $f(2)=f(4)=f(6)$)
$f(7)=\epsilon_2$ (ya que sino $f(3)=f(4)=f(7)$)
$f(11)=\epsilon_1$ (ya que sino $f(5)=f(6)=f(11)$)
$f(13)=\epsilon_1$ (ya que sino $f(6)=f(7)=f(13)$)
Pero entonces $f(2)=f(11)=f(13)$ (absurdo).
-si $f(3)=\epsilon_1$ y $f(4)=\epsilon_2$
Spoiler: mostrar
$f(5)=\epsilon_2$ (ya que sino $f(2)=f(3)=f(5)$)
$f(9)=\epsilon_1$ (ya que sino $f(4)=f(5)=f(9)$)
$f(6)=\epsilon_2$ (ya que sino $f(3)=f(6)=f(9)$)
$f(11)=\epsilon_1$ (ya que sino $f(5)=f(6)=f(11)$)
Pero entonces $f(2)=f(9)=f(11)$ (absurdo).
-si $f(3)=\epsilon_2$ y $f(4)=\epsilon_1$
Spoiler: mostrar
$f(6)=\epsilon_2$ (ya que sino $f(2)=f(4)=f(6)$)
$f(9)=\epsilon_1$ (ya que sino $f(3)=f(6)=f(9)$)
$f(5)=\epsilon_2$ (ya que sino $f(4)=f(5)=f(9)$)
$f(11)=\epsilon_1$ (ya que sino $f(5)=f(6)=f(11)$)
Pero entonces $f(2)=f(9)=f(11)$ (absurdo).
-si $f(3)=f(4)=\epsilon_2$
Spoiler: mostrar
$f(7)=\epsilon_1$ (ya que sino $f(3)=f(4)=f(7)$)
$f(5)=\epsilon_2$ (ya que sino $f(2)=f(5)=f(7)$)
$f(9)=\epsilon_1$ (ya que sino $f(4)=f(5)=f(9)$)
Pero entonces $f(2)=f(7)=f(9)$ (absurdo).
Por lo tanto concluimos que el menor número natural es $n=13$.
1  
Responder