x的平方分之一的原函数是什么