2013年考研数学三第15题如题,这题的第一步那个三角函数的转化是怎么得来的?就是4cosx•cos2x