cos2x为什么等于2cos^x-1