On a conjecture for the design of low-pass recursive filters

Recently, Shenoi and Agrawal [1] discussed the design of low-pass recursive filters using a modified Darlington scheme. A conjecture was made regarding the form of the numerator in the magnitude-squared function. This conjecture was based on two identities satisfied by Chebyshev polynomials. This correspondence provides the proofs for these identities.