有位小朋友在准备紫色彗星数学竞赛时问了我这样一道题:
2018-Purple Comet! Math Meet-MS-15
题意:是展开后多项式所对应的系数,请问其中是3的倍数的有多少个?
对于一个小学生甚至初中生,第一眼看到还是有点朦的,因为初中时我们学的多项式中最高也就是一元二次函数,这里的最高次高达240次,而且现在问的是这些多项式展开后,240个系数中是3倍数的个数有多少个。难道我们一个一个去计数吗?
其实不用,这里我们可以看一下参考答案:
可能有些学生看的有点晕,这里就来详细讲解一下:
因为我们考虑的是这些系数中是3的倍数的个数,所以我们可以对展开后的系数进行模3处理,那么其实就是对每一项
, 这里还用到了同余式是可以相乘的这样一个性质(如果不清楚同余的基础可以看:《同余理论Modulon》)。于是
接下去我们要干的一件事就是找出
展开后是3的倍数的个数。
那么这里我们就对
二项式展开
那么前面再乘以
就得到:
其实我们这里不需要展开的,只需要判断
,
中有多少个是3的倍数就可以了。
那么接下去怎么判断呢?
这里想到了
可以发现:当
时,
一定是3的倍数.
第一,这里我们可以自己去尝试一下;
第二,这里给出一个稍微严格的证明:
那么中因子3的个数应该是:中3因子的个数减去中3因子的个数,再减去中3因子的个数
而中3因子的个数与中3因子的个数和应该为:
而我们知道
并不是3的倍数,
因此
,
都不是3的倍数。
注:根据递推,而不能被3整除,所以也不能被3整除…依次类推就得到结论了。
于是一共有81个不能被3整除,
因此,
.
注:可能有学生会问,为什么展开只有81项了,因为其余的系数都是3的倍数,我们就不用去考虑了,(mod 3)。
至此,这道题就讲解完毕了,总体而言这道题对于初中数学竞赛而言是有难度的,结合了数论与组合的知识,但是在开始考虑mod 3还是比较常规的思路,之后遇到类似的问题,我们也可以采用类似的方法。最后放一篇关于组合恒等式的小文章,题目中用到的这个式子也有说明:《如何理解组合恒等式?》。
想了解更多关于初中数学竞赛及自主招生的数学知识,可参阅:
双木止月Tong:【国际数学竞赛】目录zhuanlan.zhihu.com