E' forse questo il risultato: [x = 2 ∧ y = 1] ???
{(x + 2·y)^2 - 4·y^2 - 24 = 4·(x - 3)·(y + 3) + x^2
{(4·x·y - 2·x + 12·y - 6) - 7 = 4·x·y + 2·x - 6·y - 3
-------------------------------------------------------
{(x^2 + 4·x·y + 4·y^2) - 4·y^2 - 24 = (4·x·y + 12·x - 12·y - 36) + x^2
{4·x·y - 2·x + 12·y - 13 = 4·x·y + 2·x - 6·y - 3
---------------------------------------------------
{x^2 + 4·x·y - 24 = x^2 + 4·x·y + 12·x - 12·y - 36
{- 4·x + 18·y - 10 = 0
---------------------------------------------------
{12·x - 12·y - 12 = 0
{- 4·x + 18·y - 10 = 0 sistema lineare, procedo con la sostituzione
-----------------------------------------
dalla 1^: y = x - 1
4·x - 18·(x - 1) = -10--------> 18 - 14·x = -10-------> x = 2
y = 2 - 1-------> y = 1
{(x^2+4y^2+4xy)/4-y^2-6 = xy+3x-3y-9+x^2/4
{2(2xy-x+6y-3)-7= 4xy+2x-6y-3
{12 = 12x -12y → x = y+1
{-4(y+1)+18y-10 = 0
14y = 14
y = 1
x = 1+1 = 2