Maths Olympiad Prep

Library / /469 of 520

Geometry Difficulty 7.3 National olympiad, round 2 Prove it

Given a convex nn-gon PP in the plane. For every three vertices of PP, consider the triangle determined by them. Call such a triangle good if all its sides are of unit length. Prove that there are not more than 23n\frac{2}{3} n good triangles. (Ukraine)

Solution

Consider all good triangles containing a certain vertex AA. The other two vertices of any such triangle lie on the circle ωA\omega_{A} with unit radius and center AA. Since PP is convex, all these vertices lie on an arc of angle less than 180180^{\circ}. Let LARAL_{A} R_{A} be the shortest such arc, oriented clockwise (see Figure 1). Each of segments ALAA L_{A} and ARAA R_{A} belongs to a unique good triangle. We say that the good triangle with side ALAA L_{A} is assigned counterclockwise to AA, and the second one, with side ARAA R_{A}, is assigned clockwise to AA. In those cases when there is a single good triangle containing vertex AA, this triangle is assigned to AA twice. There are at most two assignments to each vertex of the polygon. (Vertices which do not belong to any good triangle have no assignment.) So the number of assignments is at most 2n2 n. Consider an arbitrary good triangle ABCA B C, with vertices arranged clockwise. We prove that ABCA B C is assigned to its vertices at least three times. Then, denoting the number of good triangles by tt, we obtain that the number KK of all assignments is at most 2n2 n, while it is not less than 3t3 t. Then 3tK2n3 t \leq K \leq 2 n, as required. Actually, we prove that triangle ABCA B C is assigned either counterclockwise to CC or clockwise to BB. Then, by the cyclic symmetry of the vertices, we obtain that triangle ABCA B C is assigned either counterclockwise to AA or clockwise to CC, and either counterclockwise to BB or clockwise to AA, providing the claim. ! Figure 1 ! Figure 2 Assume, to the contrary, that LCAL_{C} \neq A and RBAR_{B} \neq A. Denote by A,B,CA^{\prime}, B^{\prime}, C^{\prime} the intersection points of circles ωA,ωB\omega_{A}, \omega_{B} and ωC\omega_{C}, distinct from A,B,CA, B, C (see Figure 2). Let CLCLCC L_{C} L_{C}^{\prime} be the good triangle containing CLCC L_{C}. Observe that the angle of arcLCA\operatorname{arc} L_{C} A is less than 120120^{\circ}. Then one of the points LCL_{C} and LCL_{C}^{\prime} belongs to arcBA\operatorname{arc} B^{\prime} A of ωC\omega_{C}; let this point be XX. In the case when LC=BL_{C}=B^{\prime} and LC=AL_{C}^{\prime}=A, choose X=BX=B^{\prime}. Analogously, considering the good triangle BRBRBB R_{B}^{\prime} R_{B} which contains BRBB R_{B} as an edge, we see that one of the points RBR_{B} and RBR_{B}^{\prime} lies on arc ACA C^{\prime} of ωB\omega_{B}. Denote this point by Y,YAY, Y \neq A. Then angles XAY,YAB,BACX A Y, Y A B, B A C and CAXC A X (oriented clockwise) are not greater than 180180^{\circ}. Hence, point AA lies in quadrilateral XYBCX Y B C (either in its interior or on segment XYX Y ). This is impossible, since all these five points are vertices of PP. Hence, each good triangle has at least three assignments, and the statement is proved. Comment 1. Considering a diameter ABA B of the polygon, one can prove that every good triangle containing either AA or BB has at least four assignments. This observation leads to t23(n1)t \leq\left\lfloor\frac{2}{3}(n-1)\right\rfloor. Comment 2. The result t23(n1)t \leq\left\lfloor\frac{2}{3}(n-1)\right\rfloor is sharp. To construct a polygon with n=3k+1n=3 k+1 vertices and t=2kt=2 k triangles, take a rhombus AB1C1D1A B_{1} C_{1} D_{1} with unit side length and B1=60\angle B_{1}=60^{\circ}. Then rotate it around AA by small angles obtaining rhombi AB2C2D2,,ABkCkDkA B_{2} C_{2} D_{2}, \ldots, A B_{k} C_{k} D_{k} (see Figure 3). The polygon AB1BkC1CkD1DkA B_{1} \ldots B_{k} C_{1} \ldots C_{k} D_{1} \ldots D_{k} has 3k+13 k+1 vertices and contains 2k2 k good triangles. The construction for n=3kn=3 k and n=3k1n=3 k-1 can be obtained by deleting vertices DnD_{n} and Dn1D_{n-1}. ! Figure 3

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.