函数f（x）=(1+根3 乘tan a) 乘cos （a）最小正周期为 2派 请问如下步骤中运用了什么公式
f（x）=cos a+根3乘sina=2（二分之根3sina+ 二分之一cosa）=2sin（a+六分之派） 这是怎么导出来的啊