已知tana tanb是关于x的方程