cos2x公式cos2x=1-2sinx^2cos2x=2cosx^2-1这公式是怎样推导出来的?