数学函数证明题cos^2x+cos^2(x+a)-2cosxcosacos(x+a)=sin^2a