Bei der Formulierung hätte ich ja mal erwähnt, was \(a\) und \(b\) sein sollen. Die Formel \(a^2+b^2=c^2\) hätte ich auch nicht unterstrichen, sondern abgesetzt. Die Überschrift finde ich auch etwas unschön: Viele kennen den Satz des Pythagoras nur als ebendiese Gleichung (ohne jede Erläuterung der Buchstaben) – das sollte man nicht noch unterstützen.
Ansonsten (weitere solcher Kleinigkeiten sind mir jetzt egal) hätte ich noch vorgeschlagen, einen vektoriellen Beweis aufzunehmen – für die, die das Thema schon kennen. Der arbeitet ja ganz sauber mit einer formellen Definition von "senkrecht" und ist auch nur ein Einzeiler.