正切函数的图像与性质(正式)