斯特林数和自然数前m项n次方的求和公式.docVIP

PAGE 　　　 　 PAGE 4　 　 斯特林数和自然数前m项n次方的求和公式　　　 　 将 个元素，分成 个非空子集，不同的分配方法种数，称为斯特林数（Stirling Number），记为，。　　　 例如，将4个物体分成3个非空子集，有下列6种方法：　　　 ，，，　　 ，，。　　 所以， 。　 斯特林数的值列表如下：　 　　 　　　 1　　 2　 3　 4　　 5　 6　 7　 8　　 9　　 1　 1　 　　 　　　 　 　 　　 　 　 　　 2　 1　　　 1　 　　　 　　　 　 　 　　 　 　 3　 1　　　 3　　　 1　　 　　 　　 　　　 　 　　　 　　 4　　 1　　 7　　　 6　 1　 　 　　 　　　 　　　 　　　 5　　　 1　 15　 25　　 10　 1　　　 　 　　 　　 　　 6　　　 1　　 31　　 90　 65　　　 15　　 1　　　 　 　　 　 7　 1　　　 63　　　 301　　 350　　　 140　　 21　　　 1　　 　　　 　　 8　　 1　 127　　　 966　　　 1701　 1050　　 266　　　 28　　 1　　 　 9　 1　　　 255　 3025　　　 7770　　 6951　　 2646　　　 462　 36　　 1　　 容易看出，有 ，， 。定理1 当 时，有 。　　　 证 把个元素分成个非空子集，有种不同分法。　 把个元素分成个非空子集，也可以这样考虑：或者将第个元素单独作为1个子集，其余个元素分成个非空子集，这种情况下有种不同做法；或者先将前个元素分成个非空子集，有种分法，再将第个元素插入这个子集，有种选择，这种情况下有种不同做法。所以共有种分法。　　 两种考虑，结果应该是一样的，因此有 。　 如果规定当或时，，则公式 对　　 任何正整数和任何整数都成立。　 　　 定理2 对任何整数 和 ，有　　　 。　 证 用数学归纳法证明。　　　 （1）当 时，　 ，　　 公式成立。　 （2）设已知对某个正整数 ，公式成立，下面看 时的情形：　 　 　　　 　 ，　　 可见 时公式也成立。　 （3）所以，对任何正整数 ，公式都成立。　　 　 例如，有　 ，　 ,　　 ,　 。　 　　　 定理3 当 时，有　　 。　 证 将个元素分配到个不同的格子中，每个格子可以有多个元素，也可以没有元素，共有种不同分配方法。　 将个元素分配到个不同的格子中，也可以这样考虑：先将个元素分成个非空子集，有种不同分法，再将这个子集分配到个格子中，每个格子最多只能放一个子集，不同的子集分配在不同的格子中，有种不同分法，共有种不同做法。这里可取中每一个值，所以有　　 。　 　　 定理4 对任何正整数 ，，有 。　　 证 用数学归纳法证明。　　 （1）当 时， ，定理显然成立。　　 （2）设已知对某个正整数 ，定理成立，下面看 时的情形：　　　 ，　　　 可见当 时，定理也成立。　 （3）所以，对任何正整数 ，定理都成立。　 　 定理5 对任何整数 和 ，有　 　　 。　 证 由定理3可知 ，由定理4可知 ，所以　 　　　 　　　 。　 例如，有　 ，　 ，　 ，　　 ，　　　 。