$11^2$？有没有弄错？读者朋友可能要问。没错，我们就要从这儿出发，悄悄地进入奇妙的数学王国漫游, 来到葱郁的百草园撷趣。你可以遇见奇异的角色、不同的对象，邂逅“贪食蛇”，窥探“金角大王”，观察“兔子家族”，动手搭建“金字塔”，仰望“星空”，说不定你还会有什么发现呢？

一 数

人之初，咿呀学语，认字识数。我们识数是从“1”开始的。一个指头、一个人、一棵树、一朵花儿、一只小狗儿、一间房子、一颗星星等等，给了我们数字“1”的概念。《道德经》上说，道生一，一生二，二生三，三生万物。从“1”开始我们认识了 10 以内的数字以及个、十、百、千、万、亿等基数，以至于无穷。

上小学时，我们学会了“+、-、×、÷”四则运算和乘方、开方等运算。做乘法算术题，两位数乘法就有点烦琐。可是当遇到一个乘数是 11 时，我们难得喘口粗气；因为无论被乘数多大，只要乘数是 11，乘法就变成了加法——列乘法竖式时，先在竖式横杠下面照写一遍被乘数，然后在下一行把被乘数的数字逐位向左移一位，最后把这两行数字相加即可。

有例为证：
$234\times 11$

这是连机器也会做的算术题。可不是吗？电子计算机就是这样运算的。不仅如此，而且它运算的是二进制数字，它用“开”、“关”两种电路状态分别表示“0”、“1”数字。

如果被乘数也是 11，那么我们简直乐开了花！

$11^2=11\times 11$

再来一个，复杂一点：
$11^3=11^2\times 11 = 121\times 11$

再算一个：
$11^4=11^3\times 11 = 1331\times 11$

$111^2=111×111$ 怎么样呢?

看呢! 数字排成了队，首尾对称！这里蕴藏着什么规律吗？

我们来寻找 11 的自然数次乘幂即 $11^n$ 的各位数字之间的关系。把这些数字排列、堆叠成一座积木，会怎么样呢？

可以看出图（1-1）的第 0（我们不妨假设顶点为第 0 层）至 4 层数字依次对应 11 的 0 至 4 次乘幂，而且数字积木每一层中间的数字都是它左、右肩上两个数字之和（如果从第 1 层起，把首（尾）位的“1”的在积木外面的左（右）肩数字视为“0”，那么首（尾）位数字也符合这个规律），好像“贪食蛇”，一口吞并前头的两个数字到腹中，又各生长出新的“头”、“尾”。如第 4 层数字为：1 4 6 4 1，其中 4=1+3,6=3+3，均为其左、右肩上两个数字之和 。

第 5 层呢？第 5 层对应 11 的 5 次乘幂，我们用竖式计算如下：

$$ \begin{align} 11 ^ {5} &= 11 ^ { 4 } \times 11\\ &= 14641 \times 11 \\ &= 1 \times 10 ^ {5} + 5 \times 10 ^ { 4 } + 10 \times 10 ^ { 3 } + 10 \times 10 ^ { 2 } + 5 \times 10 ^ { 1 } + 1 \times 10 ^ { 0 } \end{align} $$

（1-6）式中相加时，百位和千位的上、下数字之和大于或等于 10，超过了 1 位十进制数字，我们把超过 1 位数字的和仍然写在本位上，这不影响 11 的乘幂结果，却为我们考察多项式乘方展开式的系数的规律带来了方便。

为了保持不同数字位的间隔，我们索性把 11 变成 $1+i$（其中 $i$ 为字母），于是求解二项式乘方展开式系数，也可以用求解 $(1+i)^n$ 展开式的办法。

二 式

用字母代表数，如用 $a$、$b$、$c$ 等代表数字，施以四则运算、乘方、开方等，我们有单项式（如 $a$、$ab$ 等）、多项式（如 $a+b$， $a+b+c$ 等）。

又由加法、乘法的运算律：

$$a+b=b+a\quad\text{（加法交换律）} \tag{2-1}$$

$$ab=ba\quad\text{（乘法交换律）} \tag{2-2}$$

$$ (a+b)+c= a+(b+c)\quad \text{（加法结合律）} \tag{2-3}$$

$$(ab)c=a(bc) \quad \text{（乘法结合律）} \tag{2-4}$$

$$a(b+c) =ab+ac\quad \text{（乘法对加法的分配律）} \tag{2-5}$$

这些临时已足够，我们对二项式乘方 $(a+b)^n$ 展开。为了便于观察，我们列出竖式：
$( a + b ) ^ { 2 } = ( a + b ) ( a + b )$

又有
$( a + b ) ^ { 3 } = ( a + b ) ^ { 2 } ( a + b ) = \left( a ^ { 2 } + 2 a b + b ^ { 2 } \right) ( a + b )$

对比可以看出本节中的多项式相乘竖式与第一节中的多位数相乘竖式本质上是一致的：我们把按字母 $a$ 的降幂排列的多项式的系数单独拿出来排成一行，如 $a+b$ 的系数排列为

$$1\quad 1$$

然后把它整体左移一位（这里的位，表示字母 $a$ 的幂次），按位与原数字相加，如（1-2）式，得

$$1\quad 2\quad 1$$

以此类推，即得二项式 $n$ 次乘方展开式的各项系数，与第一节中的数字积木（图（1-1））相应层的数字一致。

现在我们用组合的观点观察二项式乘方展开式的各项：

先看 $(a+b)^2$ 的展开式，它由 $3$ 个二次项相加，这 $3$ 个二次项按照字母 $a$ 的降幂（$a$ 的幂指数分别为 $2$、$1$、$0$，同时是字母 $b$ 的升幂）排列，即为

$$ {a} ^ { 2 } \quad  { ab } \quad  { b } ^ { 2 }$$

而二次项的系数是多少呢？

考察 $(a+b)^2=(a+b)(a+b)$，它的展开式的每一项是从 2 个二项式因式中分别取出 1 个字母，然后相乘得到的。如 $a^2$ 项的系数为 1，只有 1 种取法（$C_2^2$）: 从 2 个二项式因式中取出 2 个因式 (有 1 种取法)，同时从每一个二项式因式 $a+b$ 中都取出 1 项 $a$（只有 1 种取法）。$ab$ 项的系数为 2，有 2 种取法（$C_2^1$）：从 2 个二项式因式中取出 1 个因式（有 2 种取法），同时从这个因式中取出 1 项 $a$（只有 1 种取法），而且从另一个因式中取出 1 项 $b$（只有 1 种取法）。同理， 项的系数为 1，只有 1 种取法（$C_2^0$）。

一般地，我们有 $$(a + b) ^ { n } = \sum _ { k = 0 } ^ { n } C _ {  { n } } ^ {  { k } } a ^ { n - k } b ^ { k }\tag{2-8}$$ 称为二项式定理，其中 $C_n^k$ 为从 $n$ 件物品中取出 $k$ 件物品的组合数： $$C _ {{n} } ^ {  { k } } = \frac {  { n } ! } { (  { n } -  { k } ) !  { k } ! }\tag{2-9}$$ 式中 $n!=1×2×3×…×n$，为 $n$ 的阶乘。

满足杨辉恒等式： $$C _ {{n} } ^ {  { k } } =  { C } _ {  { n } - 1 } ^ {  { k } - 1 } +  { C } _ {  { n } - 1 } ^ {  { k } } \quad (  { n } = 1,2,\cdots,\quad k=1,2\cdots,n) \tag{2-10}$$

表示 $(a+b)^n$ 的展开式中含 $b^k$ 的单项式（即 $a^{n-k}b^k$ ）共有 $C_n^k$ 个，即从 $n$ 个 $(a+b)$ 因式中选取 $k$ 个因式相乘，完成这件事情有两条途径：一是这 $k$ 个因式包含 $n$ 个因式中某个特定因式，再是这 $k$ 个因式不包含该特定因式。第一种途径由于已经有 1 个因式，只要从其余 $n-1$ 个因式中选取 $k-1$ 个即可（有 $C_{n-1}^{k-1}$ 种取法），第二种途径是从不包含该特定因式的其余 $n-1$ 个因式中选取 $k$ 个（有 $C_{n-1}^{k}$ 种取法）。

我们按照 $n$、$k$ 角标对 $C_n^k$ 的数值进行排列（令 $C_0^0=1$， $n =0, 1,2,\cdots$，$k=0,1,2\cdots,n$），即得

第 0 行						1
第 1 行					1		1
第 2 行				1		2		1
第 3 行			1		3		3		1
第 4 行		1		4		6		4		1
						...
第 $n$ 行	1	$C_n^1$	...	...	$C_n^k$		$C_n^{k+1}$	...	...	$C_n^{n-1}$	1

图（2-1）

呈三角形，即第一节中的数字积木（图（1-1）），称为杨辉三角。它可称得上数学王国的“金角大王”，它见首不见尾，常常只露出一面，内部阴藏着多少秘密呢？

离开二项式乘方，我们进一步考察多项式乘方的情形。最简单的三项式乘方 的展开式是什么？它的展 开式的系数又是怎样的呢？

读者可以动手动笔验算、描画，悄悄窥探它的“芳姿”。

三  列

现在我们用“x 光”对杨辉三角进行透视。在杨辉三角中，左腰上的数字为 $$1\quad 1\quad 1\quad 1\quad 1\quad \cdots$$

为常数列；邻近左腰的第一条平行线上的数字为 $$1\quad 2\quad 3\quad 4\quad 5\quad \cdots$$ 即自然数列，为等差数列；而底边及其平行线即每一行上的数字之和依次为（请思考为什么？） $$1\quad 2\quad 4\quad \cdots\quad 2^n\quad\cdots$$ 为等比数列，描述生物界的细胞分裂等；

现在把“x 光”的入射角度调到左腰与底边夹角的一半，入射线及其平行线上的数字之和依次为 $$1\quad 1\quad  2\quad  3\quad  5\quad  8$$ 即为斐波那契数列 。

在第一节中，我们看到“贪食蛇”数字串中后面的数字是它前面相邻的两个数字之和，斐波那契数列就是这种数字串首尾相连，它的递推关系式为 $${F} _ { { n } + 2 } = { F } _ { { n } } + { F } _ { { n } + 1 } \quad ( { n } = 1,2 , \cdots)\tag{3-1}$$ $${F} _ { 1 } = { F } _ { 2 } = 1\tag{3-2}$$

形象地用兔子家族的繁衍来描述斐波那契数列：假设头一个月有一对小兔子，隔 1 个月发育成年，以后每一个月生下一对小兔子，如此繁殖下去，每个月的兔子对数即为斐波那契数列。反过来，斐波那契数列为诸如生物繁衍的数学模型；显然，它未考虑生物的衰老、死亡等因素。

最初 1 对小兔子，隔 1 个月后又生下 1 对小兔子，我们用“→”表示繁殖（或复制）趋向，作数字流图如下：

1→0 （表示最初有 1 对兔子）
图（3-1）

本位保留“1”，并复制一份，加到右边一位“0”上：

1→1→0 （表示 2 代家族的兔子对数 ）
图（3-2）

保留原位的“1”、“1”，并分别复制一份，加到右边一位“1”、

“0”上（也可以把“1  1”作为一个整体，右移 1 位，与原数字相加）：

1→2→1→0 （表示 3 代家族的兔子对数）
图（3-3）

保留原位的“1”、“2”、“1”，并分别复制一份，依次加到右边一位“2”、“1”、“0”上（也可以把“1 2 1”作为一个整体，右移 1 位，与原数字相加）：

1→3→3→1→0 （表示 4 代家族的兔子对数）
图（3-4）

以此类推。

通过简单的操作（复制、移位、相加），我们得到了二项式定理展开式的系数。

在图（3-5）中，我们用竖线（|）标志原有的兔子，用横线（-）标志新生的兔子。头一个月有 1 对小兔子（$F1$），经历 1 个月即在第二个月仍然为 1 对兔子（$F2$），不过现在是 1 对成年的兔子了，第三个月时它们生下了 1 对小兔子，即现在有 2 对兔子了（$F3$）。余此类推。

为便于进一步分析，我们假设兔子一个月为一岁， 图（3-5）中竖线（列）为兔子的代际，即第一代、第二代、第三代等等的兔子，而虚斜线为兔子的生长月份，各月份 $F1$、$F2$、$F3$ 等前面的数字之和，表示本月份兔子对数，即得到斐波那契数列，而各行 $F1$、$F2$、$F3$ 等前面的数字排列即为杨辉三角。读者朋友，你知道图中的横线（行）代表兔子家族的什么伦理关系呢？第 4 月斜线与第 2 代竖线交叉点的 2 $F4$ 表示什么呢？

怎样推导斐波那契数列的通项呢？这基本上用到初等数学的知识，你通过独立思考，加上猜测、验证，是能够做出了的。读者朋友，不妨试试。这里只写出答案： $${F} _ { { n } } = \frac { 1 } { \sqrt { 5 } } \Bigg[ \left( \frac { 1 + \sqrt { 5 } } { 2 } \right) ^ { { n } } - \left( \frac { 1 - \sqrt { 5 } } { 2 } \right) ^ { { n } } \Bigg] \tag{3-3}$$

四 阵

在二项式定理的展开式中，我们把二元 $n$ 次项按照字母 $a$ 的降幂（$a$ 的幂指数分别为 $n$、$n-1$、……、$1$、$0$, 同时是字母 $b$ 的升幂）排列称为二元 $n$ 次项阵，如

二元 $2$ 次项阵 $[{a} ^ { 2 } \quad { ab } \quad { b } ^ { 2 } ] ^ { { T } }$，为一维的线阵，列阵，记为 $Z^2$ ;

二元 $3$ 次项阵 $[a^3\quad a^2b\quad ab^2\quad b^3] ^ { { T } }$，记为 $Z^3$;

二元 $n$ 次项阵
$[a ^ { n}\quad a ^ { n - 1 } b ^ { 1 }\quad a ^ { n - 2 } b ^ { 2 }\quad \cdots \quad a ^ { n - k } b ^ { k } \quad\cdots  \quad b ^ { n }]^T$，记为 $Z^n$。

其中 $T$ 表示矩阵转置, 即矩阵行列互换。

我们把杨辉三角的第 $n$ 行数字构成的矩阵称为二元 $n$ 次项系数阵，为一维的线阵，行阵，记为 $Y^n$。

$n=2,3$ 的情形为 $$(a + b) ^ { 2 } = \left[ \begin{array} { l l l } { 1 } & { 2 } & { 1 } \end{array} \right] \left[ \begin{array} { l l l } { a ^ { 2 } } & { a b } & { b ^ { 2 } } \end{array} \right] ^ { T }\tag{4-1}$$ $$(a + b) ^ { 3 } = \left[ \begin{array} { l l l l } { 1 } & { 3 } & { 3 } & { 1 } \end{array} \right] \left[ \begin{array} { c c } { a ^ { 3 } } & { a ^ { 2 } b } & { a b ^ { 2 } } & { b ^ { 3 } } \end{array} \right] ^ { T }\tag{4-2}$$

如果再把 $(a+b)^n$ 记为 $X^n$, 省去角标，那么二项式定理可以简化为矩阵形式: $$X=YZ \tag{4-3}$$

三项式定理的矩阵形式是怎样的呢？

$n=0,1,2,3$ 的情形为

$$(a + b + c) ^ { 0 } = 1 \quad ( a b c \neq 0 )\tag{4-4}$$ $$(a + b + c) ^ { 1 } = a + ( b + c ) = [ \begin{array} { l l l } { 1 } & { 1 } & { 1 } \end{array} ] [ \begin{array} { l l } { a } & { b } & { c } \end{array} ] ^ { T } \tag{4-5}$$ $$ \begin{aligned} (a + b + c) ^ { 2 } &= [ \begin{array} { l l l } { 1 } & { 2 } & { 1 } \end{array} ] [ a ^ { 2 } a ( b + c ) ( b + c ) ^ { 2 } ] ^ { T }\\ &= [\begin{array} { l l l l l } { 1 } & { 2 } & { 1 } & { 2 } & { 1 } & { 2 } \end{array} ] [ \begin{array} { c c c } { a ^ { 2 } } & { ab } & { b ^ { 2 } bc } & { c ^ { 2 } } & { ca } \end{array} ] ^ { T } \end{aligned} \tag{4-6} $$ $$ \begin{aligned} &\quad\;(a + b + c) ^ { 3 } \\ &= [\begin{array} { l l l l } { 1 } & { 3 } & { 3 } & { 1 } \end{array} ] [ \begin{array} { c c } { a ^ { 3 } } & { a ^ { 2 } ( b + c ) } & { a ( b + c ) ^ { 2 } ( b + c ) ^ { 3 } ] ^ { T } } \end{array} \\ &=[\begin{array} { l l l l l l l l l l l l l l } { 1 } & { 3 } & { 3 } & { 1 } & { 3 } & { 3 } & { 1 } & { 3 } & { 3 } & { 6 } \end{array} ] [ \begin{array} { c c } { a ^ { 3 } } & { a ^ { 2 } b } & { a b ^ { 2 } } & { b ^ { 3 } } & { b ^ { 2 } c } & { b c ^ { 2 } } & { c ^ { 3 } } & { c ^ { 2 } a } & { c a ^ { 2 } } & { a b c } \end{array} ] ^ { T } \end{aligned} \tag{4-7} $$

考虑到计算三项式乘方时，展开式中的三元 $n$ 次项包含二元 $n$ 次项（即可以只取 $a$、$b$、$c$ 中的 2 个字母），三元 $n$ 次项系数阵的排列包含二元 $n$ 次项系数阵的排列即杨辉三角，更进一步，就是三项式乘方 $(a+b+c)^n$ 展开式的三元 $n$ 次项系数阵的排列包含二项式乘方 $(a+b)^n$ 、$(b+c)^n$ 、$(a+c)^n$ 展开式的二元 $n$ 次项系数阵的排列即 3 个杨辉三角，它们同一个顶点，第 $n$ 层底边相连，如图（4-1）所示：

一座立体的数字“金字塔”突兀面前, 让我们近前仔细观瞧：它的形状呈三角锥体，由同一顶点的三个侧面组成，每一个侧面都是杨辉三角，每一层底面也是一个三角。它是杨辉三角在三维情形下的推广。

我们继续考察每一层底面的情况，即研究三项式定理展开式是什么？ 类似地，我们把三元 $n$ 次项按照字母 $a$ 的降幂（从上到下 $a$ 的降幂同时是字母 $b$ 的升幂，从左到右 $b$ 的降幂同时是 $c$ 的升幂）排列称为三元 $n$ 次项阵。为了便于观察，我们按照杨辉三角的形式进行排列，三角阵内元素的排列顺序为：从左到右按照列、列内从上到下。它不同于一般的矩阵，实质上是一维的列阵，如

三元 1 次项阵 $$\left[\begin{array} { l l } { a } & { } \\ { b } & { c } \end{array} \right]$$

三元 2 次项阵 $$\left[\begin{array} { c c c } { a ^ { 2 } } & { } & { } \\ { ab } & { ac } & { } \\ { b ^ { 2 } } & { bc } & { c ^ { 2 } } \end{array} \right]$$

三元 3 次项阵 $$\left[\begin{array} { c c c c } { a ^ { 3 } } & { } & { } & { } \\ { a ^ { 2 } b } & { a ^ { 2 } c } & { } & { } \\ { a b ^ { 2 } } & { a b c } & { a c ^ { 2 } } & { } \\ { b ^ { 3 } } & { b ^ { 2 } c } & { b c ^ { 2 } } & { c ^ { 3 } } \end{array} \right]$$

三元 $n$ 次项阵 $$ \begin{array} {lllllll} {a ^ { n} } & { } & { } & { } & { }& { } & { } \\ {a ^ { n - 1} b } & { a ^ { n - 1 } c }& { } & { } & { } & { } & { } \\ {a ^ { n - 2} b ^ { 2 } } & { a ^ { n - 2 } bc } & { a ^ { n - 2 } c ^ { 2 } }& { } & { } & { } & { } \\ \cdots &{}&{}\\ a ^ {n - k} b ^ { k } & a ^ { n - k } b ^ { k - 1 } c &  a ^ { n - k } b ^ { k - 2 } c ^ { 2 } &  \cdots &  a ^ { n - k } c ^ { k }& { } & { } & { }\\ b ^ {n} &  b ^ { n - 1 } c &  b ^ { n - 2 } c ^ { 2 } &  \cdots &  b ^ { n - k _ { C } k } &\cdots  &c ^ { n } \end{array} $$

三元 $n$ 次项系数阵是怎样的呢？

三元 1 次项阵 $$\left[\begin{array} { l l } { 1 } & { 1 } \\ { 1 } & { } \end{array} \right]$$

三元 2 次项系数阵 $$\left[\begin{array} { c c c } { 1 } & { 2 } & { 1 } \\ { 2 } & { 2 } & { } \\ { 1 } & { } \end{array} \right]$$

三元 3 次项系数阵 $$\left[\begin{array} { c c c c } { 1 } & { 3 } & { 3 } & { 1 } \\ { 3 } & { 6 } & { 3 } \\ { 3 } & { 3 } & { } \\ { 1 } & { } \end{array} \right]$$

三元 $n$ 次项系数阵是由三元 $n-1$ 次项系数阵经过复制，然后分别向右和向下移动 1 位，再与原系数阵相加得到。按照第二节中的方法，三元 2 次项系数阵生成三元 3 次项系数阵的数字流图为：

三元 $n$ 次项系数阵 $$ \begin{array} {llllllll} 1 & C_{n}^{1} & C_{n}^{2}C_{2}^{2} & \cdots& C_{n}^{k}C_{k}^{k} & \cdots& C_{n}^{n-1}& 1\\ C_{n}^{1} & C_{n}^{2}C_{2}^{1} & C_{n}^{3}C_{3}^{2} & \cdots& C_{n}^{k+1}C_{k+1}^{k}& \cdots& C_{n}^{n-1}& \\ C_{n}^{2}C_{2}^0 & C_{n}^{3}C_{3}^{1} & C_{n}^{4}C_{4}^{2} & \cdots& C_{n}^{k+2}C_{k+2}^{k}& \cdots& & \\ & & & \cdots& & & & \\ C_{n}^{k}C_{k}^{0}& C_{n}^{k+1}C_{k+1}^{1}& C_{R}^{k+2}C_{k+2}^{2}& \cdots& C_{n}^{2k}C_{2k}^{k} & & \\ C_n^{n-1} & C_n^1 & & & & & &\\ 1 & & & & & & & \end{array} $$

排列成三角形, 它两条腰上的数字为 $$1 \quad C _ {n} ^ { 1 } \quad C _ { n } ^ { 2 } \quad \cdots \quad C _ { n } ^ { k } \cdots C _ { n } ^ { n - 1 } \quad 1$$

它的第 $k$ 条底边上的数字以 $C_n^k$ 为最大公约数，提取 $C_n^k$ 后与杨辉三角相同位置的数字相等，即三元 $n$ 次项系数阵在它的每条底边上的数字互素化后为杨辉三角，我们称之为加权杨辉三角。可见，杨辉三角为多项式定理的“基因”。

三元 $n$ 次项系数阵内元素的排列顺序为：从上到下按照行、行内从左到右，它实质上是一维的行阵。三元 $n$ 次项阵及其系数阵内元素的顺序也可以是沿着三角形的周边按照逆时针或顺时针顺序，由外到内。这源于该三角阵的对称性。

通过以上分析，容易推出 $$(a + b + c) ^ { n } = \sum _ { k = 0 } ^ { n } C _ { n } ^ { k } a ^ { n - k } \sum _ { l = 0 } ^ { k } C _ { k } ^ { l } b ^ { k - l } c ^ { l }\tag{4-8}$$

称为三项式定理。其中三元 $n$ 次项 $a ^ {n - k} b ^ { k - l } c^l$ 的系数 $C_n^kC_k^l$ 为从 $n$ 件物品中取出 3 堆（分别为 $n-k$、$k-l$ 、$l$ 件）物品的组合数，即有 $$C _ {n} ^ { k } C _ { k } ^ { l } = \frac { n ! } { ( n - k ) ! ( k - l ) ! l ! }\tag{4-9}$$ 容易证明 $$C _ {n} ^ { k } C _ { k } ^ { l } = C _ { n - 1 } ^ { k } C _ { k } ^ { l } + C _ { n - 1 } ^ { k - 1 } C _ { k - 1 } ^ { l - 1 } + C _ { n - 1 } ^ { k - 1 } C _ { k - 1 } ^ { l }\tag{4-10}$$ 类似地，三项式定理也可以简化为矩阵形式，如式（4-3）。

五 空间

我们考察多项式乘方中一元的情况，即单项式 $$1 , \quad a , a ^ {2} , \quad \cdots , a ^ { n } , \cdots $$ 组成单项式序列，$a_n\; (a\neq 0,\; n=0,1,2, \cdots)$ 表征序列不同的点位（坐标），把该序列看作由 $a_n$ 生成的位置空间，为一维的离散点空间，点的位置可以用坐标 $n$ 表示；如生命基础的细胞分裂，形成一维的离散点空间。单项式的系数序列为 $$1\quad 1\quad 1\quad 1\quad  \cdots$$

表示在每一个点取值为 1，形成由离散点组成的线，也成为表示二元 $n$ 次项系数阵列的杨辉三角的腰或者表示三元 n 次项系数阵列的“金字塔”的棱。

如果取 $a=2$，由 $2^n$ 生成的位置空间构成二进制数系；或者取 $a=10$，由 $10^n$ 生成的位置空间构成十进制数系。我们又回到第一节的数。

我们把二元 n 次项阵 $[\begin{array} { c c } { n } & { a ^ { n - 1 } b ^ { 1 } } & { a ^ { n - 2 } b ^ { 2 } \cdots } & { a ^ { n - k } b ^ { k } } & { \cdots  } & { b ^ { n } } \end{array} ] ^ { T }$ $(n=0，1,2, \cdots)$ 排列为

$$\begin{array}{lllllll} 1 & a & a ^ {2} & a ^ { 3 } & \cdots & a ^ { n } & \cdots\\ & b & ab & a ^ {2} b & \cdots & a ^ { n - 1 } b & \cdots\\ & & b ^ {2} & ab ^ { 2 } & \cdots & a ^ { n - 2 } b ^ { 2 } & \cdots\\ & & & b ^ {3} & \cdots & a ^ { n - 3 } b ^ { 3 } & \cdots\\ & & & & & \dots & \\ & & & & & a ^ {n - k} b ^ { k } & \dots\\  & & & & & \dots & \\ & & & & & b^n & \cdots \end{array}$$

用位置 (坐标) 空间的观点来观察：二元 $n$ 次项表征不同的点位（坐标），二元 $n$ 次项阵的排列可以看作一种矢量，张成二维的离散的位置空间，我们称为二元 $n$ 次项星空；如果把二元 $n$ 次项系数看作该位置空间中不同点位（坐标）上的取值，那么杨辉三角可以看作二维的离散的赋值位置空间，称之为二元 $n$ 次项星系。

二元 $n$ 次项 $a^{n-k}b^k$ 的系数 $C_n^k$ 的坐标为 $(n,k)$, 记为 $$Y(n,k)=C_n^k\tag{5-1}$$ 如在图（2-1）中, 第 2 行第 1 列（我们把左腰视为第 0 列，其邻近第一条平行线视为第 1 列，以此类推）的数字“2”即 $C_2^1$： $$Y(2,1)=C_2^1\tag{5-2}$$ 相应地，杨辉恒等式化为 $$Y(n,k)=Y(n-1,k-1)+Y(n-1,k)   \tag{5-3}$$

同样地，我们用三元 $n$ 次项表征不同的点位（坐标），三元 $n$ 次项阵列也张成三维的离散的位置空间，我们称为三元 $n$ 次项星空；作为三元 $n$ 次项系数阵列的“金字塔”可以看作三维的赋值位置空间，为离散点构成的三角锥体，称之为三元 $n$ 次项星系。

如第二节中，通过实际竖式验算，我们看到，多项式乘法转化为移位、相加等步骤。在多元 $n$ 次项位置空间中，某个多元 $n$ 次项阵乘以一个字母（如 $a$）, 等价于该阵按该字母升幂方向移动一位，变为多元 $n+1$ 次项阵。

三元 $n$ 次项系数 $C_n^kC_k^l$ 在三角锥体位置空间中坐标为 $(n,k,l)$, 记为 $Y(n,k,l)$。即有 $$Y (n , k , l) = C _ { n } ^ { k } C _ { k } ^ { l } \tag{5-4}$$ 由式（4-10），三元 $n$ 次项系数满足如下递推关系式： $$Y (n , k , l) = Y ( n - 1 , k , l ) + Y ( n - 1 , k - 1 , l - 1 ) + Y ( n - 1 , k - 1 , l ) \tag{5-5}$$

式（5-5）表明：三项式定理展开式的系数组成的数字三角塔第 $n$ 层、（第 $n$ 层加权杨辉三角）第 $k$ 行、第 $l$ 列数值（$C_n^kC_k^l$），等于它顶上第 $n-1$ 层、（第 $n-1$ 层加权杨辉三角）第 $k$ 行、第 $l$ 列数值（$C_{n-1}^kC_k^l$）及其在第 $n-1$ 层加权杨辉三角中两肩上（第 $k-1$ 行、第 $l-1$ 列和第 $k-1$ 行、第 $l$ 列）的数值（$C_{n-1}^{k-1}C_{k-1}^{l-1}$ 和 $C_{n-1}^{k-1}C_{k-1}^{l}$ ）之和。

亲爱的读者朋友，我们本次的旅行就到这儿了，你有何感触呢？神奇的数学王国像迷宫一样等待着你去探究。

参考文献：

1. 华罗庚《从杨辉三角谈起》

2. 陈希孺《概率论与数理统计》

作者:

沈雷东