一个线性数列不等式的命题

首先,我们需要引入阿贝尔变换：引理（阿贝尔变换）：对于给定的有限项数列{a_n},{b_n},记S_k=∑k i=1b_i,则有下列恒等式成立：∑n i=1a_ib_i=a_nS_n＋∑n-1i=1（a_i-a_（i＋1））S_i.以下,我们给出一个命题：命题：数列{x_n},{y_n}满足对于任意的实数t_1,t_2,…,t_n满足t_1≥t_2≥…≥t_n,均有∑n i=1x_it_i≥∑n i=1y_it_i的充要条件是：