调和数相关恒等式的计算机辅助证明

摘要：

针对含有调和数的相关恒等式的证明问题,先利用形式留数得到调和数的一个超几何表示,将调和数的相关和式转化为超几何求和问题,再结合经典的Gosper算法或Zeilberger算法,得到其不定和或斜递推关系,最后通过取形式留数得到原始和式的相应不定和或递推关系,并给出了几个经典调和数恒等式的新证明.

关键词：形式留数、调和数、Gosper算法、Zeilberger算法

所属期刊栏目：29

分类号：O174.3(数学分析)

资助基金：国家自然科学基金资助项目11501416

在线出版日期：2019-07-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：28-32,38