Consider a sequence of polynomials P0(x),P1(x),P2(x),…,Pn(x),…, where P0(x)=2,P1(x)=x and for every n≥1 the following equality holds:
Pn+1(x)+Pn−1(x)=xPn(x).
Prove that there exist three real numbers a,b,c such that for all n≥1,(x2−4)[Pn2(x)−4]=[aPn+1(x)+bPn(x)+cPn−1(x)]2.