Skip to content
Family Table Math

The Intermediate Value Theorem

If the temperature was −4-4°C at 6 a.m. and 88°C at 2 p.m., then at some moment in between it was exactly 00°C. Temperature can’t skip a value, because it changes continuously. The Intermediate Value Theorem (IVT) turns this common-sense idea into a precise tool. It’s how you prove an equation has a solution without solving it, and it’s a favourite on AP free-response questions.

Intermediate Value Theorem. If ff is continuous on the closed interval [a,b][a, b], and kk is any number between f(a)f(a) and f(b)f(b), then there is at least one number cc in [a,b][a, b] with f(c)=kf(c) = k.

In words: a continuous function takes every value between its endpoint values. When kk is strictly between f(a)f(a) and f(b)f(b), the number cc is strictly between aa and bb.

A continuous curve from the point (a, f(a)) up to the point (b, f(b)). The horizontal line y = k, between f(a) and f(b), meets the curve three times, at x = c1, c2 and c3, all between a and b c₁ c₂ c₃ a b f(a) k f(b) y = k
The curve has to cross the line y=ky = k at least once to get from f(a)f(a) to f(b)f(b). Here it crosses three times.
  • It guarantees that at least one cc exists. There may be more.
  • It does not tell you where cc is, or how many there are.
  • It says nothing about values outside the range from f(a)f(a) to f(b)f(b). The function might reach them, or might not.

The IVT needs ff to be continuous on all of [a,b][a, b]. A single jump or asymptote can let the function skip over kk (Example 3). So the first step in using the IVT is always to check continuity. Polynomials, exponentials, sine, and cosine are continuous everywhere; rational functions and logarithms are continuous on their domains (see continuity).

The most common use: if ff is continuous on [a,b][a, b] and f(a)f(a) and f(b)f(b) have opposite signs, then 00 is between them, so f(c)=0f(c) = 0 for some cc between aa and bb. To show an equation like g(x)=h(x)g(x) = h(x) has a solution, apply this to f(x)=g(x)−h(x)f(x) = g(x) - h(x).

Graders look for three things: continuity, the endpoint values compared to kk, and the theorem’s name.

”ff is continuous on [1,4][1, 4] because it is a polynomial. Since f(1)=−2<0<3=f(4)f(1) = -2 \lt 0 \lt 3 = f(4), by the Intermediate Value Theorem there is a value cc with 1<c<41 \lt c \lt 4 such that f(c)=0f(c) = 0.”

When ff is given by a table, the problem must tell you that ff is continuous. Say so in your answer: “Because ff is continuous…”

Show that x3+x−1=0x^3 + x - 1 = 0 has a solution between 00 and 11.

Solution. Let f(x)=x3+x−1f(x) = x^3 + x - 1. It’s a polynomial, so it’s continuous on [0,1][0, 1].

f(0)=−1,f(1)=1+1−1=1f(0) = -1, \qquad f(1) = 1 + 1 - 1 = 1

Since f(0)=−1<0<1=f(1)f(0) = -1 \lt 0 \lt 1 = f(1), by the Intermediate Value Theorem there is a value cc with 0<c<10 \lt c \lt 1 such that f(c)=0f(c) = 0. That cc is a solution of the equation.

A continuous function ff has these values:

xx00225577
f(x)f(x)44−1-13366

What is the fewest number of solutions f(x)=1f(x) = 1 must have on [0,7][0, 7]? Justify your answer.

Solution. Look for intervals where 11 is between the endpoint values:

  • On [0,2][0, 2]: f(0)=4f(0) = 4 and f(2)=−1f(2) = -1, and −1<1<4-1 \lt 1 \lt 4. Since ff is continuous, the IVT gives a cc in (0,2)(0, 2) with f(c)=1f(c) = 1.
  • On [2,5][2, 5]: f(2)=−1f(2) = -1 and f(5)=3f(5) = 3, and −1<1<3-1 \lt 1 \lt 3. The IVT gives another cc in (2,5)(2, 5).
  • On [5,7][5, 7]: ff goes from 33 to 66, and 11 isn’t between them, so the IVT says nothing here.

The two intervals (0,2)(0, 2) and (2,5)(2, 5) don’t overlap, so f(x)=1f(x) = 1 has at least two solutions on [0,7][0, 7].

Let f(x)=1xf(x) = \dfrac{1}{x} on [−1,1][-1, 1]. Then f(−1)=−1f(-1) = -1 and f(1)=1f(1) = 1, and 00 is between them. Is there a cc in [−1,1][-1, 1] with f(c)=0f(c) = 0?

Solution. No: 1x\dfrac{1}{x} is never 00. This doesn’t contradict the IVT, because ff is not continuous on [−1,1][-1, 1]. It isn’t even defined at x=0x = 0, where it has a vertical asymptote. The graph jumps from −∞-\infty to ∞\infty and skips over 00.

Example 4: Solving an equation with a calculator

Section titled “Example 4: Solving an equation with a calculator”

Show that ex=3−xe^x = 3 - x has a solution, and find it to three decimal places.

Solution. Rewrite as g(x)=ex+x−3=0g(x) = e^x + x - 3 = 0. The function gg is a sum of continuous functions, so it’s continuous everywhere. Try some easy values:

g(0)=1+0−3=−2,g(1)=e+1−3=e−2≈0.718g(0) = 1 + 0 - 3 = -2, \qquad g(1) = e + 1 - 3 = e - 2 \approx 0.718

Since g(0)<0<g(1)g(0) \lt 0 \lt g(1), by the IVT there’s a cc in (0,1)(0, 1) with g(c)=0g(c) = 0, which means ec=3−ce^c = 3 - c.

The IVT doesn’t find cc, but a graphing calculator can: graph y=ex+x−3y = e^x + x - 3 and find its zero, or intersect y=exy = e^x with y=3−xy = 3 - x. The solution is c≈0.792c \approx 0.792.

Forgetting to state continuity. On the AP exam, an IVT argument without “since ff is continuous on [a,b][a, b]” doesn’t get full credit, even if everything else is right.

Using the IVT on a function that isn’t continuous. Check rational functions and piecewise functions carefully. In Example 3, f(−1)f(-1) and f(1)f(1) have opposite signs, but there’s no zero.

Claiming the IVT tells you how many solutions there are. It guarantees at least one per interval. In Example 2 the answer is “at least two”, not “exactly two”.

Applying it to a value that isn’t between f(a) and f(b). In Example 2, 11 is not between f(5)=3f(5) = 3 and f(7)=6f(7) = 6, so the IVT says nothing on [5,7][5, 7]. It’s still possible that f(x)=1f(x) = 1 there; you just can’t conclude it.

Not comparing k to both endpoint values. Write the inequality, like f(0)=−1<0<1=f(1)f(0) = -1 \lt 0 \lt 1 = f(1). That’s the line that shows the IVT applies.

1. (Warm-up) ff is continuous on [2,5][2, 5], with f(2)=7f(2) = 7 and f(5)=−1f(5) = -1. Must f(c)=0f(c) = 0 for some cc in (2,5)(2, 5)? Must f(c)=8f(c) = 8 for some cc?

Solution

f(c)=0f(c) = 0: yes. Since ff is continuous and −1<0<7-1 \lt 0 \lt 7, the IVT guarantees such a cc.

f(c)=8f(c) = 8: not guaranteed. 88 isn’t between −1-1 and 77, so the IVT says nothing. ff might or might not reach 88.

2. (Warm-up) Let g(x)=1x−3g(x) = \dfrac{1}{x - 3}. Then g(2)=−1g(2) = -1 and g(4)=1g(4) = 1. Does the IVT guarantee a zero of gg in (2,4)(2, 4)?

Solution

No. gg is not continuous on [2,4][2, 4], because it’s undefined at x=3x = 3 (a vertical asymptote). In fact gg has no zeros at all.

3. (Core) Show that cos⁡x=x\cos x = x has a solution in [0,π2]\left[0, \tfrac{\pi}{2}\right] (radians), and use a calculator to find it to three decimal places.

Solution

Let h(x)=cos⁡x−xh(x) = \cos x - x, which is continuous everywhere.

h(0)=1−0=1,h(π2)=0−π2≈−1.571h(0) = 1 - 0 = 1, \qquad h\left(\frac{\pi}{2}\right) = 0 - \frac{\pi}{2} \approx -1.571

Since h(π2)<0<h(0)h\left(\tfrac{\pi}{2}\right) \lt 0 \lt h(0), by the IVT there’s a cc in (0,π2)\left(0, \tfrac{\pi}{2}\right) with h(c)=0h(c) = 0, so cos⁡c=c\cos c = c.

With a calculator (in radian mode), c≈0.739c \approx 0.739.

4. (Core) A particle moves along a line. Its velocity v(t)v(t), in metres per second, is continuous, with these values:

tt (s)0033661010
v(t)v(t) (m/s)22−1-1−3-344

What is the fewest number of times v(t)=0v(t) = 0 on 0≤t≤100 \le t \le 10? Justify your answer.

Solution

vv is continuous.

  • On [0,3][0, 3]: v(3)=−1<0<2=v(0)v(3) = -1 \lt 0 \lt 2 = v(0), so by the IVT, v(t)=0v(t) = 0 for some tt in (0,3)(0, 3).
  • On [3,6][3, 6]: vv goes from −1-1 to −3-3; 00 isn’t between them, so no conclusion.
  • On [6,10][6, 10]: v(6)=−3<0<4=v(10)v(6) = -3 \lt 0 \lt 4 = v(10), so by the IVT, v(t)=0v(t) = 0 for some tt in (6,10)(6, 10).

So v(t)=0v(t) = 0 at least twice.

5. (Core) Show that x5−3x+1=0x^5 - 3x + 1 = 0 has at least three real solutions.

Solution

Let f(x)=x5−3x+1f(x) = x^5 - 3x + 1, a polynomial, so continuous everywhere.

xx−2-2−1-1001122
f(x)f(x)−25-253311−1-12727

The sign changes on [−2,−1][-2, -1], on [0,1][0, 1], and on [1,2][1, 2]. By the IVT, ff has a zero in each of the intervals (−2,−1)(-2, -1), (0,1)(0, 1), and (1,2)(1, 2). These don’t overlap, so there are at least three real solutions.

6. (Core) Let f(x)={x+1,x<1x−3,x≥1f(x) = \begin{cases} x + 1, & x \lt 1 \\ x - 3, & x \ge 1 \end{cases} on [0,2][0, 2]. Show that f(0)f(0) and f(2)f(2) have opposite signs, but f(c)=0f(c) = 0 has no solution in [0,2][0, 2]. Why doesn’t this contradict the IVT?

Solution

f(0)=1>0f(0) = 1 \gt 0 and f(2)=−1<0f(2) = -1 \lt 0.

Zeros: x+1=0x + 1 = 0 gives x=−1x = -1, which isn’t in the piece’s interval. x−3=0x - 3 = 0 gives x=3x = 3, which isn’t in [0,2][0, 2]. So there is no zero in [0,2][0, 2].

There’s no contradiction, because ff is not continuous on [0,2][0, 2]: at x=1x = 1, the left-hand limit is 22 and the right-hand limit is −2-2. The hypothesis of the IVT isn’t met.

7. (Core) ff is continuous, with f(1)=4f(1) = 4 and f(3)=kf(3) = k. For which values of kk does the IVT guarantee a cc with 1<c<31 \lt c \lt 3 and f(c)=6f(c) = 6?

Solution

The IVT applies when 66 is strictly between f(1)=4f(1) = 4 and f(3)=kf(3) = k. Since 4<64 \lt 6, we need k>6k \gt 6.

(If k=6k = 6, then c=3c = 3 works, but that isn’t strictly between 11 and 33.)

8. (Challenge) ff is continuous on [0,1][0, 1] and 0≤f(x)≤10 \le f(x) \le 1 for every xx in [0,1][0, 1]. Show that there is a number cc in [0,1][0, 1] with f(c)=cf(c) = c. (Such a cc is called a fixed point.)

Solution

Let g(x)=f(x)−xg(x) = f(x) - x. It’s continuous on [0,1][0, 1] (a difference of continuous functions).

g(0)=f(0)−0≥0,g(1)=f(1)−1≤0g(0) = f(0) - 0 \ge 0, \qquad g(1) = f(1) - 1 \le 0

If g(0)=0g(0) = 0, then c=0c = 0 works. If g(1)=0g(1) = 0, then c=1c = 1 works. Otherwise g(1)<0<g(0)g(1) \lt 0 \lt g(0), and by the IVT there’s a cc in (0,1)(0, 1) with g(c)=0g(c) = 0.

In every case g(c)=0g(c) = 0, which means f(c)=cf(c) = c.

9. (Challenge) (Calculator) Show that ln⁡x=3−x\ln x = 3 - x has a solution between 22 and 33, and find it to three decimal places.

Solution

Let g(x)=ln⁡x+x−3g(x) = \ln x + x - 3. It’s continuous for x>0x \gt 0, so it’s continuous on [2,3][2, 3].

g(2)=ln⁡2−1≈−0.307,g(3)=ln⁡3≈1.099g(2) = \ln 2 - 1 \approx -0.307, \qquad g(3) = \ln 3 \approx 1.099

Since g(2)<0<g(3)g(2) \lt 0 \lt g(3), by the IVT there’s a cc in (2,3)(2, 3) with g(c)=0g(c) = 0, so ln⁡c=3−c\ln c = 3 - c.

Using a calculator to find the zero of gg: c≈2.208c \approx 2.208.