参考博客 :
生成函数 线性性质 1 :
, 则
数列
的生成函数是
, 数列
的生成函数是
,
如果
数列 是
数列 的
倍 , 那么对应的 生成函数也存在对应的关系 ;
证明方法 : 将两边展开 , 根据定义代入即可 ;
生成函数 线性性质 2 :
, 则
数列
的生成函数是
, 数列
的生成函数是
, 数列
的生成含税是
,
数列和 的 生成函数 , 等于 生成函数的和 ;
一个数列是 其它数列的线性组合 , 那么将其 生成函数进行相应的组合 , 也能求出 大的数列的生成函数 ;
证明方法 : 将两边展开 , 根据定义代入即可 ;
生成函数 乘积性质 :
, 则有
数列
的生成函数是
, 数列
的生成函数是
, 数列
的生成含税是
,
数列
的生成函数 :
数列
的生成函数 :
数列
的生成函数 :
右边的 两个生成函数
和
相乘 :
按照多项式乘法 ,
,
次方项 , 即常数项, 构成方法有
种 , 两个生成函数中的常数项 , 相乘之后是
,
,
次方项 , 构成方法有
种 ,
中的
与
中的
, 构成
一次方项
;
中的
与
中的
, 构成
一次方项
;
,
次方项的系数是
, 完整的
次方项是
,
次方项 , 构成方法有
种 ,
中的
与
中的
, 构成
,
次方项
;
中的
与
中的
, 构成
,
次方项
;
中的
与
中的
, 构成
,
次方项
;
,
次方项的系数是
, 完整的
次方项是
规律 :
的
次方项 , 其系数是
, 由
项组成 , 每一项的
下标之和是
;