二项式系数是从数学家布莱斯·帕斯卡著名的三角形中提取出来的,它有几个优雅的性质。当然,它们在组合分析中是有用的,通常是必要的,但它们的作用远不止于此。有些性质利用了对称性,有些涉及膨胀,但它们都可以相当直观地证明。我们从二项式系数最原始的形式开始:帕斯卡三角形。
1
11
121
13.3.1
14.6.4.1
15.10.10.5.1
...
从上面的图中,我们可以看到,建筑的基本规则是:
(K.N)+(K.+1N)=(K.+1N+1).
我们有
(K.N)+(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).□
或者,在其它方面,两个相邻的二项式系数的总和等于“下方”它的一个,假设帕斯卡三角形是等边三角形,上面所示的形状生产。另一个重要的身份是
(K.N)=(N−K.N).
我们有
(K.N)=K.!!(N−K.)!!N!!=(N−(N−K.))!!(N−K.)!!N!!=(N−K.N).□
帕斯卡三角形的每一行在两种情况下都是对称的。它要么是回文的,要么是面向中心的(甚至
N)或回文和“镜像”,在三角形的一侧上的所有数字都在另一侧复制(对于奇数
N)。
一个固定行二项式系数的和
N等于二的幂。的确,
K.=0.∑N(K.N)=2N那
可以很容易地显示
2N=(1+1)N=(0.N)(1)N(1)0.+(1N)(1)N−1(1)1+⋯+(NN)(1)0.(1)N=K.=0.∑N(K.N).
沿着类似的线路,我将展示更普遍的迷人财产,关于其指数的一致系数的加权和:
K.=0.∑NK.(K.N)=N2N−1.
首先,我们来看看这个和是什么样的:
0.(0.N)+1(1N)+2(2N)+3.(3.N)+⋯+N(NN).
第一项是零,所以我们把和写成
K.=1∑NK.(K.N)=N2N−1.
倒回公式以计算二项式系数,我们获得
K.(K.N)=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.(K.N)=K.=1∑NN(K.−1N−1)=NK.=1∑N(K.−1N−1).
然后根据我们之前的二项式系数和的定义
NK.=1∑N(K.−1N−1)=NK.=0.∑N−1(K.N−1)=N2N−1.
现在到了一些有趣的事情。二项式系数的跨固定的行交替总和
N等于
0..更正式,
(0.N)−(1N)+(2N)−(3.N)+⋯+(−1)N(NN)=K.=0.∑N(−1)K.(K.N)=0..
它遵循
0.=(1−1)N=(0.N)(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(2K.N)=K.=0.∑N(2K.+1N)=22N=2N−1.
你也可能会发现隐藏在帕斯卡三角熟悉的序列。
(2N)代表了
(N−1)th三角形数
T.N=2(N+1)(N).如果你不熟悉这个序列,这里是让你开始一个链接!这证明利用了事实的
(1N)=N那(22)=1=T.1那
并假设所有人
N≥2那
(2N)=T.N−1(2N+1)=T.N=2(N)(N−1)=2(N+1)(N)那
这在归纳法下成立。我们可以通过观察帕斯卡三角形和使用我们的构造指南来直观地验证这一点:
(K.N)+(K.+1N)=(K.+1N+1).
现在,如果你知道你关于三角数的东西,你可以这么说
(2N)2=j=1∑N−1(1j)3..
这需要读者自己去证明,但如果你卡住了,这是一个链接证明。
更具视觉上醒目的属性之一是Sierpiński筛子,其通过采用每个二项式系数的Mod 2获得。该过程将每个二项式系数分开它的奇偶校验。如果使用黑色三角形替换每个奇数,则Sierpinski三角形开始形成。自己试试吧!这也参加了Lucas对应定理,留下了读者来发现进一步学习。