MathDB
Simple inequality

Source: JBMO 2017, Q2

June 26, 2017
inequalities

Problem Statement

Let x,y,zx,y,z be positive integers such that xyzxx\neq y\neq z \neq x .Prove that (x+y+z)(xy+yz+zx2)9xyz.(x+y+z)(xy+yz+zx-2)\geq 9xyz. When does the equality hold?
Proposed by Dorlir Ahmeti, Albania