MathDB
double sum (t_i-t_j)^2x_ix_j <= 0 if sum x_i = 0

Source: Netherlands - Dutch NMO 1975, year 1975-76 (also named as 1975 -2) p3

January 27, 2023
inequalitiesSumalgebra

Problem Statement

Given are the real numbers x1,x2,...,xnx_1,x_2,...,x_n and t1,t2,...,tnt_1,t_2,...,t_n for which holds: i=1nxi=0\sum_{i=1}^n x_i = 0. Prove that i=1n(j=1n(titj)2xixj)0.\sum_{i=1}^n \left( \sum_{j=1}^n (t_i-t_j)^2x_ix_j \right)\le 0.