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