Hệ bất phương trình có tập nghiệm là:
S = ∅
S = [7 ; +∞)
S =
S = [7 ; 8]
Hệ đã cho tương đương với: (∗)
- Xét phương án S = ∅ ta thấy x = 7 là một nghiệm của (∗) vậy S ≠ ∅, vậy phương án S = ∅ sai.
- Xét phương án S = [7 ; +∞) ta thấy x = 9 ∈ [7 ; +∞), 9 - 8 = 1 > 0 do đó 9 không phải là một nghiệm của (∗) nên S = [7 ; +∞) sai.
- Xét phương án S = thấy x = 4 ∈ nhưng = 1 < 2, do đó 4 không phải là một nghiệm của (∗) nên S = sai.
Cả ba phương án trên đã sai suy ra phương án S = [7 ; 8] đúng.
Ta cũng có thể chứng minh rằng tập nghiệm của hệ là [7 ; 8]. Hệ tương đương:
Vậy tập nghiệm của hệ là S = [7 ; 8].