Now let the square LM be made equal to AI, and let there be subtracted the square NO having a common angle with it, the angle LPM, and equal to FK;
therefore the squares LM, NO are about the same diameter. [VI. 26]
Let PR be their diameter, and let the figure be drawn.
Since then the rectangle contained by AF, FG is equal to the square on EG,
therefore, as AF is to EG, so is EG to FG. [VI. 17]
But, as AF is to EG, so is AI to EK, and, as EG is to FG, so is EK to KF; [VI. 1]
therefore EK is a mean proportional between AI, KF. [V. 11]
But MN is also a mean proportional between LM, NO, as was before proved, [Lemma after X. 53] and AI is equal to the square LM, and KF to NO;
therefore MN is also equal to EK.
But EK is equal to DH, and MN to LO;
therefore DK is equal to the gnomon UVW and NO.
But AK is also equal to the squares LM, NO;
therefore the remainder AB is equal to ST.
But ST is the square on LN;
therefore the square on LN is equal to AB;
therefore LN is the “side” of AB.
I say next that LN is an apotome.