Let $a_1, a_2, a_3, \dots , a_n$ be positive real numbers whose sum is $1$. Prove that $$\frac{a_1^2}{a_1+a_2}+\frac{a_2^2}{a_2+a_3}+ \ldots +\frac{a_n^2}{a_n+a_1} \geq \frac12\,.$$

I thought maybe the Cauchy and QM inequalities would be helpful. But I can't see how to apply it. Another thought (might be unhelpful) is that the sum of the denominators on the left hand side is $2$ (the denominator on the right hand side). I would really appreciate any hints.

  • 7
    $\begingroup$ Apply Cauchy with one term being left hand side, second term being $((a_1+a_2) + (a_2+a_3) + \cdots)$ $\endgroup$
    – user27126
    Apr 28, 2013 at 7:02

3 Answers 3


Thanks to Sanchez for giving me a hint to solve this. Here is a full solution.

By the Cauchy-Schwarz inequality we have:

$${\frac{a_1^2}{a_1+a_2}+\frac{a_2^2}{a_2+a_3}+ \cdots \frac{a_n^2}{a_n+a_1}=\frac{a_1^2}{(\sqrt{a_1+a_2})^2}+\frac{a_2^2}{(\sqrt{a_2+a_3})^2}+ \cdots+ \frac{a_n^2}{(\sqrt{a_n+a_1})^2} \geq \frac{1}{a_1+\cdots + a_n+a_1+ \cdots + a_n}\left(\frac{a_1 \cdot \sqrt{a_1+a_2}}{\sqrt{a_1+a_2}} + \frac{a_2 \cdot \sqrt{a_2+a_3}}{\sqrt{a_2+a_3}}+ \cdots + \frac{a_n \cdot \sqrt{a_n+a_1}}{\sqrt{a_n+a_1}}\right)\\=\frac{a_1+a_2+a_3+ \cdots a_n}{{2(a_1+a_2+a_3+ \cdots a_n)}}=\frac12}$$

as required. (We know that $a_1+a_2+a_3+ \cdots +a_n=1$)


Here's another solution.

Observe that $$\sum \frac{a_i^2 - a_{i+1}^2} { a_i+ a_{i+1}} = \sum a_i - a_{i+1} = 0, $$

Hence $\sum \frac{a_{i}^2}{a_i+a_{i+1}} = \sum \frac{a_{i+1}^2}{a_i+a_{i+1}}$, and we just need to show that

$$\sum \frac{a_i^2 + a_{i+1}^2}{a_i + a_{i+1} } \geq 1.$$

This makes the inequality much more symmetric, and easier to manipulate. In particular,

$$\sum \frac{a_i^2 + a_{i+1}^2}{a_i + a_{i+1} } \geq \sum \frac{1}{2} (a_i + a_{i+1}) = 1$$


The following modified form of the CBS inequality is often helpful:

Lemma. If $x_i \in \Bbb{R}$ and $a_i > 0$, then $$ \frac{x_{1}^{2}}{a_{1}} + \cdots + \frac{x_{n}^{2}}{a_{n}} \geq \frac{(x_{1} + \cdots + x_{n})^{2}}{a_{1}+\cdots+a_{n}}. $$

The proof is straightforward using the CBS inequality, following the methodology exactly John Marty used.

Applying this, we have

$$ \frac{a_{1}^2}{a_{1}+a_{2}} + \cdots + \frac{a_{n}^2}{a_{n}+a_{1}} \geq \frac{(a_{1} + \cdots + a_{n})^{2}}{2(a_{1}+\cdots+a_{n})} = \frac{1}{2}. $$


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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