Denote by
fn(x1,x2,…,xn)=i=1∑nj=i∏(xi−xj)p=(x1−x2)p(x1−x3)p…(x1−xn)p
+(x2−x1)p(x2−x3)p…(x2−xn)p+⋯+(xn−x1)p(xn−x2)p…(xn−xn−1)p
Since f2(x1,x2)=(x1−x2)p+(x2−x1)p=0 for all x1,x2∈R, then for n=2 the statement holds and equality occurs. Let n≥3. Then
fn(x1,x2,a,a,…,a)=(x1−x2)p(x1−a)p(n−2)+(x2−x1)p(x2−a)p(n−2)=(x1−x2)p[(x1−a)p(n−2)−(x2−a)p(n−2)]
for all x1,x2∈R. Observe that fn(x1,x2,a,a,…,a)≥0 when the function ua(x)=(x−a)p(n−2) is an increasing function. It occurs when p(n−2) is an odd number from which follows that n must be an odd number too.
Now we consider the case when n≥7 is an odd number. Then, should be
fn(x1,a,a,a,b,…,b)=(x1−a)3p(x1−b)p(n−4)≥0,
for all x1,a,b∈R. But, the preceding inequality does not hold when x1=2a+b and a=b. So, we have to analyze the cases n=3 and n=5.
(1) For n=3 we may suppose WLOG that x1≥x2≥x3. Let g(x1,x2,x3)=(x3−x1)p(x3−x2)p and u(x)=(x−x3)p, x≥x3. Then, we have
(i) u is increasing.
(ii) g(x1,x2,x3)≥0.
On account of (i) and (ii), we have that
f(x1,x2,x3)=(x1−x2)p[(x1−x3)p−(x2−x3)p]+(x3−x1)p(x3−x2)p=(x1−x2)p[u(x1)−u(x2)]+g(x1,x2,x3)≥0
and the statement holds for n=3.
(2) For n=5 we also suppose that x1≥x2≥x3≥x4≥x5. Let
h(x1,x2,x3,x4,x5)=(x3−x1)p(x3−x2)p(x3−x4)p(x3−x5)p
and let v(x)=(x−x3)p(x−x4)p(x−x5)p, x≥x3 and w(x)=(x−x1)p(x−x2)p(x−x3)p, x≤x3. Observe that h(x1,x2,x3,x4,x5)≥0 and v and w are increasing. Since
f(x1,x2,x3,x4,x5)=(x1−x2)p[v(x1)−v(x2)]+(x4−x5)p[w(x4)−w(x5)]+h(x1,x2,x3,x4,x5),
then f(x1,x2,x3,x4,x5)≥0. We conclude that the natural numbers for which the statement follows are n=2,n=3 and n=5, respectively. □