有个积分公式的
∫√(a^2-x^2) dx = x/2*√(a^2-x^2)+a^2/2*arcsin(x/a) + C
你这里不就是a^2=1嘛,
F(x)=(x*√(1-x^2))/2 + (arcsinx)/2 + C