比較 an ordering を伴うits reverse
Fまたはany ordering define W=y1+2y2+⋯+nyn W=y_1+2y_2+\cdots+ny_n W=y1+2y2+⋯+nyn. Its reverse has weighted 和 Wrev W^{\rm rev}Wrev 翻訳:. Pairing positions gives W+Wrev=(n+1)(x1+⋯+xn)=n+1 W+W^{\rm rev}=(n+1)(x_1+\cdots+x_n)=n+1W+Wrev=(n+1)(x1+⋯+xn)=n+1. したがって either one はalready における[−(n+1)/2,(n+1)/2][-(n+1)/2,(n+1)/2][−(n+1)/2,(n+1)/2], またはone はabove およびother below thはinterval.