L.H.S. =sin(n+1)xsin(n+2)x+cos(n+1)xcos(n+2)x
We can write (n+2)x as [(n+1)x+x]. Substituting this into the expression, we get:
L.H.S. =sin(n+1)xsin[(n+1)x+x]+cos(n+1)xcos[(n+1)x+x]
Using the expansion formulas from the context, sin(A+B)=sinAcosB+cosAsinB and cos(A+B)=cosAcosB−sinAsinB (as seen in the derivation for cos(2x+x)), let A=(n+1)x and B=x.
Expanding the terms:
sin[(n+1)x+x]=sin(n+1)xcosx+cos(n+1)xsinx
cos[(n+1)x+x]=cos(n+1)xcosx−sin(n+1)xsinx
Now, substitute these back into the LHS expression:
L.H.S. =sin(n+1)x[sin(n+1)xcosx+cos(n+1)xsinx]+cos(n+1)x[cos(n+1)xcosx−sin(n+1)xsinx]
Multiplying the terms:
=sin2(n+1)xcosx+sin(n+1)xcos(n+1)xsinx+cos2(n+1)xcosx−cos(n+1)xsin(n+1)xsinx
Grouping like terms:
=[sin2(n+1)x+cos2(n+1)x]cosx+[sin(n+1)xcos(n+1)x−cos(n+1)xsin(n+1)x]sinx
Since sin2θ+cos2θ=1 and the coefficient of sinx cancels out to zero, we get:
=[1]cosx+[0]sinx
=cosx
=R.H.S.
Hence proved.