Minimize[{(x - 0)^2 + (y - 1)^2, x^2 - y^2 == 1}, {x, y}]