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]

Xét x= 1 => \(\dfrac{2}{y-1}\in\mathbb N\), từ đó có \(y=2\vee y=3\)

Xét y=1 => \(\dfrac{x^3+x}{x-1}=x^2+x+2+\dfrac{2}{x-1}\in\mathbb N\), từ đó có \(x=2\vee x=3\)

Xét \(x\ge 2\) hoặc \(y\ge 2\) . Ta có : \((x,xy-1)=1\). Do đó :

\(xy-1|x^3+x\Rightarrow xy-1|x^2+1\Rightarrow xy-1|x+y\)

=> \(x+y\ge xy-1\Rightarrow (x-1)(y-1)\le 2\). Từ đó có \((x-1)(y-1)=1\ \vee (x-1)(y-1)=2\) 

=> x = y = 2 ( loại ) hoặc x = 2 ; y = 3 hoặc x = 3 ; y= 2

Vậy các cặp số ( x;y ) thỏa mãn là (1;2),(2;1),(1;3),(3;1),(2;3),(3;2)

`1/x+1/y=1/3(x,y in NN^**)`

`=>(x+y)/(xy)=1/3`

`=>3(x+y)=xy`

`=>3x+3y=xy`

`=>xy-3x-3y=0`

`=>x(y-3)-3(y-3)-9=0`

`=>(x-3)(y-3)=9`

Vì `x,y in NN^**=>x-3,y-3 in ZZ`

`=>x-3,y-3 in Ư(9)={+-1,+-9}`

`*x-3=-1,y-3=-9`

`=>x=2,y=-6(KTM)`

`*x-3=1,y-3=9`

`=>x=4,y=12(tm)`

`*y-3=-1,x-3=-9`

`=>y=2,x=-6(KTM)`

`*y-3=1,x-3=9`

`=>y=4,x=12(tm)`

Vậy `(x,y)=(4,12),(12,4)`

Bài 2: Giả sử tồn tại x,y nguyên dương t/m đề, khi đó pt cho tương đương:

\(4x^2+4y^2-12x-12y=0\Leftrightarrow\left(2x+3\right)^2+\left(2y+3\right)^2=18\)

Ta thấy: \(18=9+9=3^2+3^2\). Mà x,y thuộc Z⁺ nên \(\hept{\begin{cases}2x+3=3\\2y+3=3\end{cases}\Leftrightarrow}\hept{\begin{cases}x=0\\y=0\end{cases}}\)

Vậy cặp nghiệm nguyên t/m pt là (x;y) = (0;0)

Làm lại bài 2 :v (P/S: Bạn bỏ bài kia đi nhé)

\(4x^2+4y^2-12x-12y=0\Leftrightarrow\left(2x-3\right)^2+\left(2y-3\right)^2=18\)

Ta thấy: \(18=9+9=3^2+3^2\). Mà x,y thuộc Z⁺ nên \(\hept{\begin{cases}2x-3=3\\2y-3=3\end{cases}\Leftrightarrow}\hept{\begin{cases}x=3\\y=3\end{cases}}\)

Vậy (x;y) = (3;3)

- Với \(x=1\) ko thỏa mãn

- Với \(x=2\Rightarrow\dfrac{2}{2y+2}\in Z\Rightarrow\dfrac{1}{y+1}\in Z\Rightarrow y=\left\{-2;0\right\}\) ko thỏa mãn

- Với \(x\ge3\)

\(x^2-2⋮xy+2\Rightarrow x\left(xy+2\right)-y\left(x^2-2\right)⋮xy+2\)

\(\Rightarrow2\left(x+y\right)⋮xy+2\)

\(\Rightarrow\left(x-2\right)\left(y-2\right)\le2\)

\(\Rightarrow y-2\le\dfrac{2}{x-2}\le\dfrac{2}{3-2}=2\Rightarrow y\le4\)

\(\Rightarrow y=\left\{1;2;3;4\right\}\)

Lần lượt thay 3 giá trị của y vào pt biểu thức ban đầu

Ví dụ: \(y=1\Rightarrow\dfrac{x^2-2}{x+2}\in Z\Rightarrow x-2+\dfrac{2}{x+2}\in Z\)

\(\Rightarrow x+2=Ư\left(2\right)\Rightarrow\) ko tồn tại x nguyên dương t/m

Tương tự...

\(\Leftrightarrow2xy-6x-5y=18\)

\(\Leftrightarrow2x\left(y-3\right)-5\left(y-3\right)=33\)

\(\Leftrightarrow\left(2x-5\right)\left(y-3\right)=33\)

Phương trình ước số cơ bản