The clever way to show this is: by monotony, maximizing xyz is equivalent to maximizing log(xyz) = log(x) + log(y) + log(z). log() has decreasing slope so redistributing some of the x+y+z budget from a higher variable to a lower one always raises log(xyz) higher, so they must be equal.