Elder定理是 Stanley定理 的推广,后者指出,在 整数 的所有无序 划分 中,整数
出现的总次数等于在一个 划分 中,部分出现
次或更多次的场合数,其中包含
部分的划分,每个部分出现
次或更多次,对所讨论的总和贡献
。
这个一般结果由 R. P. Stanley 于 1972 年发现,并提交给美国数学月刊的“问题与解答”栏目,但被拒绝,评论是“有点太简单,只使用了标准论证”,大概是因为编辑们没有理解问题的实际陈述和解法(Stanley 2004)。因此, 的结果首次作为 Cohen (1978) 中的问题 3.75 发表,此前 Cohen 从 Stanley 那里得知了这个结果。因此,
的情况有时被称为“Stanley定理”。Kirdar 和 Skyrme (1982)、Paul Elder 在 1984 年(如 Honsberger 1985, p. 8 所报告)以及 Hoare (1986) 给出了对一般情况的独立证明。
作为定理的一个例子,请注意 4 的划分是 4,,
,
和
,其中包含
个 1,
个 2,
个 3 和
个 4。类似地,部分出现 1 次或更多次的情况有
次,2 次或更多次的情况有
次,3 次或更多次的情况有
次,以及 4 次或更多次的情况有
次。
一般来说,在 的划分中,1, 2, ...,
出现的次数由以下三角形给出
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | |
1 | 1 | |||||||
2 | 2 | 1 | ||||||
3 | 4 | 1 | 1 | |||||
4 | 7 | 3 | 1 | 1 | ||||
5 | 12 | 4 | 2 | 1 | 1 | |||
6 | 19 | 8 | 4 | 2 | 1 | 1 | ||
7 | 30 | 11 | 6 | 3 | 2 | 1 | 1 | |
8 | 45 | 19 | 9 | 6 | 3 | 2 | 1 | 1 |
(OEIS A066633)。