Vllt etwas falsch ausgedrückt, aber Satz des Pythagoras gilt allgm. für alle rechtwinklige Dreiecke. Da der Satz des Pythagoras das Ergebnis Deiner/meiner Umformungen ist, ist die Schlussfolgerung, dass Deine Bedingung für alle rechtwinkligen Dreiecke gilt, also genau was Du wissen wolltest ;).