Maths Olympiad Prep

Library / /4 of 7

, 2014

Algebra Difficulty 6.0 AIME, harder Prove it Thailand

Determine the largest real number kk such that the inequality
(k+ab)(k+bc)(k+ca)(ab+bc+ca)(ba+cb+ac) (k + \frac{a}{b}) (k + \frac{b}{c}) (k + \frac{c}{a}) \le \left(\frac{a}{b} + \frac{b}{c} + \frac{c}{a}\right) \left(\frac{b}{a} + \frac{c}{b} + \frac{a}{c}\right)
holds for all positive real numbers aa, bb, and cc.

Solution

By setting a=b=ca = b = c, it follows that k931k \leq \sqrt[3]{9} - 1. We claim that k=931k = \sqrt[3]{9} - 1 is the largest possible number so that the inequality holds. Let
A=ab+bc+ca,B=ba+cb+ac. A = \frac{a}{b} + \frac{b}{c} + \frac{c}{a}, \quad B = \frac{b}{a} + \frac{c}{b} + \frac{a}{c}.
By AM-GM inequality, we get that
A3abbcca3=3, A \geq 3\sqrt[3]{\frac{a}{b} \cdot \frac{b}{c} \cdot \frac{c}{a}} = 3,
and similarly,
B3bacbac3=3. B \geq 3\sqrt[3]{\frac{b}{a} \cdot \frac{c}{b} \cdot \frac{a}{c}} = 3.
For each real number k0k \geq 0, the following inequalities are true:
9(k3+1)(k3+1)AB 9(k^3 + 1) \leq (k^3 + 1)AB
9k2A3k2AB 9k^2A \leq 3k^2AB
9kB3kAB. 9kB \leq 3kAB.

Adding these inequalities we get
9(k3+1+k2A+kB)(k+1)3AB9(k+ab)(k+bc)(k+ca)(k+1)3AB. 9(k^3 + 1 + k^2 A + k B) \le (k + 1)^3 AB \\ 9 \left(k + \frac{a}{b}\right) \left(k + \frac{b}{c}\right) \left(k + \frac{c}{a}\right) \le (k + 1)^3 AB.
Substituting k=931k = \sqrt[3]{9} - 1 in the last inequality, we discover that
9(k+ab)(k+bc)(k+ca)9AB. 9 \left(k + \frac{a}{b}\right) \left(k + \frac{b}{c}\right) \left(k + \frac{c}{a}\right) \le 9AB.
which is precisely, the desired inequality. Therefore the largest possible kk is 931\sqrt[3]{9} - 1 as claimed. \square

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 reproduced verbatim; metadata (topic, difficulty) added by this project.