Ta có (1) ⇔ x 4 + x 2 + 20 = y 2 + y
Ta thấy: x 4 + x 2 < x 4 + x 2 + 20 ≤ x 4 + x 2 + 20 + 8 x 2 ⇔ x 2 ( x 2 + 1 ) < y ( y + 1 ) ≤ ( x 2 + 4 ) ( x 2 + 5 )
Vì x, y ∈ Z nên ta xét các trường hợp sau
+ TH1. y ( y + 1 ) = ( x 2 + 1 ) ( x 2 + 2 ) ⇔ x 4 + x 2 + 20 = x 4 + 3 x 2 + 2 ⇔ 2 x 2 = 18 ⇔ x 2 = 9 ⇔ x = ± 3
Với x 2 = 9 ⇒ y 2 + y = 9 2 + 9 + 20 ⇔ y 2 + y − 110 = 0 ⇔ y = 10 ; y = − 11 ( t . m )
+ TH2 y ( y + 1 ) = ( x 2 + 2 ) ( x 2 + 3 ) ⇔ x 4 + x 2 + 20 = x 4 + 5 x 2 + 6 ⇔ 4 x 2 = 14 ⇔ x 2 = 7 2 ( l o ạ i )
+ TH3: y ( y + 1 ) = ( x 2 + 3 ) ( x 2 + 4 ) ⇔ 6 x 2 = 8 ⇔ x 2 = 4 3 ( l o ạ i )
+ TH4: y ( y + 1 ) = ( x 2 + 4 ) ( x 2 + 5 ) ⇔ 8 x 2 = 0 ⇔ x 2 = 0 ⇔ x = 0
Với x 2 = 0 ta có y 2 + y = 20 ⇔ y 2 + y − 20 = 0 ⇔ y = − 5 ; y = 4
Vậy PT đã cho có nghiệm nguyên (x;y) là :
(3;10), (3;-11), (-3; 10), (-3;-11), (0; -5), (0;4).