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
a2 - 2·a·c - b2 + c2 = 2·a2 - 2·a·c
Vereinfachen
a2 + b2 = c2