1
$\begingroup$

For the positive reals $a,b$ and $c$ so that $a+b+c=3$. Show that $$27+7\left(ab+bc+ca\right)\le 8\left(\sqrt{a+3b}+\sqrt{b+3c}+\sqrt{c+3a}\right)$$


That inequality has been created by Imad Zak, i think it is interesting problem.

We can see that $$\text{L.H.S}=3(a+b+c)^2+7(ab+bc+ca)$$

$$=3(a^2+b^2+c^2)+13(ab+bc+ca)$$

$$=\sum_{cyc} (a+3b)(b+3c)$$

Let $\sqrt{a+3b}=x;\sqrt{b+3c}=y$ and $z=\sqrt{c+3a}$ where $x,y,z>0$ and $x^2+y^2+z^2=12$

We prove $$8(x+y+z)\ge x^2y^2+y^2z^2+z^2x^2$$

I am stuck here. I tried to homogenize the last inequality but i only get wrong inequalities. I also used C-S or Holder but failed.

$\endgroup$

2 Answers 2

1
$\begingroup$

You are actually very close. We can go on from your last inequality, with $x=2u, y=2v, z=2w$, we need to show $$u+v+w \ge u^2v^2+v^2w^2+ w^2u^2\tag{1}$$ for $u^2+v^2+w^2=3$. Now, the RHS of (1) is $$\frac{(u^2+v^2+w^2)^2 - (u^4+v^4+w^4)}2 = \frac{9- (u^4+v^4+w^4)}2$$ So we need to prove $$u^4+ v^4 + w^4 + 2(u+v+w) \ge9.$$ But this is clear since:

$$u^4 + u + u \ge 3\sqrt[3]{u^4\cdot u\cdot u} = 3u^2,$$ and so on. QED.

$\endgroup$
1
  • $\begingroup$ what a nice solution. $\endgroup$
    – DVdivi
    Jun 20, 2019 at 18:10
1
$\begingroup$

Let $a^2+b^2+c^2=k(ab+ac+bc).$

Thus, by Holder $$\sum_{cyc}\sqrt{a+3b}=\sqrt{\frac{\left(\sum\limits_{cyc}\sqrt{a+3b)}\right)^2\sum\limits_{cyc}(a+3b)^2}{\sum\limits_{cyc}(a+3b)^2}}\geq$$ $$\geq\sqrt{\frac{\left(\sum\limits_{cyc}(a+3b)\right)^3}{\sum\limits_{cyc}(10a^2+6ab)}}=\sqrt{\frac{32(a+b+c)^6}{27\sum\limits_{cyc}(5a^2+3ab)}}.$$ Id est, it's enough to prove that $$8\sqrt{\frac{32(a+b+c)^6}{27\sum\limits_{cyc}(5a^2+3ab)}}\geq3(a+b+c)^2+7(ab+ac+bc)$$ or $$8\sqrt{\frac{32\left(\sum\limits_{cyc}(a^2+2ab)\right)^3}{27\sum\limits_{cyc}(5a^2+3ab)}}\geq\sum_{cyc}(3a^2+13ab)$$ or $$8\sqrt{\frac{32(k+2)^3}{27(5k+3)}}\geq3k+13$$ or $$2048(k+2)^3\geq27(5k+3)(3k+13)^2,$$ which is true by AM-GM: $$27(5k+3)(3k+13)^2=\frac{27}{2}(10k+6)(3k+13)^2\leq$$ $$\leq\frac{27}{2}\left(\frac{10k+6+2(3k+13)}{3}\right)^3=2048(k+2)^3$$

and we are done!

$\endgroup$
1
  • $\begingroup$ the first step, which used holder, was really nice. $\endgroup$
    – DVdivi
    Jun 20, 2019 at 18:18

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .