Maximum of Isoperimetrical Polygons. are to each other as their altitudes CE and DF; so that we need only prove CE> DF. Produce AC to H, making CH = CB = AC. Join BH; and if a semicircle is described upon AH as a diameter with the radius AC CH, it will pass through the point B; and ABH, being inscribed in it, must be a right angle. Produce BH towards L, and take DL= DB. Join AL, and we have AD+DL=AD+DB=AC+CB=AC+CH= AH. Now, letting fall the perpendiculars CI and DM upon BH and BI, we have whence † BH = BI = CE, BL = BM= DF; CE > DF. 303. Theorem. The maximum of isoperimetrical polygons of the same number of sides is equilateral. Demonstration. Let ABCD &c. (fig. 142) be the maximum of isoperimetrical polygons of any given number of sides. Join AC. The triangle ABC must be the maximum of all the triangles which are formed upon AC, and with a perimeter equal to that of ABC. Otherwise a Maximum of Polygons formed of Sides, all given but one. greater triangle AXC could be substituted for ABC, without changing the perimeter of the polygon, which would be inconsistent with the hypothesis that ABCD &c. is the maximum polygon. Therefore, by the preceding article, In the same way it may be proved, that BC= CD = DE, &c. 304. Theorem. Of all triangles, formed with two given sides making any angle at pleasure with each other, the maximum is that in which the two given sides make a right angle. Demonstration. Let ABC, ADC (fig. 143) be triangles, formed with the side AC common and the side AB = AD, and suppose BAC to be a right angle. As these triangles have the same base AC, they are to each other as their altitudes AB and DE. But and the triangle ABC > the triangle ADC. 305. Theorem. The maximum of polygons formed of sides, all given but one, can be inscribed in a semi.circle having the undetermined side for its diameter. Demonstration. Let ABCD &c. (fig. 144) be the maximum polygon formed of the given sides AB, BC, CD &c. Draw from either vertex, as D, to the extremities A and S of the side not given, the lines DA, DS. The triangle ADS must be the maximum of all triangles formed with Maximum of Polygons formed of given Sides. the sides A and S; otherwise, either by increasing or else by diminishing the angle ADS, the triangle ADS would be enlarged, while the rest of the polygon ABCD, DEF&c. would be unchanged; so that the polygon would be enlarged, which is inconsistent with the hypothesis that it is the maximum polygon. The angle ADS is, therefore, a right angle by the preceding article, and is inscribed in the semicircle which has AS for its diameter. 306. Theorem. The maximum of all polygons formed of given sides can be inscribed in a circle. Demonstration. Let ABCD &c. (fig. 145) be a polygon which can be inscribed in a circle, and A'B'C'D' &c. one which cannot be inscribed a circle, but equilateral with reΛ spect to ABCD &c. Draw the diameter AM. Join EM, MF. Upon EF, equal to EF, construct the triangle E'M'F', equal to EMF, and join A'F The polygon ABCDEM, which is inscribed in the semicircle having AF for its diameter is, by the preceding article, greater than A'B'C' D'E'M' formed of the same sides, but which cannot be so inscribed. In the same way the polygon AMFG &c. > A'M'F'G' &c. Hence, the entire polygon ABCDEMF &c. > A'B'C'D' EMF &c., and, subtracting the triangle AMC AMC', = the polygon ABCD &c. > A'B'C'D' &c. 307. Theorem. The maximum of isoperimetrical polygons of the same number of sides is regular. Demonstration. For, by art. 303, it is equilateral; and, by the preceding article, it can be inscribed in a circle; so that, by art. 202, it is regular. Greatest of Isoperimetrical Regular Polygons. 308. Theorem. Of isoperimetrical regular polygons that is the greatest which has the greatest number of sides. Demonstration. Let ABCD &c., A'B'C'D' &c. (fig. 146) be two isoperimetrical regular polygons, of which ABCD &c. has the greater number of sides. Denote the area of ABCD &c. by S, and the radius OH of its inscribed circle by R; and denote the area of A'B'C'D' &c. by S', and the radius O'H of its inscribed circle by R'; also the common perimeter of the two polygons by P. Then we have, by art. 277, S: SPX R: P× R', or, striking out the common factor P, and Upon A'B', as a side, describe a polygon A'B'C"D" &c. similar to ABCD &c.; denote its perimeter by P", the radius OM of its inscribed circle by R". Join A'O' and A'O"; describe the arc MN with the radius R', and the arc M'N with the radius R". The half side A'M' is, evidently, the same part of the perimeter P, which the arc MN is of its circumference, which circumference is, by art. 237, equal to 2 π × R'; that is, AM: P = MN: 2л × R', and, in the same way, P": AM = 2π × R" : M'N'. Greatest of Isoperimetrical Polygons. the product of these two proportions is, by striking out the factors common to the terms of each ratio, P: P =R" × MN: R' × MN. But, by art. 233, P" : PR": R, and, on account of the common ratio P" : P, which, multiplied by the identical proportion, Now, the angle A'O'M' is obtained by dividing 360° by twice the number of sides. of the polygon A'B'C'D', &c., and the angle A'O"M' is obtained by dividing 360° by twice the number of sides of the polygon A'B'C'D" &c., but the second number of sides was supposed to be greater than the first, and, therefore, the angle A'O"M'< the angle A'O'M; and, therefore, as the angle O"A'M' is, by art. 68, the remainder after subtracting the angle A'O"M' from 90°, it is greater than the angle O'A'M' which remains after subtracting A'O'M' from 90°; and O"A'M' includes O'A'M' ; so that the radius MO" is greater than M'O', and the circle described with MO" as a radius includes the circle described with MO' as a radius. Join NN'; and upon the middle of NN' erect a perpendicular meeting the tangent NT to the arc NM at T, |