求解三角函数方程6(tan(45-a)=4(tana)