x6 - x4 + 2x3 + 2x2 = y2 (1)
<=> x4(x - 1)(x + 1) + 2x2(x + 1) = y2
<=> x2(x3 - x2 + 2)(x + 1) = y2
<=> x2(x + 1)[x3 + 1 - x2 + 1] = y2
<=> x2(x + 1)(x + 1)(x2 - x + 1 - x + 1) = y2
<=> x2(x + 1)2(x2 - 2x + 2) = y2
Do x;y thuộc N và y2 là số chính phương; x2(x + 1)2 là số chính phương
=> x2 - 2x+ 2 = k2 (k thuộc N)
<=> k2 - (x - 1)2 = 1
<=> (k - x + 1)(k + x - 1) = 1
Lập bảng:
k - x + 1 | 1 |
k + x - 1 | 1 |
k | 1 |
x | 1 |
Với x = 1 thay vào pt (1) => y2 = 16 - 14 + 2.13 + 2.12 = 4 => y = 2