求sec 的积分的推导过程