Maths Olympiad Prep

Library / Irish Mathematical Olympiad /26 of 236

Irish Mathematical Olympiad

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+d≥4a+4b+4c−3d9. \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 9x2−6xy+y2=(3x−y)2≥09x^2 - 6xy + y^2 = (3x - y)^2 \ge 0. Hence, if y>0y > 0, x2y≥6x−y9\frac{x^2}{y} \ge \frac{6x-y}{9} with equality iff y=3xy = 3x. Hence,
a2b+c+d+b2a+c+d+c2a+b+d≥6a−b−c−d9+6b−a−c−d9+6c−a−b−d9=4a+4b+4c−3d9. \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,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.