1╱(x∧2+9)的原函数是什么