

= DG : DZ
(by similar triangles BDG and QYB with YB = KH = DZ)
--Archimedes mentions DZ = KH, but what is needed is the parallel
to KH a the intersection of the HZ and BG
Lemma 3: BQ : BI = GQ : QI (for BQ : BI = BG : BQ = BQ+-QG :
BI+-IQ = QG : QI, or a : b = c : d <=> a : b = a+-c : b+-d)
Lemma 4: QZ : QH = GQ : QI
(by similar triangles QZG and QHI)
Lemma 5: GQ : QI =QZ : QH
(by similar triangles QZG and QHI)
1. BD : BK = DG2 : KH2 (by theorem
3)
2. Since DZ = KH,
3. BG : BI = BG2 : BQ2 (BG
: BI = BD : BK, by Lemma 1; and DG : KH = BG : BQ, by Lemma 2, and a :
b = c : d <=> a2 : b2 = c2 : d2)
<=> a)
Hence,
4. BG : BQ = BQ : BI (a : b = a2 : c2
<=> a : c = c : b, since a : b = a2 : c2 <=>
b : a = c2 : a2 <=> ba : a2 =
c2 : a2 <=> ba = c2 <=> a : c =
c : b)
5. BG : BQ = GQ : QI (since BQ : BI = GQ : QI, by Lemma 3)
6. GD : DZ = QZ : QH (since BG : BQ = GD : DZ by Lemma
2; and QZ : QH = GQ : QI, by lemma 4)
7. Since DA = DG,
8. DA : DZ = ZQ : QH