AlgebraDifficulty 7.5National olympiad, round 2Prove it
14. Let a,b,c,d all be positive numbers, prove the inequality: b+2c+3da+c+2d+3ab+d+2a+3bc+a+2b+3cd⩾32. (34th IMO Shortlist)
Solution
14. Make the linear substitution ⎩⎨⎧x=b+2c+3dy=c+2d+3az=d+2a+3bw=a+2b+3c, treating a,b,c,d as variables, and solve to get ⎩⎨⎧a=−245x+247y+241z+241wb=241x−245y+247z+241wc=241x+241y−245z+247wd=247x+241y+241z−245w
Let the left side of the original inequality be M. Substituting the above four equations, we get M=247(xy+yz+zw+wx)+241(xz+yw+zx+wy)+241(xw+yx+zy+wz)−65⩾247(44xy⋅yz⋅zw⋅wx)+241(44xz⋅yw⋅zx⋅wy)+241(44xw⋅yx⋅zy⋅wz)−65=32
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.