9. Locus of point which is equally distant from two given points. A plane perpendicular to line joining the points, through its middle point. 10. Locus of point which is equally distant from two given straight lines in same plane. Plane between the lines. 11. Locus of middle point of a line joining two perpendicular but non-intersecting lines. Parallel plane between the lines. 12. Locus of point at a distance a from a point A, and a distance b from point B. Circle which is the intersection of two spheres. SECTION III. MAXIMA AND MINIMA. DEFINITIONS. 1. Or all quantities of the same kind that which is greatest is the maximum, and that which is least is the minimum. 2. Figures which have equal perimeters are said to be isoperimetric. Proposition 1. Theorem. Of all equal triangles on the same base, that which is isosceles has the minimum perimeter. Let ABC be an isosceles triangle, and DBC an equal triangle on the same base; then the perimeter of ABC will be less than the perimeter of DBC. Produce BA, making AE = AB = AC. Join CE; also DA, and produce it to F; join DE. Because the triangles DBC, ABC are equal, DF is parallel to BC. ... EAF = ABC and FAC = ACB; ... EAF = CAF; also AEF = A CF, and AF is common to the triangles EAF and CAF. Hence EF = CF, and the angles at Fare right angles. Then in the triangles DEF, DCF DF, FE, and DFE are equal to DF, E D A F B C FC and DFC, each to each; therefore DE=DC. Hence BD+DE=BD+DC; but BE<BD+DE; ... BA+AC<BD+DC; and this is true no matter in what point of the line DF, D be taken. Hence BA+AC is a minimum. Corollary. Of all equal triangles, that which is equilateral has the minimum perimeter. For it must be isosceles, whichever side is taken for a base. Proposition 2. Theorem. Of all isoperimetric triangles on the same base, that which is isosceles is the maximum. Let ABC be an isosceles triangle, and let DBC, on the same base BC, have an equal perimeter; then △ABC > △ DBC. The point D will fall between the parallels BC and EF. C F A D B For, if it fell on EF, the triangles could not be isoperimetric (Prop. I.);* still less could they be so if it fell above EF; hence it falls below EF, and the area BDC is less than the area BAC. Corollary. Of all isoperimetric triangles, that which is equilateral is a maximum. * References such as this are to propositions in Modern Geometry. Others are referred to as heretofore. Proposition 3. Theorem. Of all triangles having two sides equal, each to each, that which has these sides at right angles is the maximum. Let AB, BC, at right angles to each other, be equal, each to each, to DB, BC, not at right angles to each other; ABC is greater than DBC. Draw the altitude DE; AB is greater than DE; hence ABC is greater than DBC. Proposition 4. A D B E 0 Theorem. Of all isoperimetric figures, the circle is the maximum. 1. The given maximum figure must be convex; that is, a line joining any two points of the A E perimeter must fall inside the perim- 2. Let ABCD be the maximum figure. Draw AC bisecting the perimeter; it will also bisect the area. For, if not, let ABC be greater than ADC; then a line equal to ABC could be substituted for ADC, which would, with an equal perimeter, cut off a greater area. But ABCD was, by hypothesis, the E A F EBC is greater than the triangle ABC; hence, the whole figure EFBGC is greater than the whole figure AHBGC; and if symmetrical figures be described on the opposite sides of EC and AC, the figure on EC would be greater than the figure on AC. But they have equal perimeters. ABCD is not a maximum, which is contrary to the hypothesis. Therefore, ABC is a right angle. Hence, Now, B is any point of the perimeter; hence, ABCD is a circle, and AC its diameter. Proposition 5. Theorem. Of all equal figures, the circle has the minimum perimeter. Let A be a circle, and B any other equal figure; then the perimeter of A will be less than the perimeter of B. Let C be a circle having the same perimeter as B; then (Prop. 4) C>B; ...C>A; hence, the circumference of C is greater than the circumference of A; therefore, also, C B A the perimeter of B is greater than the circumference of A. Proposition 6. Theorem. Of all isoperimetric polygons having the same number of sides, the regular polygon is the maximum. 1. The maximum polygon must be equilateral; for, if not, an isosceles triangle, ABC, could be substituted for ADC of equal perimeter, and which would be greater (Prop. 2), and thus B D C the area of the polygon would be in creased without changing the perimeter. 2. The maximum polygon must be such as to be inscribed in a circle. For, let P, P' be equilateral polygons of the about P, and is therefore (Prop. 4) less than the circle. But the segments being equal, P must be greater than P'. Hence, the maximum polygon, being equilateral and inscriptible, is regular. Proposition 7. Theorem. Of all isoperimetric polygons, that which has the greatest number of sides is the greatest. Let P, Q be regular polygons of four and five sides, and |