高数微积分不定积分第二类换元法x=acost,dx=acostdt,为什么呀,dx怎么换成acostdt的?dx的定义是什么呀

问题：高数微积分不定积分第二类换元法x=acost,dx=acostdt,为什么呀,dx怎么换成acostdt的?dx的定义是什么呀

答案：↓↓↓

曹同川的回答：

网友采纳　　x=acost　　d(acost)=-asintdt　　换元就是对所换的函数进行微分