利用三角函数定义证明 :(sina+tana)(cosa+cota)=(1+sina)(1+cosa)