MathLabs

Problem 2

Show that the inequality ∑i=1n∑j=1n∣xi−xj∣≤∑i=1n∑j=1n∣xi+xj∣\sum_{i=1}^n\sum_{j=1}^n\sqrt{|x_i-x_j|}\le\sum_{i=1}^n\sum_{j=1}^n\sqrt{|x_i+x_j|} holds for all real numbers x1,x2,…,xnx_1,x_2,\ldots,x_n.
Step 1 of 5: Verify the base cases n=1n=1 and n=2n=2
In plain words

Small cases anchor the induction and are checked by direct computation.

n=1: 0≤2∣x1∣n=1:\ 0\le 2\sqrt{|x_1|}
Detailed analysis

For n=1n=1 both sides equal 00 trivially (or reduce to 0≤2∣x1∣0\le 2\sqrt{|x_1|} once diagonal terms are separated), and for n=2n=2 a short case check on the sign of x1x2x_1x_2 confirms the inequality; these anchor an induction on nn.