Под "три реални решения" разбирам три двойки реални решения.
Забелязваме, че $y$ участва само на втора степен в системата, следователно можем да положим $t = y^2 > 0$ такова, че за всяко $t > 0$ ние ще имаме по две стойности на $y$, респективно $y = \pm \sqrt{t}$.
Системата придобива вида [tex]\begin{array}{|l} x - t = a \\ x^2 + t = 25 \end{array}[/tex]
Събираме почленно и получаваме квадратно за х: $x^2 + x - (25 + a) = 0$
Знаем, че за всички $t > 0$ двойките решения ще са четен брой и остава да проверим какво се случва при $t = 0 \Rightarrow y = 0$.
Тогава $x = a = \pm 5$. Имаме две потенциални стойности, проверяваме дали ще получим още по едно валидно решение на $x$ oт всяка от тях, така че да получим после и второ $t > 0$, за да можем да достигнем до още две нови стойности на $y$ и двойките решения да станат общо 3. Проверяваме:
I) При $a = 5$ след заместване в квадратното имаме $x^2 + x - 30 = 0$, на което решения са $x_1 = -6; x_2 = 5$, като за втория корен вече знаехме, интересуваше ни $-6$. Само че в този случай при $x = -6$ получаваме $t = -11$, което води до липса на търсените ни допълнителни две стойности на $y$ и така единствена двойка при $a = 5$ остава $(5; 0)$. Не ни устройва.
II) При $a = -5$ след заместване достигаме до $x^2 + x - 20 = 0$, корени са съответно $x_1 = -5$ (за който знаехме) и $x_2 = 4$. Хващаме се да заместим с $4$ и получаваме вече $t = 9$, което веднага ни дава в този случай още две стойности: $y = \pm 3$. И така в този случай трите търсени двойки решения са $(-5; 0), (4; -3), (4; 3)$
С това би трябвало да се изчерпва решението на задачата, но всъщност не съм напълно сигурен дали няма някоя дупчица в теорията. Обмислях случая, в който квадратното за $x$ има единствен корен. Тогава обаче ще ни трябва едно нулево и едно положително $t$ за точно тази стойност на $a$, за която дискриминантата на квадратното се занулява (а тази стойност е именно $a = -\frac{101}{4}$. Тогава $x_{1,2} = -\frac{b}{2a} = -\frac{1}{2}$), ама нали системата е линейна спрямо $t$, та или ще получим отрицателна стойност, при което няма да има и една двойка решения, или нулева - при което ще има една двойка решения, или положителна - при което ще има две двойки решения. И теоретически три двойки не са възможни и в този сценарий. Та да, би трябвало вярна да излезе логиката от първите редове