Given positive real numbers find the polygon with , , , which has the greatest area.
Solution
The answer is the convex polygon inscribed in a semicircle of diameter , that is, for all .
First of all, the polygon must be convex because if it isn't the case one can obtain a polygon of greater area by reflecting the sides of the polygon inside of its convex hull.
Consider an arbitrary vertex and fix the polygons , ; in particular, and are fixed. Now the area of is the sum of the areas of the fixed polygons , and the triangle , which attains its maximum if and only if , since the area of the triangle is and and are both fixed.
It remains to show that such polygon is unique. Indeed, if and is the midpoint of and center of the semicircle, then . But and is increasing in , so is unique and hence the polygon is unique.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.