一个猜想的否定

文[1]提出了一个猜想：（1）设x1，x2，x2是非负实数，且满足x1＋x2＋x3=1，k≥2，k∈Z．则x1^kx2＋x2^kx3＋x3^kx1＋x1x2x3（x1＋x2＋x3）^（k-2）≤k^k/（k＋1）^k＋1;