先做变换lnx=t,x=e^t,dx=e^tdt,∫coslnxdx=∫cost*e^tdt,再分部积分两次,∫cost*e^tdt=e^t*sint-∫sint*e^tdt=e^t*sint-[-e^t*cost+∫cost*e^tdt],移项,2∫cost*e^tdt=e^t(sint+cost)+2C,∫cost*e^tdt=e^t(sint+cost)/2+C,∫coslnxdx=x(sinlnx+coslnx)/2+C.