没毛病，都是求t这个角度，可画个直角三角形，斜边是x.两直角边一个为1，一个为根号x²-1.tant＝根号x²-1.或者cost=1／x
不用那么麻烦，直接设t等于根号下x^2-1，在换成t的积分，在化简就可以了。。。很简单
不定积分的答案不一样很正常，因为它们可能相差一个常数。
不定积分结果不唯一求导验证应该能够提高凑微分的计算能力先写后问唉。
