FOFO 8 años Problema 4

Problemas que aparecen en el Archivo de Enunciados.
Avatar de Usuario
Chino2000

OFO - Medalla de Plata-OFO 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 OFO - Jurado-OFO 2021
Mensajes: 43
Registrado: Mar 09 Dic, 2014 10:18 pm
Medallas: 9
Nivel: 1

FOFO 8 años Problema 4

Mensaje sin leer por Chino2000 »

$(a)$ Diremos que un conjunto de enteros positivos $A$ es flaco si todos sus elementos son distintos, y cada elemento divide a la suma de todos los elementos del conjunto $A$. Decidir si existe un conjunto flaco de $2018$ enteros positivos.
$(b)$ Diremos que un conjunto de enteros positivos $B$ es fofo si todos sus elementos son distintos, y para cada pareja $x$ e $y$ de elementos distintos de $B$, se cumple que $x+y$ divide a la suma de todos los elementos de $B$. Decidir si existe un conjunto fofo de $2018$ enteros positivos.
No lo olvides: el 49 no es primo :lol:
Avatar de Usuario
Chino2000

OFO - Medalla de Plata-OFO 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 OFO - Jurado-OFO 2021
Mensajes: 43
Registrado: Mar 09 Dic, 2014 10:18 pm
Medallas: 9
Nivel: 1

Re: FOFO 8 años Problema 4

Mensaje sin leer por Chino2000 »

Aquí publicaremos la solución oficial:
Spoiler: mostrar
Parte a:
Veamos que el conjunto ${1; 2; 3; 3.2; 3.4; 3.8; ... ; 3.2^{2015}}$ cumple:
Su suma es $1+2+3+3.2+...+3.2^{2015} = 3+3(1+2+4+...+2^{2015}) = 3+3.(2^{2016}-1) = 3.2^{2016} $
Y claramente todos sus elementos dividen a ese numero.

Parte b:
Supongamos sin perdida de la generalidad que $x_1<x_2<...<x_{2018}$ son los 2018 elementos del conjunto fofo y sea $S$ su suma.
Por Hipotesis, toda pareja de la forma $x_i+x_j$ divide a $S$ para todos $i, j$. Sean $0<b<a<2018$ dos subindices tal que $x_a-x_b$ es lo menor posible. En particular $x_a-x_b \leq \frac{x_{2017}}{2017}$
Notemos que $x_{2018}+x_a$ y $x_{2018}+x_b$ dividen a $S$. Es facil ver que, entonces $(x_{2018}+x_a).(x_{2018}+x_b)/MCD(x_{2018}+x_a ; x_{2018}+x_b)$ divide a S.
Por algoritmo de euclides $MCD(x_{2018}+x_a ; x_{2018}+x_b) = MCD(x_{2018}+x_a ; x_a-x_b) \leq x_a-x_b\leq \frac{x_{2017}}{2017}$
Entonces $(x_{2018}+x_a).(x_{2018}+x_b)/MCD(x_{2018}+x_a ; x_{2018}+x_b) \geq (x_{2018}+x_a).(x_{2018}+x_b)/\frac{x_{2017}}{2017}$
Esto ultimo es igual a $ 2017. (x_{2018}+x_a).(x_{2018}+x_b)/x_{2017}$
Ahora, como $(x_{2018}+x_b) \geq x_{2017}$ vale que $(x_{2018}+x_b)/x_{2017} \geq 1$.
Para terminar $(x_{2018}+x_a).(x_{2018}+x_b)/MCD(x_{2018}+x_a ; x_{2018}+x_b) \geq 2017. (x_{2018}+x_a)$ pero esto ultimo es claramente mayor que $S$. Por lo tanto $(x_{2018}+x_a).(x_{2018}+x_b)/MCD(x_{2018}+x_a ; x_{2018}+x_b) > S$, pero antes dijimos que este numero dividia a $S$, lo cual implica que $(x_{2018}+x_a).(x_{2018}+x_b)/MCD(x_{2018}+x_a ; x_{2018}+x_b) \leq S$ por tanto tenemos una contradiccion y dicho conjunto fofo de 2018 elemenos no existe.
Última edición por Chino2000 el Mar 16 Oct, 2018 6:32 pm, editado 1 vez en total.
No lo olvides: el 49 no es primo :lol:
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: FOFO 8 años Problema 4

Mensaje sin leer por MateoCV »

Spoiler: mostrar
b) Sean $x_1<x_2<...<x_{2018}$ los $2018$ elementos de un conjunto fofo y sea $S=x_1+x_2+...+x_{2018}$ la suma de todos los elementos del conjunto. Entonces $\frac{S}{x_{2018}+x_i}$ es entero para todo $i<2018$. Como $S<2017(x_{2018}+x_1)$ entonces $2017>\frac{S}{x_{2018}+x_1}>\frac{S}{x_{2018}+x_2}>...>\frac{S}{x_{2018}+x_{2017}}>0$ Pero entonces habría $2017$ enteros positivos menores a $2017$. Absurdo
1  
$2^{82589933}-1$ es primo
Responder