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

第 24卷第 2期 徐 州 工 程 学 院学 报 (自然 科 学 版 ) 20O9年 6月 VolJ24No．2 Journal0fXuzhou Institute ofTechnology (NaturalSciencesEdition) JUN．20O9 基于格路模型的组合恒等式及其证明 常海廷，卢青林，陈美娟 (徐州师范大学 数学科学学院，江苏徐州，221】16) 摘 要：用格路模型方法证 明了一些组合恒等式，并进一步考虑带对角步的格路 问题 ，给 出了 一 些恒等式及其组合证 明． 关键词：组合恒等式；对角步；模型；格路 中图分类号 ：O157．1 文献标志码 ：A 文章编号 ：1674—358X(2O09)O2—0007—03 二维平面上的格路是平面方格上的一条只允许沿着格点向右向上行进的路径 ，众所周知从点(0，0)到点 (，)的非降路径数为组合数I优十I，在文献[1—2]中给出了下列组合恒等式的格路证明，即 I I m[]一塞[][，二忌]， (1) [+：+]一塞[：愚]， (2) ． (3) l983年 ，Kaslnskl和 Bryant讨论 允许带对角步 ( ，)一 (z+ 1，．)，+ 1)的路 径教 ，从点 (O，0)剑 点 (，，2)允许带对角步的格路数记作Im十I．设共走，．步对角步，则从点(o，o)到点(，)的总的步数为m+ l I — r，其中右移步数为m—r，上移步数为—r，故这时的格路数为 轰 ，再对r求和，即共有 ∑ ’ 种方法数．容易看出，()的递推关系为( 一( )+()+( )， 初始条件为()一1，()一。，其组合意义很明显． 本文将通过格路的方法给出两个幂次恒等式的组合证明，并给出一些带对角步的组合恒等式及其证明． 1 与幂次有关的一些恒等式的组合证明 引理 1 塞 ． ㈤ 证明上述等式可看作是恒等式2∑：。f2 1—2的变形．记点(。，2+1)，(，+1)，(，z+1， 收稿 日期 ：2OO9一O2—18 基金项 目：国家 自然科学基金资助项 目(1O771】0O)；江苏省高校 自然科学基金资助项 目(06KJDl1O179)；徐州师范大学研究生科研创新基金责 助 项 目(08YLBO24) 作者简介 ：常海廷(1982一)，男，江苏徐州人，硕士研究生，主要从事组合数学研究． 通信作者：卢青林(1963一)，男，江苏盱眙人，教授 ，博士，主要从事组合数学研究． · 7 · 徐州工程学院学报(自然科学版) 2O09年第 2期 到斜线AD上任伺一整点的路径郡是 272+ 1步长 ，每一步都有向右和向上两种选择 ，由乘法法则 ，共有 2 种方法．又因为2(】是从点(。，。)到点(。，2+1)的路径数，f21是从点(。，。)到点(1，2)的路径 数，…，I2【】l是从点(。，。)到点(，+1)的路径数，而这所有的路径数之和为～∑：：。I2『1I，即从点 (。，。)到斜线AB上整点的路径数．根据对称性，∑：：。l2 1也等于从点(。，。)到斜线c。上整点的路径 数．故恒等式成立 ，从而 (4)成立． 定理 1