方程3tan^2 x=1的解集为