Chứng tỏ rằng x = -7 không phải là nghiệm của bất phương trình

Làm hai vế của bất phương trình đầu vô nghĩa nên x = -7 không là nghiệm của bất phương trình đó. Mặt khác, x = -7 thỏa mãn bất phương trình sau nên x = -7 là nghiệm của bất phương trình này.

    Nhận xét: Phép giản ước số hạng -1x+7 ở hai vế của bất phương trình đầu làm mở rộng tập xác định của bất phương trình đó, vì vậy có thể dẫn đến nghiệm ngoại lai.