So wild sind die Umformungen nicht, aber ich lasse sowas normal von einem CAS machen.
(a + b - c)·(a - b - c)/(2·b·(a - c)) = a/b
Mit Haupnenner multiplizieren
(a + b - c)·(a - b - c) = 2·a·(a - c)
Ausmultiplizieren
a^2 - 2·a·c - b^2 + c^2 = 2·a^2 - 2·a·c
Vereinfachen
a^2 + b^2 = c^2