Human and Automated approaches for finite trigonometric sums

By Jean-Paul Allouche and Doron Zeilberger

.pdf    Latex source   

Published in The Ramanujan Journal v. 62, pages 189-214 (2023)

To the memory of Vladimir Shevelev (Mar 09, 1945 - May 03, 2018)

Written: April 15, 2022

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.

Maple package