1*12+2*11+3*10+..+12*1这种计算的公式有吗?,