论文部分内容阅读
恒等式的组合证明或组合解释赋予了恒等式一定的计数意义,组合证明最常用的方法是分别用两种不同的方法对恒等式的两端进行计数,一般通过构造两个集合之间的双射,这两个集合的个数分别表示恒等式的两端,从而根据双射的一一对应性证明恒等式.本文也正是采用了这种方法对恒等式进行组合证明,从而揭示组合证明的一般方法.
在组合恒等式中,q-恒等式是一类特殊的恒等式,其中一大部分是关于离散变量恒等式的q-模拟,这里q是一个参数,它具有很多的计数意义,因此对q-恒等式的证明受到人们的广泛关注.人们用各种各样的方法进行研究,本文主要采用分拆的方法来给出一些q-恒等式的组合证明.
本文给出了一些重要的二项式系数恒等式的组合证明或组合解释,并从分拆的角度给出了一些q-恒等式的组合证明,其中突出的成果是给出了平方和恒等式的一个直接的组合证明并给出了偶数平方和与奇数平方和的q-模拟及组合证明.文章主要内容可概括如下:
1.介绍了一些与q-模拟有关的基本知识和基本概念,如:分拆,Ferrers图,偏序集,格,组合证明,二项式系数等.
2.给出了一般布尔格上一些重要的恒等式及其组合证明或组合解释.
3.引入q-模拟的概念,从分拆的角度给出了一些q-恒等式的组合证明.
4.给出了恒等式∑nk=1k2=1/4(2n+23)的一个直接的组合证明.并从分拆的角度分别给出了恒等式∑nk=1(2k)2=(2n+23)和∑nk=1(2k-1)2=(2n+13)的q-模拟及组合证明.