Abstract:This note is about the observation that the various transition formulas between bases of trigonometric polynomials can be expressed in terms binomial coefficients. More specifically, we write the entries of the Chebyshev matrices $ T$ and $ U$ in terms of binomial coefficients. We remark that the inverses of certain submatrices of the Chebyshev matrix $ T$ correspond to classical power reduction formulas for trigonometric functions. Therefore the entries of $ T^{-1}$ are expressible in terms of binomial coefficients and powers of two. The inverses of certain submatrices of the Chebyshev matrix $ U$ appear in power reduction formulas involving the Catalan triangles. We could not spot them in the literature. As a corollary the Catalan triangles are interpreted as inverses of rather natural matrices of binomial coefficients. We explain the matrix inversions in terms of Riordan arrays. We solve the integral $ \int _{0}^{2\pi }\cos^{2m}( x)\sin^{2n}( x) dx$ and deduce a hypergeometric identity from the Fourier expansion of $\cos^{2m}(x)$ and $ \sin^{2n}( x)$. As a corollary we prove that super Catalan numbers are integers. We emphasize that from the point of view of these base changes between the trigonometric polynomials it is more natural to work with $2\cos(x)$ and $2\sin(x)$ instead of $\cos(x)$ and $\sin(x)$, since the transition matrices become invertible over the integers. We do a similar analysis for the spread polynomials. This enables us to make a conjecture of Goh and Wildberger more precise. In this exposition we give a mostly self-contained account of the matter, the prerequisites just being four semesters of calculus, linear algebra, elementary complex variables and the residue theorem.

Double summation addition theorems for Jacobi functions of the first and second kind

A Summation Theorem and Its Applications

General Berndt-Type Integrals and Series Associated with Jacobi Elliptic Functions

Infinite families of exact sums of squares formulas, Jacobi elliptic functions, continued fractions, and Schur functions

Ramanujan-Berndt-type integrals of order four and series associated with Jacobi elliptic functions

On the numerology of trigonometric polynomials

Berndt-Type Integrals and Series Associated with Ramanujan and Jacobi Elliptic Functions

Summation formulae for quadrics

On a generalization of Jacobi's elegantissima

Applications of Extended Kummer's Summation Theorem

The Jacobi-Sobolev, Laguerre-Sobolev, and Gegenbauer-Sobolev differential equations and their interrelations

Summed series involving \,_{1}F_{2} hypergeometric functions

Miscellaneous summation, integration, and transformation formulas

The Jacobi-type polynomials and general Heun equations

Generalizations and specializations of generating functions for Jacobi, Gegenbauer, Chebyshev and Legendre polynomials with definite integrals

Theory of general theta relations, addition formulas, and theta constants identities

Theta hypergeometric series

Probabilistic aspects of Jacobi theta functions

On the interplay among hypergeometric functions, complete elliptic integrals, and Fourier–Legendre expansions

The resolvent kernel on the discrete circle and twisted cosecant sums

On Summations of Generalized Hypergeometric Functions with Integral Parameter Differences