equal (Book III. Prob. XIV. Sch.), it follows that ƒh, which is twice fa, is equal to fg, which is twice fB. In a similar manner it may be shown that hf=hi, and the angle Fit Fha, or that any two sides or any two angles of the octagon are equal: hence the octagon is a regular polygon (Def.). The construction which has been made in the case of the square and the octagon, is equally applicable to other polygons. Cor It is evident that the circumscribed square is greater than the circumscribed octagon by the four triangles, Cnp, kDg, hEf, Git; and if a regular polygon of sixteen sides be circumscribed about the circle, we may prove in a similar way, that the figure having the greatest number of sides will be the least; and the same may be shown, whatever be the number of sides of the polygons: hence, in general, any circumscribed regular polygon, will be greater than a circumscribed regular polygon having double the number of sides. PROPOSITION VIII. THEOREM. Two regular polygons, of the same number of sides, can always be formed, the one circumscribed about a circle, the other inscribed in it, which shall differ from each other by less than any assignable surface. Let Q be the side of a square less than the given surface. Bisect AC, a fourth part of the circumference, and then bi sect the half of this fourth, and proceed in this manner, always bisecting one of the arcs formed by the last bisection, until an arc is found whose chord AB is less than Q. As this are will be an exact part of the circumference, if we apply chords AB, BC, CD, &c. each equal to AB, the last will terminate at A, and there will be formed a regular polygon ABCDE &c. in the circle. a K B Q D d Next, describe about the circle a similar polygon abcde &c. (Prop. VI.): the difference of these two polygons will be less than the square of Q. For, from the points a and b, draw the lines a, b, to the centre O: they will pass through the points A and B, as was shown in Prop. VI. Draw also OK to the point of contact K: it will bisect AB in I, and be perpendicular to it (Book III. Prop. VI. Sch.). Produce AO to E, and draw BE. Let P represent the circumscribed polygon, and p the inscribed polygon: then, since the triangles aOb, AOB, are like parts of P and p, we shall have aOb · AOB :: P: p (Book II. Prop. XI.): But the triangles being similar, aƆb: AOB :: Oa2: OA2, or OK3. Hence, Again, since the triangles OaK, EAB are similar, having their sides respectively parallel, Oa2: OK2 :: AE2: EB2, hence, or by division, But P is less than the square described on the diameter AE (Prop. VII. Cor.); therefore P-p is less than the square described on AB; that is, less than the given square on Q: hence the difference between the circumscribed and inscribed polygons may always be made less than a given surface. Cor. 1. A circumscribed regular polygon, having a given number of sides, is greater than the circle, because the circle makes up but a part of the polygon: and for a like reason, the inscribed polygon is less than the circle. But by increasing the number of sides of the circumscribed polygon, the polygon is diminished (Prop. VII. Cor.), and therefore approaches to an equality with the circle; and as the number of sides of the inscribed polygon is increased, the polygon is increased (Prop. V. Sch.), and therefore approaches to an equality with the circle. Now, if the number of sides of the polygons be indefinitely increased, the length of each side will be indefinitely small, and the polygons will ultimately become equal to each other, and equal also to the circle. present their For, if they are not ultimately equal, let smallest difference. Now, it has been proved in the proposition, that the difference between the circumscribed and inscribed polygons, can be made less than any assignable quantity: that is, less than D: hence the difference between the polygons is equal to D, and less than D at the same time, which is absurd: therefore, the polygons are ultimately equal. But when they are equal to each other, each must also be equal to the circle, since the circumscribed polygon cannot fall within the circle, nor the inscribed polygon without it. ? Cor. 2. Since the circumscribed polygon has the same number of sides as the corresponding inscribed polygon, and since the two polygons are regular, they will be similar (Prop. I.); and therefore when they become equal, they will exactly coincide, and have a common perimeter. But as the sides of the circumscribed polygon cannot fall within the circle, nor the sides of the inscribed polygon without it, it follows that the perimeters of the polygons will unite on the circumference of the circle, and become equal to it. Cor. 3. When the number of sides of the inscribed polygon is indefinitely increased, and the polygon coincides with the circle, the line OI, drawn from the centre O, perpendicular to the side of the polygon, will become a radius of the circle, and any portion of the polygon, as ABCO, will become the sector OAKBC, and the part of the perimeter AB+BC, will become the arc AKBC.. PROPOSITION IX. THEOREM. The area of a regular polygon is equal to its perimeter, multiplied by half the radius of the inscribed circle. I Let there be the regular polygon GHIK, and ON, OT, radii of the inscribed circle. The triangle GOH will be measured by GHOT; the triangle OHI, by HIxON: but ON OT; hence the two triangles taken together will be measured by (GH+HI) ×OT. And, by continuing the same operation for the other triangles, it will appear that the sum of them all, or the whole polygon, is measured by the sum of the bases GH, HI, &c. or the perimeter of the polygon, multiplied into OT, or half the radius of the inscribed circle. K N HT G Scholium. The radius OT of the inscribed circle is nothing else than the perpendicular let fall from the centre on one of the sides: it is sometimes named the apothem of the polygon. PROPOSITION X. THEOREM. The perimeters of two regular polygons, having the same number of sides, are to each other as the radii of the circumscribed circles, and also, as the radii of the inscribed circles; and their areas are to each other as the squares of those radii. d Let AB be the side of the one polygon, O the centre, and consequently a OA the radius of the circumscribed circle, and OD, perpendicular to AB, the radius of the inscribed circle; let ab, in like manner, be a side of the other polygon, o its centre, oa and od the radii of the circumscribed and the inscribed circles. The perimeters of the two polygons are to each other as the sides AB and ab (Book IV. Prop. XXVII.): but the angles A and a are equal, being each half of the angle of the polygon; so also are the angles B and b; hence the triangles ABO, abo are similar, as are likewise the right angled triangles ADO, ado; hence AB: ab: AO: ao :: DO: do; hence the perimeters of the polygons are to each other as the radii AO, do of the circumscribed circles, and also, as the radii DO, do of the inscribed circles. PROPOSITION XI. THEOREM. D B The surfaces of these polygons are to each other as the squares of the homologous sides AB, ab; they are therefore likewise to each other as the squares of AO, ao, the radii of the circumscribed circles, or as the squares of OD, od, the radii of the inscribed circles. The circumferences of circles are to each other as their radii, and the areas are to each other as the squares of their radii. Let us designate the circumference of the circle whose radius is CA by circ. CA; and its area, by area CA: it is then to be shown that circ. CA circ. OB :: CA: OB, and that B E A N P Oo L K T Inscribe within the circles two regular polygons of the same number of sides. Then, whatever be the number of sides, their perimeters will be to each other as the radii CA and OB (Prop. X.). Now, if the arcs subtending the sides of the polygons be continually bisected, until the number of sides of the polygons shall be indefinitely increased, the perimeters of the polygons will become equal to the circumferences of the circumscribed circles (Prop. VIII. Cor. 2.), and we shall have circ. CA circ. OB:: CA: OB. G Again, the areas of the inscribed polygons are to each other as CA to OB (Prop. X.). But when the number of sides of the polygons is indefinitely increased, the areas of the polygons become equal to the areas of the circles, each to each, (Prop. VIII. Cor. 1.); hence we shall have area CA area OB:: CA2: OB2. Cor. The similar arcs AB, DE are to each other as their radii AC, DO; and the similar sectors ACB, DOE, are to each other as the squares of their radii. с For, since the arcs are similar, the angle C is equal to the angle O (Book IV. Def. 3.); but C is to four right angles, as the arc AB is to the whole circumference described with the radius AC (Book III. Prop. XVII.); and O is to the four right angles, as the arc DE is to the circumference described with the radius OD: hence the arcs AB, DE, are to each other as the circumferences of which |