Maths Olympiad Prep

Library / /17 of 65

Algebra Difficulty 5.3 AIME, harder Prove it Romania

Let aa, bb, cc be positive real numbers such that a2+b2+c2=3a^2 + b^2 + c^2 = 3. Prove that
1a+3b+5c4a2+3b2+2c2. \frac{1}{a} + \frac{3}{b} + \frac{5}{c} \geq 4a^2 + 3b^2 + 2c^2.

Solution

First solution. The inequality can be written
1a+3b+5c+b2+2c24(a2+b2+c2) \frac{1}{a} + \frac{3}{b} + \frac{5}{c} + b^2 + 2c^2 \geq 4(a^2 + b^2 + c^2)
or
1a+1b+1c+2b+b2+4c+2c212. \frac{1}{a} + \frac{1}{b} + \frac{1}{c} + \frac{2}{b} + b^2 + \frac{4}{c} + 2c^2 \geq 12.
This follows from the following inequalities by using the AM-GM inequality:
1a+1b+1c3abc33 \frac{1}{a} + \frac{1}{b} + \frac{1}{c} \geq \frac{3}{\sqrt[3]{abc}} \geq 3
because
3=a2+b2+c23a2b2c23    abc1. 3 = a^2 + b^2 + c^2 \geq 3\sqrt[3]{a^2b^2c^2} \implies abc \leq 1.
On the other hand,
2b+b2=1b+1b+b231b1bb23=3 \frac{2}{b} + b^2 = \frac{1}{b} + \frac{1}{b} + b^2 \geq 3\sqrt[3]{\frac{1}{b} \cdot \frac{1}{b} \cdot b^2} = 3
4c+2c2=2c+2c+2c232c2c2b23=6. \frac{4}{c} + 2c^2 = \frac{2}{c} + \frac{2}{c} + 2c^2 \geq 3\sqrt[3]{\frac{2}{c} \cdot \frac{2}{c} \cdot 2b^2} = 6.
The equality holds if a=b=c=1a = b = c = 1.

Second solution. As x33x+20,x0x^3 - 3x + 2 \geq 0, \forall x \geq 0 (equivalent to (x1)2(x+2)0(x - 1)^2(x + 2) \geq 0; alternatively, the previous inequality follows from AM-GM: x3+1+13x3113=3xx^3 + 1 + 1 \geq 3\sqrt[3]{x^3 \cdot 1 \cdot 1} = 3x; the equality holds whence x=1x = 1). We deduce that 1x32x22\frac{1}{x} \geq \frac{3}{2} - \frac{x^2}{2}. Writing this for aa, bb, cc and multiplying these inequalities by 1, 3, and 5, respectively, we obtain by summing 1a+3b+5c272a2+3b3+5c22\frac{1}{a} + \frac{3}{b} + \frac{5}{c} \geq \frac{27}{2} - \frac{a^2 + 3b^3 + 5c^2}{2}. Using 27=9(a2+b2+c2)27 = 9(a^2+b^2+c^2) one obtains the conclusion.
The equality holds if and only if a=b=c=1a = b = c = 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 reproduced verbatim; metadata (topic, difficulty) added by this project.