Osserviamo la figura:

Applichiamo il teorema di Pitagora al il triangolo rettangolo AEG.

Essendo:

si ha:

Applichiamo il teorema di Pitagora al il triangolo rettangolo AFH.

Essendo:

si ha:

Applichiamo il teorema di Pitagora al il triangolo rettangolo FBH.

FH è il cateto comune ai due triangoli rettangoli AFH e FBH per cui si ha:

Cioè: