>>【本題】
正の数 x、y、z と正の有理数 a、b、c に対して、
  (x^a・y^b・z^c)/{(x+y+z)^(a+b+c)} ≦ (a^a・b^b・c^c)/{(a+b+c)^(a+b+c)}

Just use weighted AM-GM inequality. Done!