如何表示数组所有数都不等于一个数_【国际数学】杨辉三角(Pascal's triangle)和组合数(Combinations)...

Dr. Anton在课上给了我们一个问题：

What rows in Pascal's triangle contain only odd numbers?

在解决这个问题之前我们先来看一下杨辉三角（Pascal's triangle)

或许从小学起，我们就很熟悉杨辉三角了，

它有一个很显然的规律：

• 每一行的第一个数和最后一个数都是1。
• 除了开头和结尾的两个1，其他的数等于上面两个数的和，比如

这个规律我们都很熟悉了，但是或许有些朋友并不熟悉杨辉三角与二项式的关系。

二项式的公式为：

对于

的指数的变化规律，我们都很熟悉了，但是每一项的系数，有些朋友可能不熟悉，实际上就是组合数的变化，至于为什么二项式的系数是组合数可以见我们讲组合数的文章【国际数学】排列组合常用模型。

如果我们随便列几个二项式展开，我们就会发现神奇的东西，

,

仔细看看，你可能会发现每一项的系数正好和杨辉三角每一行的数吻合。所以，我们可以提出一个假设，杨辉三角可以写成：

因为杨辉三角具有这两条规律：

• 每一行的第一个数和最后一个数都是1。
• 除了开头和结尾的两个1，其他的数等于上面两个数的和，比如

对于第一条，很每一行的第一个数和最后一个数都是

都是1，但对于第二条，我们就要证明

.

Prove:

Therefore,

∎

所以，我们可以简单证明

，那么，杨辉三角就可以写成组合数的形式了。

现在我们根据每行中

，

的值来标明行数。

那么我现在就可以回到那个关于杨辉三角的问题了：

What rows in Pascal's triangle contain only odd numbers?

首先第一步，我们来列几行找出规律，

我们可以发现第 0，1，3，7，15 行全是奇数，仔细观察一下这些数，发现他们是

,

,

,

,

。那么我们就可以猜测是不是行数为

的都是奇数。

你会不会奇怪，为什么是

, 是不是与

rows有关。我们来看看第 2，4，8，16 行，发现，除了开头和结尾的两个1，其他数都是偶数。那么为什么全偶数行的上一行就是全奇数行呢？很显然，当全偶数行的第一个偶数减去1的时候必然生成一个奇数，下一个偶数再减去一个奇数又生成一个奇数，根据数学归纳法（Mathematical induction)，即可证明全偶数行的上一行是全奇数行。（数学归纳法【国际数学】数学归纳法(Mathematical induction)极简解说）

那么，我只需证明

rows为全偶数行即可。

既然我们已经把杨辉三角用组合数表示出来了，那么是不是可以用组合数进行证明。因为这个数列是无限的，那么是不是应该用数学归纳法进行证明。所以我们可以看第

行和第

行。假设我们已知

，

全是偶数，那么如果能通过对

进行乘法运算得出

，那么

，

就全是偶数。我们知道

，

全是偶数，以此类推，根据数学归纳法,

,

就全是偶数。

笔者尝试过运用组合数的展开式等进行证明，思路大致包涵

和勒让德定理，因为比较繁琐，这里就不做介绍了，有兴趣可以来数学社找我。我这里要介绍的是一个很简洁的方法。

对

进行观察之后，可以轻松得出

，这就是我们解题的关键，我们可以思考

和

之间是不是有类似的乘法运算关系。

或许你会从代数的方向思考，将这两个组合数展开来，笔者建议从组合数本身的角度进行思考。如果把

看作

，那么

与

和

有什么关系。既然从组合数的角度思考，我们不妨假设有两堆球A和B，个数分别为

和

，要从这两堆球里面拿共计

个球，

, 总共可能的情况为：从A拿0个B拿

个 + 从A拿1个B拿

个 + 从A拿2个B拿

个 + ... +从A拿

个B拿1个 + 从A拿

个B拿0个，化简就是

，这个也叫Chu-Vandermount formula或者Committee selection identity.

写到这里，朋友你是否有些激动，我们发现

，

, 又因为我们可以知道

为偶数，比如

，所以

也是偶数。那么根据数学归纳法，我们就可以证明

,

全是偶数。

所以，行数为

的都是奇数。∎

看到这里，你有没有发现你不仅做了一道关于杨辉三角的题目，也学到了一些关于组合数的知识，整理一下：

1. ；
2. 用组合数表示杨辉三角；
3. Chu-Vandermount formula，

感谢你的耐心看到这里，欢迎关注HFLS Math Club，也欢迎关注HFLS STEM专栏，里面有其他为国际高中学生写的STEM文章。

作者：Jimmy Hou