Der Zwischenwertsatz (in der hier verwendeten Form) lautet:
Eine stetige Funktion besitzt mindestens eine Nullstelle im Intervall , wenn und oder und gilt.