五边形数定理

最新推荐文章于 2021-01-13 17:48:07 发布

franztao

最新推荐文章于 2021-01-13 17:48:07 发布

阅读量978

点赞数

分类专栏：计算机_算法_数论

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/hengfanz/article/details/44237265

版权

计算机_算法_数论专栏收录该内容

5 篇文章 0 订阅

订阅专栏

五边形数定理是一个由欧拉发现的数学定理，描述欧拉函数展开式的特性。欧拉函数的展开式如下：

$\prod_{n=1}^\infty (1-x^n)=\sum_{k=-\infty}^\infty(-1)^kx^{k(3k-1)/2}=\sum_{k=0}^\infty(-1)^kx^{k(3k\pm 1)/2}.$

亦即

$(1-x)(1-x^2)(1-x^3) \cdots = 1 - x - x^2 + x^5 + x^7 - x^{12} - x^{15} + x^{22} + x^{26} + \cdots.$

欧拉函数展开后，有些次方项被消去，只留下次方项为1, 2, 5, 7, 12, ...的项次，留下来的次方恰为广义五边形数。

若将上式视为幂级数，其收敛半径为1，不过若只是当作形式幂级数（formal power series）来考虑，就不会考虑其收敛半径。

欧拉函数的倒数是分割函数的母函数，亦即：

$\frac{1}{\phi(x)}=\sum_{k=0}^\infty p(k) x^k$

其中 $p(k)$ 为k的分割函数。

上式配合五边形数定理，可以得到

$(1 - x - x^2 + x^5 + x^7 - x^{12} - x^{15} + x^{22} + x^{26} + \cdots)(1 + p(1)x + p(2)x^2 + p(3)x^3 + \cdots)=1$

考虑 $x^n$ 项的系数，在 n>0 时，等式右侧的系数均为0，比较等式二侧的系数，可得

$p(n) - p(n-1) - p(n-2) + p(n-5) + p(n-7) + \cdots=0$

因此可得到分割函数p(n)的递归式

$p(n) = p(n-1) + p(n-2) - p(n-5) - p(n-7) + \cdots$

以n=10为例

$p(10) = p(9) + p(8) - p(5) - p(3) = 30 + 22 - 7 - 3 = 42$

这就是所求的了，当n<0时，p(n)=0;

p(n)的其他性质：

当限定将表示成刚好个正整数之和时，可以表示为 $p_k(n)$ 。显然， $p(n) = \sum_{k=1}^{n} p_k(n)$ 。

对于 $n>1$ ， $p_n(n) = p_1(n) = 1$
$p_2(n) = \lfloor \frac{n}{2} \rfloor$ (OEIS:A004526)
$p_3(n)$ = 最接近 $\frac{n^2}{12}$ 的正整数。(OEIS:A069905)
$p_{n-1}(n) = C(n,2)$
$p_k(n) = p_{k-1}(n-1) + p_k(n-k)$

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
复制链接

分享到 QQ

分享到新浪微博

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。