求证:SQRT(2+cos2-sin1·sin1)=SQRT(3)·cos1