令x=sint, t属于[-pi/2, pi/2]∫(2x-1)/根号(1-x^2) dx = ∫(2sint-1)/cost dsint =∫2sint-1) dt = -2cost -t +C = -2cos(arcsinx) -arcsinx+C
不定积分结果不唯一求导验证应该能够提高凑微分的计算能力先写后问唉。