Solving change of basis from Bernstein to Chebyshev polynomials

We provide two closed-form solutions to the change of basis from Bernstein polynomials to shifted Chebyshev polynomials of the fourth kind and show them to be equivalent by applying Zeilberger’s algorithm. The first solution uses orthogonality properties of the Chebyshev polynomials. The second is “modular” which enables separately verified sub-problems to be composed and re-used in other basis transformations. These results have applications in change of basis of orthogonal, and non-orthogonal polynomials.