这里会显示出您选择的修订版和当前版本之间的差别。
两侧同时换到之前的修订记录 前一修订版 后一修订版 | 前一修订版 | ||
2020-2021:teams:namespace:整数分拆问题 [2020/05/17 22:04] great_designer [互异分拆数] |
2020-2021:teams:namespace:整数分拆问题 [2020/05/17 22:12] (当前版本) great_designer [分拆数] |
||
---|---|---|---|
行 200: | 行 200: | ||
===== 小结论三 ===== | ===== 小结论三 ===== | ||
- | 奇分拆数:自然数n的各部分都是奇数的分拆方法数。 | + | 奇分拆数:pe_n。自然数n的各部分都是奇数的分拆方法数。 |
有一个显然的等式: | 有一个显然的等式: | ||
行 206: | 行 206: | ||
$$∏_{i=1}^∞ (1+x^i ) =\frac{∏_{i=1}^∞ (1-x^{2i} ) }{∏_{i=1}^∞ (1-x^i ) }=∏_{i=1}^∞ \frac{1}{1-x^{2i-1} }$$ | $$∏_{i=1}^∞ (1+x^i ) =\frac{∏_{i=1}^∞ (1-x^{2i} ) }{∏_{i=1}^∞ (1-x^i ) }=∏_{i=1}^∞ \frac{1}{1-x^{2i-1} }$$ | ||
- | 最左边是互异分拆数的生成函数,最右边是奇分拆数的生成函数。两者对应系数相同,因此,奇分拆数和互异分拆数相同,均为〖pd〗_n。 | + | 最左边是互异分拆数的生成函数,最右边是奇分拆数的生成函数。两者对应系数相同,因此,奇分拆数和互异分拆数相同: |
+ | |||
+ | $${pe}_n={pd}_n$$ | ||
+ | |||
+ | 但显然k部奇分拆数和k部互异分拆数不是一个概念,这里就不列出了。 | ||
再引入两个概念: | 再引入两个概念: | ||
- | 互异偶部分拆数:〖pe〗_n。自然数n的部分数为偶数的互异分拆方法数。(Even) | + | 互异偶部分拆数:pde_n。自然数n的部分数为偶数的互异分拆方法数。(Even) |
- | 互异奇部分拆数:〖po〗_n。自然数n的部分数为奇数的互异分拆方法数。(Odd) | + | 互异奇部分拆数:pdo_n。自然数n的部分数为奇数的互异分拆方法数。(Odd) |
因此有: | 因此有: | ||
- | $${pd}_n={pe}_n+{po}_n$$ | + | $${pd}_n={pde}_n+{pdo}_n$$ |
+ | |||
+ | 同样也有相应的k部概念。由于过于复杂,不再列出。 | ||
===== 分拆数 ===== | ===== 分拆数 ===== | ||
行 230: | 行 236: | ||
具体地,互异偶部分拆在展开式中被正向计数,互异奇部分拆在展开式中被负向计数。因此展开式中各项系数为两方法数之差。即: | 具体地,互异偶部分拆在展开式中被正向计数,互异奇部分拆在展开式中被负向计数。因此展开式中各项系数为两方法数之差。即: | ||
- | $$∑_{i=0}^∞ ({pe}_n-{po}_n ) x^n =∏_{i=1}^∞ (1-x^i ) $$ | + | $$∑_{i=0}^∞ ({pde}_n-{pdo}_n ) x^n =∏_{i=1}^∞ (1-x^i ) $$ |
接下来说明,多数情况下,上述两方法数相等,在展开式中系数为0;仅在少数位置,两方法数相差1或-1。 | 接下来说明,多数情况下,上述两方法数相等,在展开式中系数为0;仅在少数位置,两方法数相差1或-1。 |