Prove that 0 ≤ yz + zx + xy - 2xyz ≤ 7/27, where x, y and z are non-negative real numbers satisfying x + y + z = 1.
Solution
(1 - 2x)(1 - 2y)(1 - 2z) = 1 - 2(x + y + z) + 4(yz + zx + xy) - 8xyz = 4(yz + zx + xy) - 8xyz - 1. Hence yz + zx + xy - 2xyz = 1/4 (1 - 2x)(1 - 2y)(1 - 2z) + 1/4. By the arithmetic/geometric mean theorem (1 - 2x)(1 - 2y)(1 - 2z) ≤ ((1 - 2x + 1 - 2y + 1 - 2z)/3)3 = 1/27. So yz + zx + xy - 2xyz ≤ 1/4 28/27 = 7/27.
Solutions are also available in Murray S Klamkin, International Mathematical Olympiads 1978-1985, MAA 1986, and in István Reiman, International Mathematical Olympiad 1959-1999, ISBN 189-8855-48-X.
© John Scholes
jscholes@kalva.demon.co.uk
19 Oct 1998