Olympiad Maths Prep

Library / /9 of 16

Algebra Difficulty 6.2 National olympiad Prove it Czech Republic

Positive real numbers aa, bb, cc, dd satisfy equalities
a=c+1dandb=d+1c. a = c + \frac{1}{d} \quad \text{and} \quad b = d + \frac{1}{c}.

Prove an inequality ab4ab \ge 4 and find a minimum of ab+cdab + cd.

Solution

To prove the inequality ab4ab \ge 4 we substitute from the equalities. We so obtain an estimate
ab=(c+1d)(d+1c)=cd+1+1+1cd4, ab = \left(c + \frac{1}{d}\right)\left(d + \frac{1}{c}\right) = cd + 1 + 1 + \frac{1}{cd} \ge 4,
where we use in the last inequality well-known fact that x+1/x2x + 1/x \ge 2 holds for all positive reals x=cd>0x = cd > 0.

To find the minimum we use similar way. Substitution for aa and bb yields
ab+cd=(2+cd+1cd)+cd=2+2cd+1cd. ab + cd = \left(2 + cd + \frac{1}{cd}\right) + cd = 2 + 2cd + \frac{1}{cd}.
Now we use an inequality x+y2xyx + y \ge 2\sqrt{xy} which holds true for any non-negative reals x,yx, y. The choice x=2cdx = 2cd, y=1/cdy = 1/cd follows
2cd+1cd22. 2cd + \frac{1}{cd} \ge 2\sqrt{2}.
Now we see that ab+cd2(1+2)ab + cd \ge 2(1 + \sqrt{2}). To prove that it is the desired minimum we find some aa, bb, cc, dd such that they makes an equality in the inequality.
The equality comes in the use inequality if and only if x=yx = y, it is 2cd=1/cd2cd = 1/cd. It is true e.g. for c=1c = 1, d=2/2d = \sqrt{2}/2 and for that values we find a=1+2a = 1 + \sqrt{2}, b=1+2/2b = 1 + \sqrt{2}/2. Such quadruple satisfies the desired equalities and it holds ab+cd=2(1+2)ab + cd = 2(1 + \sqrt{2}) too.

Looking for a route rather than an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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