Summations on trigonometric functions

摘要

A brief maple program of one sentence is designed to compute some striking summations of trigonometric functions. Then our human imagination figures out the generating functions by means of formal power series and binomial convolution, which are confirmed through partial fraction expansions on trigonometric polynomials. Some related trigonometric sums are treated as consequences.