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 $n \in \mathbb{Z}_+$ be $n \ge 3$ and $0 \le a_1 \le a_2 \le \ldots \le a_n$. Prove or disprove an inequality:

$$\large \sqrt{a_1a_2} + \sqrt{a_2a_3} + \ldots + \sqrt{a_na_1} \ge \sqrt[3]{a_1a_2a_3} + \sqrt[3]{a_2a_3a_4} + \ldots + \sqrt[3]{a_na_1a_2}$$

share|cite|improve this question
Perhaps Lohwater's "Inequalities" <>; is of help. – vonbrand Feb 3 '13 at 3:58
What are the terms on the both sides? Is $\sum_{i=1}^n \sqrt{a_ia_{i+1}}$ on the LHS? Or what? – Tapu Feb 5 '13 at 18:39
For $n=3$ this follows from Muirhead's inequality. – ivan Feb 7 '13 at 7:49

This is not a complete answer but hopefully shows why this may be true. Let's assume $a_i=a_i^6$ then our inequality becomes $$ g(n)=\sum _{i=1}^n \left(a_i^3 a_{i+1}^3-a_i^2 a_{i+1}^2 a_{i+2}^2\right)\geq0 $$ where the indexes are cyclical.

Let's assume $n\leq6$ and let's make the substitution $a_i=x_1+...+x_i$ for each $1\leq i\leq n$. Simplifying (using Mathematica) gives a polynomial with only one negative coef, the one before $x_1^4 x_2 x_n$ and this coef is always $-1$.

If someone manages to prove this for all $n$ it may be enough to establish the inequality.

Here is the $n=4$ polynomial for reference.$$ 3 x_1^4 x_2^2+10 x_1^3 x_2^3+12 x_1^2 x_2^4+6 x_1 x_2^5+x_2^6+7 x_1^4 x_2 x_3+29 x_1^3 x_2^2 x_3+42 x_1^2 x_2^3 x_3+25 x_1 x_2^4 x_3+5 x_2^5 x_3+7 x_1^4 x_3^2+35 x_1^3 x_2 x_3^2+64 x_1^2 x_2^2 x_3^2+48 x_1 x_2^3 x_3^2+12 x_2^4 x_3^2+14 x_1^3 x_3^3+47 x_1^2 x_2 x_3^3+51 x_1 x_2^2 x_3^3+17 x_2^3 x_3^3+13 x_1^2 x_3^4+28 x_1 x_2 x_3^4+14 x_2^2 x_3^4+6 x_1 x_3^5+6 x_2 x_3^5+x_3^6-x_1^4 x_2 x_4+x_1^3 x_2^2 x_4+6 x_1^2 x_2^3 x_4+5 x_1 x_2^4 x_4+x_2^5 x_4+7 x_1^4 x_3 x_4+26 x_1^3 x_2 x_3 x_4+46 x_1^2 x_2^2 x_3 x_4+36 x_1 x_2^3 x_3 x_4+9 x_2^4 x_3 x_4+21 x_1^3 x_3^2 x_4+66 x_1^2 x_2 x_3^2 x_4+72 x_1 x_2^2 x_3^2 x_4+24 x_2^3 x_3^2 x_4+26 x_1^2 x_3^3 x_4+56 x_1 x_2 x_3^3 x_4+28 x_2^2 x_3^3 x_4+15 x_1 x_3^4 x_4+15 x_2 x_3^4 x_4+3 x_3^5 x_4+3 x_1^4 x_4^2+7 x_1^3 x_2 x_4^2+10 x_1^2 x_2^2 x_4^2+8 x_1 x_2^3 x_4^2+2 x_2^4 x_4^2+11 x_1^3 x_3 x_4^2+28 x_1^2 x_2 x_3 x_4^2+30 x_1 x_2^2 x_3 x_4^2+10 x_2^3 x_3 x_4^2+16 x_1^2 x_3^2 x_4^2+34 x_1 x_2 x_3^2 x_4^2+17 x_2^2 x_3^2 x_4^2+12 x_1 x_3^3 x_4^2+12 x_2 x_3^3 x_4^2+3 x_3^4 x_4^2+2 x_1^3 x_4^3+3 x_1^2 x_2 x_4^3+3 x_1 x_2^2 x_4^3+x_2^3 x_4^3+3 x_1^2 x_3 x_4^3+6 x_1 x_2 x_3 x_4^3+3 x_2^2 x_3 x_4^3+3 x_1 x_3^2 x_4^3+3 x_2 x_3^2 x_4^3+x_3^3 x_4^3 $$

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.