x+√((a−x)(b−x))
=(a+b)/2−y+√(y^2−((b−a)/2)^2)
=(a+b)/2−((b−a)/2)^2/(√(y^2−((b−a)/2)^2)+y)。