its breadth AB is supposed diminished in infinitum, becomes less than any given space. And therefore (by Lem. I) the figures inscribed and circumscribed become ultimately equal one to the other; and much more will the intermediate curvilinear figure be ultimately equal to either. Q.E.D.
LEMMA III.
For suppose AF equal to the greatest breadth, and complete the parallelogram FAaf. This parallelogram will be greater than the difference of the inscribed and circumscribed figures; but, because its breadth AF is diminished in infinitum, it will become less than any given rectangle. Q.E.D.
Cor. 1. Hence the ultimate sum of those evanescent parallelograms will in all parts coincide with the curvilinear figure.
Cor. 2. Much more will the rectilinear figure comprehended under the chords of the evanescent arcs ab, bc, cd, &c., ultimately coincide with the curvilinear figure.
Cor. 3. And also the circumscribed rectilinear figure comprehended under the tangents of the same arcs.
Cor. 4 And therefore these ultimate figures (as to their perimeters acE) are not rectilinear, but curvilinear limits of rectilinear figures.
LEMMA IV.
For as the parallelograms in the one are severally to the parallelograms in the other, so (by composition) is the sum of all in the one to the sum of all in the other; and so is the one figure to the other; because (by Lem. III) the former figure to the former sum, and the latter figure to the latter sum, are both in the ratio of equality. Q.E.D.
Cor. Hence if two quantities of any kind are any how divided into an equal number of parts, and those