Wegen f(0) + f(1) nicht gleich 0. ist g sinnvoll definiert
und auch stetig auf [0;1].
Und es gilt g(0)=f(1) / ( f(0)+f(1) )
und g(0)=f(0) / ( f(0)+f(1) ).
Da f(1) und f(0) verschiedene Vorzeichen haben (Produkt negativ),
haben g(0) und g(1) das auch.
Also gibt es nach dem Zwischenwertsatz ein ξ ∈ [0,1] mit g( ξ)=0
also f( ξ) / ( f(0)+f(1) ) - 1 = 0
<=> f( ξ) = f(0)+f(1)