Olympiad Maths Prep

Track / Stage 6 / 202 of 400 #1202 of 2000

Problem 1202

National olympiad, first round
Algebra Difficulty 6.3 Prove it Iranian Mathematical Olympiad · Iran

Suppose aa, bb, cc and dd are positive real numbers such that 1a+1+1b+1+1c+1+1d+1=2\frac{1}{a+1} + \frac{1}{b+1} + \frac{1}{c+1} + \frac{1}{d+1} = 2. Prove that
a2+12+b2+12+c2+12+d2+123(a+b+c+d)8. \sqrt{\frac{a^2+1}{2}} + \sqrt{\frac{b^2+1}{2}} + \sqrt{\frac{c^2+1}{2}} + \sqrt{\frac{d^2+1}{2}} \geq 3(\sqrt{a} + \sqrt{b} + \sqrt{c} + \sqrt{d}) - 8.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

(a2+12a)=a2+12aa2+12+a=12(a1)2a2+12+a \sum \left( \sqrt{\frac{a^2+1}{2}} - \sqrt{a} \right) = \sum \frac{\frac{a^2+1}{2} - a}{\sqrt{\frac{a^2+1}{2}} + \sqrt{a}} = \frac{1}{2} \sum \frac{(a-1)^2}{\sqrt{\frac{a^2+1}{2}} + \sqrt{a}}
According to Cauchy-Schwarz inequality, a2+12+a2(a2+12+a)=a+1\sqrt{\frac{a^2+1}{2}} + \sqrt{a} \le \sqrt{2(\frac{a^2+1}{2} + a)} = a + 1, hence
12(a1)2a2+12+a12(a1)2a+1. \frac{1}{2} \sum \frac{(a-1)^2}{\sqrt{\frac{a^2+1}{2}} + \sqrt{a}} \ge \frac{1}{2} \sum \frac{(a-1)^2}{a+1}.
On the other hand, (a1)2a+1=(a3)+4a+1\frac{(a-1)^2}{a+1} = (a-3) + \frac{4}{a+1}; therefore,
12(a1)2a+1=12(a3)+21a+12=12(a)2. \frac{1}{2} \sum \frac{(a-1)^2}{a+1} = \frac{1}{2} \sum (a-3) + 2 \underbrace{\sum \frac{1}{a+1}}_{2} = \frac{1}{2} (\sum a) - 2.
Now, it suffices to prove that 12(a)22(a)8\frac{1}{2}(\sum a) - 2 \ge 2(\sum \sqrt{a}) - 8, or equivalently, 3+14aa3 + \frac{1}{4} \sum a \ge \sqrt{a}, which can be deduced by the following AM-GM inequality
3+14a=aa+12+a+14=(aa+1+a+14)a. 3 + \frac{1}{4} \sum a = \underbrace{\sum \frac{a}{a+1}}_{2} + \sum \frac{a+1}{4} = \sum \left( \frac{a}{a+1} + \frac{a+1}{4} \right) \ge \sum \sqrt{a}.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.