不定积分结果不唯一求导验证应该能够提高凑微分的计算能力。
先做变换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.