a, b, c を実数とするとき, (a^2+b^2+c^2)^2≧3(a^3b+b^3c+c^3a)を証明せよ。