Problem: Let x, y, z be non-negative real numbers satisfying x+y+z=xyz. Prove that 2(x2+y2+z2)≥3(x+y+z) and determine when equality occurs.
Solutions — 2
Solution 1
Solution: Equality holds when x=y=z=0. Apply AM-GM to x+y+z=xyz, xyz=x+y+z≥33xyz⇒(xyz)3≥(33xyz)3⇒x3y3z3≥27xyz⇒x2y2z2≥27⇒3x2y2z2≥3 Also by AM-GM we have, x2+y2+z2≥33x2y2z2≥9. Therefore we get x2+y2+z2≥9. Now, 2(x2+y2+z2)≥3(x+y+z)⇔32(x2+y2+z2)≥(x+y+z)⇔2⋅32(x2+y2+z2)≥2⋅(x+y+z)⇔34(x2+y2+z2)≥2⋅(x+y+z)⇔x2+y2+z2+3(x2+y2+z2)≥2⋅(x+y+z)⇔3+3x2+3+3y2+3+3z2≥2(x+y+z)⇔3+3x2+3+3y2+3+3z2≥2(x+y+z)⇔23⋅3x2+23⋅3y2+23⋅3z2≥2(x+y+z) Equality holds if 3=3x2=3y2=3z2, i.e. x=y=z=3, for which x+y+z=xyz.
Solution 2
Solution: If one of the numbers is zero, then from x+y+z=xyz all three numbers are zero and the equality trivially holds. From AM-GM x2+y2+z2≥33x2y2z2=33xyzx+y+z≥33x+y+zx+y+z=9 From QM-AM 3x2+y2+z2≥(3x+y+z)2 Multiplying (1) and (2) we get 3(x2+y2+z2)2≥99(x+y+z)2=(x+y+z)2. By taking square root on both sides we deduce the stated inequality. Equality holds only when x=y=z=3 or x=y=z=0.
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.