Ausmultiplizieren von (x-1)(x-2)(x-3) liefert ein Polynom dritten Grades. Aus dem Globalverlauf von Polynomfunktionen dritten Grades und der Stetigkeit von Polynomfunktionen folgt mit dem Zwischenwertsatz die Surjektivität.
∀y∈B ∃x∈A mit f(x) = y
Sei y∈ℝ.
Sei x0 ∈ ℝ, so dass f(x0) < y. Wegen des Globalverlaufs limx→-∞ f(x) = -∞ existiert ein solches x0.
Sei x1 ∈ ℝ, so dass f(x1) > y. Wegen des Globalverlaufs limx→∞ f(x) = ∞ existiert ein solches x1.
Fall 1. x0 < x1. Dann exitiert laut Zwischenwertesatz ein x ∈ [x0, x1] ⊂ ℝ, so dass f(x) = y ist.
Fall 2. x1 < x0. Dann exitiert laut Zwischenwertesatz ein x ∈ [x1, x0] ⊂ ℝ, so dass f(x) = y ist.
Fall 3. x0 = x1. Dieser Fall kann nicht vorkomen, weil er der Wahl f(x0) < y < f(x1) widerspricht.