Квадратный корень неотрицателен по определению. Если поставить минус, то получим, что

, а если плюс, то получим то, что нам надо. Во если бы было условие

, то пришлось бы часть дуги считать с плюсом, а другую часть с минусом. А так повезло, вырезается четвертушка и достаточно одного уравнения для неё.