How do you prove (1+sinx)2+(1sinx)2=42cos2x?