Human and automated approaches for finite trigonometric sums
Number Theory
2022-09-20 v2
Abstract
We show that identities involving trigonometric sums recently proved by Harshitha, Vasuki and Yathirajsharma, using Ramanujan's theory of theta functions, were either already in the literature or can be proved easily by adapting results that can be found in the literature. Also we prove two conjectures given in that paper. After mentioning many other works dealing with identities for various trigonometric sums, we end this paper by describing an automated approach for proving such trigonometric identities.
Keywords
Cite
@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}
}