解三角方程cos(4x)=cosx