(lnx/根号x)dx不定积分请问那个之后的dx^(1/2)为什么不是dx^(-1/2)?

syms x; y=atan((x^2-1)^(1/2))-log(x)/((x^2-1)^(1/2))
y =
atan((x^2 - 1)^(1/2)) - log(x)/(x^2 - 1)^(1/2)
>> diff(y)
ans =
(x*log(x))/(x^2 - 1)^(3/2)
可见答案是对的.
【MATLAB里log(x)表示ln(x),我们习惯的lg(x)用log10(x)表示,以其它数为底的对数用“log(x)”来表示】

令x = t^2
=> 可以化成 4lnt(上限为2,下限为1)的定积分,
lnt 的常数为0不定积分为 tlnt-t
=> 4lnt(上限为2,下限为1)的定积分 = 4（2ln2-2）-4（1ln1-1）= 8ln2 - 4