The Intermediate Value Theorem
Understand the Intermediate Value Theorem.
The Intermediate Value Theorem (IVT) tells us that if a function is continuous, then to get from one point on the function to another point, we have to hit all -values in between at least once. For example, we know intuitively that the temperature of an object over time is a continuous function - it cannot change instantly, it cannot be infinite, and it must always exist (it must always have a temperature value). If an object had a temperature of an hour ago and now measures , we know that it must have measured - and every other temperature between and - during that period.
Although the IVT might seem like an obvious statement not worthy of its own theorem, its power lies in telling us that we can indeed count on finding specific values between points of a continuous function. It is especially useful for finding zeroes of functions. If we know that and , then we know that has at least one zero between and .
To use the app, begin by selecting the function from the drop-down box. Slide the and values (ends of the interval we are checking) to any location (as long as ). You will see corresponding values of and identified on the graph as well as along the -axis. Now slide the point along the -axis. Now try this with the next function, . As long as the selected function is continuous, and is between and , at least one -value equal to will exist along the function, indicated by a point plotted on the curve. Also plotted for each intersection is the corresponding -value. This -value is the "" in the theorem: "...there exists at least one in ...". There should always be at least one such when is continuous on and is between and .
The next function () in the list are also continuous, but depending on how you set and b, you can get more than one "". This is OK - the IVT states that "at least one exists...".
The next function, , illustrates the case where is not continuous. Be sure to set and to land on different "steps" in order to ensure that a vertical gap will exist between them. Notice now that you can find values of between and where no exists.
The last function, , is discontinuous, but will actually satisfy the conclusion of the IVT since no matter where you put and , you will always get at least one . But the statement of the IVT is not bidirectional; in other words, a function satisfies the IVT if it is continuous, but satisfying the IVT does not necessarily mean the function is continuous.