菜鸡HP的被虐日常（9）当扩大n倍以后……⑤

$ByHolyPush$

聪明的$txl$：二项式定理是排列组合中的一个非常重要的定理。我们首先从排列组合讲起。

聪明的$txl:$有$3$个穿着不同衣服的$HP$站在一行拍照，一共有多少种可能的站位方式？
愚蠢的$HP:$太简单惹，假设三个人分别为$a,b,c,$则有$abc,acb,bac,bca,cab,cba$共六种排列方式。

聪明的$txl:$有$10$个穿着不同衣服的$HP$站在一行拍照，一共有多少种可能的站位方式？
愚蠢的$HP:...$数据太大了不会做了厚。
聪明的$txl:$太笨了。我们想象这样一个情景。$10$个$HP$依次选择站位，第一个人有$10$个位置可以选，第二个有$9$个位置可以选$......$到最后一个人的时候就只有一个位置可以选，所以一共有$10\times 9\times ...\times 1=3628800$种方式。在数学中，为了简便，我们把这种$1\times 2\times 3\times ..,\times (n-1)\times n$记为$n!$，表示$n$的阶乘。即答案是$10!=3628800$种。特殊地，我们规定$0$的阶乘为$1。$

聪明的$txl:$有$10$个穿着不同衣服的$HP$，从其中选出$5$个站在一行拍照，一共有多少种可能的站位方式？
愚蠢的$HP:$第一个人有$10$个位置可以选，第二个人有$9$个位置可以选，一直到第$5$个人有$6$个位置可以选，所以答案是$10\times 9\times 8\times 7\times 6=30240$种方式，对吧嘻嘻。
聪明的$txl:$不错。我们把这种问题称为“排列”，用$A_n^m$或者$P_n^m$（个人更喜欢用$P$）表示从$n$个里选出$m$个进行排列的方案数。具体计算方法，从刚刚的例子中就可以看出$P_n^m=\frac{n!}{(n-m)!}$。
愚蠢的$HP$一把子把$1280N$的$txl$抱了起来以表示兴奋。

聪明的$txl:$下一个问题。有$10$个一模一样的$HP$站在一行拍照，一共有多少种可能的照片？
愚蠢的$HP:$这不还是$10!$个吗？
聪明的$txl:$你想铌蚂呢？十个$HP$一模一样，你怎么排它的照片都长那样啊！所以只有$1$个。

$($愚蠢的$HP$恍然大悟$)$

聪明的$txl:$又一个问题。有$10$个一模一样的$HP$，从中选出$5$个站在一行拍照，一共有多少种可能的照片？
愚蠢的$HP:$我又不会厚，你再这样欺负小朋友我就要打$12315$报警了惹。
聪明的$txl:$太笨了！我们这样想吧。因为这种问题里面我们不考虑顺序的问题，所以我们可以先算出考虑顺序的可能数，一共有$\frac{10!}{5!}$种，再算出每种组合被重复算了多少次。例如，$12345$这种组合它可以写成$15423,23154,53142$等一共有$5!$种写法，但实际上这样的我们只能算成$1$次，而每一种组合我们都把它算了那么多次，所以要再除以一个$5!$。所以一共是$\frac{10!}{5!\times 5!}=252$种。我们把这种不考虑顺序问题的称为“组合”，用字母$C_n^m$表示从$n$个里面选出$m$个进行组合的方案数。从上面的分析过程来看，我们可以得到组合数的计算公式$C_n^m=\frac{P_n^m}{P_m^m}=\frac{n!}{m!(n-m)!}$。
愚蠢的$HP:$下面好对称，是不是说，$C_n^m=C_n^{n-m}?$
聪明的$txl:$没错。从另一种意义上理解，你从$n$个里选出$m$个，实际上是和$n$个里扔掉$n-m$个一样的。

排列组合问题可以出得很难，是非常考验分析能力的一种题型，但是高中要求比较低，出的题目都不会很难，所以不需要太过担心。而且今天的重点并不在于组合数的计算，而是二项式定理，所以就不过多地展开了。

聪明的$txl:$组合数里有一个非常有用的东西，叫做杨辉三角，在西方叫做帕斯卡三角，但帕斯卡比杨辉晚了足足$400$年左右。不扯了，我们来看看这个三角形。

聪明的$txl:$在这幅图中，从上到下分别为第$0$行、第$1$行$\dots \dots$从左到右分别为第$0$行、第$1$行$\dots \dots$这样的话，在第$n$行$m$列所代表的数就是$C_n^m$。
愚蠢的$HP:$我看看。第$5$行第$2$个数是$10,C_5^2=10$，貌似是这样的$!$
聪明的$txl:$这个三角形中，我们可以发现，每一个格子上的数都是其上方的两个格子中的数之和。因此我们可以得出推论$C_n^m=C_{n-1}^{m-1}+C_{n-1}^m$。
愚蠢的$HP:$可是你还是没有说二项式定理。
聪明的$txl:$好，我现在就给你讲二项式定理。

聪明的$txl:$你把$(x+y{)}^3$化出来。
愚蠢的$HP:$简单，$x^3+3x^{2}y+3x{y}^2+y^3$
聪明的$txl:$你在看看第三行的四个系数。
愚蠢的$HP:...1,3,3,1?!$
聪明的$txl:$你再把$(x+y{)}^4$化出来。
愚蠢的$HP:x^4+4x^{3}y+6x^2{y}^2+4x{y}^3+y^4,$第四行的杨辉三角，$1,4,6,4,1?!$这也太神奇了！
聪明的$txl:$没错，我们可以得出推论，$(x+y{)}^n=C_n^0{x}^n+C_n^1{x}^{n-1}y+...+C_n^{n-1}x{y}^{n-1}+C_n^n{y}^n$，用$\Sigma$写就是$(x+y{)}^n={\sum }_{i=0}^n{C}_n^i{x}^i{y}^{n-i}$。
愚蠢的$HP:$怎么证明呢$?$
聪明的$txl:$我们可以这样想。我们面前有$n$个选择，每次你都可以选择$x$或者$y$，如果选了$i$个$x$，那么必定选了$n-i$个$y$，对应的项就是$x^i{y}^{n-i}$。而从$n$个中选择$i$个$x$的方案数有$C_n^i$种，所以$x^i{y}^{n-i}$的系数便为$C_n^i$。

从这个式子中我们可以发现的一点是，令$x=1,y=-1$，则有$0=C_n^0-C_n^1+C_n^2-C_n^3...C_n^n$。由此也可以发现，在杨辉三角的同一行中，所有第奇数项的和等于所有第偶数项的和。
然后就可以快快乐乐回到三角函数啦！

$cos(nx)+isin(nx)=(cosx+isinx{)}^n$
$={\sum }_{k=0}^n{C}_n^k(cosx{)}^k(isinx{)}^{n-k}$。将右边算出来后，实部与实部相等，虚部与虚部相等，便可求出正余弦$n$倍角公式。

举个栗子，$n=3$的时候，
$cos3x+isin3x=(cosx+isinx{)}^3=co{s}^{3}x+3icos{x}^{2}sinx-3cosxsi{n}^{2}x-isi{n}^{3}x=[co{s}^{3}x-3cosx(1-co{s}^{2}x)]+i[3(1-si{n}^{2}x)sinx-si{n}^{3}x]=(4co{s}^{3}x-3cosx)+i(3sinx-4si{n}^{3}x)$，所以对应起来就是$cos3x=4co{s}^{3}x-3cosx,sin3x=3sinx-4si{n}^{3}x$。

愚蠢的$HP:$算了算了三角太难了，我们还是去看数列吧$...$

欲知后事如何，请听下回因式分解。