Lời giải:

Nếu y chẵn thì y=2. Khi đó: $x^2=2y^2+1=2.2^2+1=9\Rightarrow y=3$ 

Nếu $y$ lẻ: 

Ta biết rằng 1 scp khi chia 8 có dư 0,1,4 nên với $y$ lẻ suy ra $y^2$ chia $8$ dư $1$
$\Rightarrow x^2=2y^2+1$ chia $8$ dư $2.1+1=3$
(vô lý vì $x^2$ là scp nên không thể chia 8 dư 3)

Vậy $(x,y)=(3,2)$

a: |x+1|+|y-2|=4

=>(|x+1|;|y-2|)∈{(0;4);(4;0);(1;3);(3;1);(2;2)}

=>(x+1;y-2)∈{(0;4);(0;-4);(4;0);(-4;0);(1;3);(3;1);(-1;3);(3;-1);(-3;1);(1;-3);(-1;-3);(-3;-1);(2;2);(2;-2);(-2;2);(-2;-2)}

=>(x;y)∈{(-1;6);(-1;-2);(3;2);(-5;2);(0;5);(2;3);(-2;5);(2;1);(-4;3);(0;-1);(-2;-1);(-4;1);(1;4);(1;0);(-3;4);(-3;0)}

mà x+y=5

nên (x;y)∈{(-1;6);(3;2);(0;5);(2;3);(1;4)}

b: |x-6|+|y-1|=4

=>(|x-6|;|y-1|∈{(0;4);(4;0);(1;3);(3;1);(2;2)}

=>(x-6;y-1)∈{(0;4);(0;-4);(4;0);(-4;0);(1;3);(3;1);(-1;3);(3;-1);(-3;1);(1;-3);(-1;-3);(-3;-1);(2;2);(2;-2);(-2;2);(-2;-2)}

=>(x;y)∈{(6;5);(6;-3);(10;1);(2;1);(7;4);(9;2);(5;4);(9;0);(3;2);(7;-2);(5;-2);(3;0);(8;3);(8;-1);(4;3);(4;-1)}

mà x-y=3

nên (x;y)∈{(7;4);(3;0)}}

\(x-y+2xy=3\)

\(\Rightarrow2xy+x-y=3\)

\(\Rightarrow x\left(2y+1\right)-y=3\)

\(\Rightarrow2x\left(2y+1\right)-2y=6\)

\(\Rightarrow2x\left(2y+1\right)-\left(2y+1\right)=5\)

\(\Rightarrow\left(2x-1\right)\left(2y+1\right)=5\)

\(\Rightarrow\left(2x-1\right);\left(2y+1\right)\inƯ\left(5\right)=\left\{\pm1;\pm5\right\}\)

Xét bảng

Vậy..............................

Giả sử (x;y) là cặp số nguyên dương cần tìm. Khi đó ta có: 
(xy-1) I (x^3+x) => (xy-1) I x.(x^2+1) (1) 
Do (x; xy-1) =1 ( Thật vậy: gọi (x;xy-1) =d => d I x => d I xy => d I 1). 
Nên từ (1) ta có: 
(xy-1) I (x^2+1) 
=> (xy-1) I (x^2+1+xy -1) => (xy-1) I (x^2+xy) => (xy-1) I x.(x+y) => (xy-1) I (x+y) 
Điều đó có nghĩa là tồn tại z ∈ N* sao cho: 
x+y = z(xy-1) <=> x+y+z =xyz (2) 

[Đây lại có vẻ là 1 bài toán khác] 
Do vai trò bình đẳng nên ta giả sử: x ≥ y ≥ z. 
Từ (2) ta có: x+y+z ≤ 3x => 3x ≥ xyz => 3 ≥ yz ≥ z^2 => z=1 
=> 3 ≥ y => y ∈ {1;2;3} 
Nếu y=1: x+2 =x (loại) 
Nếu y=2: (2) trở thành x+3 =2x => x=3 
Nếu y=3: x+4 = 3x => x=2 (loại vì ta có x≥y) 
Vậy khi x ≥ y ≥ z thì (2) có 1 nghiệm (x;y;z) là (3;2;1) 
Hoán vị vòng quanh được 6 nghiệm là: .....[bạn tự viết nhé] 

Vậy bài toán đã cho có 6 nghiệm (x;y) là : .... [viết y chang nhưng bỏ z đi]

 Giả sử (x;y) là cặp số nguyên dương cần tìm. Khi đó ta có: 
(xy-1) I (x^3+x) => (xy-1) I x.(x^2+1) (1) 
Do (x; xy-1) =1 ( Thật vậy: gọi (x;xy-1) =d => d I x => d I xy => d I 1).
Nên từ (1) ta có: 
(xy-1) I (x^2+1) 
=> (xy-1) I (x^2+1+xy -1) => (xy-1) I (x^2+xy) => (xy-1) I x.(x+y) => (xy-1) I (x+y) 
Điều đó có nghĩa là tồn tại z ∈ N* sao cho: 
x+y = z(xy-1) <=> x+y+z =xyz (2) 

[Đây lại có vẻ là 1 bài toán khác] 
Do vai trò bình đẳng nên ta giả sử: x ≥ y ≥ z. 
Từ (2) ta có: x+y+z ≤ 3x => 3x ≥ xyz => 3 ≥ yz ≥ z^2 => z=1 
=> 3 ≥ y => y ∈ {1;2;3} 
Nếu y=1: x+2 =x (loại) 
Nếu y=2: (2) trở thành x+3 =2x => x=3 
Nếu y=3: x+4 = 3x => x=2 (loại vì ta có x≥y) 
Vậy khi x ≥ y ≥ z thì (2) có 1 nghiệm (x;y;z) là (3;2;1) 
Hoán vị vòng quanh được 6 nghiệm là: .....[bạn tự viết nhé] 

Vậy bài toán đã cho có 6 nghiệm (x;y) là : .... [viết y chang nhưng bỏ z đi]