Maths Olympiad Prep

Library / /5 of 9

, 2019

Geometry Difficulty 7.1 National Olympiad, round 2 Prove it Japan

Some of the vertices of a regular 120120-gon are labeled by *. What is the maximal possible number of vertices labeled with * if the following condition must be satisfied?

There exists no isosceles triangle with the angle at the top vertex of 1818^\circ formed by *-labeled vertices of the 120120-gon.

Solution

7878

Label the vertices of the regular 120120-gon as A1,A2,,A120A_1, A_2, \dots, A_{120} clockwise. Form six subsets of the set of all the vertices AiA_i, i=1,2,,120i = 1, 2, \dots, 120 by putting the vertex AiA_i into the rr-th group for r=1,2,,6r = 1, 2, \dots, 6 if the remainder obtained is r1r-1 when ii is divided by 66. Note that for r=1,2,,6r = 1, 2, \dots, 6 the vertex ArA_r belongs to the rr-th group, which we call simply the group rr.

Call a triplet (X,Y,Z)(X, Y, Z) of vertices of the regular 120120-gon a bad triangle if X,Y,ZX, Y, Z are located clockwise in this order and if YXZ=YZX\angle YXZ = \angle YZX, and XYZ=18\angle XYZ = 18^\circ. Note that the vertices of the regular 120120-gon lie on the same circle and they divide the circumference of the circle into 120120 segments of equal length. Let us call OO the center of this circle. If (Ai,Aj,Ak)(A_i, A_j, A_k) is a bad triangle, we have AjAiAk=81\angle A_j A_i A_k = 81^\circ, from which it follows that AjOAk=281\angle A_j O A_k = 2 \cdot 81^\circ, which, in turn, implies that kj54(mod120)k-j \equiv 54 \pmod{120}. We also get ji54(mod120)j-i \equiv 54 \pmod{120} by the same argument. Thus, we conclude that Ai,Aj,AkA_i, A_j, A_k belong to the same group.

Fix a positive integer rr satisfying 1r61 \le r \le 6, and define for 1i201 \le i \le 20 Bi=A54i+rB_i = A_{54i+r}. Here, we let An+120=AnA_{n+120} = A_n. From the fact that the greatest common divisor of 120120 and 5454 is 66 and in view of the Chinese Remainder Theorem, we see that in each of B1,B2,,B20B_1, B_2, \dots, B_{20} an element of the group rr appears exactly once. For a triplet (Bi,Bi+1,Bi+2)(B_i, B_{i+1}, B_{i+2}) belonging to the group rr, (Bi,Bi+1,Bi+2)(B_i, B_{i+1}, B_{i+2}) is a bad triangle if and only if i+2j+1k(mod20)i+2 \equiv j+1 \equiv k \pmod{20}.

Now suppose there are 1414 or more vertices marked with * among the vertices of the group rr. Let ii be an integer satisfying 1i201 \le i \le 20, and consider a triplet (Bi,Bi+1,Bi+2)(B_i, B_{i+1}, B_{i+2}) of vertices. (Here, we let Bn+20=BnB_{n+20} = B_n.) If BkB_k is not marked by *, then there are exactly 33 indices ii for which one of the vertices among Bi,Bi+1,Bi+2B_i, B_{i+1}, B_{i+2} coincides with BkB_k. Consequently, the number of ii for which at least one of Bi,Bi+1,Bi+2B_i, B_{i+1}, B_{i+2} is not marked with * is at most 3(2014)=183 \cdot (20-14) = 18. Consequently, there exists an ii for which all of Bi,Bi+1,Bi+2B_i, B_{i+1}, B_{i+2} are marked with *. Since this situation cannot occur by the condition of the problem, we conclude that the number of vertices marked with * belonging to the group rr is at most 1313. Thus, there are at most 136=7813 \cdot 6 = 78 vertices of regular 120120-gon marked with *.

On the other hand, suppose that for every pair r,ir, i chosen from 7878 combinations formed when rr is one of 1,2,3,4,5,61, 2, 3, 4, 5, 6 and ii is one of 1,2,4,5,7,8,10,11,13,14,16,17,191, 2, 4, 5, 7, 8, 10, 11, 13, 14, 16, 17, 19, the vertex A54i+rA_{54i+r} is marked with *. Then, there exists no bad triangle formed by vertices marked with * belonging to the same group. Since the triplet X,Y,ZX, Y, Z of vertices must always belong to the same group if the triple (X,Y,Z)(X, Y, Z) is a bad triangle, we conclude that the conditions of the problem are satisfied for all of the 7878 pairs r,ir, i considered above. Therefore, the answer we seek is 7878.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.