专栏文章

论杨辉三角

算法·理论参与者 1已保存评论 0

文章操作

快速查看文章及其快照的属性,并进行相关操作。

当前评论
0 条
当前快照
1 份
快照标识符
@min03hnv
此快照首次捕获于
2025/12/01 18:22
3 个月前
此快照最后确认于
2025/12/01 18:22
3 个月前
查看原文

1.杨辉三角的定义与构造

杨辉三角,又称帕斯卡三角,是一个无限对称的三角形数阵,其构造遵循以下规则:
1.边界条件: n \ n\ 行(n0n \geq 0,从0开始计数)有 n+1 \ n+1\ 个数,首位均为 1\ 1,即 C(n,0)=C(n,n)=1\ C(n,0) = C(n,n) = 1
2.递推关系: 中间第 k \ k\ 个数(1kn11 \leq k \leq n-1)等于上一行第 k1 \ k-1\ 个数与第 k \ k\ 个数只和,即
C(n,k)=C(n1,k1)+C(n1,k) C(n,k) = C(n-1,k-1) + C(n-1,k)
其中 C(n,k) \ C(n,k)\ 表示从 n \ n\ 个元素中取 k \ k\ 个数的组合数。
以下是杨辉三角的一部分
TEXT
      1
    1 2 1
   1 3 3 1
  1 4 6 4 1
  ... 

2.杨辉三角的数学本质:二项式系数的集合表示

杨辉三角的第 n \ n\ 行恰好是二项式 (a+b)n \ (a+b)^n\ 展开式的系数。根据二项式定理:
(a+b)n=k=0nC(n,k)ankbk(a+b)^n=\sum_{k=0}^{n}C(n,k)a^{n-k}b^k
证明: 数学归纳法
  • 基例: n=0 \ n=0\ 时,(a+b)0=1=C(0,0)(a+b)^0=1=C(0,0),成立。
  • 归纳假设:设 (a+b)n1=k=0n1C(n1,k)an1kbk\ (a+b)^{n-1}=\sum_{k=0}^{n-1}C(n-1,k)a^{n-1-k}b^k
  • 归纳步骤:
    (a+b)n=(a+b)(a+b)n1=ak=0n1C(n1,k)an1kbk+bk=0n1C(n1,k)an1kbk=k=0n1C(n1,k)ankbk+k=0n1C(n1,k)an1kbk+1=C(n1,0)an+k=1n1[C(n1,k1)+C(n1,k)]ankbk+C(n1,n1)bn=k=0nC(n,k)ankbk\begin{aligned} (a+b)^n &= (a+b)(a+b)^{n-1}\\ &= a\sum_{k=0}^{n-1}C(n-1,k)a^{n-1-k}b^k+b\sum_{k=0}^{n-1}C(n-1,k)a^{n-1-k}b^k\\ &= \sum_{k=0}^{n-1}C(n-1,k)a^{n-k}b^k+\sum_{k=0}^{n-1}C(n-1,k)a^{n-1-k}b^{k+1}\\ &= C(n-1,0)a^n+\sum_{k=1}^{n-1}[C(n-1,k-1)+C(n-1,k)]a^{n-k}b^k+C(n-1,n-1)b^n\\ &= \sum_{k=0}^{n}C(n,k)a^{n-k}b^k \end{aligned} 故等式成立。

3.杨辉三角的核心性质及证明

(1)对称性

性质C(n,k)=C(n,nk)C(n,k)=C(n,n-k)
证明:由组合数公式
C(n,k)=n!k!(nk)!C(n,nk)=n!(nk)!k! C(n,k)=\frac{n!}{k!(n-k)!},C(n,n-k)=\frac{n!}{(n-k)!k!}
显然两者相等

(2)行和公式

性质:第 n \ n\ 行所有数之和为 2n\ 2^n,即 k=0nC(n,k)=2n\ \sum_{k=0}^{n}C(n,k)=2^n
证明:在二项式定理中令 a=1,b=1\ a=1,b=1,得
(1+1)n=k=0nC(n,k)1nk1k    2n=k=0nC(n,k)(1+1)^n=\sum_{k=0}^{n}C(n,k)1^{n-k}1^k \implies 2^n = \sum_{k=0}^nC(n,k)

(3)斜线和数列

性质1(自然数序列):第2条斜线(从左起,不含首尾1)为 C(n,1)=n(n1)\ C(n,1)=n(n \geq 1)
证明:由组合公式 C(n,1)=n!1!(n1)!=n\ C(n,1)=\frac{n!}{1!(n-1)!}=n
性质2(三角形序列):第3条斜线为 C(n,2)=n(n1)2n2\ C(n,2)=\frac{n(n-1)}2 (n \geq 2),即 1,3,6,10,...\ 1,3,6,10,...(三角数)。
证明C(n,2)=n(n1)2C(n,2)=\frac{n(n-1)}2

(4)模运算性质


The EndThe\ End

评论

0 条评论,欢迎与作者交流。

正在加载评论...