Use cosAcosB + sinAsinB = cos(A-B)LHS = sin(n+1)xsin(n+2)x + cos(n+1)xcos(n+2)x= cos[(n+2)x - (n+1)x]= cosx= RHSHence proved.