ĐK y2+2x>0
Từ pt 1 có (x2+2)(2x−y−1)=0
⇔2x−y−1=0⇒2x=y+1 thế vào pt 2 được
y3+2(y+1)+1+ln(y2+y+1)=0
Xét hàm f(y)=y3+2(y+1)+1+ln(y2+y+1)
f′(y)=2y2+2+2y+1y2+y+1=2y2+2y2+4y+3y2+y+1=2y2+2(y+1)2+1y2+y+1>0∀y
Vậy f(y)=0 có không quá 1 nghiệm. Mặt khác f(−1)=0⇒y=−1 là nhigemej pt
⇒2x=y+1=0⇒x=0
Hệ có nghiệm (x; y)=(0; −1)