Olympiad Maths Prep

Track / Stage 7 / 48 of 300 #1448 of 2000

Problem 1448

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.1 Prove it

Prove that for positive real numbers a a, b b, c c, d d, we have 11a\plus1b\plus11c\plus1d11a\plusc\plus1b\plusd \frac{1}{\frac{1}{a}\plus{}\frac{1}{b}}\plus{}\frac{1}{\frac{1}{c}\plus{}\frac{1}{d}}\le\frac{1}{\frac{1}{a\plus{}c}\plus{}\frac{1}{b\plus{}d}}

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

1. We start with the given inequality:
11a+1b+11c+1d11a+c+1b+d \frac{1}{\frac{1}{a} + \frac{1}{b}} + \frac{1}{\frac{1}{c} + \frac{1}{d}} \le \frac{1}{\frac{1}{a+c} + \frac{1}{b+d}}

2. We use the formula for the harmonic mean:
11x+1y=xyx+y \frac{1}{\frac{1}{x} + \frac{1}{y}} = \frac{xy}{x + y}
Applying this to our inequality, we get:
aba+b+cdc+d(a+c)(b+d)a+b+c+d \frac{ab}{a + b} + \frac{cd}{c + d} \le \frac{(a+c)(b+d)}{a + b + c + d}

3. To prove this, we rewrite the inequality in a different form:
aba+b+cdc+d(a+c)(b+d)a+b+c+d \frac{ab}{a + b} + \frac{cd}{c + d} \le \frac{(a+c)(b+d)}{a + b + c + d}

4. We introduce the following terms:
x=aba+b,y=cdc+d,z=(a+c)(b+d)a+b+c+d x = \frac{ab}{a + b}, \quad y = \frac{cd}{c + d}, \quad z = \frac{(a+c)(b+d)}{a + b + c + d}
So, we need to show:
x+yz x + y \le z

5. We use the identity:
a+b4aba+b+c+d4cdc+da+b+c+d4(a+c)(b+d)a+b+c+d \frac{a+b}{4} - \frac{ab}{a+b} + \frac{c+d}{4} - \frac{cd}{c+d} \ge \frac{a+b+c+d}{4} - \frac{(a+c)(b+d)}{a+b+c+d}

6. Simplifying the left-hand side:
(ab)2a+b+(cd)2c+d \frac{(a-b)^2}{a+b} + \frac{(c-d)^2}{c+d}
and the right-hand side:
(a+cbd)2a+b+c+d \frac{(a+c-b-d)^2}{a+b+c+d}

7. By the Cauchy-Schwarz inequality, we know:
(ab)2a+b+(cd)2c+d(a+cbd)2a+b+c+d \frac{(a-b)^2}{a+b} + \frac{(c-d)^2}{c+d} \ge \frac{(a+c-b-d)^2}{a+b+c+d}

8. Therefore, the inequality holds true:
aba+b+cdc+d(a+c)(b+d)a+b+c+d \frac{ab}{a+b} + \frac{cd}{c+d} \le \frac{(a+c)(b+d)}{a+b+c+d}

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.