平方sin²x+sin²a+2sinxsina=1/2令cosa+cosx=kcos²a+cos²x+2cosxcosk=k²相加,因为sin²+cos²=1所以2+2(cosacosx+sinasinx=k²+1/2cos(a-x)=(k²-3/2)/2则-1