OMCC 2020 - P5

Problemas que aparecen en el Archivo de Enunciados.
Avatar de Usuario
Gianni De Rico

FOFO 7 años - Mención Especial-FOFO 7 años OFO - Medalla de Oro-OFO 2019 FOFO 9 años - Jurado-FOFO 9 años COFFEE - Jurado-COFFEE Matías Saucedo OFO - Jurado-OFO 2020
FOFO Pascua 2020 - Jurado-FOFO Pascua 2020 COFFEE - Jurado-COFFEE Carolina González COFFEE - Jurado-COFFEE Ariel Zylber COFFEE - Jurado-COFFEE Iván Sadofschi 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: 2212
Registrado: Vie 16 Sep, 2016 6:58 pm
Medallas: 18
Nivel: Exolímpico
Ubicación: Rosario
Contactar:

OMCC 2020 - P5

Mensaje sin leer por Gianni De Rico »

Sea $P(x)$ un polinomio con coeficientes reales no negativos. Sea $k$ un entero positivo y sean $x_1,x_2,\ldots ,x_k$ números reales positivos tales que $x_1x_2\cdots x_k=1$. Demuestre que$$P(x_1)+P(x_2)+\cdots +P(x_k)\geq kP(1).$$
♪♫ do re mi función lineal ♪♫
Fedex

COFFEE - Mención-COFFEE Matías Saucedo OFO - Medalla de Plata-OFO 2020 FOFO Pascua 2020 - Medalla-FOFO Pascua 2020 COFFEE - Mención-COFFEE Ariel Zylber COFFEE - Mención-COFFEE Iván Sadofschi
FOFO 10 años - Medalla-FOFO 10 años OFO - Medalla de Plata-OFO 2021 OFO - Jurado-OFO 2022 OFO - Jurado-OFO 2023 FOFO 13 años - Jurado-FOFO 13 años
OFO - Jurado-OFO 2024
Mensajes: 269
Registrado: Mar 31 Dic, 2019 2:26 am
Medallas: 11
Nivel: 3
Ubicación: Rosario, Santa Fe
Contactar:

Re: OMCC 2020 - P5

Mensaje sin leer por Fedex »

Spoiler: mostrar
Sea $P(x) = c_1 x^{n} + c_2 x^{n-1} + ... + c_n x + c_{n+1}$ donde sabemos que $c_1, c_2, ..., c_{n+1}$ son reales no negativos.
Buscamos demostrar que:
$c_1(\sum_{i=1}^{k} x_i^n) + c_2(\sum_{i=1}^{k}x_i^{n-1}) + ... + c_n(\sum_{i=1}^{k}x_i) + c_{n+1} (\sum_{i=1}^{k}1) \geq k (c_1 + c_2 + ... + c_{n+1})$

Que sería cierto de ocurrir que para cada $c_j$:
$c_j (\sum_{i=1}^{k} x_i^{n+1-j}) \geq kc_j$

Y ya que $c_j \geq 0$ estariamos si:
$\sum_{i=1}^{k} x_i^{n+1-j} \geq k$

Donde como cada $x_i$ es positivo, por $AM-GM$:
$\frac{\sum_{i=1}^{k} x_i^{n+1-j}}{k} \geq \sqrt[k]{(x_1x_2...x_k)^{n+1-j}} = 1$
$\sum_{i=1}^{k} x_i^{n+1-j} \geq k$
2  
This homie really did 1 at P6 and dipped.
Avatar de Usuario
Gianni De Rico

FOFO 7 años - Mención Especial-FOFO 7 años OFO - Medalla de Oro-OFO 2019 FOFO 9 años - Jurado-FOFO 9 años COFFEE - Jurado-COFFEE Matías Saucedo OFO - Jurado-OFO 2020
FOFO Pascua 2020 - Jurado-FOFO Pascua 2020 COFFEE - Jurado-COFFEE Carolina González COFFEE - Jurado-COFFEE Ariel Zylber COFFEE - Jurado-COFFEE Iván Sadofschi 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: 2212
Registrado: Vie 16 Sep, 2016 6:58 pm
Medallas: 18
Nivel: Exolímpico
Ubicación: Rosario
Contactar:

Re: OMCC 2020 - P5

Mensaje sin leer por Gianni De Rico »

La solución de Fede es más amigable, esta lo destruye
Spoiler: mostrar
Como $P\in \mathbb{R}_0^+[x]$, entonces es creciente y convexo en $\mathbb{R}_0^+$ (créanme, si saben derivar, háganlo). Entonces por Jensen y AM-GM tenemos que\begin{align*}P(x_1)+P(x_2)+\cdots +P(x_k) & \geq kP\left (\frac{x_1+x_2+\cdots +x_k}{k}\right ) \\
& \geq kP\left (\sqrt[k]{x_1x_2\cdots x_k}\right ) \\
& =kP(1)
\end{align*}y con eso estamos, además, la igualdad se da si y sólo si se da en Jensen y en AM-GM, si y sólo si $x_1=x_2=\cdots =x_k=1$.
1  
♪♫ do re mi función lineal ♪♫
Responder