正切函数的主要性质