Soit f une fonction définie sur un intervalle fermé borné [a ; b]. Si f est continue sur [a ; b], alors pour tout réel k compris entre f(a) et f (b), il existe au moins un réel c appartenant à [a ; b] tel que f(c) = k. Autrement dit, f prend au moins une fois toute valeur intermédiaire entre f(a) et f(b).