>>551
思うに式は
y=b+√(a^2-x^2)
y=b-√(a^2-x^2)
だと思うのだが、どうか?