cos2x = cos²x-sin²x,而cosx在那个区间是小于等于sinx的,所以cos2x是一个负数,2减去一个负数就是正数啊
这里用到了:cos2x<=1对于任意的余弦,比如cosA,都有cosA<=1
因为 |cos 2x|小于等于1, 故有 2-2cos 2x = 2(1-cos 2x)大于等于0