8.1 (Catalan) 数
先见识一下 (Catalan) 数长啥样——
(C_0=1,C_1=1,C_2=2,C_3=5,C_4=14,C_5=42,C_6=132...)
一些公式及推导
- (C_0=1, C_n=sumlimits_{i=0}^{n-1} C_i imes C_{n-i-1}) ((ngeq 1))
许多应用中都用到该式子。
2) (C_n=frac{1}{n+1}inom{2n}{n})
由1)推导一下。
设 ({C_n}) 的生成函数为 (F(x)=C_0+C_1x+C_2x^2+...+C_kx^k+...)
则 $$
egin{equation}
egin{aligned}
(F(x))2&=C_02+(C_0C_1+C_1C_0)x+(C_0C_2+C_1C_1+C_2C_0)x2+...+(sumlimits_{i=0}{k} C_i imes C_{k-i})x^k+...
&=C_1+C_2x+C_3x2+...+C_{k+1}xk+...
&=frac{F(x)-C_0}{x}=frac{F(x)-1}{x}
end{aligned}
end{equation}
[
即 $(F(x))^2-frac{1}{x}F(x)+frac{1}{x}=0$
解得 $F(x)=frac{1-sqrt{1-4x}}{2x}$ (取正负看收敛性)
由牛顿二项式定理可知 $(1+z)^{frac{1}{2}}=1+sumlimits_{i=1}^{infty} frac{(-1)^{i-1}}{i imes 2^{2i-1}}inom{2i-2}{i-1}z^i$ $(|z|<1)$
(该式推导可在[这里](https://www.cnblogs.com/lindalee/p/12235434.html)找)
则 ]
egin{equation}
egin{aligned}
F(x)&=-frac{1}{2x}sumlimits_{i=1}^{infty} frac{(-1)^{i-1}}{i imes 2{2i-1}}inom{2i-2}{i-1}(-1)i4ixi
&=sumlimits_{i=1}^{infty} frac{1}{i}inom{2i-2}{i-1}x^{i-1}
end{aligned}
end{equation}
[
即 $C_{n-1}=frac{1}{n}inom{2n-2}{n-1}$ $(ngeq 1)$
则 $C_n=frac{1}{n+1}inom{2n}{n}$ $(ngeq 0)$
3)<font color=9900CC size=4> $C_0=1, C_n=frac{4n-2}{n+1}C_{n-1}$ $(ngeq 1)$ </font>
直接带2)进去:$frac{C_n}{C_{n-1}}=frac{ninom{2n}{n}}{(n+1)inom{2n-2}{n-1}}=frac{n(2n)!(n-1)!(n-1)!}{(n+1)(2n-2)!n!n!}=frac{4n-2}{n+1}$
###定理
**考虑由 $n$ 个1和 $n$ 个-1构成的 $2n$ 项序列 $a_1,a_2,...,a_{2n}$
其部分和总满足 $a_1+a_2+...+a_kgeq 0$ $(k=1,2,...,2n)$
的序列个数等于第 $n$ 个 $Catalan$ 数 $C_n=frac{1}{n+1}inom{2n}{n}$
**
**证明一:**
序列总个数为 $inom{2n}{n}$ ,设其中不满足要求的由 $U_n$ 个,满足的由 $A_n$ 个。
则 $A_n=inom{2n}{n}-U_n$ ,考虑如何求 $U_n$
设 $k$ 为不满足要求的序列中第一个 $a_1+a_2+...+a_k<0$ 的下标,则 $a_1+a_2+...+a_{k-1}=0$,$a_k=-1$
前 $k$ 项中有 $frac{k-1}{2}$ 个1,$frac{k+1}{2}$ 个-1
将前 $k$ 项各自取相反数,则新数列中有 $(n+1)$ 个1和 $(n-1)$ 个-1
设 $h$ 为新数列中首个 $a_1+a_2+...+a_h>0$ 的下标(由于新数列中1比-1个数多,$h$ 一定存在),则 $h=k$
将前 $h$ 项再各自取相反数便得到原序列。
则 $(n+1)$ 个1和 $(n-1)$ 个-1的排列与 $U_n$ 中的排列一一对应。
所以 $U_n=inom{2n}{n-1}$
$A_n=inom{2n}{n}-inom{2n}{n-1}=frac{(2n)!}{n!(n-1)!}(frac{1}{n}-frac{1}{n+1})=frac{1}{n+1}inom{2n}{n}$
**证明二:**
设 $k$ 为满足要求的序列中的首个 $a_1+a_2+...+a_{2k}=0$ ,则 $kin [1,n],kin Z$
设 $A_n$ 为满足要求的序列个数。
则 $A_n=sumlimits_{i=1}^n A_{n-i}A_{i-1}=sumlimits_{i=0}^{n-1} A_iA_{n-i+1}$
所以 ${A_n}$ 即为卡特兰数列。
###应用
我懒得写了。推荐下别人的[戳这里](https://blog.csdn.net/zhangmh93425/article/details/44677891)
##8.2 差分序列与 $strling$ 数
##8.3 分拆数
##8.4 一个几何问题
##8.5 格路径数和 $Schrddot{o}der$ 数]