Chứng minh nếu |a| > 2 thì hệ phương trình: vô nghiệm.
Giả sử hệ có nghiệm là (x; y)
Từ (2) suy ra |x| ≤ 1; |y| ≤ 1. Từ (1) ta có:
|x5 – 2y| ≤ |x5 | + 2|y| ≤ |x2| + 2|y| = (|x2 | + |y2 | ) – (|y2 | - 2| y| + 1) + 1
= 2 – (|y2| - 2|y| + 1) = 2 – (|y| - 1)2 ≤ 2
=> |a| ≤ 2 trái giả thiết là | a | ≥ 2.
Suy ra hệ trên vô nghiệm (đpcm).