Maths Olympiad Prep

Library / Iranian Mathematical Olympiad /102 of 270

Iranian Mathematical Olympiad

Algebra Difficulty 6.3 National Olympiad Prove it 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+12≥3(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.

Solution

∑(a2+12−a)=∑a2+12−aa2+12+a=12∑(a−1)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+a≤2(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∑(a−1)2a2+12+a≥12∑(a−1)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, (a−1)2a+1=(a−3)+4a+1\frac{(a-1)^2}{a+1} = (a-3) + \frac{4}{a+1}; therefore,
12∑(a−1)2a+1=12∑(a−3)+2∑1a+1⏟2=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)−2≥2(∑a)−8\frac{1}{2}(\sum a) - 2 \ge 2(\sum \sqrt{a}) - 8, or equivalently, 3+14∑a≥a3 + \frac{1}{4} \sum a \ge \sqrt{a}, which can be deduced by the following AM-GM inequality
3+14∑a=∑aa+1⏟2+∑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}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.