Para positivo $a$, $b$, $c$, $d$ con $a+b+c+d\leq 1$, demuestran que, a $\sqrt[4]{(1-a^4)(1-b^4)(1-c^4)(1-d^4)}\geq255\cdot a b c d .$

Question

Deje $a,b,c,d\in\mathbb R_+$ tal que $a+b+c+d\leqslant1$. Demostrar que $$\sqrt[4]{\smash[b]{(1-a^4)(1-b^4)(1-c^4)(1-d^4)}}\geqslant255·abcd.$$

Mis observaciones:

Puedo ver que todos los de $a,b,c,d$ son fracciones positivas que hace que todos los que figura entre corchetes factores en LHS positivo. Ahora, si nos elevamos ambos lados a la alimentación de $4$, y reemplazar el $4$th poderes de $a,b,c,d$ con $A,B,C,D$, nuestra desigualdad se reduce a $$(1-A)(1-B)(1-C)(1-D)\ge 255^4 \cdot ABCD$$

Ahora la aplicación de AM $\ge$ GM se obtienen dos resultados,

$$A+B+C+D\ge 4\cdot\sqrt[4]{ABCD}$$

y

$$4-(A+B+C+D)\ge 4\cdot\sqrt[4]{\smash[b]{(1-A)(1-B)(1-C)(1-D)}}$$

Puedo de alguna manera utilizan estos resultados para demostrar la desigualdad? Por favor ayuda

Answer 1

Por AM-GM obtenemos: $$\sqrt[4]{\prod\limits_{cyc}(1-a^4)}\geq\sqrt[4]{\prod\limits_{cyc}((a+b+c+d)^4-a^4)}=$$ $$=\sqrt[4]{\prod_{cyc}\left((b+c+d)\left((a+b+c+d)^3+(a+b+c+d)^2a+(a+b+c+d)a^2+a^3\right)\right)}\geq$$ $$\geq\sqrt[4]{\prod_{cyc}\left(3\sqrt[3]{bcd}\left(64\sqrt[4]{a^3b^3c^3d^3}+16a\sqrt{abcd}+4\sqrt[4]{abcd}a^2+a^3\right)\right)}\geq$$ $$\geq\sqrt[4]{\prod_{cyc}\left(3\sqrt[3]{bcd}\cdot85\sqrt[85]{(abcd)^{48}\cdot a^{16}\cdot(abcd)^8\cdot(abcd)\cdot a^8\cdot a^3}\right)}=$$ $$=255\sqrt[4]{\prod_{cyc}a^{\frac{84}{85}}b^{\frac{256}{255}}c^{\frac{256}{255}}d^{\frac{256}{255}}}=255abcd.$$