帕斯卡三角形

Abstract

帕斯卡三角形（Pascal's Triangle）是二项式系数的三角形排列方式。第 $n$ 行（从第 0 行开始计数）对应 $(x + y)^{n}$ 展开式的各项系数 $(0 n), (1 n), \dots, (n n)$ 。三角形中每个数等于其正上方两数之和，这正是帕斯卡恒等式 $(k n) = (k - 1 n - 1) + (k n - 1)$ 的几何表现。该三角形在中国最早由杨辉于 1261 年记载，在欧洲由 Pascal 于 1653 年系统研究。

定义

帕斯卡三角形（Pascal's Triangle）

帕斯卡三角形是一个无限的三角形数组，构造规则如下：

第 0 行： $1$

第 1 行： $11$

第 2 行： $121$

第 3 行： $1331$

第 4 行： $14641$

一般地，第 $n$ 行： $(0 n), (1 n), \dots, (n n)$

每个数等于其左上方和右上方两个数之和（边界处缺少的数视为 $0$ ）。

帕斯卡三角形的递推构造

设 $T (n, k)$ 表示第 $n$ 行第 $k$ 列的数（ $0 \leq k \leq n$ ），则：

$T (n, k) = {1 T (n - 1, k - 1) + T (n - 1, k) 若 k = 0 或 k = n 若 0 < k < n$

这正是二项式系数的帕斯卡恒等式的直接体现： $T (n, k) = (k n)$ 。

核心性质

编号	性质	描述	公式/说明
1	行与二项式系数对应	第 $n$ 行为 $(0 n), (1 n), \dots, (n n)$	即 $(x + y)^{n}$ 的展开系数
2	递推构造	每个数等于上方两数之和	$(k n) = (k - 1 n - 1) + (k n - 1)$
3	行和	第 $n$ 行所有数之和	$k = 0 \sum n (k n) = 2^{n}$
4	左右对称	每行关于中间对称	$(k n) = (n - k n)$ （对称性）
5	对角线规律	第 $d$ 条对角线上的数为 $(d n)$	$d = 0$ : 全 $1$ ； $d = 1$ : 自然数； $d = 2$ : 三角数
6	曲棍球棒恒等式	沿对角线求和	$i = r \sum n (r i) = (r + 1 n + 1)$
7	最大值	每行最大值在中间	$(⌊ n /2 ⌋ n)$ （二项式系数的单峰性）

关系网络

graph LR
    A["帕斯卡三角形"] -->|"第 n 行"| B["[[二项式系数]] binom(n,k)"]
    A -->|"展开系数"| C["[[二项式定理]]"]
    A -->|"递推基于"| D["帕斯卡恒等式"]
    A -->|"对角线求和"| E["曲棍球棒恒等式"]
    A -->|"行和"| F["2^n"]
    B -->|"组合意义"| G["[[组合]]"]
    B -->|"关联恒等式"| H["[[排列组合恒等式]]"]
    D -->|"归纳证明"| I["[[数学归纳法]]"]

章节扩展

帕斯卡三角形的前 7 行

                    1                    第 0 行
                  1   1                  第 1 行
                1   2   1                第 2 行
              1   3   3   1              第 3 行
            1   4   6   4   1            第 4 行
          1   5  10  10   5   1          第 5 行
        1   6  15  20  15   6   1        第 6 行

对角线规律

帕斯卡三角形中的对角线蕴含丰富的数列：

主要对角线

第 0 条对角线（左边界）： $1, 1, 1, 1, \dots$ —— 常数列 $(0 n) = 1$

第 1 条对角线： $1, 2, 3, 4, 5, \dots$ —— 自然数列 $(1 n) = n$

第 2 条对角线： $1, 3, 6, 10, 15, \dots$ —— 三角数 $(2 n) = \frac{n ( n + 1 )}{2}$

第 3 条对角线： $1, 4, 10, 20, 35, \dots$ —— 四面体数 $(3 n) = \frac{n ( n + 1 ) ( n + 2 )}{6}$

一般地，第 $d$ 条对角线上的第 $n$ 个数为 $(d n + d - 1)$ ，对应 $d$ 维单纯形数。

历史背景

杨辉三角与帕斯卡三角形的历史

中国：北宋数学家贾宪（约 1050 年）在其著作中已记载此三角形（“贾宪三角”）。南宋数学家杨辉于 1261 年在《详解九章算法》中详细描述了该三角形的构造方法，因此在中国称为**“杨辉三角”**。

波斯：数学家 al-Karaji（约 953-1029）和 Omar Khayyam（1048-1131）也独立发现了这一结构。

欧洲：法国数学家帕斯卡（Blaise Pascal）于 1653 年在《论算术三角形》（Traité du triangle arithmétique）中系统研究了该三角形的性质，因此西方称为**“帕斯卡三角形”**（Pascal’s Triangle）。

补充

帕斯卡三角形中的隐藏规律

帕斯卡三角形蕴含大量优美的数学规律：

斐波那契数列：沿浅对角线求和可得斐波那契数： $1, 1, 2, 3, 5, 8, 13, \dots$

2 的幂：第 $n$ 行之和为 $2^{n}$

11 的幂：第 $n$ 行的数字（无进位时）恰好是 $1 1^{n}$ 的各位数字，例如第 4 行 $14641 = 1 1^{4}$

Sierpinski 三角形：将奇数标记为黑色、偶数标记为白色，当行数足够多时呈现分形图案

组合恒等式可视化：曲棍球棒恒等式、对称性等都能在三角形中直观看到

帕斯卡三角形与二项式定理的关系

二项式定理 $(x + y)^{n} = \sum_{k = 0}^{n} (k n) x^{n - k} y^{k}$ 的展开系数恰好构成帕斯卡三角形的第 $n$ 行。

例如 $(x + y)^{4} = x^{4} + 4 x^{3} y + 6 x^{2} y^{2} + 4 x y^{3} + y^{4}$ ，系数 $1, 4, 6, 4, 1$ 正是第 4 行。

帕斯卡恒等式解释了为什么相邻两行之间存在递推关系： $(x + y)^{n} = (x + y)^{n - 1} \cdot (x + y)$ ，展开后合并同类项即得递推。

参见

二项式系数 —— 帕斯卡三角形中的每个数
二项式定理 —— 帕斯卡三角形各行对应的展开式
排列组合恒等式 —— 三角形中蕴含的恒等式
组合 —— 二项式系数的组合意义
数学归纳法 —— 证明帕斯卡恒等式的工具

CS Wiki

探索

帕斯卡三角形

帕斯卡三角形

定义

核心性质

关系网络

章节扩展

帕斯卡三角形的前 7 行

对角线规律

历史背景

补充

参见

关系图谱

目录

反向链接