Table of Contents

Last modified on May 27th, 2024

The intermediate value theorem (IVT) is about continuous functions in calculus. It states that if a function f(x) is continuous on the closed interval [a, b] and has two values f(a) and f(b) at the endpoints of the interval, then there is at least one value on [a, b] that lies between f(a) and f(b).

Mathematically, the IVT is written as:

When

- The curve y = f(x) is continuous on [a, b]
- â€˜kâ€™ is a number that lies between f(a) and f(b)

Then,

- There is at least one value â€˜câ€™ such that c Ð„ (a, b) and f(c) = k

Thus, the function y = f(x) at some point k = f(c) where either f(a) < k < f(b) or f(b) < k < f(a), which means a < c < b or b < c < a.

Here, the graph of y = f(x) is drawn in a continuous way within the interval [a, b], and thus, f(x) is continuous on [a, b]. In addition, if a value â€˜câ€™ exists within the interval [a, b] such that c Ð„ (a, b), then f(c) = k and f(a) < f(c) < f(b).

Since there exists** â€˜at least one valueâ€™ **within the given interval, there can be more.

For example, there are three points where f(x) = k, as shown.

In the graph, f(c_{1}) = f(c_{2}) = f(c_{3}) = k, which means there are three values â€˜c_{1},â€™ â€˜c_{2},â€™ and â€˜c_{3}â€™ on [a, b] with the function value â€˜k.â€™

In particular, when c = 0, the intermediate value theorem is called **Bolzano’s theorem** (after its discoverer, Bernard Bolzano)** **or** **the** Intermediate Zero Theorem****.**

To prove the IVT, we use the limit definition.

Without loss of generality, let us assume that f(a) < k < f(b) and a set A = {x Ð„ [a, b]: f(x) < k}

Here, the set â€˜Aâ€™ is non-empty since a Ð„ A and f(a) < k, and also, â€˜Aâ€™ is bounded above by â€˜b.â€™

Thus, by completeness property, it has a supremum, say â€˜c,â€™ which is greater than or equal to each element of â€˜Aâ€™ and f(c) = k.

Since the function f(x) is continuous at â€˜aâ€™ and â€˜b,â€™ f(c) â‰ a and f(c) â‰ b and thus c Ð„ (a, b)

To prove f(c) = k, we verify both f(c) â‰¤ k and f(c) â‰¥ k.

**Proving f(c) â‰¤ k**

Since â€˜câ€™ is the supremum, from the extreme value theorem, we get a sequence x_{n} Ð„ A where x_{n} â†’ c

Since f(x) is continuous, so f(x_{n}) â†’ f(c)

Again, since x_{n} Ð„ A, by definition of â€˜A,â€™ f(x_{n}) < k

â‡’ f(c) = ${\lim _{n\rightarrow \infty }f\left( x_{n}\right) \leq k}$

Thus, f(c) â‰¤ k is proved â€¦..(i)

**Proving f(c) â‰¥ k:**

Since c < b, thus for a very small â€˜n,â€™ t_{n} = ${c+\dfrac{1}{n} <b}$

â‡’ t_{n} > c

â‡’ t_{n} > supremum of â€˜Aâ€™

â‡’ t_{n} âˆ‰ A

Thus, f(t_{n}) â‰¥ k

Since â€˜nâ€™ is considered to be very small and f(x) is continuous, so f(t_{n}) â†’ f(c), which implies

f(c) = ${\lim _{n\rightarrow \infty }f\left( t_{n}\right) \geq k}$

Thus, f(c) â‰¥ k is proved â€¦..(ii)

From (i) and (ii), we conclude that f(c) = k

Thus, the intermediate value theorem is proved.

The intermediate value theorem is used to verify the existence of an equation’s root in a given interval, which shows whether the given function has its zero (or f(x) = 0) within the interval (a, b).

Let us verify this statement using the function f(x) = x^{4} – 2x^{3} + 3x – 21, which has a zero within the interval [1, 3]

**Step 1: Finding f(a) and f(b)**

Here, the given interval is [1, 3]

Calculating f(1) and f(3), we get

At x = 1, f(1) = (1)^{4} – 2(1)^{3} + 3(1) – 21 = -19

At x = 3, f(3) = (3)^{4} – 2(3)^{3} + 3(3) – 21 = 15

**Step 2: Verifying**

Since f(1) is negative, the curve is below zero at x = 1. Similarly, since f(3) is positive, the curve is above zero at x = 3.

Also, as f(x) is a polynomial function, it is continuous.

Now, by the intermediate value theorem, we conclude that the curve must pass through some point â€˜câ€™ (say) within [1, 3] such that f(c) = 0

Hence, there exists a solution to the function f(x) = x^{4} – 2x^{3} + 3x – 21 on [1, 3] such that f(x) = 0

**Limitations**

However, we can only verify whether the function has a root in the given interval using the intermediate value theorem. We cannot find the number of roots or their values from it.

Considering the previous example, f(x) = x^{4} – 2x^{3} + 3x – 21, which has some root â€˜câ€™ within [1, 3] such that f(c) = 0.

Thus, from the intermediate value theorem, the function f(x) = x^{4} – 2x^{3} + 3x – 21 has some roots, but the number of roots and their values cannot be obtained.

In addition to its theoretical applications, the intermediate value theorem has many real-life applications. One of them, â€˜The Mystery of the Wobbly Table,â€™ is discussed.

The intermediate value theorem helps to fix a wobbly table.

Here is an example of uneven ground causing a wobbly table. If the ground is continuous, and poorly fitted tiles cause no ups and downs, we rotate the table to fix the problem.

In a wobbly table, where three legs touch the ground, and the fourth leg is disturbed due to poorly fitted tiles, we can solve the issue using the intermediate value theorem. According to the theorem, there is a point where the fourth leg touches the ground perfectly. Finding the point will help us fix the issue.

It is based on the assumption that if we rotate a table and the 4^{th} leg goes inside the ground, then at some point, it will be above the ground, and at another point, it will be below the ground.

- The mean value theorem applies to differentiable functions and their derivatives, whereas the intermediate theorem applies to continuous functions.
- The mean value theorem guarantees the derivatives with certain values, whereas the intermediate value theorem confirms that the function has certain values between two given points within the interval.

**Use the intermediate value theorem to verify whether the function f(x) = x ^{6} – x^{3} – 3 has any roots in the interval [0, 2]**

Solution:

Here, the function is f(x) = x^{6} – x^{3} – 3 in the interval [0, 2]

Calculating f(0) and f(2), we get

At x = 0, f(0) = (0)^{6} – (0)^{3} – 3 = -3

At x = 2, f(2) = (2)^{6} – (2)^{3} – 3 = 53

Since f(0) is negative and f(2) is positive, the curve is below zero at x = 0 and above zero at x = 2.

Also, since f(x) is a polynomial, it is continuous.

Thus, by the intermediate value theorem, we conclude that the function f(x) = x^{6} – x^{3} – 3 has some roots on [0, 2] for which f(x) = 0.

**More Resources**

Last modified on May 27th, 2024