4.2.12 正切函数、反正切函数和余切函数