Maths Olympiad Prep

Library / /38 of 92

Combinatorics Difficulty 6.2 National olympiad Prove it Iran

Is it possible to write (n2)\binom{n}{2} consecutive natural numbers on the edges of a complete graph with nn vertices such that for every path (or cycle) of length 33 with edges a,b,ca, b, c (bb lies between a,ca, c) the greatest common divisor of the numbers of edges aa and cc divides the number of edge bb?

Solution

First we claim that for every positive integer kk, the edges which their numbers are divisible by kk form a cluster. Indeed, suppose on the contrary that SS is the largest cluster such that the number of its edges is divisible by kk and vSv \notin S is another such edge. Applying problem statement on edge vv and edges of cluster we get there exists a larger cluster with number on edges divisible by kk.

Now suppose that p(n2)p \mid \binom{n}{2} where pp is a prime number. Therefore the edges with numbers divisible by 1p(n2)\frac{1}{p}\binom{n}{2} form a cluster and the number of such edges is pp. So

p=(t2)2p=t(t1){ptt12t=2 or t=3t=3,p=3pt1t2t=1 or t=2Contradiction! \begin{aligned} p &= \begin{pmatrix} t \\ 2 \end{pmatrix} \Rightarrow 2p = t(t-1) \\ &\Rightarrow \begin{cases} p \mid t \Rightarrow t-1 \mid 2 \Rightarrow t=2 \text{ or } t=3 \Rightarrow t=3, p=3 \\ p \mid t-1 \Rightarrow t \mid 2 \Rightarrow t=1 \text{ or } t=2 \Rightarrow \text{Contradiction!} \end{cases} \end{aligned}

Thereby the only prime divisor of (n2)\begin{pmatrix} n \\ 2 \end{pmatrix} is three, so (n2)=3a\begin{pmatrix} n \\ 2 \end{pmatrix} = 3^a where aNa \in \mathbb{N}. If a=1a = 1 and so n=3n = 3 and numbers 1,2,31,2,3 satisfies problem statement. If a>1a > 1 there exist 99 multiple of 19(n2)\frac{1}{9}\begin{pmatrix} n \\ 2 \end{pmatrix} among numbers, but 99 cannot be written in the form (t2)\begin{pmatrix} t \\ 2 \end{pmatrix} so for n>3n > 3 such numbers do not exist. \square

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.