证cos(A-B)=cosAcosB+sinAsinB