Maximum-area circular segment with fixed arc length and chord
ID: maximum-area-circular-segment-with-fixed-arc-length-and-chord
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.
New to topics? Read the docs here!