Maths Olympiad Prep

Library / /443 of 520

Geometry Difficulty 7.2 National olympiad, round 2 Prove it

Find all integers n3n \geqslant 3 for which every convex nn-gon with sides of length 1 contains an equilateral triangle of side 1.

Solution

First, no even integer nn can be among the integers sought. Indeed, the inscribed circle of an equilateral triangle with side 1 has an area A=3/4\mathcal{A}=\sqrt{3} / 4 and a radius r=2A/3=3/6r=2 \mathcal{A} / 3=\sqrt{3} / 6. Consequently, the almond shape below, drawn in the case where n=6n=6, and itself contained within a band of width rr, could not contain such an equilateral triangle.
!

Conversely, let n3n \geqslant 3 be an integer for which there exists a convex polygon P=A0A1An1\mathcal{P}=A_{0} A_{1} \ldots A_{n-1}, with side 1, as described in the statement, and which does not contain any equilateral triangle of side 1. We assume that its vertices have been listed in a clockwise direction. Inspired by the above construction, we denote by dd the maximum distance between two points of P\mathcal{P}, and, without loss of generality, we assume that there exists a point AA_{\ell}, with 1k1 \leqslant \ell \leqslant k, located at a distance dd from A0A_{0}.
If d=1d=1, the polygon P\mathcal{P} is contained in the gray area represented below, which consists of the intersection of two semicircles of radius 1. Since A2A_{2} is at a distance 1 from A1A_{1}, it lies on the arc BA0^\widehat{B A_{0}} and, similarly, An1A_{n-1} lies on the arc A1B^\widehat{A_{1} B}. Since P\mathcal{P} is convex, we deduce that A2=B=An1A_{2}=B=A_{n-1}, so that P\mathcal{P} is an equilateral triangle, which of course contains itself.
!

We therefore know that d>1d>1, so that A0AA_{0} A_{\ell} is a diagonal of P\mathcal{P}. If AA0A1^60\widehat{A_{\ell} A_{0} A_{1}} \geqslant 60^{\circ}, and since A1Ad=A0AA_{1} A_{\ell} \leqslant d=A_{0} A_{\ell}, we know that A0A1A^AA0A1^60\widehat{A_{0} A_{1} A_{\ell}} \geqslant \widehat{A_{\ell} A_{0} A_{1}} \geqslant 60^{\circ}, so that the triangle A0A1AA_{0} A_{1} A_{\ell} itself contains an equilateral triangle of side 1, as illustrated below.
!

Thus, AA0A1^<60\widehat{A_{\ell} A_{0} A_{1}}<60^{\circ} and, similarly, A1A^A0<60\widehat{A_{\ell-1} A_{\ell}} A_{0}<60^{\circ}. We then draw the isosceles trapezoid T=A0B0BA\mathcal{T}=A_{0} B_{0} B_{\ell} A_{\ell} represented below in the case where =4\ell=4, with angles 6060^{\circ} at A0A_{0} and AA_{\ell} and sides A0B0=AB=1A_{0} B_{0}=A_{\ell} B_{\ell}=1. If there exists a point AiA_{i} (with 1i11 \leqslant i \leqslant \ell-1) located outside T\mathcal{T}, the polygon P\mathcal{P} again contains an equilateral triangle of side 1, as illustrated below, in white on a gray background.
!

This case does not occur either, so the polygon A0A1AA_{0} A_{1} \ldots A_{\ell} is strictly included in the polygon T\mathcal{T}. Its perimeter +d\ell+d is therefore strictly less than that of T\mathcal{T}, i.e., 2d+12 d+1, so 1<d\ell-1<d, and the triangle inequality also indicates that dd \leqslant \ell, which means that =d\ell=\lceil d\rceil. By considering the polygon A0AnAn1AA_{0} A_{n} A_{n-1} \ldots A_{\ell}, we similarly conclude that n=dn-\ell=\lceil d\rceil, so that n=2dn=2\lceil d\rceil is necessarily even.
Thus, the integers sought are the odd integers.
Remark: We stated above that when a convex polygon P\mathcal{P} is strictly included in a polygon Q\mathcal{Q}, the perimeter of P\mathcal{P} is strictly less than that of Q\mathcal{Q}. This "classical" statement can be demonstrated as follows.
First, let C\mathcal{C} be the convex hull of Q\mathcal{Q}. By construction, its perimeter is less than or equal to that of Q\mathcal{Q}, and we can therefore assume without loss of generality that Q\mathcal{Q} is convex.
In the following, we assume Q\mathcal{Q} is fixed, then we denote by p(P)\mathrm{p}(\mathcal{P}) the perimeter of a polygon P\mathcal{P} and c(P)\mathrm{c}(\mathcal{P}) the number of sides of P\mathcal{P} that are not included in sides of Q\mathcal{Q}. We then prove by induction on c(P)c(\mathcal{P}) that p(P)p(Q)p(\mathcal{P}) \leqslant p(\mathcal{Q}).
Given a polygon P\mathcal{P} strictly included in Q\mathcal{Q}, we know that c(P)1c(\mathcal{P}) \geqslant 1, and we consider a side [BC][B C] of P\mathcal{P} that is not included in a side of Q\mathcal{Q}. Since Q\mathcal{Q} is convex, this side is strictly included in Q\mathcal{Q}. Then, as illustrated below, we extend the rays AB)A B) and [DC)[D C) to infinity, or until they meet. We thus define a finite or infinite region, which we denote by Z\mathcal{Z}, and which may be bounded or unbounded.
![

Case 1
!

Case 2
!

Case 3

We then integrate into the polygon P\mathcal{P} the portion of the polygon Q\mathcal{Q} included in the region Z\mathcal{Z}, which we have represented in blue. We thus form a new convex polygon P\mathcal{P}^{\prime}. Since the side [BC][B C] of P\mathcal{P} has disappeared, we know that c(P)<c(P)\mathrm{c}\left(\mathcal{P}^{\prime}\right)<\mathrm{c}(\mathcal{P}). The induction hypothesis and the triangle inequality then indicate that p(P)<p(P)p(Q)\mathrm{p}(\mathcal{P})<\mathrm{p}\left(\mathcal{P}^{\prime}\right) \leqslant \mathrm{p}(\mathcal{Q}), which concludes.

Comment from the graders: This problem was extremely difficult, to the point that only one student scored more than two points (and solved it). Many students had the excellent idea of using an elongated almond to handle the case nn even. The main idea, difficult to find, was then to continue with an analogous construction by considering the elongation of a polygon, i.e., the greatest distance between two vertices. It is unfortunate, however, that several students claimed to have "magically" solved the case nn odd: such claims will obviously not help to score points, and their only possible effect would be to annoy the grader (which did not happen here).

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.