Dalla 1^:
4·y - x = 2·(3·y - 5/2) - y-----> x = 5 - y e ci siamo!
per sostituzione:
(5 - y)^2 + √3·y = 2·((5 - y) + 4) - (5 - y)
(y^2 - 10·y + 25) + √3·y = (18 - 2·y) - (5 - y)
(y^2 - 10·y + 25) + √3·y = 13 - y
y^2 + y·(√3 - 9) + 12 = 0 (hai sbagliato l'ultimo segno)
Δ = (√3 - 9)^2 - 48---> Δ = 36 - 18·√3
Siccome nella formula risolutiva compare √Δ e non vuoi applicare la formula del radicale doppio, vediamo se si può fare altrimenti....
Ricerchiamo v e w positivi, tali che:
√(36 - 18·√3) = √v - w
eleviamo al quadrato:
36 - 18·√3 = v - 2·√v·w + w^2
per confronto:
{v + w^2 = 36
{2·√v·w = 18·√3-----> w = 9·√3/√v
per sostituzione:
v + (9·√3/√v)^2 = 36----> v + 243/v = 36
soluzioni:
v = 27 ∨ v = 9
per v=27: w = 9·√3/√27= 3-----> √(36 - 18·√3) = √27 - 3 = 3·√3 - 3
per v=9: w = 9·√3/√9 = 3·√3------> √(36 - 18·√3) =3- 3·√3 (impossibile!)
Penso ora di essere arrivato alla conclusione!