Ta có x4 + x2 + 1 = y2
Lại có x4 + 2x2 + 1 ≥ x4 + x2 + 1 hay (x2 + 1)2 ≥ x4 + x2 + 1
=> (x2 + 1)2 ≥ y2 (1)
Lại có x4 + x2 + 1 > x4 => y2 > x4 (2)
Từ (1) và (2), ta có x4 < y2 ≤ (x2 + 1)2
<=> y2 = (x2 + 1)2 = x4 + 2x2 + 1
Mà x4 + x2 + 1 = y2 => x4 + 2x2 + 1 = x4 + x2 + 1
<=> x2 = 0 <=> x = 0
Thay vào, ta có 1 = y2 <=> y ∈ {-1,1}
Vậy ...