Maths Olympiad Prep

Library / /89 of 116

Geometry Difficulty 8.7 Shortlist Prove it United States

Assign to each side bb of a convex polygon P\mathcal{P} the maximum area of a triangle that has bb as a side and is contained in P\mathcal{P}. Show that the sum of the areas assigned to the sides of P\mathcal{P} is at least twice the area of P\mathcal{P}.

Solution

Define the weight of a side XYXY 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 XYXY, ZZ is an antipoint if and only if the line ll through ZZ parallel to XYXY does not go through the interior of the polygon. (Note that this means we can assume ZZ is a vertex, as we shall do henceforth).

proof: Clearly, if ZZ is an antipoint ll must not go through the interior of the polygon. Now if ll does not go through the interior of the polygon, assume there is a point ZZ' farther away from XYXY than ZZ. Since the polygon is convex, the point XZlXZ' \cap l 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 SS 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 SS can be a triangle, so we may assume all polygons in SS have at least 4 sides.

We first prove by contradiction that there is some polygon in SS such that all of its sides are parallel to some other side. Suppose the contrary; then consider one of the polygons in SS which has the minimal number of sides not parallel to any other side (this exists by the well-ordering principle). Call this polygon P=A1A2AnP = A_1A_2\cdots A_n, and WLOG let AnA1A_nA_1 be a side which is not parallel to any other side of PP.

Then let AiA_i be the unique antipoint of AnA1A_nA_1, and let AuA_u and AvA_v be respective antipoints of Ai1AiA_{i-1}A_i and AiAi+1A_iA_{i+1}. Define XX to be the point such that AuXAi1AiA_uX\parallel A_{i-1}A_i, AvXAiAi+1A_vX\parallel A_iA_{i+1}.

Now consider the set TPT \subset P of points that are strictly on the same side of AuAvA_uA_v as AnA1A_nA_1. First of all, for any side in TT, AiA_i must be its antipoint, since the line through AiA_i parallel to AjAj+1A_jA_{j+1} does not go through the interior of PP. Similarly, any vertex in TT is not the antipoint of any side.

We now look at the polygon P=AvAv+1Au1AuXP' = A_vA_{v+1}\cdots A_{u-1}A_uX. First of all, it is clear that PP' has fewer sides which are not parallel to any other side than PP. Using [][\cdot] to denote area, we have
[P][P]=[A1A2Av1AvXAuAu+1An]. [P'] - [P] = [A_1A_2\cdots A_{v-1}A_vXA_uA_{u+1}\cdots A_n].
The weights of the side AjAj+1A_jA_{j+1} is the same in both PP' and PP for vj<uv \le j < u, but for PP', the sum of the weights of the remaining two sides is [XAuAiAv][XA_uA_iA_v], as AiA_i is an antipoint of both AuXA_uX and AvXA_vX. Meanwhile, the sum of the weights of remaining sides for PP is [A1A2Av1AvAiAuAu+1An][A_1A_2\cdots A_{v-1}A_vA_iA_uA_{u+1}\cdots A_n]. Hence the difference in the sums of weights of PP' and PP is
[XAuAiAv][A1A2Av1AvAiAuAu+1An]=[A1A2Av1AvXAuAu+1An], [XA_uA_iA_v] - [A_1A_2\cdots A_{v-1}A_vA_iA_uA_{u+1}\cdots A_n] = [A_1A_2\cdots A_{v-1}A_vXA_uA_{u+1}\cdots A_n],
the same as the difference in area (and both differences were positive). Therefore, if the sum of weights of PP was less than 2[P]2[P], then certainly the sum of weights of PP' must be less than 2[P]2[P'], so that PSP' \in S. However, this contradicts the minimality of the number of non-parallel sides in PP, so there exists a polygon in SS with opposite sides parallel.

Now, we will let RR be the non-empty set of all polygons in SS with all sides parallel to the opposite side. Note that all polygons in RR must have an even number of sides. We will show that there is a parallelogram in RR.

Suppose not, and that Q=B1B2B2mQ = B_1B_2\cdots B_{2m} is one of the polygons in RR with the minimal number of sides, and m3m \ge 3. Let X=B1B2B2m1B2mX = B_1B_2 \cap B_{2m-1}B_{2m} and Y=Bm1BmBm+2Bm+1Y = B_{m-1}B_m \cap B_{m+2}B_{m+1}. Set Q=XB2B3Bm1YBm+2B2mQ' = XB_2B_3\cdots B_{m-1}YB_{m+2}\cdots B_{2m}. We propose that the increase in the sum of weights going from QQ to QQ' is at most twice the increase in area, so that QRQ' \in R.

To aid us, we will let hXh_X and hYh_Y be the respective distances of XX and YY from B2mB1B_{2m}B_1 and BmBm+1B_mB_{m+1}.

The increase in weight is
[XBm+1B1]+[XB2mBm]+[YBmB2m]+[YBm+1B1][B1B2mBm][B2mBmBm+1]=[XB1Y]+[XB2mY][B1B2mBm]+[YBmX]+[YBm+1X][B2mBmBm+1]=[XB1B2m]+hYB1B2m2+[YBmBm+1]+hXBmBm+12 \begin{align*} & [XB_{m+1}B_1] + [XB_{2m}B_m] + [YB_mB_{2m}] + [YB_{m+1}B_1] - [B_1B_{2m}B_m] - [B_{2m}B_mB_{m+1}] \\ &= [XB_1Y] + [XB_{2m}Y] - [B_1B_{2m}B_m] + [YB_mX] + [YB_{m+1}X] - [B_{2m}B_mB_{m+1}] \\ &= [XB_1B_{2m}] + \frac{h_Y \cdot B_1B_{2m}}{2} + [YB_mB_{m+1}] + \frac{h_X \cdot B_mB_{m+1}}{2} \end{align*}
while the increase in area is [XB1B2m]+[YBmBm+1][XB_1B_{2m}] + [YB_mB_{m+1}]. It remains to show that the first expression is at most twice the second, or in other words, to show that
hYB1B2m2+hXBmBm+12[XB1B2m]+[YBmBm+1]=hXB1B2m2+hYBmBm+12, \frac{h_Y \cdot B_1 B_{2m}}{2} + \frac{h_X \cdot B_m B_{m+1}}{2} \le [XB_1 B_{2m}] + [Y B_m B_{m+1}] = \frac{h_X \cdot B_1 B_{2m}}{2} + \frac{h_Y \cdot B_m B_{m+1}}{2},
which is equivalent to
(hXhY)(B1B2mBmBm+1)0 (h_X - h_Y)(B_1 B_{2m} - B_m B_{m+1}) \geq 0
Noting that triangles B1B2mXB_1B_{2m}X and Bm+1BmYB_{m+1}B_mY are similar, we have hX/hY=B1B2m/BmBm+1h_X/h_Y = B_1B_{2m}/B_mB_{m+1}, so the above inequality holds.

With the inequality proven, we now know that QRQ' \in R, and yet QQ' has fewer sides than QQ. This contradicts the minimality of the number of sides of QQ, so there exists a parallelogram in RR. However, the sum of the weights of a parallelogram clearly equals twice its area, so this contradicts the entire existence of SS, as desired.

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.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.