求正割函数不定积分的过程