(x-a, a-y) < 0 となる y があったら b = a + ε(y-a) として || x-b || を展開してみるといい