Source: MTH 132 Calculus I, Michigan State University, Hw05-1.8B-IVT
Tags: IVT, Intermediate Value Theorem, continuity, root finding, existence theorem, Calculus I, MTH 132
Difficulty: Intermediate | Prerequisites: Sections 1.5-1.8A (limits, continuity, types of discontinuity). You should be comfortable evaluating whether a function is continuous on an interval before tackling these problems.
The Intermediate Value Theorem (IVT) is one of the first "existence theorems" you meet in calculus. It does not tell you what a value is or where it lives; it tells you that a value must exist somewhere on an interval, provided the function is continuous there. This section builds directly on the formal definition of continuity from Section 1.8A. Mastering IVT is essential because it underpins later results (Extreme Value Theorem, Mean Value Theorem) and because exam problems frequently ask you to prove a solution exists without finding it.
If a function is continuous on a closed interval [a, b], then it hits every value between f(a) and f(b) at least once. To use this on an exam, you define the right function, confirm it is continuous, find two points where the function sits on opposite sides of the target value, and conclude that a solution exists somewhere in between.
Intermediate Value Theorem (IVT)
If f is continuous on the closed interval [a, b] and N is any number between f(a) and f(b), then there exists at least one c in (a, b) such that f(c) = N.
Think of it as: if you drive from 0 mph to 60 mph without teleporting, you must have passed through every speed in between.
Continuous on [a, b]
A function is continuous on a closed interval [a, b] if it is continuous at every point in the open interval (a, b), continuous from the right at a, and continuous from the left at b. No jumps, holes, or vertical asymptotes anywhere on the interval.
In simple terms, this means you can draw the graph from x = a to x = b without lifting your pen.
Existence theorem
A theorem that guarantees something exists without telling you its exact value or location. The IVT is an existence theorem: it says "there is a c" but does not say what c equals.
Think of it as: a guarantee that a solution is in the room, even though it does not point to exactly where.
Domain of a function
The set of all input values (x-values) for which the function is defined. When applying the IVT, you must verify that the interval you choose sits inside the function's domain, because continuity requires the function to exist at every point.
In simple terms, this means the set of all x-values you are allowed to plug in.
Sign change
When a function's output switches from positive to negative (or vice versa) between two points. If f is continuous and there is a sign change between a and b, the IVT guarantees a root (a zero) somewhere in (a, b).
Think of it as: if you are above the x-axis at one point and below it at another, you must have crossed the axis somewhere in between.
Let f be continuous on [a, b]. Let N be any number strictly between f(a) and f(b). Then there exists at least one c in (a, b) such that f(c) = N.
Three conditions must all hold before you invoke IVT:
f is continuous on the closed interval [a, b]
N lies strictly between f(a) and f(b) (either f(a) < N < f(b) or f(b) < N < f(a))
a and b are in the domain of f
If any condition fails, the theorem says nothing.
Most exam problems follow a fixed recipe. Given an equation g(x) = 0 (or g(x) = N) on some interval:
Define the function. Rearrange the equation so one side is zero (or isolate the target value). Set f(x) equal to the non-zero side.
State the domain. Write down where f is defined. Rational functions exclude values that make the denominator zero. Cube roots are defined everywhere. Cosine is defined everywhere.
Confirm continuity on the interval. Because f is continuous on its domain, and the interval in question sits inside that domain, f is continuous on the interval.
Evaluate f at two points inside or at the endpoints. Choose a and b so that f(a) and f(b) straddle the target value N (one above, one below).
Conclude. By the IVT, there exists c in (a, b) such that f(c) = N.
Suppose f(x) is continuous and you are given:
x | 0 | 1 | 2 | 3 | 4 | 5 |
|---|---|---|---|---|---|---|
f(x) | 3 | 7 | 8 | -1 | -3 | 2 |
Question: On which interval can you guarantee f(x) = 6?
Scan the table for where 6 sits between consecutive f-values:
(0, 1): f(0) = 3 and f(1) = 7. Since 3 < 6 < 7, the IVT guarantees a solution here.
(1, 2): f(1) = 7 and f(2) = 8. Since 6 < 7 < 8, 6 is not between them in the required sense (6 is below both). No guarantee.
Answer: (A) (0, 1) and by the Intermediate Value Theorem.
Define f(x) = 1/(x-2) + 1/(x-9).
Domain: all real numbers except x = 2 and x = 9, written as (-∞, 2) ∪ (2, 9) ∪ (9, ∞).
Since (2, 9) is a subset of that domain, f is continuous on (2, 9).
Now find a and b in (2, 9) where f changes sign. Pick points close enough to the endpoints or try simple values:
f(3) = 1/(3-2) + 1/(3-9) = 1 + (-1/6) = 5/6 > 0
f(8) = 1/(8-2) + 1/(8-9) = 1/6 + (-1) = -5/6 < 0
So f(3) > 0 > f(8). By the IVT, there exists c in (3, 8) such that f(c) = 0.
Blanks filled: domain = (-∞, 2) ∪ (2, 9) ∪ (9, ∞), a = 3, b = 8, c ∈ (3, 8).
Define f(x) = ∛x + 3x.
Domain: all real numbers (-∞, ∞), because the cube root is defined for every real input.
f is continuous on its entire domain.
Find a and b where f(a) < 5 < f(b):
f(0) = 0 + 0 = 0 < 5
f(2) = ∛2 + 6 ≈ 1.26 + 6 = 7.26 > 5
By the IVT, there exists c in (0, 2) such that f(c) = 5.
Blanks filled: domain = (-∞, ∞), a = 0, b = 2, c ∈ (0, 2).
Rearrange to cos(x) + 4x = 7. Define f(x) = cos(x) + 4x.
Domain: all real numbers (-∞, ∞), because cosine and the linear term are both defined everywhere.
f is continuous on its entire domain.
Find a and b where f(a) < 7 < f(b):
f(0) = cos(0) + 0 = 1 < 7
f(2) = cos(2) + 8 ≈ -0.416 + 8 = 7.584 > 7
By the IVT, there exists c in (0, 2) such that f(c) = 7, meaning cos(c) + 4c = 7, so cos(c) = 7 - 4c.
Blanks filled: domain = (-∞, ∞), a = 0, b = 2, c ∈ (0, 2).
The IVT itself is not a formula you compute with. It is a logical statement with three inputs and one output:
Inputs: (1) f continuous on [a, b], (2) N between f(a) and f(b), (3) [a, b] inside the domain.
Output: there exists c in (a, b) with f(c) = N.
The visual picture: imagine the graph of a continuous function entering a horizontal band at height N. If f(a) is below the band and f(b) is above it (or vice versa), the curve must cross the line y = N at least once. Continuity is the key: if the graph had a jump, it could leap over the line without touching it.
The IVT formalises an intuition engineers rely on constantly: if a measured quantity changes continuously and it was at one level before and another level after, it must have passed through every level in between. Temperature sensors use this principle when flagging that a threshold was crossed between two readings. GPS systems rely on it when inferring that a vehicle must have been at a certain position between two known fixes.
Students often think the IVT tells you where the solution is. It does not. It only guarantees existence, not location or uniqueness.
Students sometimes forget to check continuity. A function with a vertical asymptote or a jump discontinuity on the interval invalidates the theorem entirely, even if the function values straddle the target.
Students confuse the IVT with the Mean Value Theorem (MVT). The IVT is about output values (f hits every y-value between f(a) and f(b)). The MVT is about slopes (there is a point where the instantaneous rate equals the average rate). Different theorems, different hypotheses, different conclusions.
Students assume that if f(a) and f(b) are both above the target value, there is no solution. That is not what the IVT says: it simply cannot guarantee a solution in that case. There might still be one; the theorem is just silent.
⚠️ IVT proof problems appear on nearly every Calc I exam. The fill-in-the-blank format from the homework is a common exam style. Memorise the template.
⚠️ You must state the domain explicitly. Leaving it blank or writing "all real numbers" when the function has asymptotes will cost marks.
⚠️ The choice of a and b matters. Pick values that are easy to compute and that clearly straddle the target. Professors often expect you to show the arithmetic.
⚠️ The conclusion must name the interval. Writing "there exists c" without specifying c ∈ (a, b) is incomplete.
True or false: The IVT requires f to be continuous on an open interval (a, b). Answer: False. It requires continuity on the closed interval [a, b].
Fill in the blank: The IVT is an ______ theorem, meaning it guarantees something exists without telling you its exact value. Answer: existence.
True or false: If f(2) = 4 and f(5) = 4, the IVT guarantees that f(x) = 4 for some x in (2, 5). Answer: False. The target value 4 is not between f(2) and f(5); it equals both. The IVT applies to values strictly between f(a) and f(b). (The function does equal 4 at the endpoints, but that is not an IVT conclusion.)
True or false: If f has a vertical asymptote at x = 5 and you want to use IVT on [3, 7], you can proceed as normal. Answer: False. The function is not continuous on [3, 7] because it is not defined at x = 5.
Fill in the blank: To show that x³ + x - 1 = 0 has a solution in (0, 1), define f(x) = ______, compute f(0) = ______ and f(1) = ______, and apply IVT. Answer: f(x) = x³ + x - 1, f(0) = -1, f(1) = 1. Since -1 < 0 < 1, IVT gives a root in (0, 1).
Q: A continuous function f satisfies f(1) = -2 and f(4) = 5. Can you guarantee a solution to f(x) = 3 on (1, 4)? Which theorem justifies your answer?
A: Yes. Since f is continuous on [1, 4] and -2 < 3 < 5, the Intermediate Value Theorem guarantees at least one c in (1, 4) with f(c) = 3.
Q: Let g(x) = 1/(x - 1) + 1/(x - 6). State the domain of g, and use the IVT to show g(x) = 0 has a solution in (1, 6).
A: Domain: (-∞, 1) ∪ (1, 6) ∪ (6, ∞). g is continuous on (1, 6). Choose a = 2: g(2) = 1/(2-1) + 1/(2-6) = 1 - 1/4 = 3/4 > 0. Choose b = 5: g(5) = 1/(5-1) + 1/(5-6) = 1/4 - 1 = -3/4 < 0. Since g(2) > 0 > g(5) and g is continuous on [2, 5], the IVT guarantees c in (2, 5) with g(c) = 0.
Q: Prove that the equation ∛x + 3x = 5 has at least one solution.
A: Define f(x) = ∛x + 3x. Domain: (-∞, ∞). f(0) = 0 < 5 and f(2) = ∛2 + 6 ≈ 7.26 > 5. Since f is continuous on [0, 2] and f(0) < 5 < f(2), the IVT guarantees c in (0, 2) with f(c) = 5.
Q: Why can you not use the IVT to guarantee a solution to 1/(x - 3) = 0 on [1, 5]?
A: The function f(x) = 1/(x - 3) is not continuous on [1, 5] because it has a vertical asymptote at x = 3. The IVT requires continuity on the entire closed interval, so its hypotheses are not met.
Q: Suppose f is continuous on [0, 10], f(0) = 2, and f(10) = 2. Does the IVT guarantee a value c where f(c) = 2 on (0, 10)?
A: The IVT guarantees values strictly between f(a) and f(b). Here f(0) = f(10) = 2, so there is no open interval of output values to work with. The IVT says nothing about this case. (The function does equal 2 at the endpoints, but the theorem cannot produce a c in the open interval from this information alone.)
The IVT connects directly to the Extreme Value Theorem (Section 3.1), which also requires continuity on a closed interval but guarantees that f attains an absolute maximum and minimum. Both are existence theorems grounded in continuity.
It also sets the stage for the Mean Value Theorem (Section 4.2), which adds differentiability to the hypotheses and draws conclusions about slopes rather than function values.
More broadly, the IVT is used in numerical methods (bisection method) to systematically narrow down the location of a root. If you take a numerical analysis course later, the bisection algorithm is literally repeated application of IVT.
Intermediate Value Theorem, IVT, existence theorem, continuity, continuous function, root finding, sign change, Bolzano's theorem, bisection method, zero of a function, closed interval, domain, vertical asymptote, Calculus I, MTH 132, Section 1.8B, MSU, Michigan State, guaranteed solution, IVT proof template, fill in the blanks IVT, rational function continuity, cube root continuity, trig equation IVT