[前スレ.871(1)]
　x,y,z,n≧0 のとき　F_n = (x-y)(x-z)x^n +(y-x)(y-z)y^n +(z-x)(z-y)z^n ≧0.

は、シュプリンガーの『不等式』にある定理80でつね。[前スレ.874]で解決.