∫coslnxdx
=xcoslnx-∫xdcoslnx
=xcoslnx-∫x*(-sinlnx)*1/xdx
=xcoslnx+∫sinlnxdx
=xcoslnx+xsinlnx-∫xdsinlnx
=xcoslnx+xsinlnx-∫xcoslnx*1/xdx
=xcoslnx+xsinlnx-∫coslnxdx+C'
所以
∫coslnxdx=(xcoslnx+xsinlnx)/2+C'/2
即∫coslnxdx=(xcoslnx+xsinlnx)/2+C
∫coslnxdx
=xcoslnx-∫xdcoslnx
=xcoslnx-∫x*(-sinlnx)*1/xdx
=xcoslnx+∫sinlnxdx
=xcoslnx+xsinlnx-∫xdsinlnx
=xcoslnx+xsinlnx-∫xcoslnx*1/xdx
=xcoslnx+xsinlnx-∫coslnxdx+C'
所以
∫coslnxdx=(xcoslnx+xsinlnx)/2+C'/2
即∫coslnxdx=(xcoslnx+xsinlnx)/2+C