不定积分结果不唯一求导验证应该能够提高凑微分的计算能力。
logx=lnx/ln10先求lnx的原函数用分部积分法∫lnxdx=xlnx-∫dx=xlnx-x+C1所以∫logxdx=1/ln10(xlnx-x)+C
