Maths Olympiad Prep

Track / Stage 6 / 10 of 400 #1010 of 1964

Problem 1010

National Olympiad, first round
Geometry Difficulty 6.0 Prove it

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, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

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 reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.