Proof Set g(0)=−∑i=1nxi, g(k)=∑i=1kxi−∑i=k+1nxi (1≤k≤n−1), g(n)=∑i=1nxi.
Then
∣g(1)−g(0)∣=2∣x1∣≤2,
∣g(k+1)−g(k)∣=2∣xk+1∣≤2,k=1,2,…,n−2,
∣g(n)−g(n−1)∣=2∣xn∣≤2.
So for each 0≤k≤n−1,
∣g(k+1)−g(k)∣≤2.1◯
If the conclusion is not true, by the condition for each k, 0≤k≤n, we have
∣g(k)∣>1.2◯
If there is an i, 0≤i≤n−1, such that g(i)g(i+1)<0, we may assume that g(i)>0 and g(i+1)<0. By ②, g(i)>1 and g(i+1)<−1. Thus ∣g(i+1)−g(i)∣>2. This contradicts ①. Thus g(0), g(1), ..., g(n) have the same sign. But g(0)+g(n)=0. The contradiction implies that the conclusion is true.