二项式定理以及证明过程
二项式定理公式表达为:
(a+b)n=∑k=0n(nk)an−kbk=∑k=0nn!k!(n−k)!an−kbk \boxed{(a+b)^n= \sum_{k=0}^{n}\binom {n}{k}a^{n-k}b^{k}=\sum_{k=0}^{n}\frac{n!}{k!(n-k)!}a^{n-k}b^{k}} (a+b)n=k=0∑n(kn)an−kbk=k=0∑nk!(n−k)!n!an−kbk
证明
对于二项式乘法,有
(a+b)(c+d)=ac+bd+bc+bd(a+b)(c+d)(e+f)=ace+acf+ade+adf+bce+⋯
\begin{align*}
(a+b)(c+d)&=ac+bd+bc+bd\\
(a+b)(c+d)(e+f)&=ace+acf+ade+adf+bce+\cdots
\end{align*}
(a+b)(c+d)(a+b)(c+d)(e+f)=ac+bd+bc+bd=ace+acf+ade+adf+bce+⋯
可见对于每一项,都是二项式中的任意两项之积,对于以下二项式来说:
(a+b)3=(a+b)(a+b)(a+b)=aaa+aab+aba+abb+baa+bab+bba+bbb
\begin{align*}
(a+b)^3&=(a+b)(a+b)(a+b)\\
&=aaa+aab+aba+abb\\
&+baa+bab+bba+bbb
\end{align*}
(a+b)3=(a+b)(a+b)(a+b)=aaa+aab+aba+abb+baa+bab+bba+bbb
包含000个aaa(或者说是包含333个bbb)单项式, 则有111种取法,即bbbbbbbbb;
以下是包含kkk个aaa(或者说是3−k3-k3−k个bbb数量),出现可能性的表:
| 含a数量 | 可能结果 | 计数 | 结果化简 |
|---|---|---|---|
| 0 | bbbbbbbbb | 1 | b3b^3b3 |
| 1 | abb,bab,bbaabb,bab,bbaabb,bab,bba | 3 | ab2ab^2ab2 |
| 2 | aab,aba,baaaab,aba,baaaab,aba,baa | 3 | a2ba^2ba2b |
| 3 | aaaaaaaaa | 1 | a3a^3a3 |
可以看出,每一项的可能结果个数,即kkk个aaa和3−k3-k3−k个bbb,有多少种组合形式;即C3kC_3^kC3k种可能,或常写作(3k)\binom{3}{k}(k3);
更一般的:对于以下表达式:
(a+b)n=(a+b)(a+b)⋯(a+b)
(a+b)^n=(a+b)(a+b)\cdots(a+b)\\
(a+b)n=(a+b)(a+b)⋯(a+b)
存在:
- 项ana^nan,出现次数为(nn)\binom nn(nn)次,即1次;
- 项an−1ba^{n-1}ban−1b,出现次数为(nn−1)\binom n{n-1}(n−1n)次;
- 项akbn−ka^kb^{n-k}akbn−k,出现次数为(nk)\binom n{k}(kn)次;k,k=0,1,2,3,4,⋯ ,nk,k=0,1,2,3,4,\cdots,nk,k=0,1,2,3,4,⋯,n
则推导出:
(a+b)n=(nn)anb0+(nn−1)an−1b1+(nn−2)an−2b2+⋯+(n0)a0bn=∑k=0n(nn−k)an−kbk⇔∑k=0n(nk)an−kbk
\begin{align*}
(a+b)^n&=\binom {n}{n}a^nb^0+\binom {n}{n-1}a^{n-1}b^{1}+\binom {n}{n-2}a^{n-2}b^{2}+\cdots+\binom {n}{0}a^{0}b^{n}\\
&=\sum_{k=0}^{n}\binom {n}{n-k}a^{n-k}b^{k} \Leftrightarrow \sum_{k=0}^{n}\binom {n}{k}a^{n-k}b^{k}
\end{align*}
(a+b)n=(nn)anb0+(n−1n)an−1b1+(n−2n)an−2b2+⋯+(0n)a0bn=k=0∑n(n−kn)an−kbk⇔k=0∑n(kn)an−kbk
附录
最后一行的应用组合数恒等式:
(nk)=(nn−k)
\binom {n}{k}=\binom {n}{n-k}
(kn)=(n−kn)
证明:
(nk)=n!k!(n−k)!(nn−k)=n!n−k!(n−n+k)!=n!(n−k)!k!
\begin{gather*}
\binom {n}{k}=\frac{n!}{k!(n-k)!}\\
\binom {n}{n-k}=\frac{n!}{n-k!(n-n+k)!}=\frac{n!}{(n-k)!k!}
\end{gather*}
(kn)=k!(n−k)!n!(n−kn)=n−k!(n−n+k)!n!=(n−k)!k!n!

浙公网安备 33010602011771号