Se ia y = (a+1) - x din prima ecuatie si se introduce in a doua.
Obtinem in loc de a doua ecuatie una noua, de gradul doi, numai in x.
Din unicitatea solutiei sistemului in (x,y) si a faptului ca y este unic determinat de x din substitutie, rezulta ca aceasta ecuatie de gradul doi in x are solutie unica. Ramâne sa punem o conditie de anulare a unui discriminant.

Discriminantul depinde numai de a.
Mai avem câtiva pasi.
Care este solutia?


P.S. Incercati totusi sa vedeti cum se poate tipari asa ceva.
Poza va pleca de pe site-ul respectiv de obicei dupa o luna sau doua...

Cum se tipareste?
Aici sunt mai multe exemple:
http://pro-didactica.ro/forum/index.php?forumID=24&ID=311
(Se poate incerca si codul propriu... Cutie de nisip.)

Cu calculatorul:

sage: var( 'a,x,y' );
sage: y = a+1-x
sage: f(a,x) = x^2 + 2*a*y - 2*a^2 + a - 2
sage: f(a,x)
2*(a - x + 1)*a - 2*a^2 + x^2 + a - 2
sage: f(a,x).expand()
-2*a*x + x^2 + 3*a - 2
sage: solve( a^2 - (3*a-2) == 0, a )
[a == 1, a == 2]