Theorems involving Continuous Functions
Intermediate Value Theorem. Suppose that $$$f$$$ is continuous on closed interval $$${\left[{a},{b}\right]}$$$ and let $$${N}$$$ is any number between $$${f{{\left({a}\right)}}}$$$ and $$${f{{\left({b}\right)}}}$$$ (or $$${f{{\left({b}\right)}}}$$$ and $$${f{{\left({a}\right)}}}$$$; depends what is bigger). Then there exists number $$${c}$$$ in $$${\left({a},{b}\right)}$$$ such that $$${f{{\left({c}\right)}}}={N}$$$.
The Intermediate Value Theorem states that a continuous function takes on every intermediate value between the function values $$${f{{\left({a}\right)}}}$$$ and $$${f{{\left({b}\right)}}}$$$.
Note that the value $$${N}$$$ can be taken one or more times.
In geometric terms Intermediate Value Theorem states that if any horizontal line $$${y}=$$$ is given between $$${f{{\left({a}\right)}}}$$$ and $$${f{{\left({b}\right)}}}$$$ then the graph of $$${f{}}$$$ should intersect $$${y}={N}$$$ somewhere.
Corollary. Suppose that $$${f{}}$$$ is continuous on closed interval $$${\left[{a},{b}\right]}$$$ such that $$${f{{\left({a}\right)}}}$$$ and $$${f{{\left({b}\right)}}}$$$ have different signs. Then there exists number $$${c}$$$ in $$${\left({a},{b}\right)}$$$ such that $$${f{{\left({c}\right)}}}={0}$$$.
Proof of this fact is straightforward. Since $$${f{{\left({a}\right)}}}$$$ and $$${f{{\left({b}\right)}}}$$$ have different signs then either $$${f{{\left({a}\right)}}}<{0}<{f{{\left({b}\right)}}}$$$ or $$${f{{\left({b}\right)}}}<{0}<{f{{\left({a}\right)}}}$$$, so, we take $$${N}={0}$$$ in intermediate value theorem.
Note, that Intermediate Value Theorem is general false for discontinuous functions.
One use of the Intermediate Value Theorem is in locating roots of equations.
Example 1. Function $$${{2}}^{{x}}-{4}{x}={0}$$$ clearly has root 4, but it is harder to locate another root. However, for function $$${f{{\left({x}\right)}}}={{2}}^{{x}}-{4}{x}$$$ $$${f{{\left({0}\right)}}}={{2}}^{{0}}-{4}\cdot{0}={1}>{0}$$$ and $$${f{{\left(\frac{{1}}{{2}}\right)}}}={{2}}^{{\frac{{1}}{{2}}}}-{4}\cdot{2}=\sqrt{{{2}}}-{8}<{0}$$$.
Thus, by corollary (because function $$${f{{\left({x}\right)}}}={{2}}^{{x}}-{4}{x}$$$ is continuous) there exists number $$${c}$$$ in interval $$${\left({0},\frac{{1}}{{2}}\right)}$$$ such that $$${f{{\left({c}\right)}}}={0}$$$.
Example 2. Show that the root of equation $$${\cos{{\left({x}\right)}}}-{x}={0}$$$ is within interval [0,1].
Let $$${f{{\left({x}\right)}}}={\cos{{\left({x}\right)}}}-{x}$$$. Clearly it is continuous on [0,1].
We are looking for the solution of the equation, that is a number $$${c}$$$ between 0 and 1 such that $$${f{{\left({c}\right)}}}={0}$$$.
Since $$${f{{\left({0}\right)}}}={\cos{{\left({0}\right)}}}-{0}={1}>{0}$$$ and $$${f{{\left({1}\right)}}}={\cos{{\left({1}\right)}}}-{1}<{0}$$$ then $$${f{{\left({1}\right)}}}<{0}<{f{{\left({0}\right)}}}$$$.
Thus, according to corollary there exists number $$${c}$$$ on interval $$${\left({0},{1}\right)}$$$ such that $$${f{{\left({c}\right)}}}={0}$$$. Therefore, $$${f{{\left({x}\right)}}}$$$ has at least one root in (0,1).
Boundedness of a function. Suppose that function $$${f{}}$$$ is continuous on closed interval $$${\left[{a},{b}\right]}$$$ then exist such constant finite numbers $$${m}$$$ and $$${M}$$$ that $$${m}\le{f{{\left({x}\right)}}}\le{M}$$$ for all $$${a}\le{x}\le{b}$$$.
Note that this theorem doesn't hold if interval is not closed.
For example, let $$${f{{\left({x}\right)}}}={\left\{\begin{array}{c}\frac{{1}}{{x}}{\quad\text{if}\quad}{0}<{x}\le{1}\\{0}{\quad\text{if}\quad}{x}={0}\\ \end{array}\right.}$$$.
This function can take only finite values, but it grows without a bound when $$${x}$$$ approaches 0.