高中的数学书上有证明cos(x+y)=cosxcosy-sinxsiny
是在坐标系内用两点间距离公式证得
然后将公式中的y变为-y,用诱导公式得到了另一个公式
cos(x-y)=cosxcosy+sinxsiny