How do you prove that cos^4x-sin^4x=cos(2x) ?