√(x^2+y^2)も満たすから、fは全単射じゃなくても連続な分岐が1個決められればいいんだな