求证cos(a+b)*cos(a-b)=(cosa)^2-(cosb)^2