令t=cosx,于是f'(t)=(1-t^2)^(1/2),
然后求不定积分得到f(t)=(t*(1-t^2)^(1/2)-arccost)/2+C,再把t=cosx代入就得到结果了