非向量法证明cos(a-b)=cosacosb+sinasinb