refs
朱世杰恒等式(曲棍球恒等式)👺
- 朱世杰恒等式是组合数的一阶求和公式。元朝数学家朱世杰在《四元玉鉴》中，利用垛积术、招差术给出：
∑ i = a n ( i a ) = ( n + 1 a + 1 ) \sum_{i=a}^{n} \binom{i}{a} = \binom{n+1}{a+1} i=a∑n(ai)=(a+1n+1)
将上式记为式(0)
变形
-
若以 m − 1 m-1 m−1 代 n n n ,得到式
(1)
∑ i = a m − 1 ( i a ) = ( m a + 1 ) \sum_{i=a}^{m-1} \binom{i}{a} = \binom{m}{a+1} i=a∑m−1(ai)=(a+1m) -
与上式作差，写成：记为式
(2)
∑ i = m n ( i a ) = ( n + 1 a + 1 ) − ( m a + 1 ) \sum_{i=m}^{n} \binom{i}{a} = \binom{n+1}{a+1} - \binom{m}{a+1} i=m∑n(ai)=(a+1n+1)−(a+1m)
证明
递归方法
欲证式(0),即证式(2),而式(2)移项得到式(3)
(
m
a
+
1
)
+
∑
i
=
m
n
(
i
a
)
=
(
n
+
1
a
+
1
)
\binom{m}{a+1}+\sum_{i=m}^{n} \binom{i}{a} = \binom{n+1}{a+1}
(a+1m)+i=m∑n(ai)=(a+1n+1)
将其展开得到式(4)如下:
(
m
a
+
1
)
+
(
m
a
)
+
(
m
+
1
a
)
+
⋯
+
(
n
a
)
=
(
n
+
1
a
+
1
)
,
\binom{m}{a+1} + \binom{m}{a} + \binom{m+1}{a} + \cdots + \binom{n}{a} =\binom{n+1}{a+1},
(a+1m)+(am)+(am+1)+⋯+(an)=(a+1n+1),
最后证明式(0)等价于证明式(4)
可以反复使用帕斯卡法则合并式(4)等号左边首两项,最终得到其等于等号右边的结论
帕斯卡法则如下:
(
n
−
1
k
)
+
(
n
−
1
k
−
1
)
=
(
n
k
)
\binom{n-1}{k} + \binom{n-1}{k-1} = \binom{n}{k}
(kn−1)+(k−1n−1)=(kn)
从排列组合的角度(构造适当的排列组合问题模型)容易证明该等式
组合方法
从 n n n 元集 S = { a 1 , a 2 , a 3 , … , a n } S = \{a_1, a_2, a_3, \ldots, a_n\} S={a1,a2,a3,…,an} 选 r r r 个元素，有 ( n r ) \binom{n}{r} (rn) 种方法。将这些方法分类:
-
必有 a 1 a_1 a1 时，再在 n − 1 n-1 n−1 个元素中选 r − 1 r-1 r−1 个元素；这类方法有 ( n − 1 r − 1 ) \binom{n-1}{r-1} (r−1n−1)种
-
排除 a 1 a_{1} a1时,在 n − 1 n-1 n−1个元素中选 r r r个元素,这类方法有 ( n − 1 r ) \binom{n-1}{r} (rn−1)种;我们在这种大类情况在继续细分
- 排除 a 1 a_1 a1，且必有 a 2 a_2 a2 时，在 n − 2 n-2 n−2 个元素中选 r − 1 r-1 r−1 个元素；这类方法有 ( n − 2 r − 1 ) \binom{n-2}{r-1} (r−1n−2)种
- 排除 a 1 a_1 a1, 并排除 a 2 a_{2} a2(即排除 a 1 , a 2 a_1,a_2 a1,a2),在 n − 2 n-2 n−2个元素中选 r r r个元素,这类方法有 ( n − 2 r ) \binom{n-2}{r} (rn−2)种
- 排除
a
1
,
a
2
a_{1},a_{2}
a1,a2,情况下
- 包含 a 3 a_{3} a3的方法数有 ( n − 3 r − 1 ) \binom{n-3}{r-1} (r−1n−3)
- 排除 a 3 a_{3} a3,的方法数有 ( n − 3 r ) \binom{n-3}{r} (rn−3)
- 排除
a
1
,
a
2
,
a
3
a_{1},a_{2},a_{3}
a1,a2,a3情况下
- 包含 a 4 a_{4} a4的方法数 ( n − 4 r − 1 ) \binom{n-4}{r-1} (r−1n−4)
- 排除 a 4 a_{4} a4的方法数 ( n − 4 r ) \binom{n-4}{r} (rn−4)
- …
-
如此类推，直到必有 a n − r + 1 a_{n-r+1} an−r+1 时，在 r − 1 r-1 r−1 个元素中选 r − 1 r-1 r−1 个元素,此时方法数为 1 1 1,为了统一,仍然记为 ( r − 1 r − 1 ) \binom{r-1}{r-1} (r−1r−1)
- 这里 a n − r + 1 a_{n-r+1} an−r+1的下标如何确定?对于 a 1 ⋯ a x ⋯ a n a_{1}\cdots{a_{x}}\cdots{a_{n}} a1⋯ax⋯an,最后一次类推处理,要求 a x ⋯ a n a_{x}\cdots_{a_{n}} ax⋯an有 r r r个元素,那么 n − x + 1 n-x+1 n−x+1是 a x ⋯ a n a_{x}\cdots{a_{n}} ax⋯an的元素数量,所以令 n − x + 1 = r n-x+1=r n−x+1=r,得出 x = n − r + 1 x=n-r+1 x=n−r+1
- 不过在这里我们不是非得求出 x x x,只需要知道存在这么一个 x x x使得剩余元素恰好足够 r r r个
-
整理
( n − 1 r − 1 ) + ( n − 2 r − 1 ) + ⋯ + ( r − 1 r − 1 ) = ( n r ) \binom{n-1}{r-1}+\binom{n-2}{r-1}+\cdots+\binom{r-1}{r-1}=\binom{n}{r} (r−1n−1)+(r−1n−2)+⋯+(r−1r−1)=(rn)
将上述等式改写为求和式表示(可以先将等式左边调整一下顺序在改写为求和式)
(
r
−
1
r
−
1
)
+
⋯
+
(
n
−
2
r
−
1
)
+
(
n
−
1
r
−
1
)
\binom{r-1}{r-1}+\cdots+\binom{n-2}{r-1}+\binom{n-1}{r-1}
(r−1r−1)+⋯+(r−1n−2)+(r−1n−1)
∑ k = r − 1 n − 1 ( k r − 1 ) = ( n r ) \sum\limits_{k=r-1}^{n-1}\binom{k}{r-1}=\binom{n}{r} k=r−1∑n−1(r−1k)=(rn)
为了形式的美观性,由求和式的性质特点,等价变形求和指标,得到
∑
k
=
r
n
(
k
−
1
r
−
1
)
=
(
n
r
)
\sum_{k=r}^{n} \binom{k-1}{r-1} = \binom{n}{r}
k=r∑n(r−1k−1)=(rn)
或者求和指标变量用
i
i
i来表示,总结如下
公式形式总结
- ∑ i = a n ( i − 1 a − 1 ) = ( n a ) \sum_{i=a}^{n} \binom{i-1}{a-1} = \binom{n}{a} ∑i=an(a−1i−1)=(an)
- ∑ i = a n ( i a ) = ( n + 1 a + 1 ) \sum_{i=a}^{n} \binom{i}{a} = \binom{n+1}{a+1} ∑i=an(ai)=(a+1n+1)
-
如果将恒等式的左右两端对调,可以说,朱世杰恒等式将一个组合数 ( n a ) \binom{n}{a} (an)展开成 ( n − 1 r − 1 ) + ( n − 2 r − 1 ) + ⋯ + ( r − 1 r − 1 ) \binom{n-1}{r-1}+\binom{n-2}{r-1}+\cdots+\binom{r-1}{r-1} (r−1n−1)+(r−1n−2)+⋯+(r−1r−1)共 n − a + 1 n-a+1 n−a+1项
- 形式2中,将左边的求和式的上标和下标分别加一,分别作为等式右边 ( r 1 r 2 ) \binom{r_1}{r_2} (r2r1)中的 r 1 , r 2 r_1,r_2 r1,r2
-
形式1和形式2其实是完全等价的
- 令 n = n − 1 n=n-1 n=n−1, a = a − 1 a=a-1 a=a−1,带入到形式2,并等价调整求和号的上下标以及被求和表达式,就得到形式1
- 或者令
n
=
n
+
1
n=n+1
n=n+1,
a
=
a
+
1
a=a+1
a=a+1,带入形式1,也可以得到形式2
- ∑ i = a + 1 n + 1 ( i − 1 a ) \sum\limits_{i=a+1}^{n+1}\binom{i-1}{a} i=a+1∑n+1(ai−1)= ∑ i = a n ( i a ) \sum\limits_{i=a}^{n}\binom{i}{a} i=a∑n(ai)= ( n + 1 a + 1 ) \binom{n+1}{a+1} (a+1n+1)
应用
基础套用
利用朱世杰恒等式计算 ( 4 2 ) \binom{4}{2} (24)
分别用形式1,2计算
- ( 4 2 ) \binom{4}{2} (24)= ∑ i = 2 4 ( i − 1 1 ) \sum\limits_{i=2}^{4}\binom{i-1}{1} i=2∑4(1i−1)= ( 1 1 ) + ( 2 1 ) + ( 3 1 ) \binom{1}{1}+\binom{2}{1}+\binom{3}{1} (11)+(12)+(13)= 6 6 6
- ( 4 2 ) \binom{4}{2} (24)= ( 3 + 1 1 + 1 ) \binom{3+1}{1+1} (1+13+1)= ∑ i = 1 3 ( i 1 ) \sum\limits_{i=1}^{3}\binom{i}{1} i=1∑3(1i)= 6 6 6
等幂求和问题
例如：
∑
i
=
1
n
i
=
∑
i
=
1
n
(
i
1
)
=
(
n
+
1
2
)
\sum_{i=1}^{n} i = \sum_{i=1}^{n} \binom{i}{1} = \binom{n+1}{2}
i=1∑ni=i=1∑n(1i)=(2n+1)
∑ i = 1 n i ( i + 1 ) \sum_{i=1}^{n} i(i+1) ∑i=1ni(i+1)= 2 ∑ i = 1 n ( i + 1 2 ) 2 \sum_{i=1}^{n} \binom{i+1}{2} 2∑i=1n(2i+1)= 2 ∑ i = 2 n + 1 ( i 2 ) 2\sum\limits_{i=2}^{n+1}\binom{i}{2} 2i=2∑n+1(2i)= 2 ( n + 2 3 ) 2 \binom{n+2}{3} 2(3n+2)
上面的例子中出现的 ∑ i = 1 n ( i + 1 2 ) \sum_{i=1}^{n} \binom{i+1}{2} ∑i=1n(2i+1),求和符号和被求和式的形式不符合朱世杰恒等式的基础(标准)形式,我们根据求和符号的变形特点对该式子变形,将求和号的指标变量 i i i的起始值改为 2 2 2(也就是增加1,此时需要调整商标 n n n,也增加1,最后将求和式中的指标变量减去1)
类似的方法,计算 ∑ i = 1 n ( i + 1 3 ) \sum_{i=1}^{n} \binom{i+1}{3} ∑i=1n(3i+1)= ∑ i = 3 n + 2 ( i − 1 3 ) \sum_{i=3}^{n+2} \binom{i-1}{3} ∑i=3n+2(3i−1)= ( n + 3 4 ) \binom{n+3}{4} (4n+3)
扫一扫
469
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
