解:secx=1/cosx
∫secxdx=∫1/cosxdx=∫1/(cosx的平方)dsinx
=∫1/(1-sinx的平方)dsinx
令sinx=t代人可得:
原式=∫铅团1/(1-t^2)dt=1/2∫[1/(1-t)+1/(1+t)]dt
=1/2∫1/(1-t)dt+1/2∫1/(1+t)dt
=-1/2ln(1-t)+1/2ln(1+t)+C
将t=sinx代人谨和可得
原式=[ln(1+sinx)-ln(1-sinx)]/2+C
证明:
如果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。