求证1/2(cos2a+cos2b)=cos(a+b)cos(a-b)