令(a0,...,an)是一个对称正整数序列，即ai=a_{n-i}。令m=[n/2]。称其为一个梯形序列如果
（1）a0≤a1≤...≤am≥...大于等于an；
（2）若ai=a_{i+1}对于某i<m成立，那么ai=a_{i+1}=...=am。
也就是说它们的值构成一个像梯形一样的形状。
我的问题是：证明两个梯形序列(a0,..,an)、(b0,...,bm)的柯西乘积还是一个梯形序列。或者等价地说，证明多项式p(t)=(a0+a1t+a2t^2+...+ant^n)(b0+b1t+b2t^2+...+bmt^m)的系数构成一个梯形序列。
化简一下难度的话，也可以先证明bi全都等于1的情况。
