求证:cos平方x+cos平方(x+a)-2cosa*cosx*cos(x+a)=sin平方a