Điều kiện bất phương trình −1≤x≤13.
Kí hiệu (*) là bất phương trình cần giải.
Trường hợp x=−1. Khi đó (*) được thỏa mãn.
Trường hợp −1<x≤13. Khi đó x+4>0. Như vậy
(*) ⇔x+41+√1+x+x+41+√1−3x−4≥0
⇔[x+41+√1+x−(2−x)]+[x+41+√1−3x−(2+x)]≥0
⇔2x+2−(2−x)√1+x1+√1+x+2−(2+x)√1−3x1+√1−3x≥0
⇔−x3+7x2+8x(1+√1+x)[2x+2+(2−x)√1+x]+3x3+11x2+8x(1+√1−3x)[2+(2+x)√1−3x]≥0
⇔x(x+1)A≥0 (**).
trong đó A=8−x(1+√1+x)[2x+2+(2−x)√1+x]+3x+8(1+√1−3x)[2+(2+x)√1−3x].
Vì −1<x≤13 nên dễ dàng kiểm tra được A>0 và x+1>0. Từ đó có
(**) ⇔x≥0.
Kết hợp điều kiện thì được 0≤x≤13 là nghiệm của bất phương trình trong trường hợp này.
Tóm lại, nghiệm của bất phương trình là x=−1∨0≤x≤13.