Maths Olympiad Prep

Library / /5 of 30

Algebra Difficulty 4.7 AIME Prove it Ireland

Prove for all positive real numbers aa, bb, cc, dd that
a2b+c+d+b2a+c+d+c2a+b+d4a+4b+4c3d9. \frac{a^2}{b+c+d} + \frac{b^2}{a+c+d} + \frac{c^2}{a+b+d} \ge \frac{4a+4b+4c-3d}{9}.

Solution

For arbitrary real numbers xx, yy we have 9x26xy+y2=(3xy)209x^2 - 6xy + y^2 = (3x - y)^2 \ge 0. Hence, if y>0y > 0, x2y6xy9\frac{x^2}{y} \ge \frac{6x-y}{9} with equality iff y=3xy = 3x. Hence,
a2b+c+d+b2a+c+d+c2a+b+d6abcd9+6bacd9+6cabd9=4a+4b+4c3d9. \frac{a^2}{b+c+d} + \frac{b^2}{a+c+d} + \frac{c^2}{a+b+d} \\ \ge \frac{6a-b-c-d}{9} + \frac{6b-a-c-d}{9} + \frac{6c-a-b-d}{9} \\ = \frac{4a+4b+4c-3d}{9}.
Equality occurs when 3a=b+c+d3a = b + c + d, 3b=a+c+d3b = a + c + d, 3c=a+b+d3c = a + b + d which leads to a=b=c=da = b = c = d.

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.