Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let:$a,b,c,d>0$ be real numbers ,how to prove that :

$$\frac{a^2+b^2+c^2}{a^5+b^5+c^5}+\frac{b^2+c^2+d^2}{b^5+c^5+d^5}+\frac{c^2+d^2+a^2}{c^5+d^5+a^5}+\frac{d^2+a^2+b^2}{d ^5+a^5+b^5}\le\frac{a+b+c+d}{abcd}$$.

Edit : I think I proved it. From Cauchy inequality we have $$ \left(\sum\limits_{cyc}x^5\right)\left(\sum\limits_{cyc}x\right)\geq \left(\sum\limits_{cyc}x^3\right)^2 $$ From Chebyshev inequality it follows $$ \left(\sum\limits_{cyc}x\right)\left(\sum\limits_{cyc}x^2\right)\leq 3\left(\sum\limits_{cyc}x^3\right)^2 $$ hence $$ \frac{\left(\sum\limits_{cyc}x^5\right)}{\left(\sum\limits_{cyc}x^2\right)}= \frac{\left(\sum\limits_{cyc}x^5\right)\left(\sum\limits_{cyc}x\right)}{\left(\sum\limits_{cyc}x\right)\left(\sum\limits_{cyc}x^2\right)}\leq \frac{3}{\left(\sum\limits_{cyc}x^3\right)}\leq \frac{1}{xyz} $$ In the last step I used AM-GM inequality. The rest is clear.

Is there a different way to prove it ?

share|cite|improve this question
Please tell us where you are getting these unusual problems from! – Old John Jul 11 '12 at 13:56
I think, the inequality does not hold for $(a,b,c,d)=(1,1,1,2)$. – marlu Jul 11 '12 at 14:32
Hint: Try to prove that $$\frac{a^2+b^2+c^2}{a^5+b^5+c^5}\ge\frac{1}{abc}$$that is to say, $$a*b*c*(a^2+b^2+c^2)\ge(a^5+b^5+c^5)$$ – Pan Yan Jul 11 '12 at 14:59
@PanYan: Your hint is not true for $(a,b,c) = (1,1,2)$. – marlu Jul 11 '12 at 15:31
marlu you are right ,i edit it . – Frank Jul 11 '12 at 15:40

This question can be solved only using the AM-GM inequality. Building on an idea that Pan Yang suggests in his comment, it suffices to show the following.


This is equivalent to showing that

$$a^3 bc+b^3ca+c^3ab\le a^5+b^5+c^5 $$

However, this is true by taking a weighted AM-GM as such (I'm writing it in full):


and similarly for the terms $b^3ca, c^3ab$. This completes the proof.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.