調和數相關恒等式的計算機輔助證明

摘要：針對含有調和數的相關恒等式的證明問題,先利用形式留數得到調和數的一個超幾何表示,將調和數的相關和式轉化為超幾何求和問題,再結合經典的Gosper算法或Zeilberger算法,得到其不定和或斜遞推關系,最后通過取形式留數得到原始和式的相應不定和或遞推關系,并給出了幾個經典調和數恒等式的新證明。