证：∵右边=(1/2)[(cosacosb-sinasinb)+cosacosn+sinasinb)].
右边=(1/2)(2cosacosb)=cosacosb.
左=右.
证毕.
注：三角形函数的证明离不开三角函数的和差化积,积化和差的公式的应用!