1. 引言
组合序列的相关和式一直是组合数学研究的热点,特别是含有二项式系数、Stirling数、Catalan数、harmonic数、Euler数、Fibonacci数等的相关恒等式。目前,关于超几何恒等式的研究已经较为成熟,对非超几何恒等式,一个证明思路是将其转化成超几何恒等式进行证明 [1]。本文通过含有二项式系数 [1] [2] 的一些恒等式 [3] 来介绍组合恒等式的常用证明方法:组合证明法 [1] [2]、积分法 [1] [4]、差分法 [1]、生成函数法 [5] 和机器证明法 [6]。
2. 基础知识
定义1 二项式系数 [1]:对非负整数
,
,其中
为
的
次降阶乘,规定
。
定义2 对给定数列
,称对应的幂级数
为其生成函数 [5]。
定义3 Fibonacci数列 [7] [8]:
,初始条件为
。
定义4 Lucas数列 [9]:
,初始条件为
。
众所周知,Fibonacci数列可表示成二项式系数的相关和式 [2]。
定理1 对非负整数
,有
。
下面我们给出Fibonacci数列和Lucas数列的生成函数,可参考文献 [5]。
定理2 记
和
分别为Fibonacci数列和Lucas数列的生成函数,则
3. 组合恒等式证明的常用五种方法
3.1. 组合证明法
组合证明法的思路是对恒等式两端赋予一定的组合意义将其化为计数问题,再通过构造两个计数对象之间的双射,根据双射的一一对应来得到恒等式。下面以两个经典例子进行说明。
例1证明Chu-Vandermonde恒等式 [1]
(其中
为非负整数)。
证明由两个集合元素的个数分别为
,分别在其中找一个大小为
的子集,其中
,对
所有满足条件的
求和,即:
;另一方面,对集合元素个数为
的集合,其子集大小为
的集合的方法数为:
;综上:即有:
。
例2证明
[1]。
证明对于等式右边:假设我们抛了
次硬币,其中有
次正面朝上,方法数为
。对
于等式左边选择
个位置,可供选择的位置总数就是求和的变量,如果最后一个正面朝上出现在
位置上,那么可能出现的方法数就是在最后一个正面朝上出现之前从
个可能的位置中选
个位置的方法
数,即
。综上:即有
。
3.2. 积分法
积分法的主要思想是将求和项或其一部分利用积分表示出来,通过交换积分与求和次序直接得到等式右端或验证左右两端积分后的结果相同来证明恒等式。下面给出两个例子:
例3 证明
[1]。
证明令
中的
得到:
对
两边同时除以
得到:
对
两边同时对
从
到
求积分
等式左边得:
等式右边得:
其中:
即:
例4证明
[1]。
证明由Gamma函数的性质 [10] [11]
,
。
可得:
以及
。
由上式可得:
3.3. 差分法
差分法的基本思想是通过验证左右两端相邻两项的差相等来证明恒等式,即要证明
,只需
和相同的初值即可。
例5证明
[14] [15]。
证明设左端和式为
可得:
再利用
可得
.
例6证明
[1]。
证明令
,只需证明
即可。
再利用
即可得证。
3.4. 生成函数法
生成函数法的基本思想是将含有组合序列的求和项转化为其对应的生成函数,通过生成函数的操作
得到相应的函数关系式,进一步取系数返回到原和式即可。给定一个含有组合序列的和式
,
要证明
或求出
的表达式(也称为闭形式),具体步骤如下 [5]:
1) 将新的求和项
对变量
求和,记
;
2) 通过交换求和次序并利用已知生成函数的解析式得到
的解析表达式;
3) 要证明
,只要证明
和
有相同的生成函数即可。
例7 证明
[12]。
证明 由Lucas数列的性质
和定理1可知该等式等价于
。
利用定理2,不难得到左端的生成函数为:
.
同理,右端生成函数为
。
可见两端生成函数相等,于是等式得证。
例8证明
[1]。
证明利用定理2以及
可得:
对等式左端取其生成函数可得:
对等式右端利用生成函数和换元的思想,具体操作如下:
又由于
,可得:
令
,则令
,
可得:
可见两端生成函数相等,于是等式得证。
3.5. 机器证明方法
机器证明法是近几十年才发展起来的证明恒等式的有力方法。目前,超几何恒等式证明的相关研究已经成熟,下面我们介绍最经典的两个超几何算法及WZ方法。
1) Gosper算法:
Gosper算法完全解决了超几何恒等式不定和问题。
对给定的超几何项
,Gosper算法寻找满足
的超几何项
。一旦得到不定和
,即可求
出和式
的闭形式
。注意
有可能不是超几何项。
Gosper算法已集成在Maple系统中,通过调用with (SumTools [Hypergeometric])工具包以及Gosper(t(n), n)命令即可求出给定求和项的不定和。这里仅举一例。
例9证明
[1]。
证明令
,由Gosper算法可得:则
即:
。得证。
2) Zeilberger算法
Zeilberger算法用来处理定和问题。给定一个双超几何项
,(即关于n和k都是超几何的)。考
虑和式
。Zeilberger算法寻找与求和变量k无关的一些多项式
及一
个有理函数
使得
称该式为斜递推关系,其中
对该式两端对所有整数
求和得到和式
满足的一个递推关系式
若要证明恒等式
,只需验证
也满足该递推关系,且与
具有相同的初值即可。
注意,若能直接求出该递推关系的闭公式,也可直接证明恒等式。
Zeilberger算法也已集成在Maple系统中,通过调用with (SumTools [Hypergeometric])工具包以及Zeilberger (f, n, k, N)命令即可得到斜递推关系。下面我们给出几个例子。
例10证明
[1]。
证明令
,用
表示求和项,则由Zeilberger算法可以找到斜递推关系:
上式等式两边对
求和,得到:
。于是有
,其中
。
由于当
之前的项都为0,当
时每一项才不为0,于是可得
可得
;即
。得证。
例11证明Gould’s 恒等式
[13]。
证明令
,用
表示求和项,则由Zeilberger算法可以找到
斜递推关系:
。
上式等式两边对
求和,得到:
。
即:
;其中:
。
则:
。
可得:
;即:
。得证。
3) WZ方法
WZ方法是基于Zeilberger算法一个证明超几何恒等式的有效工具。对超几何恒等式
,由于
也是超几何的,可将其等价于
,其中
。在
绝大多数情况下,对新的求和项,Zeilberger算法可得到有理满足
使得:
,其中
。对所有整数
求和,可得
,即和式为一常数。再通过验证
即可证明该恒等式。
例12证明
[6]。
证明利用WZ方法,令
,
。
恒等式两边同除以等式右边得到新的恒等式:
,
其中
。
由Zeilberger 算法可得到有理函数
。
令
,则得到
。
对所有整数
求和,则可得到
;再验证
即可得证。
例13证明
[6]。
证明利用WZ方法,令
,
。
恒等式两边同时除以等式右边,得到新的恒等式:
。
其中
。
由Zeilberger算法可得有理函数
。
令
,则得到
。
对所有整数
求和,则可得到
;再验证
即可得证。
4. 结语
本文通过一些含有二项式系数的相关恒等式介绍了组合恒等式证明的常用五种方法:组合证明法、积分法、差分法、生成函数法和机器证明法。当然,这些方法的应用不仅限于二项式系数的相关恒等式。此外,近些年来,相关方法的推广和应用也得到了广泛关注 [13] [14] [15]。在后续的研究中,将继续探讨这些方法在处理含有其他组合序列和特殊函数的恒等式中的应用。
基金项目
国家自然科学基金项目(11501416),国家自然科学基金项目(12071235)。
参考文献