Hệ phương trình
có tập nghiệm là:
có tập nghiệm là:
{(2 ; 1)}
{(2 ; 1) ; (-2 ; -1)}
{(2 ; 1) ; (1 ; 2)}
{(2 ; 1) ; (-1 ; -2)}
Thử thấy (2; 1) là một nghiệm của hệ nên (-1 ; -2) cũng là một nghiệm của hệ.
Thử thấy (-2; -1) không là nghiệm của x - y = 1 nên (1 ; 2) không là nghiệm của hệ.
Vậy chọn {(2 ; 1) ; (-1 ; -2)}.
Chú ý rằng hệ phương trình không đối xứng và thực chất chỉ là bậc hai vì:
x3 - y3 = (x - y)(x2 + xy + y2) = (x2 + xy + y2).
Thế x = 1 + y vào phương trình x2 + xy + y2 = 7 ta được một phương trình bậc hai đối với y. Từ đó suy ra hệ có đúng hai nghiệm {(2 ; 1) ; (-1 ; -2)}.