一类递归式的另解

本技术可以解决形如$a_nT_n=b_nT_{n-1}+c_n$的递归式，
其重点在于利用一个求和的因子来乘两边并转化为一个和式。
我们选取$s_n$使得$s_nb_n=s_{n-1}a_{n-1}$。

$$s_na_nT_n=s_nb_nT_{n-1}+s_nc_n$$
然后记 $S_n=s_na_nT_n$,那么有
$$S_n=S_{n-1}+s_nc_n\\ S_n=s_0a_0T_0+\sum_{i=1}^{n}s_ic_i$$
将 $S_n=s_na_nT_n$代入可得:
$$T_n=\frac{1}{s_na_n}(s_1b_1T_0+\sum_{i=1}^ns_ic_i)$$
那么如何选取正确的 $s_n$呢？
观察 $s_nb_n=s_{n-1}a_{n-1}$。
会得到 $$s_n=s_{n-1}\frac{a_{n-1}}{b_n}$$
展开得到:
$$s_n=s_1\frac{a_{n-1}a_{n-2}\cdots a_1} {b_nb_{n-1}\cdots b_2}$$
当下标大于0时, $s_1$可以随意选择不为0的任意数。
故 $s_n$可以轻松求出。