È il corollario di una semplice similitudine, i triangoli AHP e AHC sono simili perché retti con un angolo in comune e quindi si ha HP/AH=AH/AC. Moltiplicando per AH*AC ottengo l'uguaglianza che desideri.