Let x, y, z be positive real numbers such that x+y+z=9xyz. Prove that: x2+2yz+2x+y2+2zx+2y+z2+2xy+2z≥1. When does the equality hold?
Solution
From the inequality 2yz≤y2+z2 we have that x2+2yz+2≤x2+y2+z2+2, so x2+2yz+2x≥x2+y2+z2+2x Working similarly and adding we have that x2+2yz+2x+y2+2zx+2y+z2+2xy+2z≥x2+y2+z2+2x+y+z Therefore, it suffices to prove that x2+y2+z2+2x+y+z≥1⇔(x+y+z)2≥x2+y2+z2+2⇔xy+yz+zx≥1 However, from the given condition we have xy1+yz1+zx1=9, and from the Cauchy-Schwarz inequality we have (xy+yz+zx)(xy1+yz1+zx1)≥9, so xy+yz+zx≥1, which is the desired result.
2ºς τρόπος: Using Holder's inequality we have: (cyc∑x2+2yz+2x)(cyc∑x2+2yz+2x)(cyc∑x(x2+2yz+2))≥(x+y+z)3 Therefore, it suffices to prove that ∑cycx(x2+2yz+2)(x+y+z)3≥1⇔(x+y+z)3≥x3+y3+z3+6xyz+2(x+y+z)⇔x3+y3+z3+3(x+y)(y+z)(z+x)≥x3+y3+z3+6xyz+2(9xyz)⇔(x+y)(y+z)(z+x)≥8xyz but the last one holds since x+y≥2xy,y+z≥2yz,z+x≥2zx.
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.