А с заменой Вы получите рациональные?
Да, то же самое. Просто когда нет бумаги под рукой проще решать рассуждением.
Из второго уравнения следует, что икс и игрек могут быть противоположны. В первом сразу получается квадратное уравнение для икс квадрат с корнями минус один и три. Опа! Два решения в кармане. плюс минус корень из трех и он же минус плюс. Далее сумма один, а произведение минус три и один. Один отвергаем по неравенстве СГСА, а минус три даёт ещё пару решений. Половина от один плюс-минус корень из тринадцати и то же с минус-плюс.