设x=asint，则蟠校盯昂dx=dasint=acostdt，可以得到：
a^2-x^2
=a^2-a^2sint^2
=a^2cost^2
∫√（a^2-x^2）dx
=∫acost*acostdt
=a^2∫cost^2dt
=a^2∫（cos2t+1）/2dt
=a^2/4∫(cos2t+1)d2t
=a^2/4*(sin2t+2t)
将x=asint代回，得：
∫√（a^2-x^2）dx=x√(a^2-x^2)/2+a^2*arcsin(x/a)/2+C（C为常数）。
不定积分的积分公式主要有如下几类：含ax+b的积分、含√（a+bx）的积分、含有x^2±α^2的积分、含有ax^2+b（a>0）的积分、含有√（a²+x^2） （a>0）的积分、含有√（a^2-x^2） （a>0）的积分、含有√（|a|x^2+bx+c） 。
（a≠0）的积分、含有三角函数的积分、含有反三角函数的积分、含有指数函数的积分、含有对数函数的积分、含有双曲函数的积分。