Considero i triangoli rettangoli ACH e ADE : essi sono congruenti in quanto hanno un cateto congruente per costruzione AD = AH e un angolo acuto congruente perché complementari ad uno stesso angolo per costruzione (in A)
Ne consegue che il quadrilatero AEGC è un quadrato per costruzione.
--------------------------------------------------------------
In virtù del 1° teorema di Euclide con riferimento al triangolo rettangolo ABC: il quadrato costruito sul cateto AC è congruente al rettangolo avente dimensioni la proiezione del cateto AH sull'ipotenusa e l'ipotenusa stessa.
Siccome AH = AD segue quanto si voleva affermare
-------------------------------------------------------------