https://9dok.net/document/yev1j3p7-satzgruppe-des-pythagoras-der-höhensatz-lösung.html