x^3 - y^3 = xy + 25
=> (x - y)^3 + 3xy(x - y) = xy + 25
Gọi a = x - y và b = xy, ta chuyển đổi thành:
a^3 - 25 = b(1 - 3a)
=> a^3 - 25 \(⋮\) (1 - 3a)
=> 27(a^3 - 25) \(⋮\) (3a - 1) => 27a^3 - 1 - 674 = (3a - 1)(9a^2 + 3a + 1) - 674 \(⋮\) (3a - 1)
=> 674 \(⋮\) (3a-1)
=> 3a - 1 \(\in\) U(674) = {-674, -337, -2, -1, 1, 2, 337, 674}
=> a \(\in\){-112, 0, 1, 225}
Từ đây, ta được các cặp (a, b) thỏa mãn:
(a, b) = (-112, -4169), (0, -25), (1, 12), (225, -16900)
Suy ra các cặp (x, y) thỏa mãn:
(x, y) = (4, 3), (-3, -4)
Vậy (x, y) = (4, 3), (-3, -4)