数学分析(二)-数列极限-卡塔兰(Catalan)数 其中C₀=C₁=1 递归定义：Cₙ=∑_{k=0}^{n} C_k C_{n−k−1}; 通项公式：C_n = \frac{1}{n+1}\binom{2n}{n}]

卡特兰数被称为组合数学中的重要数列，在解决各种组合计数问题时具有广泛的应用。

从第零项开始， C_{n} 的前几项为

1,1,2,5,14,42,132,429,1430, \ldots \ldots.

卡特兰数有多种定义方式

C_{0}=C_{1}=1

• Recursive Definition:
  \begin{aligned} C_n &= \sum_{k=0}^{n-1} C_k C_{n-1-k}, \\ &= C_0 C_{n-1} + C_1 C_{n-2} + \dots + C_{n-1}C_0, \quad \text{where } n \geq 2. \end{aligned}

• 递推关系式: 实现递推关系的具体表达式为 C_n = \frac{(4\nu - 2)}{\nu + 1}\cdot C_{{\nu - 1}}。

  • 具体展开式: 组合数计算方式可表示为 C_n = \frac{1}{\nu + 1}\cdot C_{{2\nu}}^{\nu} ，其中 \nu 表示组合数的参数。
    求和展开: 表达式的详细形式为 C_n = \frac{\sum_{{i=0}}^{{\nu}(C_{{\nu}}}i)^2}{\nu + 1}$。

既然上面都是它的定义，那么我们就有必要证明他们等价。

1