Intermediate Value Theorem

Bolzano's intermediate value theorem is one of the very interesting properties of continous functions.

Statement

Let $f:[a,b]\righarrow\mathbb{R}$ (Error compiling LaTeX. Unknown error_msg)

Let $f$ be continous on $[a,b]$

Let $f(a)<k<f(b)$

Then, $\exists c\in (a,b)$ such that $f(c)=k$

Consider $g:[a,b]\rightarrow\mathbb{R}$ such that $g(x)=f(x)-k$

note that $g(a)<0$ and $g(b)>0$

By Location of roots theorem, $\exists c\in (a,b)$ such that $g(c)=0$

or $f(c)=k$

QED