Đặt f(x) = x4 - 3x3 + x – 1.
f(x) là hàm đa thức nên liên tục trên R.
Ta có: f(0) = -1 < 0
f(-1) = 1 – 3.(-1) – 1 – 1 = 2 > 0
⇒ f(0).f(-1) < 0
⇒ f(x) = 0 có ít nhất một nghiệm xo ∈ (-1; 0) ⊂ (-1 ; 3).
Do đó phương trình đã cho có nghiệm xo ∈ (-1; 3).