q-恒等式的机械化证实.pdfVIP

摘要 q．恒等式的证明历来受到人们的广泛关注，人们用各种各样的方法研究了q．超几 何级数恒等式，对它的研究方法逐渐形成了两大类：变换的方法和反演的方法。现代 计算机科学技术飞速发展，这为q，恒等式证明的研究开辟了新的前景，1990年，Doron 基本理论框架，为q．恒等式的机械化证明提供了理论基础。 本文主要介绍了：q一恒等式的基本概况；证明q．超几何级数恒等式的三种主要方 法即：变换的方法，反演的方法和WZ-方法；详细介绍了证明q．恒等式的理论框架 及Zeilberger证明恒等式的基本思想；将交换环境下消元的方法推广到不可交换的 的算法，用数学软件Maple实现了这一算法，并验证了D WZ．方法和Gosper算法证明过的几个著名的恒等式。在本文最后，给出了详细的程 序及程序说明。 关键词：消元法，q一恒等式，机械化证明 AbstI-act． The of hasbeen a attention．Differentkindsofmethods great q-identitiespaid proof were tO identities．Sothesemethodswereclassifiedastwo usedstudyq．hype唱eomemc and ofscienceand inversion．The sorts，i．e．，transformation rapiddevelopment technology of new forthe of 1990， opensup prospects studyprovingq-identities．In computer an of aneweraofthe identities，which gavealgorithmproving openedup D．Zeilberger hasbeen then of identities identifies．Sincethe of pmofq-hypergeometric proof algorithm famous methodwas andH．WilflIn discussed．The byD．Zeilberger widely WZ—pair given theoreticalframeworkof and thebasic H．Wilf q— 1992，D．Zeilbergergave proving the