Prove cos^4 x - sin^4 x = cos 2x