二项式定理通项-二项式定理通项公式

二项式定理实际上是数学里最像“魔法公式”的东西之一，它不像微积分那样冷冰冰的公式，倒像是讲给孩子听的那个“ popcorn"（爆米花）定律。把 $a+x$ 这个式子抛出去，神奇的事件就形成了。
原本 $a^n$ 代表 $a$ 的 $n$ 次方，而 $x$ 只是想要凑个 1 去分母，便结局就变成了 $sum_{r=0}^{n} C_n^r a^{n-r} x^r$。
这里面的 $C_n^r$ 实际上就是把 $n$ 个红球 $n$ 个蓝球混在一起随意摸，最终摸到蓝色球的数量，自然，蓝色球代表 $x$，红色球代表 $a$。 这就好比你有一堆 $x$ 和一堆 $a$ 混在一起，想要求它们的和。别看听起来挺复杂，但中间实际上藏着一个超级好办的递归关系：$C_n^r = C_{n-1}^{r-1} + C_{n-1}^r$。
这个公式忒经典了，直接写进公式里就行，就像加号直接印在纸上一样。
故此通项公式长得真像这样：$T_{r+1} = C_n^r a^{n-r} x^r$。
这里的 $r$ 从 0 启动算，$n$ 是字母表的索引数，$r$ 是 0 到 $n$ 之间的任何整数。 我们不用那些叫法吓死人的术语，直接叫它“通项”。
你想看第 $r+1$ 项，直接拿 $r$ 去代进去就行。
比如你要看第 3 项，$r$ 就得是 2，那公式就变成 $C_{n}^{2} a^{n-2} x^2$。 举几个例子看看，是不是真有如此好办。先算第一个二项式 $(a+b)^n$。
这实际上没啥好说的，就是 $C_n^r a^{n-r} b^r$。最上面那项 $r=0$，就是 $C_n^0 a^n b^0 = a^n$，这废话哪位都能懂。再往下走，$r=1$，就是 $C_n^1 a^{n-1} b^1 = n a^{n-1} b$。
这就好比说，$a$ 和 $b$ 的混合比例，就是 $n-1$ 份 $a$ 和 1 份 $b$。再往后是 $r=n$，也就是 $C_n^n a^0 b^n = b^n$。 要是你把 $a=1$，$x=1$ 代进去，这个式子实际上就简化成了 $2^n$。
你看，$2^n$ 如何算都是 $2^n$，这个逻辑再好办不过，就是总数翻倍。
这里面的数据也挺直观，$r=0$ 时是 1，$r=1$ 时是 2，$r=2$ 时是 4，$r=3$ 时是 8，$r=4$ 时是 16，$r=5$ 时是 32，$r=6$ 时是 64。
这就是为啥 2 的幂次方增长得那么快，就像雪崩一样。 再看另一个例子，$(1+x)^n$。
同理，通项就是 $C_n^r x^r$。出于 $a=1$，故此 $a^{n-r}$ 变成了 1。
那个 $C_n^r$ 实际上就代表组合数，也就是从 $n$ 个元素里选 $r$ 个的方式数。 举个具体的数字例子。设 $n=3$，$a=2$，$x=1$。代入通项公式，$T_{r+1} = C_3^r cdot 2^{3-r} cdot 1^r$。 当 $r=0$ 时，$T_1 = C_3^0 cdot 2^3 cdot 1 = 1 cdot 8 = 8$。 当 $r=1$ 时，$T_2 = C_3^1 cdot 2^2 cdot 1 = 3 cdot 4 = 12$。 当 $r=2$ 时，$T_3 = C_3^2 cdot 2^1 cdot 1 = 3 cdot 2 = 6$。 当 $r=3$ 时，$T_4 = C_3^3 cdot 2^0 cdot 1 = 1 cdot 1 = 1$。 故此二项式展开就是 $8 + 12 + 6 + 1$。
这就是 $(2+1)^3 = 3^3 = 27$。
你看，这就是 $a^n + n a^{n-1} x + dots$ 的展开式。数据彻底吻合，没有任何诡异的地方。 要是你把 $x$ 换成 $i$（虚数单位），这就有点意思了。$i^2 = -1$，$i^3 = -i$，$i^4 = 1$，$i^5 = i$，$i^6 = -1$，$i^7 = i$，$i^8 = 1$，如此循环。$C_n^r$ 本身是个正整数，不带虚数，可是 $a^{n-r}$ 里可能有 $i$，$x^r$ 里有 $i$。
比如 $(1+i)^n$，展开后各项都是实数吗？不一定，会有虚数局部。 比如 $n=2$，$(1+i)^2 = 1 + 2i + i^2 = 1 + 2i - 1 = 2i$。 展开式是 $T_1 + T_2$，$T_1 = C_2^0 (1)^2 (i)^0 = 1$，$T_2 = C_2^1 (1)^1 (i)^1 = 2i$。加起来就是 $1 + 2i$。再算一下 $(1+i)^2$ 直接算：$(1+i)^2 = 1 + 2i + i^2 = 2i$。彻底一样。 这说明就算你带虚数进去，逻辑也没难题，只是结局里多了点 $i$ 的跳动。 实际上二项式定理的另一个应用是几何级数（等比数列）。
要是你把 $x=1$，$a=1$，$r=n$ 代入，就拿到了 $sum_{r=0}^n r^n$。
这个求和公式在数学里叫 Faulhaber 公式，是计算从 1 加到 $n$ 的 $n$ 次方和的。别看听起来挺高级，但本质上还是那个“通项”在疯狂累加。 再想想通俗一点，啥情况下你会用到这个？比如想算 $5^6$ 是多少，$5^7$ 是多少，然后加起来？你能够用 $(5+1)^7$ 来算，$243+1557651636$。再比如想算 $(1+1)^{20}$，也就是 $2^{20}$，这个忒常见了。分子是奇数，分母是偶数，最终结局是个整数。 实际上 $C_n^r$ 这个系数在组合数学里忒关键了，它告诉我们从一堆东西里挑出几样东西的方式数。
比如从 5 个人里挑 2 个当搭档，$C_5^2$ 就是 10 种方式。从 5 个人里挑 3 个，$C_5^3$ 也是 10 种方式，这就体现了组合数的对称性。 有些时候，数值会大到溢出，比如 $100^{100}$，这时候就不能手算了，得用计算机。但在纯数学推导里，通项公式是那个核心，它把无限复杂的求和简化成了有限的项。每一项都有自己的故事，有的 $a$ 挺大，有的 $x$ 是负数，有的 $n$ 贼大。 能不能再好办点？说成一句话：$T_{r+1} = binom{n}{r} a^{n-r} x^r$。就如此好办。
故此，别被它复杂的面目吓到，拆开看，它就是 $n$ 元难题里最优雅的解法之一。