y=(a²-x²)^(1/2)
所以y'=1/2*(a²-x²)^(-1/2)*(a²-x²)'
=1/2*[1/√(a²-x²)]*(-2x)
=-x/√(a²-x²)