给定$l=[a_n,...,a_0]$，现在

for idx in range(len(l)-2, -1, -1):l[idx] += l[idx+1] * ld

注：这里的ld就是$\lambda$，定义${\lambda }^0=1$
证明变换后：
$l=[{\sum }_{i=0}^n{\lambda }^i{a}_{n-i},\cdots ,a_0]$

**证：**使用数学归纳法
现在从后往前看，最后一个位置$a_0$显然成立
然后看倒数第2个位置，变换前是$a_1$，变换后是$a_1+\lambda a_0$，也成立

下面假设在第j个（从右往左数，j从0开始计数）位置处，有
$a_j$
变换后
${\lambda }^0{a}_j+{\lambda }^1{a}_{j-1}+\cdots {\lambda }^j{a}_0$

下面考虑第j+1处
已知变换前，该处是$a_{j+1}$
根据代码，变换后就是
$a_{j+1}+\lambda ({\lambda }^0{a}_j+{\lambda }^1{a}_{j-1}+\cdots {\lambda }^j{a}_0)$

${\lambda }^0{a}_{j+1}+{\lambda }^1({\lambda }^0{a}_j+{\lambda }^1{a}_{j-1}+\cdots {\lambda }^j{a}_0)$

${\lambda }^0{a}_{j+1}+{\lambda }^1{a}_j+{\lambda }^2{a}_{j-1}+\cdots {\lambda }^{j+1}{a}_0$

${\sum }_{i=0}^{j+1}{\lambda }^i{a}_{j+1-i}$
由于在第$j$处成立推得在第$j+1$处成立，而$l$长度有限，因此该规律在$l$的每一个分量成立。QED。