(x^3 +x):(x.y-1) nhận giá trị nguyên dương <=> ( x^3 + x ) chia hết (xy-1)
=> y( x^3 + x ) = x^2 ( xy - 1) + (xy - 1 )+ x^2 +1 chia hết cho (xy - 1)
=> x^2 + 1 chia hết cho ( xy - 1)
=> y( x^2 + 1 ) = x( xy - 1) + (x + y) chia hết cho ( xy - 1)
=> x + y chia hết cho ( xy - 1) => x + y >= xy - 1
=> x + y - xy - 1 >= -2
=> (x - 1 ) - y( x- 1) >= -2
=> (x - 1)( 1 - y) > = -2
=> ( x - 1)( y - 1) =< 2
do x, y nguyên dương => ( x - 1) =< 2
Th1 x-1 = 2 => x = 3 => 3^3 + 3 = 30 chia hết cho (3.y - 1)
mà 3y - 1> = 2 => 3y - 1 = 2, 3, 5, 6, 15, 30
do 3y - 1 chia 3 dư 2=> 3y - 1 = 2; 5=> y = 1 hoặc 2
TH2 : x - 1 = 1 => x = 2 => 2^3 + 2 = 10 chia hết cho 2y - 1
=> 2y - 1 = 1; 5 => y thuộc { 1, 3}
TH 3 : x - 1 = 0 => x = 1 => 1^3 + 1 = 2 chia hết cho 1.y - 1
=> y - 1 = 1 hoặc 2 => y = 2; hoặc y = 3
=> ( x , y) thuộc { (3, 1); (3, 2);(2, 1); (2, 3); ( 1, 2); ( 1, 3) }