1-10所有5个数的组合_【国际数学竞赛】如何理解组合恒等式?

766b66cec09346cb8c9a62242c4d0d03.png

排列组合中有很多恒等式,比如

equation?tex=C_%7Bn%7D%5E%7Bm%7D%2BC_%7Bn%7D%5E%7Bm-1%7D%3DC_%7Bn%2B1%7D%5E%7Bm%7D 。刚接触时,我们往往把它们当作公式来记忆,利用
equation?tex=P_%7Bn%7D%5E%7Bm%7D%3D%5Cfrac%7Bn+%21%7D%7B%28n-m%29+%21%7D
equation?tex=C_n%5Em%3D%5Cfrac%7Bn+%21%7D%7Bm+%21+%5Ccdot%28n-m%29+%21%7D 来证明。但其实,它们都可以被赋予具体的场景(或问题),通过“算两次”的技巧来验证和理解,比如上述恒等式左右两边都是指从
equation?tex=n%2B1 个人中选出
equation?tex=m 个人的方法数。

本文从计数原理出发讲解排列与组合公式的由来,并在此基础上讲解如何通过具体的场景来理解各种不同的排列组合恒等式,比如

equation?tex=C_%7Bn%7D%5E%7B0%7D%2BC_%7Bn%7D%5E%7B1%7D%2B%5Ccdots%2BC_%7Bn%7D%5E%7Bn%7D%3D2%5E%7Bn%7D

equation?tex=C_%7Br%7D%5E%7Br%7D%2BC_%7Br%2B1%7D%5E%7Br%7D%2B%5Ccdots%2BC_%7Bn%7D%5E%7Br%7D%3DC_%7Bn%2B1%7D%5E%7Br%2B1%7D

equation?tex=C_%7Bm%7D%5E%7Br%7D+C_%7Bn%7D%5E%7B0%7D%2BC_%7Bm%7D%5E%7Br-1%7D+C_%7Bn%7D%5E%7B1%7D%2B%5Ccdots%2BC_%7Bm%7D%5E%7B0%7D+C_%7Bn%7D%5E%7Br%7D%3DC_%7Bn%2Bm%7D%5E%7Br%7D

equation?tex=C_%7Bn%7D%5E%7Br%7D+%5Ctimes+C_%7Bn-r%7D%5E%7Bk-r%7D%3DC_%7Bn%7D%5E%7Bk%7D+%5Ctimes+C_%7Bk%7D%5E%7Br%7D ……

希望与大家探讨和加深对排列组合恒等式的理解。

主要内容:

(1)计数原理 (2)排列组合 (3)恒等式

一、计数原理

计数原理就是计数的方法,一共有两种原理:加法原理乘法原理

接下里我们借助召唤师峡谷或者王者峡谷进行说明:

如果做一件事情是“一步到位”,那么我们就用加法原理。

从蓝色水晶沿着“上中下”三条路到红色水晶有多少种走法呢?

92a0ee52bb252dc61b35faf929eebff9.png

这一看就知道了一共三种走法,上一种、中一种、下一种,所以

equation?tex=1%2B1%2B1%3D3 种。这就是加法原理。

但如果你从蓝色水晶出发先到河道,然后再从河道出发前往红色水晶那有多少种走法呢?

0a5e706a6fd28f8e4fb69e69d522bf7c.png

首先蓝色水晶到河道有3种走法,而从河道到红色水晶又有3种走法,所以一共有

equation?tex=3%5Ctimes3%3D9 种走法。这就是乘法原理:如果做一件事情需要“
分步进行”,那么总的方法数就等于把每一步骤的方法数乘在一起。

6d4687a408c5fce9179d2a1fea99f18a.png
图:加法原理与乘法原理

加法原理与乘法原理看着很简单,但复杂的排列组合就是从这两个原理开始的,我们要理解其本质:加法原理对应的是一种分类思想,而乘法原理对应的是一种分步思想,对于排列组合的难题我们一般都是采取先分类后分步的策略。

9070994d987b4a195ea6ae23054ffe5a.png
注:两种思想在数学中都很常见,之前有一篇《分类讨论》就详细讲解了运用分类讨论解题。

二、排列组合

介绍完计数原理那么我们就可以来讲讲排列组合了。首先是排列(Permutation)。

请问从

equation?tex=n 个人中挑选
equation?tex=m 个人排成一排,有多少种方法数呢?

e729073bff86c4c626280a57e206820a.png

这里我们就可以运用乘法原理来计数,选出

equation?tex=m 个人,也就有
equation?tex=m 个位置,不妨一个一个位置来考虑:
第一个位置有
equation?tex=n 种选择;第二个位置有
equation?tex=%28n-1%29 种选择;……第
equation?tex=m 个位置有
equation?tex=%28n-m%2B1%29 种选择。

所以一共有

equation?tex=n%5Ccdot+%28n-1%29%5Ccdot%28n-2%29%5Ccdots%28n-m%2B1%29 种方法数,记为
equation?tex=P_n%5Em
注:排列数有不同的表示方法,如
equation?tex=A_n%5Em 等,不过表达的含义是一样的。

上面写的太复杂了,所以我们引入了阶乘(Factorial):对于任一自然数

equation?tex=n
equation?tex=n+%21%3Dn%28n-1%29%28n-2%29%28n-3%29+%5Cdots+%5Ctimes+3+%5Ctimes+2+%5Ctimes+1

并且规定

equation?tex=0%21%3D1 .
注:这下4个0也可以算24点了,
equation?tex=%280%21%2B0%21%2B0%21%2B0%21%29%21%3D24

所以计算式就可以简写为:

equation?tex=P_%7Bn%7D%5E%7Bm%7D%3D%5Cfrac%7Bn+%21%7D%7B%28n-m%29+%21%7D

特别的,当

equation?tex=m%3Dn 时,也就是
equation?tex=n 个人全部排队,也叫做全排列,
equation?tex=P_n%5En%3Dn%21

接着考虑组合(Combination)。

让我们再回到上面一个问题:请问从

equation?tex=n 个人中挑选
equation?tex=m 个人排成一排,有多少种方法数呢?

前面我们是通过从整体出发一个位置一个位置的考虑得到了排列数,接下去可以换一种思路:我们先从

equation?tex=n 个人中选出
equation?tex=m 个人,然后再对这
equation?tex=m 个人进行排列
。因为完成的是同一件事情所以方法数肯定是相等的,且我们把从
equation?tex=n 个人中选出
equation?tex=m 个人记为
equation?tex=C_n%5Em ,那么根据分步原理可知:

equation?tex=C_n%5Em%5Ccdot+P_m%5Em%3DP_n%5Em

于是,

equation?tex=C_%7Bn%7D%5E%7Bm%7D%3D%5Cfrac%7Bn+%21%7D%7B%28n-m%29+%21+m+%21%7D
注:
(1)组合数也有很多中表示方法,比如
equation?tex=%5Cleft%28%5Cbegin%7Barray%7D%7Bc%7D%7Bn%7D+%5C%5C+%7Bm%7D%5Cend%7Barray%7D%5Cright%29 ,但是含义是相同的;

(2)排列是有顺序的,组合是没有顺序的,所以看问题时一定要考虑清楚。

三、恒等式

至此,我们已经把排列数与组合数计算公式都讲清楚了,接下去就是要讲排列组合中各种恒等式了。

在前言中我们也讲了,本文主要是通过赋予恒等式具体含义来深入理解其成立原因,而不是通过带入排列数或组合数计算公式进行证明。所以关键的点不在于代数计算而是理解含义。

(1)

equation?tex=C_n%5Em%3DC_n%5E%7Bn-m%7D
左边表达的是从
equation?tex=n 个人中选择
equation?tex=m 个人参加活动;右边表示的是从
equation?tex=n 个人中选择
equation?tex=%28n-m%29 个人不参加活动。左右两式表示的都是同一件事情的方法数,所以相等。

这就是“算两次”的技巧,从不同角度去思考问题,因为是同一件事情所以得到的式子都是相等的。

(2)

equation?tex=P_%7Bn%7D%5E%7Bm%7D%2Bm+P_%7Bn%7D%5E%7Bm-1%7D%3DP_%7Bn%2B1%7D%5E%7Bm%7D
右边表示的是从
equation?tex=%28n%2B1%29 个人中选择
equation?tex=m 个人进行排队;

针对上述这件事,我们考虑
equation?tex=%28n%2B1%29 中特定的一个人“小黑”的情况:

1)如果小黑不在这
equation?tex=m 个人的队列中,那么有
equation?tex=P_n%5Em 种方法;

2)如果小黑在这
equation?tex=m 个人的队列中。那么先把小黑安置好,可以从
equation?tex=m 个位置中任意选一个位置,然后再从剩下的
equation?tex=n 个人中选择
equation?tex=%28m-1%29 个人排到队伍中。因此总的方法数为
equation?tex=m+P_%7Bn%7D%5E%7Bm-1%7D

根据加法原理,所以这件事总的方法数为
equation?tex=P_%7Bn%7D%5E%7Bm%7D%2Bm+P_%7Bn%7D%5E%7Bm-1%7D ,得证。

这里我们通过对特定的人“小黑”进行分类讨论得到了同一件事情的总方法数的不同表达式,而接下去讲的恒等式都是用这种方法说明的。这有助于我们深入理解这些恒等式。

(3)

equation?tex=C_%7Bn%7D%5E%7Bm%7D%2BC_%7Bn%7D%5E%7Bm-1%7D%3DC_%7Bn%2B1%7D%5E%7Bm%7D
右式表示的是从
equation?tex=%28n%2B1%29 个人中选出
equation?tex=m 个人;

左式我们可以按照恒等式(2)进行类似的分类讨论,指定一个人“小黑”:
1)如果小黑在这
equation?tex=m 个人中,那么再从
equation?tex=n 个人中选
equation?tex=%28m-1%29 个人;

2)如果小黑不在这
equation?tex=m 个人中,那么就是从
equation?tex=n 个人中选
equation?tex=m 个人;根据加法原理,这件事总的方法数为:
equation?tex=C_%7Bn%7D%5E%7Bm%7D%2BC_%7Bn%7D%5E%7Bm-1%7D ,得证。

特别的,可以用恒等式(3)来证明:

(3*)

equation?tex=C_%7Br%7D%5E%7Br%7D%2BC_%7Br%2B1%7D%5E%7Br%7D%2B%5Ccdots%2BC_%7Bn%7D%5E%7Br%7D%3DC_%7Bn%2B1%7D%5E%7Br%2B1%7D
因为
equation?tex=1%3DC_r%5Er%3DC_%7Br%2B1%7D%5E%7Br%2B1%7D ,

所以
equation?tex=C_%7Br%7D%5E%7Br%7D%2BC_%7Br%2B1%7D%5E%7Br%7D%3DC_%7Br%2B1%7D%5E%7Br%2B1%7D%2BC_%7Br%2B1%7D%5E%7Br%7D%3DC_%7Br%2B2%7D%5E%7Br%2B1%7D (利用恒等式(3))。

接着
equation?tex=C_%7Br%2B2%7D%5E%7Br%2B1%7D%2BC_%7Br%2B2%7D%5Er%3DC_%7Br%2B3%7D%5E%7Br%2B1%7D ……

依次下去,最后可得
equation?tex=C_%7Bn%7D%5E%7Br%2B1%7D%2BC_n%5E%7Br%7D%3DC_%7Bn%2B1%7D%5E%7Br%2B1%7D ,得证。

(4)

equation?tex=C_%7Bn%7D%5E%7Bm%2B1%7D%2BC_%7Bn%7D%5E%7Bm-1%7D%2B2+C_%7Bn%7D%5E%7Bm%7D%3DC_%7Bn%2B2%7D%5E%7Bm%2B1%7D
右式表示的是从
equation?tex=%28n%2B2%29 个人中选出
equation?tex=%28m%2B1%29 个人;

与上面讨论类似,左边需要根据“小黑”、“小白”两个人的情况进行分类讨论:
1)小黑、小白都没有被挑选出来,
equation?tex=C_n%5E%7Bm%2B1%7D ;

2)小黑、小白都被挑选出来了,
equation?tex=C_n%5E%7Bm-1%7D ;

3)小黑、小白其中有一人被挑选出来了,
equation?tex=2+C_%7Bn%7D%5E%7Bm%7D

所以,根据加法原理
equation?tex=C_%7Bn%7D%5E%7Bm%2B1%7D%2BC_%7Bn%7D%5E%7Bm-1%7D%2B2+C_%7Bn%7D%5E%7Bm%7D ,得证。

注:这里麻烦了一点,需要讨论两个人的情况,不过思想还是和前面一样的。按照这种想法我们能够造出很多很多的组合恒等式。

下面再来看一些稍微复杂的。

(5)

equation?tex=C_%7Bn%7D%5E%7Br%7D+%5Ctimes+C_%7Bn-r%7D%5E%7Bk-r%7D%3DC_%7Bn%7D%5E%7Bk%7D+%5Ctimes+C_%7Bk%7D%5E%7Br%7D

188d1e3864561ece1fcd7abb965db584.png
下面考虑这样一件事的方案数:
equation?tex=n 个人中有
equation?tex=k 个人中奖,并且中奖的
equation?tex=k 个人中有
equation?tex=r 个人为特等奖;

右式是这样考虑的:先从
equation?tex=n 个人中选择
equation?tex=k 个人中奖,然后再从
equation?tex=k 个人中选择
equation?tex=r 个人为特等奖,根据乘法原理
equation?tex=C_%7Bn%7D%5E%7Bk%7D+%5Ctimes+C_%7Bk%7D%5E%7Br%7D

左式是这样考虑的:从
equation?tex=n 个人先把特等奖的
equation?tex=r 个人选出来,然后再选
equation?tex=%28k-r%29 个中奖者,根据乘法原理
equation?tex=C_%7Bn%7D%5E%7Br%7D+%5Ctimes+C_%7Bn-r%7D%5E%7Bk-r%7D

因此左式等于右式。

(6)

equation?tex=C_%7Bm%7D%5E%7Br%7D+C_%7Bn%7D%5E%7B0%7D%2BC_%7Bm%7D%5E%7Br-1%7D+C_%7Bn%7D%5E%7B1%7D%2B%5Ccdots%2BC_%7Bm%7D%5E%7B0%7D+C_%7Bn%7D%5E%7Br%7D%3DC_%7Bn%2Bm%7D%5E%7Br%7D

57887317265ee0f2e56bec9a42821827.png
下面考虑这样一件事的方案数: 有黄、绿两支队伍,分别有
equation?tex=n%2Cm 个人,现在选拔
equation?tex=r 个人组成新的一支蓝队。

右式是这样考虑的,先把两支队伍合在一起,一共
equation?tex=%28n%2Bm%29 个人,然后从中选出
equation?tex=r

个人,所以方案数为
equation?tex=C_%7Bn%2Bm%7D%5E%7Br%7D

左式,既然有两支队伍,那么就根据两支队伍入选的人数进行分类讨论:
1)黄队入选
equation?tex=0 个,绿队入选
equation?tex=r 个,
equation?tex=C_%7Bm%7D%5E%7Br%7D+C_%7Bn%7D%5E%7B0%7D

2)黄队入选
equation?tex=1 个,绿队入选
equation?tex=%28r-1%29 个,
equation?tex=C_%7Bm%7D%5E%7Br-1%7D+C_%7Bn%7D%5E%7B1%7D

……
根据加法原理,一共有
equation?tex=C_%7Bm%7D%5E%7Br%7D+C_%7Bn%7D%5E%7B0%7D%2BC_%7Bm%7D%5E%7Br-1%7D+C_%7Bn%7D%5E%7B1%7D%2B%5Ccdots%2BC_%7Bm%7D%5E%7B0%7D+C_%7Bn%7D%5E%7Br%7D 种方案数。

因此左式等于右式。

特别的,当

equation?tex=m%3Dn 时有

equation?tex=C_%7Bn%7D%5E%7Br%7D+C_%7Bn%7D%5E%7B0%7D%2BC_%7Bn%7D%5E%7Br-1%7D+C_%7Bn%7D%5E%7B1%7D%2B%5Ccdots%2BC_%7Bn%7D%5E%7B0%7D+C_%7Bn%7D%5E%7Br%7D%3DC_%7Bn%2Bn%7D%5E%7Br%7D%3DC_%7B2n%7D%5Er

又根据恒等式(1)

equation?tex=C_n%5Ei%3DC_n%5E%7Bn-i%7D ,所以下式成立:

(6*)

equation?tex=%5Cleft%28C_%7Bn%7D%5E%7B0%7D%5Cright%29%5E%7B2%7D%2B%5Cleft%28C_%7Bn%7D%5E%7B1%7D%5Cright%29%5E%7B2%7D%2B%5Ccdots%2B%5Cleft%28C_%7Bn%7D%5E%7Br%7D%5Cright%29%5E%7B2%7D%3DC_%7B2+n%7D%5E%7Br%7D

(7)

equation?tex=C_%7Bn%7D%5E%7B0%7D%2BC_%7Bn%7D%5E%7B1%7D%2B%5Ccdots%2BC_%7Bn%7D%5E%7Bn%7D%3D2%5E%7Bn%7D
下面考虑这样一个问题: 请问含
equation?tex=n 个元素的集合
equation?tex=%5C%7Bx_1%2Cx_2%2C%5Cldots%2Cx_n%5C%7D 的子集有多少个?

左边:我们可以按照子集中元素的个数进行分类讨论,
1)有0个元素的子集有
equation?tex=C_n%5E0 个;

2)有1个元素的子集有
equation?tex=C_n%5E1 个;

……
根据加法原理,子集一共有
equation?tex=C_%7Bn%7D%5E%7B0%7D%2BC_%7Bn%7D%5E%7B1%7D%2B%5Ccdots%2BC_%7Bn%7D%5E%7Bn%7D 个。

右边:我们也可以按照每个元素进行讨论,对于每一个元素而言它都有两种选择:属于这个子集与不属于这个子集,所以根据乘法原理,
equation?tex=2%5Ctimes2%5Ctimes%5Ccdots%5Ctimes2%3D2%5En

因此,左式等于右式。

总结

组合恒等式还有很多,比如

equation?tex=C_%7Bn%7D%5E%7B1%7D%2B2+C_%7Bn%7D%5E%7B2%7D%2B%5Ccdots%2Bn+C_%7Bn%7D%5E%7Bn%7D%3Dn+2%5E%7Bn-1%7D ,但是这个暂时还没有想到如何用一个具体问题来理解它。
注:上述恒等式的代数证明会用到:
equation?tex=m+C_%7Bn%7D%5E%7Bm%7D%3Dn+C_%7Bn-1%7D%5E%7Bm-1%7D 。于是,
equation?tex=C_%7Bn%7D%5E%7B1%7D%2B2+C_%7Bn%7D%5E%7B2%7D%2B%5Ccdots%2Bn+C_%7Bn%7D%5E%7Bn%7D%3DnC_%7Bn-1%7D%5E0%2BnC_%7Bn-1%7D%5E1%2B%5Ccdots%2BnC_%7Bn-1%7D%5E%7Bn-1%7D%3Dn2%5E%7Bn-1%7D (根据恒等式(7))

如果我们拿到恒等式后能够想想它的“含义”还挺有趣的,就像在第三部分给出的那样,不仅能够加深我们对排列组合的理解还能够锻炼思维、拓展思路。

比较直接的影响就是:做题的时候如果认识这个恒等式,那会方便不少。比如:

a75f615d0cb647d219a4a3e60ea36531.png
根据
equation?tex=C_%7Bn%7D%5E%7B1%7D%2B2+C_%7Bn%7D%5E%7B2%7D%2B%5Ccdots%2Bn+C_%7Bn%7D%5E%7Bn%7D%3Dn+2%5E%7Bn-1%7D

所以
equation?tex=%5Csum_%7Bk%3D1%7D%5E%7B2008%7D+k%5Cleft%28%5Cbegin%7Barray%7D%7Bc%7D%7B2008%7D+%5C%5C+%7Bk%7D%5Cend%7Barray%7D%5Cright%29%3D2008+%5Ccdot+2%5E%7B2007%7D

那么问题就变成问
equation?tex=2008+%5Ccdot+2%5E%7B2007%7D 的最后两位是多少,就是一个很纯粹的数论取余的问题了:
equation?tex=2008+%5Ccdot+2%5E%7B2007%7D%5Cequiv+%EF%BC%9F%28mod~100%29

因为
equation?tex=%5Cbegin%7Baligned%7D+2%5E%7B20%7D+%26+%5Cequiv+1%28%5Cbmod+25%29+%5C%5C+2%5E%7B2007%7D+%5Cequiv+%26+2%5E%7B7%7D+%5Cequiv+3%28%5Cbmod+25%29+%5C%5C+2%5E%7B2007%7D+%26+%5Cequiv+0%28%5Cbmod+4%29+%5C%5C+2%5E%7B2007%7D+%26+%5Cequiv+28%28%5Cbmod+100%29+%5Cend%7Baligned%7D

所以,
equation?tex=2008+%5Ctimes+28+%5Cequiv%5Cboxed%7B24%7D%28%5Cbmod+100%29

注:数论的内容我们之后再分享。

有兴趣的可以思考下面这个恒等式,怎么样给它一个合理的解释呢?

equation?tex=C_%7Bn%7D%5E%7B1%7D%2B2+C_%7Bn%7D%5E%7B2%7D%2B%5Ccdots%2Bn+C_%7Bn%7D%5E%7Bn%7D%3Dn+2%5E%7Bn-1%7D

感谢 @攻防xiaogou 的评论:

上式的左边为所有自己元素个数的和:
equation?tex=i 个元素的子集有
equation?tex=C_n%5Ei 个,所有子集元素之和为
equation?tex=C_%7Bn%7D%5E%7B1%7D%2B2+C_%7Bn%7D%5E%7B2%7D%2B%5Ccdots%2Bn+C_%7Bn%7D%5E%7Bn%7D

上式的右边根据对偶原理,每个子集与其补集的元素个数之和为
equation?tex=n ,一共有
equation?tex=2%5E%7Bn-1%7D 组,所以子集元素之和为
equation?tex=n%5Ctimes2%5E%7Bn-1%7D .

通过子集元素之和去理解左边式子比较容易,右边需要借助“子集与其补集的元素之和为

equation?tex=n ”,比较巧妙,这样子理解就比较直接。

下面是小罗飞鱼从子集中元素个数平均数的角度去理解,本质是一样的,但可能会绕个弯。

感谢 @小罗非鱼 的评论:

可以把上面式子两边都除以
equation?tex=2%5En
equation?tex=%5Cfrac%7BC_%7Bn%7D%5E%7B1%7D%2B2+C_%7Bn%7D%5E%7B2%7D%2B%5Ccdots%2Bn+C_%7Bn%7D%5E%7Bn%7D%7D%7B2%5En%7D%3D%5Cfrac%7Bn+2%5E%7Bn-1%7D%7D%7B2%5En%7D%3D%5Cfrac%7Bn%7D%7B2%7D

那么左式为
equation?tex=n 元集合子集元素个数的平均数;而右边对于单个元素而言“在子集中”与“不在子集中”的概率都为
equation?tex=%5Cfrac%7B1%7D%7B2%7D ,所以子集中元素个数平均数为
equation?tex=%5Cfrac%7Bn%7D%7B2%7D .

感觉挺有道理的,不知道大家觉得如何?

欢迎交流讨论~

想了解更多国际数学竞赛及课程的知识,可参阅:

双木止月Tong:国际数学竞赛及课程​zhuanlan.zhihu.com
9f07cbd46fac0e5fd58f51a21ad11b4b.png
  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值