解：令x=tant，则x^2+1=(tant)^2+1=(sect)^2。那么
∫dx/x^2√(x^2+1)
=∫1/((tant)^2*sect)dtant
=∫(sect)^2/((tant)^2*sect)dt
=∫sect/(tant)^2dt
=∫cost/(sint)^2dt
=∫1/(sint)^2dsint
=-1/sint+C
又tant=x，则sint=x/√(x^2+1)
因此∫dx/x^2√(x^2+1)
==-1/sint+C=-√(x^2+1)/x+C
在微积分中，一个函数f 的不定积分，或原函数，或反导数，是一个导数等于f 的函数 F ，即F ′ = f。
不定积分和定积分间的关系由微积分基本定理确定。其中F是f的不定积分。
证明：如果f(x)在区间I上有原函数，即有一个函数F(x)使对任意x∈I，都有F'(x)=f(x)，那么对任何常数显然也有[F(x)+C]'=f(x).即对任何常数C，函数F(x)+C也是f(x)的原函数。这说明如果f(x)有一个原函数,那么f(x)就有无限多个原函数。
设G(x)是f(x)的另一个原函数,即∀x∈I，G'(x)=f(x)。于是[G(x)-F(x)]'=G'(x)-F'(x)=f(x)-f(x)=0。
由于在一个区间上导数恒为零的函数必为常数，所以G(x)-F(x)=C’(C‘为某个常数)。
这表明G(x)与F(x)只差一个常数.因此,当C为任意常数时，表达式F(x)+C就可以表示f(x)的任意一个原函数。也就是说f(x)的全体原函数所组成的集合就是函数族{F(x)+C|-∞<C<+∞}。
由此可知，如果F(x)是f(x)在区间I上的一个原函数，那么F(x)+C就是f(x)的不定积分，即∫f(x)dx=F(x)+C。
因而不定积分∫f(x) dx可以表示f(x)的任意一个原函数。