Prove for all positive real numbers a, b, c, d that b+c+da2+a+c+db2+a+b+dc2≥94a+4b+4c−3d.
Solution
For arbitrary real numbers x, y we have 9x2−6xy+y2=(3x−y)2≥0. Hence, if y>0, yx2≥96x−y with equality iff y=3x. Hence, b+c+da2+a+c+db2+a+b+dc2≥96a−b−c−d+96b−a−c−d+96c−a−b−d=94a+4b+4c−3d. Equality occurs when 3a=b+c+d, 3b=a+c+d, 3c=a+b+d which leads to a=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.