Suppose a, b, c, d are positive numbers such that 1=3abcd+2(abc+bcd+dca+dab)+(ab+bc+cd+da+ac+bd). Prove that abcd≤811, and that the inequality is strict unless a=b=c=d=1/3.
Solution
By the AM-GM inequality, abc+bcd+dca+dab≥44(abcd)3andab+bc+cd+da+ac+bd≥66(abcd)3, with equality in both inequalities iff a=b=c=d. Hence, letting x=4abcd, we have that 1≥3x4+8x3+6x2 with equality iff a=b=c=d. But 1−3x4−8x3−6x2=(1−3x)(1+x)3, and x is positive. Hence, 1≥3x4+8x3+6x2 iff x≤1/3, with equality iff x=1/3. Thus abcd≤1/34, and the inequality is strict unless a=b=c=d=1/3.
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.