Maths Olympiad Prep

Library / /90 of 520

Algebra Difficulty 5.6 AIME, harder Prove it

Show that if a,b,ca, b, c are positive real numbers satisfying a+b+c=1a+b+c=1 then

7+2b1+a+7+2c1+b+7+2a1+c694 \frac{7+2 b}{1+a}+\frac{7+2 c}{1+b}+\frac{7+2 a}{1+c} \geqslant \frac{69}{4}

Solution

Given 7+2b=5+2(1+b)7+2 b=5+2(1+b), we write the left-hand side in the form

5(11+a+11+b+11+c)+2(1+b1+a+1+c1+b+1+a1+c) 5\left(\frac{1}{1+a}+\frac{1}{1+b}+\frac{1}{1+c}\right)+2\left(\frac{1+b}{1+a}+\frac{1+c}{1+b}+\frac{1+a}{1+c}\right)

Using the inequality 1x+1y+1z9x+y+z\frac{1}{x}+\frac{1}{y}+\frac{1}{z} \geqslant \frac{9}{x+y+z}, we bound the first term from below by 454\frac{45}{4}.
Using the inequality x+y+z3xyz3x+y+z \geqslant 3 \sqrt[3]{x y z}, we bound the second term from below by 6. The assertion to be proved follows.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.