Это следует хотя бы из вашего рисунка. Прямая, параллельная оси ОУ, пересекает окружность в двух точках, которые обе принадлежат интервалу [π/2; 3*π/2]. А из рисунка видно, что "второму" углу x2"не хватает" до угла 2*π как раз "первого" угла, т.е. того самого x1=arccos(-1/4). Отсюда и x2=2*π-arccos(-1/4).