Suppose x1,x2,…,xn are complex numbers. Prove that i,j=1∑n∣xi−xj∣2≤i,j=1∑n∣xi+xj∣2, with equality iff x1+x2+⋯+xn=0.
Solution — click to reveal
Note that ∣a+b∣2−∣a−b∣2=4Re(aˉb) for any complex numbers a,b. Hence, i,j=1∑n∣xi+xj∣2−i,j=1∑n∣xi−xj∣2=4i,j=1∑nRe(xˉixj)=4Rei,j=1∑nxˉixj=4Rei=1∑nxˉij=1∑nxj=4i=1∑nxi2≥0, and equality holds iff ∑i=1nxi=0.