すみません、√(b^2-z^2)が円になる理由がよくわからないのですが…