Для решения данной системы уравнений, можно воспользоваться методом подстановки.

Из первого уравнения получаем:
x = y + √3

Подставляем это значение во второе уравнение:
y + √3 - cos y = √3

Теперь решаем получившееся уравнение относительно y, например, с помощью численных методов или графически.

После того как найдено значение y, можем подставить обратно в первое уравнение, чтобы найти соответствующее значение x.

Это позволит найти решение данной системы уравнений.