Maths Olympiad Prep

Library / /83 of 100

Algebra Difficulty 5.8 AIME, harder Prove it China

Suppose aa and bb are positive real numbers satisfying 1a+1b22\frac{1}{a} + \frac{1}{b} \le 2\sqrt{2} and (ab)2=4(ab)3(a-b)^2 = 4(ab)^3. Then logab=\log_a b = \underline{\hspace{2cm}}.

Solution

From 1a+1b22\frac{1}{a} + \frac{1}{b} \le 2\sqrt{2}, we have a+b22aba + b \le 2\sqrt{2}ab. On the other hand,
(a+b)2=4ab+(ab)2=4ab+4(ab)342ab(ab)3=8(ab)2, (a + b)^2 = 4ab + (a - b)^2 = 4ab + 4(ab)^3 \\ \ge 4 \cdot 2\sqrt{ab} \cdot (ab)^3 = 8(ab)^2,
and that means
a+b22ab.1 a + b \ge 2\sqrt{2}ab. \qquad \textcircled{1}
Therefore,
a+b=22ab.2 a + b = 2\sqrt{2}ab. \qquad \textcircled{2}
The equality in 1 holds only when ab=1ab = 1. Associating it with 2, we find
{a=21,b=2+1,and{a=2+1,b=21. \begin{cases} a = \sqrt{2} - 1, \\ b = \sqrt{2} + 1, \end{cases} \quad \text{and} \quad \begin{cases} a = \sqrt{2} + 1, \\ b = \sqrt{2} - 1. \end{cases}
So the answer is logab=1\log_a b = -1.

Want a route through all this instead of 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.