Home » Blog » Prove there is only one zero of x3 – 3x + b in [-1,1]

Prove there is only one zero of x3 – 3x + b in [-1,1]

Prove, using Rolle’s theorem, that for any value of b there is at most one x \in [-1,1] such that

    \[ x^3 - 3x + b = 0. \]


Proof. The argument is by contradiction. Suppose there are two or more points in [-1,1] for which x^3 - 3x + b = 0. Let x_1, x_2 be two such points with x_1 < x_2. Since x_1, x_2 are both in [-1,1] we have

    \[ -1 \leq x_1 < x_2 \leq 1 \qquad \text{and} \qquad f(x_1) = f(x_2) = 0. \]

Since f(x) = x^3 - 3x + b is continuous on [-1,1] and differentiable on (-1,1) (all polynomials are continuous and differentiable everywhere), we may apply Rolle’s theorem on the interval [x_1, x_2] to conclude that there is some c \in (x_1, x_2) such that

    \[ f'(c) = 0 \quad \implies \quad 3c^2 - 3 = 0 \quad \implies \quad c = \pm 1. \]

But this contradicts that c \in (-1,1) (since c \in (x_1, x_2) and -1 \leq x_1 < x_2 \leq 1). Hence, there can be at most one point x \in [-1,1] such that f(x) = 0. \qquad \blacksquare

2 comments

  1. Anonymous says:

    I think reasoning in a contrapositive manner (rather than via contradiction) provides an easier solution. Let f(x) = x^3 – 3x + b, with x in [-1, 1]. We want to solve f(x) = 0. Note that f'(x) < 0 for all x in (-1, 1). So f'(c) = 0 for no c in (-1, 1). This is the denial of the conclusion of Theorem 4.4 (Rolle). But f is continuous on [-1, 1] and f has a derivative everywhere in (-1, 1). So the first condition of Theorem 4.4 is true here. Therefore, f(c) equals f(d) for no pair (c, d) in [-1, 1] with unequal c and d. That is, the second condition of Theorem 4.4 is false. Therefore, if f(c) = f(d) = 0, we have c = d, and x^3 – 3x + b has at most one solution.

  2. Anonymous says:

    Yes, but with a direct proof, I am not sure how Rolle’s Theorem applies, since we do not have end point equality.

Point out an error, ask a question, offer an alternative solution (to use Latex type [latexpage] at the top of your comment):