二项式系数是从数学家布莱斯·帕斯卡著名的三角形中提取出来的,它有几个优雅的性质。当然,它们在组合分析中是有用的,通常是必要的,但它们的作用远不止于此。有些性质利用了对称性,有些涉及膨胀,但它们都可以相当直观地证明。我们从二项式系数最原始的形式开始:帕斯卡三角形。
1
11
121
13.3.1
14641
15101051
...
从上图中我们可以看出,建筑的基本规则是
(kn)+(k+1n)=(k+1n+1).
我们有
(kn)+(k+1n)====k!((n−k)!)n!+(k+1)!(n−(k+1))!n!(k+1)!(n−k)!(k+1)n!+(n−k)n!(k+1)!(n−k)!(n+1)!(k+1n+1).□
或者,换句话说,假设帕斯卡三角形是如上所示的等边三角形形状,那么两个相邻二项式系数的和等于它下面的一个系数。另一个重要的特征是
(kn)=(n−kn).
我们有
(kn)=k!(n−k)!n!=(n−(n−k))!(n−k)!n!=(n−kn).□
帕斯卡三角形的每一行在两种情况下都是对称的。它要么是回文的,要么是面向中心的(甚至
n),或回文和“镜像”,即三角形一边的所有数字都复制到另一边(对于奇数)
n).
一个固定行二项式系数的和
n等于2的幂。的确,
k=0∑n(kn)=2n,
哪个可以很容易地显示出来
2n=(1+1)n=(0n)(1)n(1)0+(1n)(1)n−1(1)1+⋯+(nn)(1)0(1)n=k=0∑n(kn).
沿着类似的路线,我将演示一个关于二项式系数相对于其指标的加权和的更一般的迷人性质:
k=0∑nk(kn)=n2n−1.
首先,我们来看看这个和是什么样的:
0(0n)+1(1n)+2(2n)+3.(3.n)+⋯+n(nn).
第一项是零,所以我们把和写成
k=1∑nk(kn)=n2n−1.
回到计算二项式系数的公式,我们得到
k(kn)=k(k!(n−k)!n!)=k((k)(k−1)(k−2)⋯(2)(1)(n)(n−1)(n−2)⋯(n−k+1))=n((k−1)(k−2)⋯(2)(1)(n−1)(n−2)⋯(n−k+1))=n((k−1)(k−2)⋯(2)(1)(n−1)(n−2)⋯((n−1)−(k−1)+1)),
哪一个对我们比较有利,考虑到我们有一个固定的
n.我们终于可以这么说了
k=1∑nk(kn)=k=1∑nn(k−1n−1)=nk=1∑n(k−1n−1).
然后根据我们之前的二项式系数和的定义
nk=1∑n(k−1n−1)=nk=0∑n−1(kn−1)=n2n−1.
现在有趣的事情来了。在固定行上二项式系数的交替和
n=
0.更正式,
(0n)−(1n)+(2n)−(3.n)+⋯+(−1)n(nn)=k=0∑n(−1)k(kn)=0.
由此可见,
0=(1−1)n=(0n)(1)n(−1)0+(1n)(1)n−1(−1)1+⋯+(nn)(1)0(−1)n.
让
αe等于一行中所有偶数项的和
n,让
αo等于行中所有奇数项的和
n.我们前面的方程现在可以表示为
αe−αo=0⟹αe=αo.
因为行中所有偶数项的和
n以及行中所有奇数项的和
n是相等的,它们对行的总和的贡献是相同的,
2n.因此,如果我们省略偶数或奇数项,我们将正好得到原来总数的一半。因此,我们可以说
k=0∑n(2kn)=k=0∑n(2k+1n)=22n=2n−1.
人们可能还注意到帕斯卡三角形中隐藏着一个熟悉的序列。
(2n)代表了
(n−1)th三角形数
Tn=2(n+1)(n).如果你不熟悉这个序列,在这里是一个链接,让你开始!这个证明利用了一些事实
(1n)=n,(22)=1=T1,
并假设所有人
n≥2,
(2n)=Tn−1(2n+1)=Tn=2(n)(n−1)=2(n+1)(n),
这在归纳法下成立。我们可以通过观察帕斯卡三角形和使用我们的构造指南来直观地验证这一点:
(kn)+(k+1n)=(k+1n+1).
现在,如果你知道三角数,你可以这样说
(2n)2=j=1∑n−1(1j)3..
这需要读者自己去证明,但如果你卡住了,这是证明的链接。
其中一个更引人注目的性质是Sierpiński筛,它是通过对每个二项式系数取模2得到的。这个过程将每个二项式系数按其奇偶性分开。如果把每个奇数都换成一个黑色三角形,就会形成一个谢尔宾斯基三角形。你自己试试吧!这也适用于卢卡斯对应定理,留给读者进一步学习去发现。