正整数分拆中的特殊恒等式.pdfVIP

山西师范大学学报(自然科学版) ofShanxiNormal V01．23No．4 第23卷第4期 Journal University 2009年12月 NaturalScienceEdition Dec．2009 文章编号：1009-4490(2009)04-0015-04 正整数分拆中的特殊恒等式 庞荣波 (聊城大学东昌学院，山东聊城252000) 摘要：针对正整数有限制的无序分拆，首先给出“将n分拆成m个最大数是k的分拆数”所具备的两 个相关恒等式，然后又给出“当n是k的倍数时，将n分拆成k的次方之和的分拆数”所具有的几个恒等 式，并在运用模型分析和母函数对这些恒等式进行分析证明的基础上，迸一步举例加以验证． 关键词：整数；分拆数；母函数；分拆恒等式 中图分类号：0175．1 文献标识码：A 0引言 18世纪，欧拉提出了第一个正整数分拆的恒等式，自此正整数分拆引起了许多研究者的兴趣，成为组 合数学、数论以及图论研究的重要课题，近年来数学工作者已取得了丰硕的研究成果，如无序分拆…、有 序分拆心]、完备分拆【3】、奇偶分拆HJ以及分拆计数”，60等． 首先给出正整数分拆的组合解释：正整数n的分拆相当于把n个无区别的球放到／rt个无区别的盒子 里，每个盒子内可以放多个球，也允许为空．本文主要针对下面两种情况进行了探讨：(1)拆分成的分部数 和分部量都有限制的无序分拆；(2)n是k的倍数时，分部量是k的次方的无序分拆．并在此基础上提出了 一些新的关于正整数有限制的无序分拆的性质和定理，最后运用模型分析和母函数对这些恒等式进行分 析证明． 1 主要结果 1．1 分部数和分部量都有限制的无序分拆 定理1 二 将n拆分成不超过m个部分，且最大分部量为k+m一1的拆分数． 证明 从模型分析人手：将n个无区别的球放到m个无区别的盒子里，有一个盒子放k个球(不妨设 是第一个盒子放k个球)，另外的m—1个盒子内每个盒子先放一个球，则共用了k+m一1个球，然后将剩 内(允许出现空盒)．证毕．． 例 取n=15，k=7，m=4，将15拆分成4个数，且最大数是7的拆分形式是 7+6+1+l7+5+2+17+4+3+17+4+2+27+3+3+2 共5种． 收稿日期：2009-07-25 基金项目：国家自然科学基金；山东省自然科学基金(Y2006A04)． 作者简介：庞荣波(1969一)，男，山东聊城人，聊城大学东昌学院讲师，现为曲埠师范大学2007级硕士研究生，主要从事组 合数学、算法设计方面的研究。 万方数据 山西师范大学学报(自然科学版) 2009年 10+510+4+110+3+210+3+1+110+2+2+l 也共有5种． 定理1中要求k[詈]，如果对于小于n的任意k又会有什么样的结论呢?为此我们给出下面定理： 二 定理2 将／／,拆分成恰好含有m个部分，且最大分部量是七的拆分数等于将／I,拆分成不超过m个部 分，其中有一个分部量为m+k一1，其他分部量不超过k一1的拆分数． 证明 (1)将n拆分成恰好含有m个部分，且最大分部量是k的情形，可以通过下面的模型来实现：首 先任意选择一个盒子放入k个球(不妨设选的是第一个盒子)，另外的m一1个盒子里都先放一个球，这样 个盒子中最多再放k—1个球． 外的m一1个盒子里，允许出现空盒，但每个盒子中最多放k～1个球． 比较(1)、(2)两种模型，发现二者原理是一样的．证毕． 例 取n=10，m=6，k=3，将10拆分成6个数，且最大数为3的拆分形式是 3+3+l+l+1+13+2+2+1+l+l 共有两种． 分是8+2，8+1+1，