some trig identity

Added by jason on June 15, 2002 at 15:09:50:

cos(a+b)*cos(a-b)=cos(a)^2+cos(b)^2-1