Lemma 1-6
4 minutes • 805 words
Lemma 1
Quantities, and the ratios of quantities, which continually converge to equality eventually become equal.
Lemma 2
If any figure AacE, terminated by the right lines A a. AE, and the curve acE, there be inscribed any number of parallelograms Ab, Be, Cd, etc. comprehended under equal bases AB, BC, CD, etc., and the sides, Bb, Cc, Dd, etc., parallel to one side Aa of the figure.
The parallelograms aKbl, bLcm, cMdn, etc are completed.
If the width of those parallelograms are diminished, and their number augmented infinitely, then the ultimate ratios which the inscribed figure AKbLcMdD, the circumscribed figure AalbmcndoE, and the curvilinear figure AabcdE will have to one another, are ratios of equality.
For the difference of the inscribed and circumscribed figures is the sum of the parallelograms Kl, Lw, M. Do. that is (from the equality of all their bases), the rectangle under one of their bases Kb and the sum of their altitudes Aa, that is, the rectangle ABla.
But this rectangle, because its width AB is supposed diminished infinitely, becomes less than any given space.
Therefore, by Lem. 1, 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.
Lemma 3
The same ultimate ratios are also ratios of equality, when the breadths AB, BC, DC, etc of the parallelograms are unequal, and are all diminished in infinitum.
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.
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 4
If in two figures AacE, PprT, you inscribe (as before) 2 ranks of parallelograms, an equal number in each rank, and, when their breadths are diminished in infinitum, the ultimate ratios of the parallelograms in one figure to those in the other, each to each respectively, are the same.
Those 2 figures AacE, PprT, are to one another in that same ratio.
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 parts, when their number is augmented, and their magnitude diminished in infinitum, have a given ratio one to the other, the first to the first, the second to the second, and so on in order, the whole quantities will be one to the other in that same given ratio.
For if, in the figures of this Lemma, the parallelograms are taken one to the other in the ratio of the parts, the sum of the parts will always be as the sum of the parallelograms.
Therefore supposing the number of the parallelograms and parts to be augmented, and their magnitudes diminished in infinitum, those sums will be in the ultimate ratio of the parallelogram in the one figure to the correspondent parallelogram in the other; that is (by the supposition), in the ultimate ratio of any part of the one quantity to the correspondent part of the other.
Lemma 5
In similar figures, all sorts of homologous sides, whether curvilinear or rectilinear, are proportional; and the areas are in the duplicate ratio of the homologous sides.
Lemma 6
If any arc ACB, given in position is subtended by its chord AB, and in any point A, in the middle of the continued curvature, is touched by a right line AD, produced both ways; then if the points A and B approach one another and meet, I say, the angle BAD, contained between, the chord and the tangent, will be diminished in infinitum, and ultimately will vanish.
For if that angle does not vanish, the arc ACB will contain with the tangent AD an angle equal to a rectilinear angle; and therefore the curvature at the point A will not be continued, which is against the supposition.