Maths Olympiad Prep

Library / NMO Selection Tests for JBMO /11 of 58

NMO Selection Tests for JBMO

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+5c≥4a2+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+2c2≥4(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+2c2≥12. \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+1c≥3abc3≥3 \frac{1}{a} + \frac{1}{b} + \frac{1}{c} \geq \frac{3}{\sqrt[3]{abc}} \geq 3
because
3=a2+b2+c2≥3a2b2c23  ⟹  abc≤1. 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+b2≥31b⋅1b⋅b23=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+2c2≥32c⋅2c⋅2b23=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 x3−3x+2≥0,∀x≥0x^3 - 3x + 2 \geq 0, \forall x \geq 0 (equivalent to (x−1)2(x+2)≥0(x - 1)^2(x + 2) \geq 0; alternatively, the previous inequality follows from AM-GM: x3+1+1≥3x3⋅1⋅13=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 1x≥32−x22\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+5c≥272−a2+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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.