论文部分内容阅读
机器证明理论是数学中尤其是组合数学中一个重要的分支,它利用计算机来证明一些人工很难证明的恒等式,而证明恒等式的成立也是基于一些漂亮的算法和方法,其中WZ方法是最为广泛使用的一种。
WZ方法是Wilf和Zeilberger于1990年发现的一种有很强应用的机械化方法。它主要是基于Gosper的求不定和算法,来证明超几何级数恒等式的。
本文在基于WZ方法的基础上,利用已知的恒等式,通过寻找WZ对的伴随对和对偶对来寻找新的超几何恒等式,并把普通超几何级数引申到q-超几何级数,利用q-WZ方法,加之伴随对偶来寻找新的q-恒等式。
我们首先定义满足本文中算法的超几何级数,q-超几何级数,然后对已知的恒等式进行方法多样的变换分析,利用Maple找到它们的伴随与对偶,找到新等式左右两边的表达式并最后验证是否相等。我们会给出一些典型的例子来展示寻找恒等式的过程和相应的Maple程序算法。