Example

The Intermediate Value Theorem
The Intermediate Value Theorem:
Suppose 𝑓 is a continuous function on the closed interval π‘Ž ≀ π‘₯ ≀ 𝑏 (in other words: [π‘Ž, 𝑏]),
and suppose 𝑁 is some number that is between the two endpoints 𝑓(π‘Ž) and 𝑓(𝑏), where
𝑓(π‘Ž) β‰  𝑓(𝑏). Then there exists a number 𝑐 such that π‘Ž < 𝑐 < 𝑏 and 𝑓(𝑐) = 𝑁.
Interpretation: you’ll be given some 𝑦-value (called 𝑁), and you’ll be able to find some π‘₯-value
(called 𝑐). Note, there could be more than one possible value for the 𝑐.
This statement easiest understood through pictures:
𝑓(𝑏)
𝑁
𝑓(π‘Ž)
π‘Ž
𝑐
Given an 𝑁, we find a 𝑐.
𝑏
Or we can have:
𝑓(π‘Ž)
𝑁
𝑓(𝑏)
π‘Ž 𝑐1
Here, given an 𝑁, we can find 3 𝑐’s.
𝑐2
𝑐3
𝑏
The Intermediate Value Theorem
Example: Show that there is a root of the equation π‘₯ 4 + π‘₯ βˆ’ 3 = 0 on the interval [1,3].
Step 1: find the value 𝑁
When finding a root, by definition you want to find the π‘₯ that makes 𝑓(π‘₯) = 0. So,
automatically, you get that 𝑁 = 0.
Step 2: find the equation 𝑓(π‘₯)
𝑓(π‘₯) is whatever is on the other side of the zero (ie: the 𝑁) in the given equation. Thus,
𝑓(π‘₯) = π‘₯ 4 + π‘₯ βˆ’ 3
Step 3: verify that 𝑓(π‘Ž) and 𝑓(𝑏) are on either side of 𝑁
𝑓(π‘Ž) = 𝑓(1) = 14 + 1 βˆ’ 3 = βˆ’1
𝑓(𝑏) = 𝑓(3) = 34 + 3 βˆ’ 3 = 81
So, we get 𝑓(1) ≀ 0 ≀ 𝑓(3)
Step 4: conclusion
Hence, there is a π‘₯ = 𝑐 value in the interval [1,3] such that 𝑓(𝑐) = 0. In other words,
yes, there is a root of π‘₯ 4 + π‘₯ βˆ’ 3 = 0 in the interval [1,3].
Notice, we’re not finding the value of 𝑐, just that it exists.
πœ‹
Example: Show that there is a root of the equation cos π‘₯ = π‘₯ on the interval οΏ½0, οΏ½.
2
Step 1: find the value 𝑁
Finding a root means that 𝑁 = 0.
Step 2: find the function
cos π‘₯ = π‘₯ ⟹ cos π‘₯ βˆ’ π‘₯ = 0
𝑓(π‘₯) = cos π‘₯ βˆ’ π‘₯
Step 3: verify that 𝑓(π‘Ž) and 𝑓(𝑏) are on either side of 𝑁
𝑓(π‘Ž) = 𝑓(0) = cos 0 βˆ’ 0 = 1 βˆ’ 0 = 1
πœ‹
πœ‹
πœ‹
πœ‹
πœ‹
𝑓(𝑏) = 𝑓 οΏ½ οΏ½ = cos οΏ½ οΏ½ βˆ’ = 0 βˆ’ = βˆ’
2
2
2
2
2
πœ‹
2
So, we get 𝑓(0) β‰₯ 0 β‰₯ 𝑓 οΏ½ οΏ½
Step 4: conclusion
πœ‹
Yes, there is a root of cos π‘₯ = π‘₯ on the interval οΏ½0, οΏ½.
2