Let
p(X)=i=1∏n(X−xi)=Xn−AXn−1+2A2−BXn−2−6A3−3AB+2CXn−3+….
The (n−3)th derivative of p has three nonnegative real roots
0≤u≤v≤w. Hence,
n!6p(n−3)(X)=X3−n3AX2+n(n−1)3(A2−B)X−n(n−1)(n−2)A3−3AB+2C=(X−u)(X−v)(X−w),
so
u+v+w=n3A,uv+vw+wu=n(n−1)3(A2−B)anduvw=n(n−1)(n−2)A3−3AB+2C.
From these we can see that
9n2(n−1)2(n−2)((n+1)A2B+(n−2)B2−A4−(2n−2)AC)=⋯==u2v2+v2w2+w2u2−uvw(u+v+w)=uv(u−w)(v−w)+vw(v−u)(w−u)+wu(w−v)(u−v)≥≥0+uw(v−u)(w−v)+wu(w−v)(u−v)=0.