Fix two attachments a distance apart on a straight line and a simple fence of length in one half-plane, with . There is a unique satisfying : its derivative has numerator , since that numerator starts at zero and has derivative . A radius- minor circular arc with half-angle then has the required chord and length. Its graph is , for , and sector-minus-triangle geometry gives the displayed area.
To prove global maximality, attach the complementary major arc of this circle, lying in the opposite half-plane, to any competing fence. The resulting closed curve has perimeter . Its enclosed area is the competitor's area plus a fixed major-segment area. The planar isoperimetric inequality bounds the total by , with equality only for a circle. Subtracting that fixed added area proves the minor arc is the unique maximizing shape on the chosen side. The same arc follows from the Beltrami identity for the area-minus-length functional.
Articles by others on the same topic
There are currently no matching articles.