deje $a_1,a_2,. . . ,a_n \in \mathbb{R^+} $ demostrar que :

Question

Deje $a_1,a_2,. . . ,a_n \in \mathbb{R^+} $. Probar que : $$\frac{ a_{1} }{ a_{2} ^{2}+ a_{3} ^{2}+\cdots+ a_{n} ^{2}} +\frac{ a_{2} }{ a_{1} ^{2}+ a_{3} ^{2}+\cdots+ a_{n} ^{2}} +\cdots+\frac{ a_{n} }{ a_{1} ^{2}+ a_{2} ^{2}+\cdots+ a_{n-1} ^{2}} \geq \frac{ 4}{ a_{1}+ a_{2} + a_{3}+\cdots+ a_{n}}$$

---

No sé por dónde empezar. por favor me ayude .

Answer 1

Creo que podemos empezar por C-S: $$\sum_{k=1}^n\frac{a_k}{\sum\limits_{i\neq k}a_i^2}=\sum_{k=1}^n\frac{a_k^2}{a_k\sum\limits_{i\neq k}a_i^2}\geq\frac{\left(\sum\limits_{k=1}a_k\right)^2}{\sum\limits_{k=1}^na_k\sum\limits_{i\neq k}a_i^2}.$$ Por lo tanto, queda por demostrar que $$\left(\sum\limits_{k=1}a_k\right)^3\geq4\sum\limits_{k=1}^n\left(a_k\sum\limits_{i\neq k}a_i^2\right)$$ o $$\left(\sum\limits_{k=1}a_k\right)^3\geq4\sum\limits_{k=1}^n\left(a_k^2\sum\limits_{i\neq k}a_i\right).$$ Ahora, vamos a $\sum\limits_{k=1}^na_k=1$.

Por lo tanto, tenemos que demostrar que el $$\sum\limits_{k=1}^nf(a_k)\leq\frac{1}{4},$$ donde $f(x)=x^2-x^3$.

Pero $f''(x)=2-6x$, que dice que $f$ tiene un único punto de inflexión en $(0,1)$.

Así, por Vasc del HCF Teorema es suficiente para demostrar la desigualdad de la

$a_1=a_2=...=a_{n-1}=x$ $a_n=1-(n-1)x$ donde $0<x<\frac{1}{n-1}$.

Por lo tanto, es suficiente para probar que $g(x)\geq0,$ donde $$g(x)=\frac{1}{4}-(n-1)(x^2-x^3)-(1-(n-1)x)^2+(1-(n-1)x)^3.$$ Tenemos $$g'(x)=(n-1)(1-nx)(3(n-2)x-1).$$ Vemos que $0<\frac{1}{3(n-2)}<\frac{1}{n}<\frac{1}{n-1}$, $x_{min}=\frac{1}{3(n-2)}$ y $x_{max}=\frac{1}{n}$, que dice: $$g(x)\geq\min\left\{g\left(\frac{1}{3(n-2)}\right),g\left(\frac{1}{n-1}\right)\right\}=\min\left\{\frac{11n^2-56n+72}{108(n-2)^2},\frac{(n-3)^2}{4(n-1)^2}\right\}\geq0.$$ Hecho!

Para la prueba podemos utilizar también el Vasc EV Método.

Answer 2

Observe que $$\left( \frac{a_1}{a_2^2 + a_3^2 + ... + a_n^2} + \frac{a_2}{a_1^2 + a_3^2 + ... + a_n^2} + \ ... \ \frac{a_n}{a_1^2 + a_2^2+... + a_{n-1}^2}\right)(a_1 + a_2 + ... + a_n) \ge \left( \sqrt{\frac{a_1^2}{a_2^2 + a_3^2 + ... + a_n^2}} + \sqrt{\frac{a_2^2}{a_1^2 + a_3^2 + ... + a_n^2}} + \ ... \ \sqrt{\frac{a_n^2}{a_1^2 + a_2^2... + a_{n-1}^2}}\right)^2$$ by Cauchy-Schwarz inequality. WLOG, take $a_1^2 + a_2^2 + ... + a_n^2 = 1$ (because of homogenity). Thus it remains to prove that $$\frac{a_1}{\sqrt{1-a_1^2}} + \frac{a_2}{\sqrt{1-a_2^2}}+ \ ... \ +\frac{a_n}{\sqrt{1-a_n^2}} \ge 2$$Now take $x_m = \frac{a_m}{\sqrt{1-a_m^2}} \ \forall \ 1 \le m \le n$. Then it remains to prove that $$x_1 + x_2 + ... + x_n \ge 2$$ Now since $a_m^2 =\frac{x_m^2}{1+x_m^2}$, we have $$\frac{x_1^2}{1+x_1^2} + \ ... \ + \frac{x_n^2}{1+x_n^2} = 1$$ But $\frac{x_m^2}{1+x_m^2} = x_m \left( \frac{x_m}{1+x_m^2} \right) \le x_m \left( \frac 12\right)$ since $x_m \ge 0$ and it follows that $$1 = x_1 \left( \frac{x_1}{1+x_1^2} \right) + ... + x_n \left( \frac{x_n}{1+x_n^2} \right) \le \frac{x_1}2 + ... + \frac{x_n}2 = \frac 12 \left(x_1 + ... + x_n \right)$$ i.e. $$x_1 + x_2 + ... + x_n \ge 2$$ Hecho.

Tenga en cuenta que $2$ es el mínimo alcanzable valor de $$\frac{a_1}{\sqrt{1-a_1^2}} + \frac{a_2}{\sqrt{1-a_2^2}}+ \ ... \ +\frac{a_n}{\sqrt{1-a_n^2}} \ge 2$$ (take $a_1 = a_2 =\frac 1{\sqrt 2}$ and all other $a_i $s equal to $0$).