有限三角和的机械化与人算方法
数论
2022-09-20 v2
摘要
我们指出，Harshitha、Vasuki 与 Yathirajsharma 借助 Ramanujan 的 theta 函数理论近期证明的涉及三角和的恒等式，要么已见于文献，要么可通过改编文献中已有结果轻松证得。此外，我们证明了该文中给出的两个猜想。在提及许多其他关于各类三角和恒等式的著作后，我们在文末描述了一种用于证明此类三角恒等式的自动化方法。
引用
@article{arxiv.2204.08228,
title = {Human and automated approaches for finite trigonometric sums},
author = {Jean-Paul Allouche and Doron Zeilberger},
journal= {arXiv preprint arXiv:2204.08228},
year = {2022}
}