推一个数学三角函数公式

在平面直角坐标系xOy中,
设单位向量OA=（cosx,sinx）
单位向量OB=（cosy,siny）
则OA与OB的夹角为x-y
由向量夹角公式得：
cos(x-y)=（向量OA·向量OB）/（|OA|*|OB|）
=cosxcosy+sinxsiny
将上式中y变为-y
得cos(x+y)=cosxcos(-y)+sinxsin(-y)
=cosxcosy-sinxsiny