Tổng quát: {4x2=(√x2+1+1)(x2−y3+3y−2)(1)(x2+y2)2+(m−1)y2+m=x2+2my(2)(m>0)
Ta có: (1)⇔4(√x2+1−1)=x2−y3+3y−2
⇔(y−1)2(y+2)=(√x2+1−1)(√x2+1−3) (3)
(2)⇔(x2+y2)(x2+y2−1)+m(y−1)2=0 (4)
Từ (4) suy ra 0≤x2+y2≤1 ⇒{−1≤x≤1−1≤y≤1
. x=0: (3)⇔(y−1)2(y+2)=0 ⇔y=1
. x≠0: ⇒{VT(3)<0VP(3)≥0, suy ra PT (3) vô nghiệm. Do đó HPT đã cho vô nghiệm
Vậy hệ đã cho có nghiệm duy nhất (x;y)=(0;1).