Maths Olympiad Prep

Library / /22 of 24

Combinatorics Difficulty 8.9 Shortlist Prove it Romania

Let n3n \ge 3 be a natural number. John draws a regular nn-gon and connects every pair of vertices. On each segment, John writes a nonzero natural number such that in any triangle formed by three vertices, one of the numbers on its sides equals the sum of the other two.

Determine the smallest number of distinct values John can write.

Solution

We will show that the number sought is n1n-1 for n4n \neq 4 and 22 if n=4n=4.

For n=3n = 3 and n=4n = 4, it can be easily verified that the answer is 22. Suppose now that n5n \ge 5. Denote by aXYa_{XY} the number written on segment XYXY.

If we label the vertices of the regular polygon as A1,A2,,AnA_1, A_2, \dots, A_n and set aAiAj=ija_{A_i A_j} = |i-j| for all iji \neq j, then the condition of the problem is satisfied, so the number sought for is at most n1n-1.

To prove equality, suppose by contradiction that the number sought for is at most n2n-2. Let dd be the greatest value John writes on some segment, and let A,BA, B be vertices such that aAB=da_{AB} = d. Suppose dd is written on the segment with minimal distance between the vertices among all segments with value dd.

We make the following two observations:

1. There do not exist three vertices A1,A2,A3A_1, A_2, A_3 such that aAA1=aAA2=aAA3a_{AA_1} = a_{AA_2} = a_{AA_3} (otherwise, it would follow that aA1A2=aA1A3=aA2A3a_{A_1A_2} = a_{A_1A_3} = a_{A_2A_3}, which is impossible because the sum rule, according to the hypothesis, would no longer be valid for triangle A1A2A3A_1A_2A_3).

2. For any point XX different from AA and BB, we have d=aAX+aBXd = a_{AX} + a_{BX} since dd is maximum; in particular, aAX<da_{AX} < d.

Since, by assumption, there are at most n2n-2 distinct values, the pigeonhole principle implies that there exist points CC and DD such that aAC=aAD=xa_{AC} = a_{AD} = x, with x<dx < d (according to Observation 2).

We observe that the rule for writing the numbers on segments implies: in triangle ACDACD we have aCD=2xa_{CD} = 2x; in triangle ABDABD we have aBD=dxa_{BD} = d - x; in triangle ABCABC we have aBC=dxa_{BC} = d - x. Therefore, from triangle BCDBCD, we obtain that 2x=(dx)+(dx)2x = (d - x) + (d - x), hence x=d2x = \frac{d}{2} (in particular, dd is even).

Now, looking at the n2n-2 numbers on the segments emerging from AA, we can see that the only value that repeats is d2\frac{d}{2} (as shown in the previous paragraph) and it cannot appear three times (by Observation 1). Therefore, there are n2n-2 distinct numbers, and according to the assumption, these must be all the numbers used by John.

Since n5n \ge 5, there exists a vertex EE different from the vertices A,B,C,DA, B, C, D. Let y=aAEd2y = a_{AE} \ne \frac{d}{2}. Since aBE=dya_{BE} = d - y, it follows that dyd - y appears among the n2n-2 values on the segments emerging from AA. Without loss of generality, we may assume that y>d2y > \frac{d}{2} because max(y,dy)>d2\max(y, d - y) > \frac{d}{2}.

We look at triangle ACEACE and observe that aCE{y+d2,yd2}a_{CE} \in \{y + \frac{d}{2}, y - \frac{d}{2}\}. Since dd is the maximum, and y+d2>dy + \frac{d}{2} > d, it follows that aCE=yd2a_{CE} = y - \frac{d}{2}, and similarly, aDE=yd2a_{DE} = y - \frac{d}{2}.

Finally, looking at triangle CDECDE, we have aCD=2(yd2)<da_{CD} = 2(y - \frac{d}{2}) < d, but also aCD=2d2=da_{CD} = 2 \cdot \frac{d}{2} = d, a contradiction. (In triangle ACDACD we have aAC=aAD=d2a_{AC} = a_{AD} = \frac{d}{2}, hence CD=dCD = d)

Therefore, there cannot be only n2n-2 values, which implies that the required number is n1n-1.

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 and solution reproduced as published; topic and difficulty added by this site.