A history of Greek mathematics - Wilbourhall.org

376 PAPPUS OF ALEXANDRIA
IV.
We now come to the substantive theorem.
Let FGH be the circle touching all three semicircles (Fig. 4).
We have then, as in Lemma II,
BG.BK = BD.BL,
and for the same reason (regarding FGH as touching the
semicircles BGC, DUG)
BG . GL = GB . GK.
From the first relation we have
BG:BD = BL:BK,
whence DG:BD = KL :
N K D M L C
Fig. 4.
BK, and inversely BD :
while, from the second relation, BG :
whence BD:DG= KL :
Consequently BK : KL = KL :
LG = KL 2 .
or BK .
GD = GK :
GL.
GL,
But we saw in Lemma II (b) that BK . LG
Therefore KL = AM, or = d px 1 .
For the second circle Lemma III gives us
-¥d ):d = (p1 1 1 Vi'-
d v
whence, since 2
2