1. 引言
欧拉的五边形数定理是整数划分理论中的一个经典定理,我们利用雅可比三重积恒等式和拉马努金乘积公式考虑把五边形数定理扩展到一般的n边形数并给出了一个新的整数划分公式。
2. 预备知识
对于正整数n与实数q,定义q-位移乘积:
以及无穷乘积
欧拉证明了以下两个著名公式:
(1)
(2)
在文献 [1] 中,G. E. Andrews使用上述两式和一些简单的代换,简洁地证明了Jacobi三重积恒等式:对于
(3)
在上式中做替换
以及
我们得到经典的欧拉五边形数定理:
(4)
基本超几何函数
有如下定义:
当
时,我们有拉马努金公式:对于固定的
,
(5)
在上式中令
,并且令
,得到
(6)
文献 [2] 中,Farkas和Kra利用k-阶
函数证明了五重积公式。文献 [3] 用统一的思路考虑了三重,五重,七重乘积公式,文献 [4] 使用基本的复变函数理论证明了上面的拉马努金公式,文献 [5] 利用西尔韦斯特的“伪几何论证”方法给出了三重积公式在有限情况下更加一般的结果,文献 [6] 考虑了雅可比乘积公式在数论中的解释,对于q-微积分一般的介绍可以参见文献 [7]。
3. 主要结果
我们的主要结果之一是如下公式:
定理一:
(7)
定义序列
或者
当
时,得到三角形数
。
当
时,得到平方数
。
当
时,得到五边形数
。
当
时,得到六边数
。
当
时,得到七边数
。
当
时,得到八边形数
。等等。
文献 [7] 已经讨论过三角形数和平方数的情况。
对于五边形数,我们考虑式(3)并做替换
,得到:
(8)
把上式与式子(4)相比较,我们得到
(9)
以及
若我们在雅可比乘积中直接做替换
,可以得到
(10)
在雅可比乘积中,做替换
,可以得到
(11)
或者等价地
(12)
从而对于奇数项的或者偶数项的五边形数,我们总是可以将其展开成三种类型因子的无穷乘积或者这个这样的无穷乘积的和。
考虑在式子(6)中做替换
,我们得到
(13)
在式子(8)中,考虑到
从而可以得到五边形数另外一个无穷乘积:
(14)
下面我们考虑六边形数的幂次生成函数,在雅可比乘积中做代换
:
注意到对于三角形数,我们有,于是上式可以写成
注意到任何一个六边形数都是三角形数,即对于
,
,
,从而我们可以在两边消去公共因子得到
(15)
从而定理一得证。
定义:对于正整数n,假如有
则称
属于n的第一类划分。
定义:对于正整数n,假如有有限个六元组
满足关系
则称这些六元组属于n的第二类划分。
定理二:对于任何正整数n,n的第一类划分的数目与第二类划分的数目相同。
证明:改写式子(15)成
(16)
应用替换
,可以得到
应用替换
,可以得到
如此继续替换,把
全部代入式子(16),我们得到
(17)
(18)
利用欧拉公式(2)把上式左边进行展开,我们得到
把上面的式子右边分母中的每一项用几何级数进行展开,代入式子(18),可以得到
(19)
然后我们比较两边q的相同幂次的系数,则定理得证。
例子:我们取
,式子(19)左边
的系数表示 的第一类划分的数目,右边表示其第二类划分的数目。考虑7的第一类划分:
·
,
,满足条件。
·
,
,
,但我们要求
,矛盾,故此种条件下没有满足条件的第一种划分。
·
,
,
,已知
,所以有
,而且有
或者
,所以有
。
·
,与
类似,不存在。
·
,
。
·
,不存在。
·
,
。
· 以上结果统计出7的第一种划分共有五种。
考虑第二种划分。因为划分当中的每一项都是非负数,对于我们只需要考虑其中不大于7的项,总共有1,2,4,5这四个数,相应的对于不大于7的数只可能是3,6,7,于是,在这些数中间,每一个数至多选取一次,能够组成7的组合有
共有五种。
结论:我们利用雅可比恒等式和拉马努金公式,得出了一些乘积展开式和一个关于整数划分的公式,这个公式的双射证明还有待探索。