对一个猜测推广的证明

文 1 ]对W .Janous猜测推广成如下命题 :设xi >0 (i=1 ,2 ,… ,n) ,记S=x1 +x2 +… +xn,则x22 -x21 S-x2 + x23 -x22S-x3+… + x21 -x2 nS-x1 ≥ 0 ( 1 )文 2 ]指出文 1 ]对式 ( 1 )的证明是错误的 ,但未给出式 ( 1 )的正确证明 ,最后又提出了更一般的下述问题 :设xi>0 (i =1 ,2 ,… ,n) ,n≥ 3,记S=x1+x2 +… +xn,能否取适当的k ,有 x2 k-x1 kS-x2 +x3k-x2 kS-x3 +… + x1 k-xnkS-x1 ≥ 0 ( 2 )本文证明 ,当k∈R+时 ,式 ( 2 )成立 .证明　对于 (x1 ,x2 ,… ,xn)的所有互异的n !个排列中 ,必然存在一个排列 (y1 ,y2 ,… ,yn)满足y1 …