基于格路模型的组合恒等式证明.pdfVIP

2007年l1月 安庆师范学院学报(自然科学版) Nov．2Oo7 第l3卷第4期 Joumal of Anqing Teachem College(Natural Science Edition) V01．13No．4 基于格路模 型的组合恒等式证明 殷周平 (安庆师范学院 继续教育学院，安徽 安庆24601 1) 摘 要：组合恒等式在组合数学中占有重要地位，它有多种 法，模型的转换足组合计数的基本方法，其方法简洁直 观。将格路模型应用在证明组合恒等式中，使征明疗法十分灵活。在用这一方法时．要认真市题，观察每一项的结构以及各 项的相同点，再建立相应的模型。 关键词：组合恒等式；组合数学；格路；模裂 中图分类号：021l 文献标识码：A 文章编号：1007-4260(2007)04-0016—03 0 引言 格路是组合数学巾重要的模型之一，其性质十富，应用广泛，在不同的场合下有不同的组合意义。 尽管如此，一般的组合论书巾对格路的介绍不多。本文引进组合模型证明了一些基本的组合恒等式，并 运用所引进的恒等式讨论了李善兰恒等式的证明。 1 简单格路模型【 】 从(0，0)点出发沿 轴或 ’，轴的 方向每步止一个单位，最终止到 ，凡)点的路径数。(所谓“路径”指 的是不允许后退，即不允许逆着 x,y的正方向止)。 ● ● I--1‘。，d ● (a，b) ● ● ● 1 X 图 2 分析 如图 1所示，尤论怎样_止法，在 方向 卜总共止m步，在 ，方f，uJ 卜总共走 凡步。若用一个 表 示 方向 的一步，一个 母 ’，表示 Y方ruJ 卜的一步，则(0，0)一 )的每一条路径可表示为 m个 与几 个y的一个有重排列。 解 将每一个有重排列的 与’，分别编号，可得m!凡!个 肌+凡元的_尤重全排列。设所求方案数为 P(m+n；nt,n)，贝U P(m+n；m，凡)· !·n!=(，n+凡)!，故P(m+n,m，凡)=! ±竺 ：C(，n+， ，， 即 i(o，0)一 m，凡)l_C(m+n， 。此结论可推广到一般，(如图 2)，设 c≥ d≥b，则由 6)到(c， 的简单格 路数为 l b)一(c， l_c((c一 + 一6)，(c一 )。 2 格路模型的应用 Y L tm—l，I rm r — I一 …，‘ 1列1 C(m+n，，n)：C(肌+凡一l，，n)+C(仃 +凡一l，m—1)12J m ，r 分析 观察恒等式的每一项，其结构类似格路公式， - 可以看为冈 3。 证明 从(0，0)点到m，11．一1)点的路径数为 C(m+n—l， ， 从(O，O)点到 一l，凡)点的路径数为 c +n—l，m—1)，因( 收稿日期：2007-09-06 作者简介：段周平(1