对于两个有限集合M、N,如果我们能够建立单射f:M→N,那么card(N)(其中card表示有限集合中元素的数目).进一步,如果我们能够证明f是满射,那么就可以得到card(M)=card(N).这一简单结论在组合计数中应用很广泛,举例如下.
问题一 棋盘上的方格
如图1,一个m×n的棋盘(指包含边界在内有m条竖线和n条横线).
(1)有多少个小正方形方格?
(2)有多少个“对顶”方格组(包括旋转对称后的形状)?
(1)解 设M是小正方形方格的集合,N是前m−1条竖线和n−1条横线形成的交点的集合.那么小正方形方格和N中的点是一一映射的,因此card(M)=card(N)=(m−1)(n−1).
(2)解 设M是“对顶”方格组的集合,通过取两个小方格的公共点P以及形成方向τ,于是(P,τ)构成集合N.显然这也是一个一一映射,于是card(M)=card(N)=2(m−2)(n−2).
思考题 有多少个“犄角”方格组(包括旋转对称后的形状)呢?又有多少个“情侣”方格组(包括旋转后的形状)?(如图2)
答案分别为4(m−2)(n−2)和(m−2)(n−1)+(m−1)(n−2).
提示 对于“犄角”,可以取中心点和缺角方向;对于“情侣”,可以取中间的小竖线或小横线.
问题二 棋盘上的“方格”
如图3,在一个m×n的矩形网格(指包含边界在内有m条竖线和n条横线)中有多少个矩形?
解 如图4,横线上的两个不同点和竖线上的两个不同点与矩形一一对应,于是所求矩形数为C2mC2n.
思考题 如图5,在一个n级正三角网格中有多少个平行四边形呢?
答案是3C4n+2.
提示 如图6,每条横线上的四个不同点都与平行四边形一一对应.
问题三 圆周上的点
圆周上有n个点,用弦把它们连接起来,那么
(1)有多少条不同的弦?
(2)这些弦至多有多少个交点(指在圆内部的)?
(3)这些弦至多将圆分成多少个无公共部分的区域?
(1)解 如图7,圆上的两个无序点对与弦一一对应,因此数目为C2n;
(2)解 圆上的四个无序点对与交点一一对应(圆内接四边形对角线的交点),因此数目为C4n;
(3)解 新添一条弦l时,弦l与其他弦的交点将l分割为交点数加1条线段,每条线段都对应一个新增区域.因此所求数目为1+C2n+C4n.
思考题 平面上有n条直线,它们最多将平面分成多少个不同的无重叠部分的区域?
答案是C2n+C1n+1.
问题四 数的拆分
将一个正整数n表示为a1+a2+⋯+ap(p∈N∗)的形式,其中ai∈N∗,i=1,2,⋯,p,且a1⩽a2⩽⋯⩽ap,记所有这样的表示法的种数为f(n)(如4=4,4=1+3,4=2+2,4=1+1+2,4=1+1+1+1,故f(4)=5).对任意正整数n,比较f(n+1)与12[f(n)+f(n+2)]的大小,并给出证明.
解 对任意正整数n,均有f(n+1)⩽12[f(n)+f(n+2)],只需要证明f(n+2)−f(n+1)⩾f(n+1)−f(n),证明如下:
注意到在n的所有表示法前加上“1+”就可以得到(n+1)的表示法中以1为第一项的表示法,因此(n+1)的表示法中以1为第一项的有f(n)种,而不以1为第一项的有f(n+1)−f(n)种;
类似的,(n+2)的表示法中不以1为第一项的有f(n+2)−f(n+1)种;在(n+1)的表示法中所有不以1为第一项的表示法中的最后一项加上1就可以得到(n+2)的表示法中不以1为第一项的表示法,且这些表示法均不相同.这样就建立了从(n+1)的不以1为第一项的表示法到(n+2)的不以1为第一项的表示法的单射.
因此f(n+2)−f(n+1)⩾f(n+1)−f(n).
注一 此题即2014年北京市海淀区第二次模拟考试理科数学压轴题.
注二 更多进阶内容,可以点击《卡特兰数 — 计数的映射方法的伟大胜利》.
Pingback引用通告: 卡特兰数 — 计数的映射方法的伟大胜利 | Math173