Return to Vignettes of Ancient Mathematics
Return to Archimedes, Quadrature of the Parabola, content
Prop. 15
Prop. 17

In the summaries of the proof, the inner polygon will be trapezoids ML + NQ + XO + triangle POG.
The outer polygon will be trapezoids EM + MR + YX + TR + triangle PSG.
The polygon on the curve will be trapezoids ME+ LE + QY +TO + triangle SOG.

(general diagram)

(diagram 1) 16. Again let there be a segment BQG enclosed by a straight-line and section of a right-angled cone, and let BD be drawn through B parallel to the diameter, and (let) GD (be drawn) from G touching the section of the cone at G, and let area Z be a third part of triangle BDG. I say that area Z is equal to segment BQG.

(general diagram)

Theorem 16(diagram 2) For if it is not equal, either it is larger or smaller. Let it first be, in fact, larger, if that is possible. The excess, in fact, by which segment BQG is larger than area Z, being composed itself to itself will be larger than triangle BGD. But it is possible to take some area less than the excess that will be a part of triangle BDG, Let triangle, BGE, in fact, be less than the mentioned excess and a part of triangle BDG (i.e., BGE measures BDG). But BE will be the same part of BD. (diagram 3) And so let BD be divided into parts, and let the points of the divisions be H, I, K, and let straight-lines be joined from points H, I, K to G. In fact, these cut the section of the cone. Since GD is touching it at G. And through the points where the straight-lines cut the section, let MF, NR, XQ, PO be drawn parallel to the diameter. But these will also be parallel to BD.(*) (diagram 4) And so, since triangle BGE is smaller than the excess by which segment BQG exceeds area Z, it is clear that the areas together, area Z and triangle BGE, are smaller than the segment. (diagram 5) And the trapezoids are equal to triangle BGE, which the section of the cone goes through, namely ME, FL, QR, QO, and triangle GOS. For trapezoid ME is common, while ML is equal to FL and LX is equal to QR and CX is equal to OQ, and triangle GCP is equal to triangle GOS. (diagram 6) In fact, area Z is smaller than trapezoids ML, XR, PQ and triangle POG. (Prop. 13 and Prop. 14) And triangle BDG is three-times area Z. But BDG is smaller than three-times trapezoids ML, RX, QP and triangle POG, which is impossible. For it was proved to be more than three-times larger (Prop. 13 and Prop. 14). Accordingly, segment BQG is not larger than area Z.

Summary:
Hypothesis: segment BRQG > Z = 1/3 triangle DBG. Let triangle BEG < BRQG - Z = 1/3 triangle DBG.

1. Parabolic segment - triangle BEG > Z = 1/3 triangle DBG. (from construction)
2.
But triangle BEG = polygon on the curve. (corresponding subfigures are equal)
3. Hence, parabolic segment - polygon on the curve > Z = 1/3 triangle DBG. (from 1 and 2)
4. However, inner polygon + polygon on the curve > parabolic segment. (from construction)
5. Hence, inner polygon > Z = 1/3 triangle DBG. (from 3 and 4: if a - b > c and d + b > a, then d > c, since a + d > a + c)
6. On the contrary,
Z = 1/3 triangle DBG inner polygon. (Props. 14 and 15)

(general diagram)

Theorem 16(diagram 7) I say, in fact, that it is not smaller either. For let it be smaller, if that is possible. Again, the excess by which area Z exceeds segment BQG, being composed itself to itself will also, therefore, exceed triangle BDG. But it is possible to take an area smaller than the excess which will be a part of triangle BDG. And so let triangle BGE be smaller than the excess and be a part of triangle BDG, (diagram 8) and let the others be construct the same. And so since triangle BGE is smaller than the excess by which area Z exceeds segment BQG, triangle BEG and segment BQG are both smaller than Z. (diagram 9) But area Z is also smaller than quadrilaterals EM, FN, YX, PT, and triangle GPS. For BDG is three-times Z but is smaller than three-times the mentioned areas, as was proved in the part previous to this (Prop. 13 and Prop. 14). (diagram 10) Therefore triangle BGE and segment BQG are smaller than quadrilaterals EM, FN, XY, PT and triangle GPS (since they are smaller than Z). (diagram 11) Thus when a common magnitude, the segment, is taken away, triangle GBE would be also smaller than the areas which remain, which is impossible. For triangle BEG was proved (in the first part of the proof) to be equal to the trapezoids EM, FL, QR, QO, and triangle GOS, which are larger than the remaining areas. Therefore segment BQG is not smaller than area Z. But it was proved not larger as well. Therefore, the segment is equal to area Z.(**)

Summary: Hypothesis: segment BRQG < Z = 1/3 triangle DAB. Let triangle BGE + segment BRQG < Z = 1/3 triangle DAB.
1. Triangle BGE + parabolic segment < Z = 1/3 triangle DAB (construction)
2. Outer polygon > Z = 1/3 triangle DAB (Prop. 13 and 14)
3. Triangle BGE = polygon on the curve (corresponding subfigures are equal, as in the first part of the proof)
4. Hence, polygon on the curve + parabolic segment < Z = 1/3 triangle DAB (from 1 and 3)
5. Hence, polygon on the curve + parabolic segment < outer polygon (2 and 4).
6. Hence, polygon on the curve < outer polygon - parabolic segment. (impossible since one is a part of the other)

(*) Archimedes does not mention that BM = MN = NX = XP = PG, theorem 16but this is required, as it is assumed in the proofs of props. 14, 15. It is also the case. By Prop. 5, WR : RN = GN : NB. But RW : RN = DH : BH. So GN : NB = RN : DH, and so to for the parallel to the diameter at M, X, and P. So BM : MG = BE : ED, and BH : HD = BN : NG. Componendo, BE : BD = BM : BG, and BH : BD = BN : BG. Ex aequali, BE : BH = BM : BN. But BH = 2*BE, so that also BN = 2*BM, or BM = MN.

(**) A note on the logical structure of the argument. From Props. 14 and 15, Archimedes uses the claim that 1/3 triangle BGD > the inner polygon in the first part of the proof and the claim that 1/3 triangle BGD < the outer polygon in the second part of the proof. He does not distinguish the two proposition so that this part of the theorem may be general. Also, this theorem does not employ a principle of the balance, only the results of previous theorems on the principle.

top