跳到正文
组合计数 · 第 6 章

组合恒等式

把同一个东西用两种方法数,恒等式就白送给你:对称性、行和、范德蒙恒等式、帕斯卡恒等式和曲棍球棒恒等式,每一个都是一条捷径,帮你绕过手算要算到天荒地老的求和。

你需要先会
在 YouTube 上打开
6.10%

基本恒等式

在本节中,你将能够 通过把同一个东西用两种方法数来证明恒等式,并会用杨辉三角的行和。

把一个 4 人俱乐部的子集用两种方法数:一个开关一个开关地数,或者按大小数。两种数法的结果一定相同,恒等式就这样白送给你了。

本章的核心思想是算两次(双重计数)。找一个量,用两种不同的方法数它,再让两个结果相等。下面每个证明都是一段简短的苏格拉底式问答:打开“证明”,先自己回答蓝色的问题。

动手探索先玩,再学公式

杨辉三角,第 0 行到第 5 行;第 5 行的和是 2^5 = 32

行数5
和 1和 2和 4和 8和 16和 32

点一个数(或用 Tab 键进入三角形,再用方向键移动),看看它是怎么来的。

第 5 行:1 + 5 + 10 + 10 + 5 + 1 = 32 = 25

杨辉三角,第 0 行到第 5 行

认识概念

定理 6.1.1 · 对称性

对称性:

(nk)=(nn−k)\binom{n}{k} = \binom{n}{n-k}

定理 6.1.2 · 二项式恒等式

各项之和:

(n0)+(n1)+⋯+(nn)=2n\binom{n}{0} + \binom{n}{1} + \cdots + \binom{n}{n} = 2^n

4 个开关,每个开或关:2^4 = 16 个子集

元素个数4

你的子集:∅(空集:它也算!)

2 × 2 × 2 × 2 = 16 个子集

每个元素有 2 种选择:在或不在。每一种开关组合都是一个不同的子集。

子集 ∅,有 0 个元素。2 × 2 × 2 × 2 = 16 个子集。

4 个人每人都是一个开关:选入或不选入。共有 2⁴ = 16 个子集,按大小分成 1 + 4 + 6 + 4 + 1。

定理 6.1.3 · 奇偶选取恒等式

当 n≥1n \ge 1 时,

∑k=0n(−1)k(nk)=0.\sum_{k=0}^{n} (-1)^k \binom{n}{k} = 0.

也就是说,(n0)+(n2)+⋯=(n1)+(n3)+⋯\binom{n}{0} + \binom{n}{2} + \cdots = \binom{n}{1} + \binom{n}{3} + \cdots

4 个元素:加入或去掉 Bob,把每个元素个数为偶数的子集和一个奇数的配对,所以偶数、奇数各 8 个

元素个数4

{Ann, Cy}:2 个元素,偶数。切换 Bob,奇偶性就会改变。

子集元素个数为偶数元素个数为奇数
不含 Bob44
含 Bob44
全部88
偶数大小 8 个 = 奇数大小 8 个

{Ann, Cy} 有 2 个元素(偶数)。不含 Bob:4 个偶数大小,4 个奇数大小。含 Bob:4 个偶数大小,4 个奇数大小。

把 Bob 加进来、再拿出去:每个偶数人的组都变成奇数人的组,反过来也一样。

竞赛角真实竞赛题

习题 6.4.3

AMC 10/12

把编号为 1,2,3,…,131, 2, 3, \ldots, 13 的 13 张卡片排成一排。任务是按数字从小到大的顺序把它们拿起来,每一遍都从左往右走,重复进行。在下面的例子中,第一遍拿起卡片 1、2、3,第二遍拿起 4 和 5,第三遍拿起 6,第四遍拿起 7、8、9、10,第五遍拿起 11、12、13。在卡片的 13!13! 种可能的排列中,有多少种排列恰好用两遍就能把 13 张卡片全部拿起?

7 11 8 6 4 5 9 12 1 13 10 2 3\boxed{7}\ \boxed{11}\ \boxed{8}\ \boxed{6}\ \boxed{4}\ \boxed{5}\ \boxed{9}\ \boxed{12}\ \boxed{1}\ \boxed{13}\ \boxed{10}\ \boxed{2}\ \boxed{3}
点击一个选项,或输入它的字母(A–E)。

过关检测(第 6.1 节)

3 题中答对 2 题即可掌握本节。每题只有一次机会,没有提示。
1

已知 (125)=792\dbinom{12}{5} = 792,(127)\dbinom{12}{7} 是多少?

2

计算 (70)+(71)+⋯+(77)\dbinom{7}{0} + \dbinom{7}{1} + \cdots + \dbinom{7}{7}。

3

计算 (91)+(93)+(95)+(97)+(99)\dbinom{9}{1} + \dbinom{9}{3} + \dbinom{9}{5} + \dbinom{9}{7} + \dbinom{9}{9}。

6.20%

范德蒙恒等式

在本节中,你将能够 按每组各选了几个来拆分一次选取,并认出范德蒙和式。

你有 4 个橙子和 3 根香蕉,要选出 3 个水果。可以一次性全部数,也可以先数橙子,再数香蕉。

每一种选法都有若干个橙子,其余的是香蕉。把各种情况加起来,得到的总数和从全部水果中一次性选取的相同。这就是范德蒙恒等式。只要看到一个由二项式系数的乘积组成的和,而且下面的数之和是常数,就想想它。

动手探索先玩,再学公式

范德蒙恒等式:从 4 个橙子和 3 个香蕉中选 3 个,按橙子的个数分类:C(4,0)·C(3,3) + C(4,1)·C(3,2) + C(4,2)·C(3,1) + C(4,3)·C(3,0) = C(7,3) = 35

橙子4
香蕉3
选取个数3

组一个委员会:点选 3 个人。

已选 0 人,共需 3 人
  • 0 个橙子 + 3 个香蕉C(4,0) × C(3,3) = 1 × 1 = 1 ✓
  • 1 个橙子 + 2 个香蕉C(4,1) × C(3,2) = 4 × 3 = 12 ✓
  • 2 个橙子 + 1 个香蕉C(4,2) × C(3,1) = 6 × 3 = 18 ✓
  • 3 个橙子 + 0 个香蕉C(4,3) × C(3,0) = 4 × 1 = 4 ✓
1 + 12 + 18 + 4 = 35 个委员会所有情况合起来:C(7,3) = 35

3 人委员会,不限:35 个

认识概念

定理 6.2.1 · 范德蒙恒等式

范德蒙恒等式:

(n0)(mr)+(n1)(mr−1)+⋯+(nr)(m0)=(m+nr)\binom{n}{0}\binom{m}{r} + \binom{n}{1}\binom{m}{r-1} + \cdots + \binom{n}{r}\binom{m}{0} = \binom{m+n}{r}

定理 6.2.3 · 范德蒙恒等式的特例

平方和:

∑i=0k(ki)2=(2kk)\sum_{i=0}^{k} \binom{k}{i}^2 = \binom{2k}{k}

看例题先预测,再揭晓

例 6.1

Modified AIME

一个俱乐部由 11 名男生和 12 名女生组成,要从成员中选出一个委员会,使委员会中女生的人数比男生的人数多 1。委员会最少可以只有 1 人,最多可以有 23 人。设 NN 是可以组成的这种委员会的个数。若 N=(ab)N = \binom{a}{b},求 a+ba + b。

委员会组建器 (总数在例题最后一步揭晓)

男生11
女生12
选取个数11
  • 0 名男生 + 1 名女生C(11,0) × C(12,1) = C(11,0) × C(12,11) = ?
  • 1 名男生 + 2 名女生C(11,1) × C(12,2) = C(11,1) × C(12,10) = ?
  • 2 名男生 + 3 名女生C(11,2) × C(12,3) = C(11,2) × C(12,9) = ?
  • 3 名男生 + 4 名女生C(11,3) × C(12,4) = C(11,3) × C(12,8) = ?
  • 4 名男生 + 5 名女生C(11,4) × C(12,5) = C(11,4) × C(12,7) = ?
  • 5 名男生 + 6 名女生C(11,5) × C(12,6) = C(11,5) × C(12,6) = ?
  • 6 名男生 + 7 名女生C(11,6) × C(12,7) = C(11,6) × C(12,5) = ?
  • 7 名男生 + 8 名女生C(11,7) × C(12,8) = C(11,7) × C(12,4) = ?
  • 8 名男生 + 9 名女生C(11,8) × C(12,9) = C(11,8) × C(12,3) = ?
  • 9 名男生 + 10 名女生C(11,9) × C(12,10) = C(11,9) × C(12,2) = ?
  • 10 名男生 + 11 名女生C(11,10) × C(12,11) = C(11,10) × C(12,1) = ?
  • 11 名男生 + 12 名女生C(11,11) × C(12,12) = C(11,11) × C(12,0) = ?

看:选哪些女生来,等价于选哪些女生留在家。改数留在家的人,每一行就都恰好选 11 人。

? + ? + ? + ? + ? + ? + ? + ? + ? + ? + ? + ? = ? 个委员会所有情况合起来:C(23,11)

11 人委员会,不限:? 个

  1. 1

    设委员会有 mm 名男生。它有多少名女生?

在 YouTube 上打开

例 6.2

AIME

求

((32)2)+((42)2)+⋯+((402)2)\binom{\binom{3}{2}}{2} + \binom{\binom{4}{2}}{2} + \cdots + \binom{\binom{40}{2}}{2}

除以 1000 的余数。

  1. 1

    ((n2)2)\binom{\binom{n}{2}}{2} 数的是什么?

在 YouTube 上打开

竞赛角真实竞赛题

习题 6.4.1

一位合唱团指挥要从他的 6 名男高音和 8 名男低音中选出一组歌手。唯一的要求是:男高音人数与男低音人数之差必须是 4 的倍数,并且这组至少要有一名歌手。设 NN 是可以选出的不同组的个数。NN 除以 100 的余数是多少?

习题 6.4.4(补充题)

AIME挑战

这道题在书中还以 5.10 的编号出现。

有两根可区分的旗杆和 19 面旗,其中 10 面是相同的蓝旗,9 面是相同的绿旗。设 NN 是用上全部旗子、并且每根旗杆上至少有一面旗、任一根旗杆上都没有两面绿旗相邻的可区分的排法数。求 NN 除以 1000 的余数。(用范德蒙恒等式解这道题。)

过关检测(第 6.2 节)

3 题中答对 2 题即可掌握本节。每题只有一次机会,没有提示。
1

计算 (50)(64)+(51)(63)+(52)(62)+(53)(61)+(54)(60)\dbinom{5}{0}\dbinom{6}{4} + \dbinom{5}{1}\dbinom{6}{3} + \dbinom{5}{2}\dbinom{6}{2} + \dbinom{5}{3}\dbinom{6}{1} + \dbinom{5}{4}\dbinom{6}{0}。

2

计算 (60)2+(61)2+⋯+(66)2\dbinom{6}{0}^2 + \dbinom{6}{1}^2 + \cdots + \dbinom{6}{6}^2。

3

袋子里有 7 颗红弹珠和 5 颗蓝弹珠。按红弹珠的颗数分类,把取出 4 颗弹珠的方法数加起来。你得到的总数是多少?

6.30%

帕斯卡恒等式与曲棍球棒恒等式

在本节中,你将能够 用帕斯卡恒等式和曲棍球棒恒等式一步算出二项式系数的和。

手算 C(3, 3) + C(4, 3) + ⋯ + C(10, 3) 很繁琐。在杨辉三角上,整个和就在一个格子里。

杨辉三角中每个数都等于它上面两个数之和。沿着一条斜线一路用这个规律,和就会一层层累积起来:一段连续的数(球棒)加起来,等于它末端下方、错开一格的那个数(球棒头)。

动手探索先玩,再学公式

杨辉三角,第 0 行到第 7 行;帕斯卡法则:C(5, 2) + C(5, 3) = 10 + 10 = 20 = C(6, 3)

行数7
C(5, 2) + C(5, 3) = C(6, 3)10 + 10 = 20从 6 人中选 3 人。选了 Bob:10 种(从其余 5 人中再选 2 人)。没选 Bob:10 种(从其余 5 人中选 3 人)。

C(6, 3) = 10 + 10 = 20

认识概念

概念 6.3.1 · 杨辉三角

杨辉三角(帕斯卡三角)是由二项式系数排成的三角形数表。它包含许多规律,能让复杂的计算简单得多。

第 nn 行(把最上面一行算作第 0 行)依次是 (n0),(n1),…,(nn)\binom{n}{0}, \binom{n}{1}, \ldots, \binom{n}{n}。下面把前几行写成二项式系数;“演示给我看”会用数字显示第 0 行到第 10 行。

杨辉三角,第 0 行到第 5 行;每个数显示为 C(n, k)

行数5

点一个数(或用 Tab 键进入三角形,再用方向键移动),看看它是怎么来的。

杨辉三角,第 0 行到第 5 行

第 0 行到第 5 行,写成二项式系数。关掉“显示为 C(n, k)”就能看到数字。

定理 6.3.2 · 帕斯卡恒等式

帕斯卡恒等式:

(nr)+(nr+1)=(n+1r+1)\binom{n}{r} + \binom{n}{r+1} = \binom{n+1}{r+1}

定理 6.3.3 · 曲棍球棒恒等式

曲棍球棒恒等式:

(kk)+(k+1k)+⋯+(nk)=(n+1k+1)\binom{k}{k} + \binom{k+1}{k} + \cdots + \binom{n}{k} = \binom{n+1}{k+1}

定理 6.3.4 · 曲棍球棒恒等式的推广

推广形式:

(jk)+(j+1k)+⋯+(nk)=(n+1k+1)−(jk+1)\binom{j}{k} + \binom{j+1}{k} + \cdots + \binom{n}{k} = \binom{n+1}{k+1} - \binom{j}{k+1}

注 6.3.6

想象一下,如果例 6.3 要你手算 1+4+10+20+⋯+2201 + 4 + 10 + 20 + \cdots + 220,会有多麻烦!曲棍球棒恒等式把整个和变成了一个数。

注 6.3.7

这些恒等式在组合题中很有用,但怎么用上它们并不总是一眼就能看出来。对付许多组合题的一个好办法,就是不断变形式子,直到某个恒等式出现。

看例题先预测,再揭晓

例 6.3

AIME Modified

Melinda 有 10 个空箱子和 75 本教科书,其中 3 本是数学教科书。第 1 个箱子装 3 本教科书,第 2 个箱子装 4 本,第 3 个箱子装 5 本,依此类推,直到第 10 个箱子装 12 本。如果 Melinda 按随机顺序把教科书装进这些箱子,那么 3 本数学教科书都装进同一个箱子的概率可以写成 mn\frac{m}{n},其中 mm 和 nn 是互质的正整数。求 m+nm + n。

杨辉三角探索 (总数在例题最后一步揭晓)

点一个数,从那里开始一根“球棒”;再点同一列更下面的数,把它加长。

1 + 4 + 10 + 20 + … + 165 + 220 = ?

C(3, 3) + … + C(12, 3) = ?

  1. 1

    在 75 个放书的位置中,我们要选出 3 个放数学教科书。有多少种方法?

    先预测一下:

例 6.4

AIME

考虑集合 {1,2,3,…,2015}\{1, 2, 3, \ldots, 2015\} 的所有 1000 元子集。从每个这样的子集中取出最小的元素。所有这些最小元素的算术平均数是 pq\frac{p}{q},其中 pp 和 qq 是互质的正整数。求 p+qp + q。

  1. 1

    要求平均数,先求所有子集的最小元素之和。最小元素是 1 的子集有多少个?

    先预测一下:
    点击一个选项,或输入它的字母(A–E)。

过关检测(第 6.3 节)

3 题中答对 2 题即可掌握本节。每题只有一次机会,没有提示。
1

计算 (94)+(95)\dbinom{9}{4} + \dbinom{9}{5}。

2

计算 (22)+(32)+⋯+(92)\dbinom{2}{2} + \dbinom{3}{2} + \cdots + \dbinom{9}{2}。

3

计算 (53)+(63)+⋯+(103)\dbinom{5}{3} + \dbinom{6}{3} + \cdots + \dbinom{10}{3}。

6.4

练习题

在本节中,你将能够 在竞赛题中综合运用本章的恒等式。

书中把合唱团这道题印了两次。先用范德蒙恒等式解一遍,再看看你能不能在这里不看提示再做一次。

其他练习题放在它们所用的那一节里:习题 6.4.3 在第 6.1 节,习题 6.4.1 和 6.4.4 在第 6.2 节。想在一页上看到本章的全部习题?打开习题集。

竞赛角真实竞赛题

习题 6.4.2

AMC 12

这道题在书中还以 6.4.1 的编号出现。

一位合唱团指挥要从他的 6 名男高音和 8 名男低音中选出一组歌手。唯一的要求是:男高音人数与男低音人数之差必须是 4 的倍数,并且这组至少要有一名歌手。设 NN 是可以选出的组的个数。NN 除以 100 的余数是多少?