Entrenamiento Cono 2018 P1

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

Entrenamiento Cono 2018 P1

Mensaje sin leer por Matías »

Sea $(a_n)_{n\in N}$ una sucesión de números reales que satisface$$0\leq a_1+\frac{1}{2}a_2+\ldots +\frac{1}{n}a_n\leq\frac{1}{n}$$para todo entero positivo $n$. Demostrar que $a_1+a_2+\ldots +a_n\leq 1$ para todo entero positivo $n$.
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 P1

Mensaje sin leer por Matías »

Spoiler: mostrar
Sea $b_n=\sum_{i=1}^{n}\frac{a_i}{i}$ $\forall n\in N$. Por definición, tenemos que $0\leq b_n\leq\frac{1}{n}$ $\forall n\in N$. También tenemos que $b_1=a_1$.
Como $b_{n+1}=\sum_{i=1}^{n+1}\frac{a_i}{i}=\sum_{i=1}^{n}\frac{a_i}{i}+\frac{a_{n+1}}{n+1}=b_n+\frac{a_{n+1}}{n+1}$ obtenemos que $a_{n+1}=(n+1)(b_{n+1}-b_n)$ $\forall n\in N$.
Ahora vamos a demostrar que $\sum_{i=1}^{n}a_i=nb_n-\sum_{i=1}^{n-1}b_i$ $\forall n\in N$.
Para $n=1$ tenemos que se cumple (ya que $b_1=a_1$).
Ahora, si se cumple para cierto $n\in N$, para $n+1$ tenemos que $\sum_{i=1}^{n+1}a_i=\sum_{i=1}^{n}a_i+a_{n+1}$
$\sum_{i=1}^{n+1}a_i=nb_n-\sum_{i=1}^{n-1}b_i+(n+1)(b_{n+1}-b_n)$
$\sum_{i=1}^{n+1}a_i=(n+1)b_{n+1}-\sum_{i=1}^{(n+1)-1}b_i$
Ahora bien, tenemos que $nb_n\leq 1$ $\forall n\in N$ (ya que $b_n\leq\frac{1}{n}$ $\forall n\in N$) y que $\sum_{i=1}^{n-1}b_i\geq 0$ $\forall n\in N$ (ya que $b_n\geq 0$ $\forall n\in N$), por lo tanto obtenemos que $\sum_{i=1}^{n}a_i=nb_n-\sum_{i=1}^{n-1}b_i\leq 1-0=1$ $\forall n\in N$
BrunZo

OFO - Medalla de Bronce-OFO 2018 FOFO 8 años - Mención Especial-FOFO 8 años OFO - Medalla de Plata-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 - Copa-FOFO 10 años OFO - Medalla de Oro-OFO 2021 FOFO 11 años - Medalla-FOFO 11 años
OFO - Medalla de Oro-OFO 2022 FOFO Pascua 2022 - Medalla-FOFO Pascua 2022 FOFO 12 años - Medalla-FOFO 12 años OFO - Jurado-OFO 2023 FOFO 13 años - Jurado-FOFO 13 años
OFO - Jurado-OFO 2024
Mensajes: 414
Registrado: Mar 21 Nov, 2017 8:12 pm
Medallas: 16
Nivel: 3

Re: Entrenamiento Cono 2018 P1

Mensaje sin leer por BrunZo »

Solución:
Spoiler: mostrar
Sea $s_n=\sum_{i=1}^{n}{\frac{1}{i}a_i}$. Luego, $0\leq s_n\leq \frac{1}{n}$ para todo $n\in\mathbb{N}$. Además, para $n,m\in\mathbb{N}$ con $n>m$, $s_n-s_m\leq s_n\leq \frac{1}{n}$. Ahora, $s_n=a_1+\frac{1}{2}a_2+\frac{1}{3}a_3+...+\frac{1}{n}a_n$; $s_n-s_1=\frac{1}{2}a_2+\frac{1}{3}a_3+...+\frac{1}{n}a_n$; $s_n-s_2=\frac{1}{3}a_3+...+\frac{1}{n}a_n$, etc. Luego, $s_n+\sum_{i=1}^{n-1}{s_n-s_i}=\sum_{i=1}^{n}{n\frac{1}{n}a_n}=\sum_{i=1}^{n}{a_i}$. Entonces, como $s_n+\sum_{i=1}^{n-1}{s_n-s_i}\leq n\frac{1}{n}=1$, luego $\sum_{i=1}^{n}{a_i}\leq 1$ como queríamos demostrar.
Responder