AlgebraDifficulty 5.7AIME, harderProve itSouth Korea
Let x, y, z be positive real numbers satisfying x+y+z=1. Prove that 9(x+y)(y+z)(z+x)(1+xy+yz+zx)(1+3x3+3y3+3z3)≥(43+9x2x1+x+43+9y2y1+y+43+9z2z1+z)2
Solution
By using x+y+z=1, we have 1+xy+yz+zx=(x+y+z)2+xy+yz+zx=(x+y)(y+z)+(y+z)(z+x)+(z+x)(x+y). With this equation and Cauchy-Schwarz inequality, we can deduce that (LHS)=91(1−x1+1−y1+1−z1)((x+3x3)+(y+3y3)+(z+3z3))≥(9(1−x)3x3+x+9(1−y)3y3+y+9(1−z)3z3+z)2 Therefore, it is enough to show that for any real number s∈(0,1), the inequality 9(1−s)3s3+s≥(43+9s2s1+s)2 holds. If we expand the above inequality, then it is easy to check that this is equivalent to 3(9s2−1)2≥0, thus solving the problem. From the last inequality, we can check that the equality holds when x=y=z=31. □
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 reproduced verbatim; metadata (topic, difficulty) added by this project.