Find all integers for which every convex -gon with sides of length 1 contains an equilateral triangle of side 1.
Solution
First, no even integer can be among the integers sought. Indeed, the inscribed circle of an equilateral triangle with side 1 has an area and a radius . Consequently, the almond shape below, drawn in the case where , and itself contained within a band of width , could not contain such an equilateral triangle.
!
Conversely, let be an integer for which there exists a convex polygon , 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 the maximum distance between two points of , and, without loss of generality, we assume that there exists a point , with , located at a distance from .
If , the polygon is contained in the gray area represented below, which consists of the intersection of two semicircles of radius 1. Since is at a distance 1 from , it lies on the arc and, similarly, lies on the arc . Since is convex, we deduce that , so that is an equilateral triangle, which of course contains itself.
!
We therefore know that , so that is a diagonal of . If , and since , we know that , so that the triangle itself contains an equilateral triangle of side 1, as illustrated below.
!
Thus, and, similarly, . We then draw the isosceles trapezoid represented below in the case where , with angles at and and sides . If there exists a point (with ) located outside , the polygon 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 is strictly included in the polygon . Its perimeter is therefore strictly less than that of , i.e., , so , and the triangle inequality also indicates that , which means that . By considering the polygon , we similarly conclude that , so that is necessarily even.
Thus, the integers sought are the odd integers.
Remark: We stated above that when a convex polygon is strictly included in a polygon , the perimeter of is strictly less than that of . This "classical" statement can be demonstrated as follows.
First, let be the convex hull of . By construction, its perimeter is less than or equal to that of , and we can therefore assume without loss of generality that is convex.
In the following, we assume is fixed, then we denote by the perimeter of a polygon and the number of sides of that are not included in sides of . We then prove by induction on that .
Given a polygon strictly included in , we know that , and we consider a side of that is not included in a side of . Since is convex, this side is strictly included in . Then, as illustrated below, we extend the rays and to infinity, or until they meet. We thus define a finite or infinite region, which we denote by , and which may be bounded or unbounded.
![
Case 1
!
Case 2
!
Case 3
We then integrate into the polygon the portion of the polygon included in the region , which we have represented in blue. We thus form a new convex polygon . Since the side of has disappeared, we know that . The induction hypothesis and the triangle inequality then indicate that , 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 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 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).