建构概率模型证明组合恒等式.docVIP

建构概率模型证明组合恒等式 　　【摘要】 本文通过建构概率模型证明了一些组合恒等式，使组合恒等式的证明直观简洁. 　　【关键词】 组合恒等式；概率 　　【中图分类号】 O211 【文献标志码】 A 　　引 言 　　近年来，组合恒等式的研究正越来越受到人们的关注，它已成为组合数学中的一个新的分支.1972年H.W.Gould教授[1]在《Combinatorial Identities》一书中收集了550个组合恒等式，而且将证明方法归为9类，这无疑是组合恒等式研究上了不起的工作.众所周知，许多组合恒等式的证明存在一定的困难，有的证明还很繁琐.概率方法有时使得组合恒等式的证明简便且极易掌握.石焕南，范淑香[2]给出了两个组合恒等式的概率证明.黄丹，周学松[3]则得到了四个新的组合恒等式.本文利用概率方法证明了一些组合恒等式，值得一提的是利用随机变量的独立性证明组合恒等式. 　　1.用古典概型证明组合恒等式 　　引理 1.1 若{A1，A2，…，An}构成一个完备事件组，即A1，A2，…，An两两互斥，∪ n i=1 Ai=Ω，则∑ n i=1 P（Ai）=1. 　　定理 1.1 ∑ m k=0 CkmCr+kn=Cm+rm+n. 　　证明 考虑随机试验：从m件正品和n件次品中随机地取m+r件产品，设事件Am-k表示“其中恰有m-k件正品”，k=0，1，…，m.