$ \sin^2x_1+\dots \sin^2x_{10}=1$ implica $ 3(\sin x_1+\dots \sin x_{10})\leq \cos x_1 +\dots +\cos x_{10}. $

Question

Supongamos que $x_1,.\dots x_{10}\in[0,\frac{\pi}{2}]$ y que $$ \sin^2x_1+\dots \sin^2x_{10}=1. $$ Demuestra que $$ 3(\sin x_1+\dots \sin x_{10})\leq \cos x_1 +\dots +\cos x_{10}. $$

Answer 1

En primer lugar, observe que $$n\sum_{i=1}^ny_i^2 \ge \left( \sum_{i=1}^n y_i \right)^2$$Prueba: Observe que $$\sum_{i=1}^{n-1} \sum_{j=i+1}^n (y_j - y_i)^2 = (n-1)\left( \sum_{i=1}^ny_i^2 \right) - 2\left(\sum_{i=1}^{n-1}\sum_{j=i+1}^n y_iy_j\right) \ge 0$$Se sigue que $$n\left( \sum_{i=1}^ny_i^2 \right) - 2\left(\sum_{i=1}^n y_i^2 + \sum_{i=1}^{n-1}\sum_{j=i+1}^n y_iy_j\right)$$ $$=n\left( \sum_{i=1}^ny_i^2 \right) - \left(\sum_{i=1}^ny_i\right)^2 \ge 0$$ demostrando la desigualdad.

Ahora observe que $$\cos(x_1) = \sqrt{\sum_{i=1, i\ne 1}^{10}\sin^2(x_i)},$$ $$ \cos(x_2) = \sqrt{\sum_{i=1, i\ne 2}^{10}\sin^2(x_i)}$$ $$...$$. Ahora observe que $$9\sum_{i=1, i\ne 1}^{10}\sin^2(x_i) \ge \left( \sum_{i=1, i\ne 1}^{10} \sin(x_i) \right)^2$$ a partir de la primera desigualdad, lo que implica que $$\sqrt{\sum_{i=1, i\ne 1}^{10}\sin^2(x_i)} \ge \frac{\left( \sum_{i=1, i\ne 1}^{10} \sin(x_i) \right)}3$$, es decir, $$\cos(x_1) \ge \frac{\left( \sum_{i=1, i\ne 1}^{10} \sin(x_i) \right)}3$$ De manera similar, $$\cos(x_2) \ge \frac{\left( \sum_{i=1, i\ne 2}^{10} \sin(x_i) \right)}3$$ $$...$$. Sumando todas estas desigualdades, obtenemos $$\left(\cos(x_1) + \cos(x_2) + ... + \cos(x_{10})\right) \ge \frac{\left( \sum_{i=1, i\ne 1}^{10} \sin(x_i) \right)}3 + \frac{\left( \sum_{i=1, i\ne 2}^{10} \sin(x_i) \right)}3 + ... + \frac{\left( \sum_{i=1, i\ne 10}^{10} \sin(x_i) \right)}3$$ $$=3\left(\sin(x_1) + \sin(x_2) + ... + \sin(x_{10})\right)$$ demostrando la desigualdad.

Answer 2

¡El método TL ayuda mucho aquí!

Sea $\sin x_i=\sqrt{\frac{a_i}{10}}$, donde $a_i\geq0$.

Por lo tanto, $\sum\limits_{i=1}^{10}a_i=10$ y necesitamos demostrar que $$\sum\limits_{i=1}^{10}\left(\cos x_i-3\sin x_i\right)\geq0$$ o $$\sum_{i=1}^{10}\left(\sqrt{10-a_i}-3\sqrt{a_i}\right)\geq0$$ o $$\sum_{i=1}^{10}\left(\frac{1-a_i}{\sqrt{10-a_i}+3\sqrt{a_i}}+\frac{a_i-1}{6}\right)\geq0$$ o $$\sum_{i=1}^{10}\frac{(a_i-1)\left(\sqrt{10-a_i}+3\sqrt{a_i}-6\right)}{\sqrt{10-a_i}+3\sqrt{a_i}}\geq0$$ o $$\sum_{i=1}^{10}\frac{(a_i-1)^2\left(\frac{3}{\sqrt{a_i}+1}-\frac{1}{3+\sqrt{10-a_i}}\right)}{\sqrt{10-a_i}+3\sqrt{a_i}}\geq0,$$ lo cual es obvio.

¡Hecho!