Assign to each side of a convex polygon the maximum area of a triangle that has as a side and is contained in . Show that the sum of the areas assigned to the sides of is at least twice the area of .
Solution
Define the weight of a side to be the area assigned to it, and define an antipoint of a side of a polygon to be one of the points in the polygon farthest from that side (and consequently forming the triangle with greatest area).
Lemma For any side , is an antipoint if and only if the line through parallel to does not go through the interior of the polygon. (Note that this means we can assume is a vertex, as we shall do henceforth).
proof: Clearly, if is an antipoint must not go through the interior of the polygon. Now if does not go through the interior of the polygon, assume there is a point farther away from than . Since the polygon is convex, the point is in the interior of the polygon, which is a contradiction. ■
Suppose for the sake of contradiction that the sum of the weights of the sides is less than twice the area of some polygon. Then let be the non-empty set of all convex polygons for which the sum of the weights is strictly less than twice the area. It is easy to check that no polygon in can be a triangle, so we may assume all polygons in have at least 4 sides.
We first prove by contradiction that there is some polygon in such that all of its sides are parallel to some other side. Suppose the contrary; then consider one of the polygons in which has the minimal number of sides not parallel to any other side (this exists by the well-ordering principle). Call this polygon , and WLOG let be a side which is not parallel to any other side of .
Then let be the unique antipoint of , and let and be respective antipoints of and . Define to be the point such that , .
Now consider the set of points that are strictly on the same side of as . First of all, for any side in , must be its antipoint, since the line through parallel to does not go through the interior of . Similarly, any vertex in is not the antipoint of any side.
We now look at the polygon . First of all, it is clear that has fewer sides which are not parallel to any other side than . Using to denote area, we have
The weights of the side is the same in both and for , but for , the sum of the weights of the remaining two sides is , as is an antipoint of both and . Meanwhile, the sum of the weights of remaining sides for is . Hence the difference in the sums of weights of and is
the same as the difference in area (and both differences were positive). Therefore, if the sum of weights of was less than , then certainly the sum of weights of must be less than , so that . However, this contradicts the minimality of the number of non-parallel sides in , so there exists a polygon in with opposite sides parallel.
Now, we will let be the non-empty set of all polygons in with all sides parallel to the opposite side. Note that all polygons in must have an even number of sides. We will show that there is a parallelogram in .
Suppose not, and that is one of the polygons in with the minimal number of sides, and . Let and . Set . We propose that the increase in the sum of weights going from to is at most twice the increase in area, so that .
To aid us, we will let and be the respective distances of and from and .
The increase in weight is
while the increase in area is . It remains to show that the first expression is at most twice the second, or in other words, to show that
which is equivalent to
Noting that triangles and are similar, we have , so the above inequality holds.
With the inequality proven, we now know that , and yet has fewer sides than . This contradicts the minimality of the number of sides of , so there exists a parallelogram in . However, the sum of the weights of a parallelogram clearly equals twice its area, so this contradicts the entire existence of , as desired.