Der Ausdruck kommt einfach aus deiner Hilfsfunktion. Falls $$u≠f(\tilde{x}) $$ gilt ja für alle u∈C $$ \tilde{g}(u)=\frac{g(u)-g(f(\tilde{x}))}{u-f(\tilde{x})} \Leftrightarrow \tilde{g}(u)\cdot (u-f(\tilde{x}))=g(u)-g(f(\tilde{x}))$$
Es wurde nur umgestellt.