Olympiad Maths Prep

Track / Stage 6 / 3 of 400 #1003 of 2000

Problem 1003

National olympiad, first round
Geometry Difficulty 6.0 Prove it

1. Let nn be a natural number greater than or equal to 4. Prove that the nn-gon defined by the midpoints of the sides of a given convex nn-gon MM has an area that is not less than half of the area of the polygon MM.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Solution. Let A1,A2,,AnA_{1}, A_{2}, \ldots, A_{n} be the vertices of the polygon MM, and B1,B2,,BnB_{1}, B_{2}, \ldots, B_{n} be the midpoints of the segments A1A2,A2A3,,AnA1A_{1} A_{2}, A_{2} A_{3}, \ldots, A_{n} A_{1}, as shown in the diagram below. Note that, due to the convexity of the polygon MM, no three of the triangles

A1A2A3,A2A3A4,,An1AnA1 A_{1} A_{2} A_{3}, A_{2} A_{3} A_{4}, \ldots, A_{n-1} A_{n} A_{1}

have an interior common point. Therefore, the sum of the areas of these triangles is at most twice the area PP of the polygon MM. If we denote the area of the polygon B1B2BnB_{1} B_{2} \ldots B_{n} by P1P_{1}, then

PP1=PBnA1B1+PB1A2B2++PBn1AnBn=14(PAnA1A2+PA1A2A3++PAn1AnA1)2P4=P2 \begin{aligned} P-P_{1} & =P_{B_{n} A_{1} B_{1}}+P_{B_{1} A_{2} B_{2}}+\ldots+P_{B_{n-1} A_{n} B_{n}} \\ & =\frac{1}{4}\left(P_{A_{n} A_{1} A_{2}}+P_{A_{1} A_{2} A_{3}}+\ldots+P_{A_{n-1} A_{n} A_{1}}\right) \\ & \leq \frac{2 P}{4}=\frac{P}{2} \end{aligned}

from which it follows that P1P2P_{1} \geq \frac{P}{2}. Equality holds if and only if every point of the polygon MM belongs to at least two of the triangles (1). If n5n \geq 5, let CC and DD be the intersections of the segment A2A4A_{2} A_{4} with the segments A1A3A_{1} A_{3} and A3A5A_{3} A_{5}, respectively. Then every interior point of the triangle A3CDA_{3} C D is contained in exactly one of the triangles (1). It is easily verified that for n=4n=4, P1=P2P_{1}=\frac{P}{2}. Therefore, the equality P1=P2P_{1}=\frac{P}{2} holds if and only if MM is a quadrilateral.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.