In part 1, we saw what Titu's Lemma is and one example of using it. Now, let's see more examples of using it.

\(2.\) (TOT 1998) Prove that for any positive real numbers \(a, b, c\),

\(\frac{a^3}{a^2 + ab + b^2} + \frac{b^3}{b^2 + bc + c^2} + \frac{c^3}{a^2 + ac + c^2} \ge \frac{a + b + c}{3}\)

Solution :

Again, we want to make the numerators on the left hand side be squares.

So, we again multiply the numerators and denominators of the fractions by \(a, b, c\) respectively.

By Titu's Lemma,

\(\frac{a^4}{a(a^2 + ab + b^2)} + \frac{b^4}{b(b^2 + bc + c^2)} + \frac{c^4}{c(a^2 + ac + c^2)}\)

\(\ge \frac{(a^2 + b^2 + c^2)^2}{a(a^2 + ab + b^2) + b(b^2 + bc + c^2) + c(a^2 + ac + c^2)}\)

But the denominator is equivalent to \((a + b + c)(a^2 + b^2 + c^2)\).

Thus, we the inequality becomes

\(\frac{a^4}{a(a^2 + ab + b^2)} + \frac{b^4}{b(b^2 + bc + c^2)} + \frac{c^4}{c(a^2 + ac + c^2)} \ge \frac{a^2 + b^2 + c^2}{a + b + c}\)

Finally, we have to prove that \(\frac{a^2 + b^2 + c^2}{a + b + c} \ge \frac{a + b + c}{3}\), which is true. (The proof is similar to the last problem.)

\(3.\) (IMO 1995) Let \(a, b, c\) be positive real numbers such that \(abc = 1\). Prove that

\(\frac{1}{a^3(b + c)} + \frac{1}{b^3(a + c)} + \frac{1}{c^3(b + a)} \ge \frac{3}{2}\).

Solution : Direct application of Titu's Lemma is unfortunately doomed to failure. We divide the numerator and denominator by \(a^2, b^2\) and \(c^2\) respectively.

Now, we have by Titu's Lemma,

\(\frac{1}{a^3(b + c)} + \frac{1}{b^3(a + c)} + \frac{1}{c^3(b + a)} = \frac{\frac{1}{a^2}}{a(b + c)} + \frac{\frac{1}{b^2}}{b(a + c)} + \frac{\frac{1}{c^2}}{c(b + a)}\)

\(\ge \frac{(\frac{1}{a} + \frac{1}{b} + \frac{1}{c})^2}{2(ab + bc + ca)} = \frac{(ab + bc + ca)^2}{2(ab + bc + ca)}\)

\(\ge \frac{ab + bc + ca}{2} \ge \frac{3\sqrt[3]{(abc)^2}}{2} = \frac{3}{2}\)

where the last inequality holds by AM-GM.

This proves the inequality.

**Problems**

\(2.\) Prove that for all positive real numbers \(a, b, c, d\)

\(\frac{a}{b + 2c + 3d} + \frac{b}{c + 2d + 3a} + \frac{c}{d + 2a + 3b} + \frac{d}{a + 2b + 3c} \ge \frac{2}{3}\)

\(3.\) Problem link

\(4.\) (IMO 2005)

Prove that for all positive real numbers \(x, y, z\) such that \(xyz \ge 1\), then

\(\frac{x^2 + y^2 + z^2}{x^5 + y^2 + z^2} + \frac{x^2 + y^2 + z^2}{y^5 + x^2 + z^2} + \frac{x^2 + y^2 + z^2}{z^5 + y^2 + x^2} \le 3\)

Note : Problem 2 uses the same idea as Example 2, but Problem 4 is a bit harder, for a few reasons :

There are no square terms on the numerators.

The inequality sign is less than or equal to.

## Comments

Sort by:

TopNewesthow can we solve question no 2 – Rahul Rawat · 1 year ago

Log in to reply

Hi, Yesterday I saw the fourth problem and it really trolled me I tried for about 5 hours and ended up with this solution.Hope it works. We have to prove the following

\(\frac{x^2+y^2+z^2}{x^5+y^2+z^2}+\frac{x^2+y^2+z^2}{y^5+x^2+z^2}+\frac{x^2+y^2+z^2}{z^5+y^2+x^2}≤3\) Which is equivalent to

\((x^2+y^2+z^2)(\frac{1}{x^5+y^2+z^2}+\frac{1}{y^5+x^2+z^2}+\frac{1}{z^5+y^2+x^2})≤3\) Which is same as

\(\frac{1}{x^5+y^2+z^2}+\frac{1}{y^5+x^2+z^2}+\frac{1}{z^5+y^2+x^2}≤\frac{3}{x^2+y^2+z^2}\)

The key step to prove the inequality is the following step. We have by Cauchy-Schwarz inequality :(https://brilliant.org/discussions/thread/elementary-techniques-used-in-the-imo-internatio-V/)

By using the inequality, we get \((x^5+y^2+z^2)(yz+y^2+z^2)≥(\sqrt{x^5yz}+y^2+z^2)^2\) And by using the fact that \(xyz≥1\) we get \((x^5+y^2+z^2)(yz+y^2+z^2)≥(\sqrt{x^5yz}+y^2+z^2)^2≥(x^2+y^2+z^2)^2\) Now by using the above fact the problem becomes very simple as \(\frac{1}{x^5+y^2+z^2}≤\frac{yz+y^2+z^2}{(x^2+y^2+z^2)^2}≤\frac{\frac{z^2+y^2}{2}+y^2+z^2}{(x^2+y^2+z^2)^2}\) ........ By AM-GM inequality..

Using the same method for \(y\) and \(z\), we get; \(\frac{1}{y^5+x^2+z^2}≤\frac{\frac{x^2+z^2}{2}+x^2+z^2}{(x^2+y^2+z^2)^2}\) and

\(\frac{1}{z^5+y^2+x^2}≤\frac{\frac{x^2+y^2}{2}+x^2+y^2}{(x^2+y^2+z^2)^2}\)

Now adding the above three results gives the expected result. And Now I really want to thank Zi Song for posting such wonderful posts on inequalities.I love inequalities the most and I am looking forward for part 3 of your post Very good and please keep posting such good notes .Thanks. – Dinesh Chavan · 3 years ago

Log in to reply

– Eddie The Head · 3 years ago

Really nice....I also spent a bit of time on this problem....Log in to reply

– Dinesh Chavan · 3 years ago

ThanksLog in to reply

Hints on Prob 4??? :( – Eddie The Head · 3 years ago

Log in to reply

– Calvin Lin Staff · 3 years ago

There is a 2 step solution to Problem 4, which won the Special Prize at IMO'05.Log in to reply

– Eddie The Head · 3 years ago

Whoa!!A little hint?? :pLog in to reply

– Zk Lin · 3 years ago

It involves finding an identity which is almost impossible to find.Log in to reply

– Dinesh Chavan · 3 years ago

You may try with another method other then the one I have posted. I got one more.Log in to reply

Small typo: on the first problem, after "by titu's lemma", the b and c should be to the 4th power. – Daniel Liu · 3 years ago

Log in to reply

– Zi Song Yeoh · 3 years ago

Edited. Thanks for pointing out.Log in to reply

Previously, I had known Cauchy-Schwarz, but I had no idea how to effectively apply it. Can you please make a topic on Cauchy Schwarz? Thanks!

And a solution outline for 1:

Multiply numerator and denominator of each fraction in LHS by a,b,c,d respectively. Apply Titu's Lemma, then clear denominators and section out the variables to form multiple sums of squares. This is always mor than 0, so we have proved it. – Daniel Liu · 3 years ago

Log in to reply

– Zi Song Yeoh · 3 years ago

Actually, Anqi had made a post on Cauchy-Schwarz.Log in to reply

– Daniel Liu · 3 years ago

Would you be kind enough to give me the link? Thanks.Log in to reply

– Zi Song Yeoh · 3 years ago

https://brilliant.org/discussions/thread/elementary-techniques-used-in-the-imo-internatio-V/Log in to reply

Great posts! Looking forwards to more inequality posts, as inequalities are my worst subject. – Daniel Chiu · 3 years ago

Log in to reply

@Daniel Chiu ! Check my posts for inequalities :D – Priyansh Sangule · 2 years, 5 months ago

HelloLog in to reply

Will there be a part 3 with ore problems?? – Eddie The Head · 3 years ago

Log in to reply