For, since the straight line AC has been bisected at E, and FA is added to it,
the rectangle contained by CF, FA together with the square on AE is equal to the square on EF. [II. 6]
But EF is equal to EB;
therefore the rectangle CF, FA together with the square on AE is equal to the square on EB.
But the squares on BA, AE are equal to the square on EB, for the angle at A is right; [I. 47]
therefore the rectangle CF, FA together with the square on AE is equal to the squares on BA, AE.
Let the square on AE be subtracted from each;
therefore the rectangle CF, FA which remains is equal to the square on AB.
Now the rectangle CF, FA is FK, for AF is equal to FG;
and the square on AB is AD;
therefore FK is equal to AD.
Let AK be subtracted from each;
therefore FH which remains is equal to HD.
And HD is the rectangle AB, BH,
for AB is equal to BD;
and FH is the square on AH;
therefore the rectangle contained by AB, BH is equal to the square on HA.