cos2x等于什么公式 cos2x是三角函数吗