Würde hier mit der Hilfsfunktion operieren, sprich: g(x) = f(x) - x
Das ist richtig. Du kannst jedes Fixpunktproblem in ein Nullstellenproblem umwandeln
g ist stetig als Differenz stetiger Funktionen. Dann kann der Zwischenwertsatz angewendet werden. Nun nutzt du dabei aus, dass f das Intervall [a,b] auf sich selbst abbildet. Denn es gilt:
g(a)=f(a)−a≥0 und g(b)=f(b)−b≤0. Damit exisitiert nach dem Zwischenwertsatz (oder in diesem Spezialfall auch nach dem Nullstellensatz von Bolzano), dass es ein x0∈[a,b] gibt, so dass g(x0)=f(x0)−x0=0 also f(x0)=x0.